Advertisement

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
    4. Fábio L. Leite Jr., Daniel Schneider, Rasmus Adler
      Pages 216-231
  7. Verification and Validation of Autonomous Systems

  8. Interactive Systems and Design Validation

    1. Front Matter
      Pages 269-269
    2. Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier, Jan von Hoyningen-Hüne, Thorsten Piper
      Pages 271-285
    3. Abdul Ghafoor, A. Qudus Abbasi, Zaheer Khan
      Pages 286-298
  9. Back Matter
    Pages 315-316

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

Introduction

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. 

Keywords

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

  • DOI https://doi.org/10.1007/978-3-030-26601-1
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-26600-4
  • Online ISBN 978-3-030-26601-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site