© 2017

Computer Safety, Reliability, and Security

36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

  • Stefano Tonetta
  • Erwin Schoitsch
  • Friedemann Bitsch
Conference proceedings SAFECOMP 2017

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10488)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10488)

Table of contents

  1. Front Matter
    Pages I-XIX
  2. Dynamic Fault Trees

    1. Front Matter
      Pages 1-1
    2. Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk
      Pages 3-19
    3. Enno Ruijters, Daniël Reijsbergen, Pieter-Tjerk de Boer, Mariëlle Stoelinga
      Pages 20-35
  3. Safety Case and Argumentation

    1. Front Matter
      Pages 37-37
    2. Carmen Cârlan, Barbara Gallina, Severin Kacianka, Ruth Breu
      Pages 39-54
    3. Rui Wang, Jérémie Guiochet, Gilles Motet
      Pages 55-68
    4. Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum
      Pages 69-85
  4. Formal Verification

    1. Front Matter
      Pages 87-87
    2. Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini
      Pages 89-104
    3. Martin Becker, Emanuel Regnath, Samarjit Chakraborty
      Pages 105-116
    4. Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, Scott D. Stoller
      Pages 117-131
  5. Autonomous Systems

    1. Front Matter
      Pages 133-133
    2. Patrik Feth, Daniel Schneider, Rasmus Adler
      Pages 135-148
    3. Rolf Johansson, Samieh Alissa, Staffan Bengtsson, Carl Bergenhem, Olof Bridal, Anders Cassel et al.
      Pages 149-161
    4. Ewen Denney, Ganesh Pai, Iain Whiteside
      Pages 162-178
    5. Philipp Schleiss, Christian Drabek, Gereon Weiss, Bernhard Bauer
      Pages 179-194
  6. Static Analysis and Testing

    1. Front Matter
      Pages 195-195
    2. Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm
      Pages 197-212
    3. Mariano Moscato, Laura Titolo, Aaron Dutle, César A. Muñoz
      Pages 213-229

Other volumes

  1. Computer Safety, Reliability, and Security
    36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
  2. SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

About these proceedings


This book constitutes the refereed proceedings of the 36th International Conference  on Computer
Safety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.
The 22 revised full papers and two abstracts of keynotes presented  were carefully reviewed 
and selected from 65 submissions.
The papers are organized in topical sections on dynamic fault trees; safety case and argumentation; formal verification; autonomous systems; static analysis and testing; safety analysis and assessment; safety and security.


fault-tolerant hardware and software architectures fault detection and recovery mechanisms distributed and real-time monitoring and control security and privacy protection mechanisms safety/security risk assessment model-based analysis design and assessment formal methods probabilistic verification and validation in-the-loop and model-based testing validation and verification metholologies and tools methods for qualification, assurance and certification compositional verification and certification architecture-driven assurance of safety and security dependability analysis cyber-phyiscal threats and vulnerability analysis safety and security cases multi-concern dependability assurance and standardization

Editors and affiliations

  1. 1.Fondazione Bruno KesslerTrentoItaly
  2. 2.AIT Austrian Institute of TechnologyViennaAustria
  3. 3.Thales Deutschland GmbHDitzingenGermany

Bibliographic information