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
    4. Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, Cyrille Artho
      Pages 230-241
  7. Safety Analysis and Assessment

    1. Front Matter
      Pages 243-243
    2. Mustafa Saraoğlu, Andrey Morozov, Mehmet Turan Söylemez, Klaus Janschek
      Pages 245-254
    3. Garazi Juez, Estíbaliz Amparan, Ray Lattarulo, Alejandra Ruíz, Joshué Pérez, Huáscar Espinoza
      Pages 255-269
    4. Juliane Höbel, Georg Jäger, Sebastian Zug, Andreas Wendemuth
      Pages 270-286
    5. Kevin Delmas, Rémi Delmas, Claire Pagetti
      Pages 287-302
  8. Safety and Security

    1. Front Matter
      Pages 303-303
    2. Jürgen Dürrwang, Kristian Beckers, Reiner Kriesten
      Pages 305-319
    3. Christian Schlehuber, Markus Heinrich, Tsvetoslava Vateva-Gurova, Stefan Katzenbeisser, Neeraj Suri
      Pages 320-328
    4. Tiago Amorim, Helmut Martin, Zhendong Ma, Christoph Schmittner, Daniel Schneider, Georg Macher et al.
      Pages 329-342
  9. Back Matter
    Pages 343-344

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

Industry Sectors
IT & Software