© 2019

Computer Safety, Reliability, and Security

38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

  • Alexander Romanovsky
  • Elena Troubitsyna
  • Friedemann Bitsch
Conference proceedings SAFECOMP 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xxi
  2. Formal Verification

    1. Front Matter
      Pages 1-1
    2. Josselin Giet, Laurent Mauborgne, Daniel Kästner, Christian Ferdinand
      Pages 3-18
    3. Tasuku Ishigooka, Satoshi Otsuka, Kazuyoshi Serizawa, Ryo Tsuchiya, Fumio Narisawa
      Pages 19-34
    4. Joshua A. Bockenek, Freek Verbeek, Peter Lammich, Binoy Ravindran
      Pages 35-49
  3. Autonomous Driving

    1. Front Matter
      Pages 51-51
    2. Philippe Palanque, Andy Cockburn, Léopold Désert-Legendre, Carl Gutwin, Yannick Deleris
      Pages 53-68
    3. Florian Hauer, Alexander Pretschner, Bernd Holzmüller
      Pages 69-84
    4. Kester Clegg, Mole Li, David Stamp, Alan Grigg, John McDermid
      Pages 85-93
  4. Safety and Reliability Modeling

    1. Front Matter
      Pages 95-95
    2. Ulrich Thomas Gabor, Simon Dierl, Olaf Spinczyk
      Pages 97-112
    3. Ayhan Mehmed, Moritz Antlanger, Wilfried Steiner, Sasikumar Punnekkat
      Pages 113-127
    4. Robert Altschaffel, Mario Hildebrandt, Stefan Kiltz, Jana Dittmann
      Pages 128-136
  5. Security Engineering and Risk Assessment

    1. Front Matter
      Pages 137-137
    2. Kai Ding, Andrey Morozov, Klaus Janschek
      Pages 139-154
    3. Lisa Jöckel, Michael Kläs
      Pages 155-164
    4. Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli
      Pages 165-179
  6. Safety Argumentation

    1. Front Matter
      Pages 181-181
    2. Herson Esquivel-Vargas, Marco Caselli, Erik Tews, Doina Bucur, Andreas Peter
      Pages 183-199
    3. Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta
      Pages 200-215

Other volumes

  1. Computer Safety, Reliability, and Security
    38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
  2. SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

About these proceedings


This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019.

The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation. 


artificial intelligence computer networks computer vision embedded systems image processing image segmentation mobile computing mobile devices motion planning programming languages robotics robots semantics sensors software engineering software evaluation specifications telecommunication networks ubiquitous computing user interfaces

Editors and affiliations

  1. 1.Newcastle UniversityNewcastle upon TyneUK
  2. 2.Åbo Akademi UniversityTurkuFinland
  3. 3.Thales Deutschland GmbHDitzingenGermany

Bibliographic information

Industry Sectors
IT & Software