Advertisement

© 2019

Computer Safety, Reliability, and Security

SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

  • Alexander Romanovsky
  • Elena Troubitsyna
  • Ilir Gashi
  • Erwin Schoitsch
  • Friedemann Bitsch
Conference proceedings SAFECOMP 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xvi
  2. 7th International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE 2019)

    1. Front Matter
      Pages 1-3
    2. Celso Hirata, Simin Nadjm-Tehrani
      Pages 5-15
    3. Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama
      Pages 16-27
  3. 14th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems (DECSoS 2019)

    1. Front Matter
      Pages 41-48
    2. Loui Al Sardy, Andreas Neubaum, Francesca Saglietti, Daniel Rudrich
      Pages 49-61
    3. Magdy El Sadany, Christoph Schmittner, Wolfgang Kastner
      Pages 62-73
    4. Lijun Shan, Behrooz Sangchoolie, Peter Folkesson, Jonny Vinter, Erwin Schoitsch, Claire Loiseaux
      Pages 74-86
    5. Siddhartha Verma, Thomas Gruber, Christoph Schmittner, P. Puschner
      Pages 87-101
    6. Jürgen Dobaj, Christoph Schmittner, Michael Krisper, Georg Macher
      Pages 102-116
    7. Martin Pfatrisch, Linda Grefen, Hans Ehm
      Pages 137-147
  4. 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2019)

    1. Front Matter
      Pages 149-152
    2. Christoph Schmittner, Georg Macher
      Pages 153-165
    3. Nikita Bhardwaj Haupt, Peter Liggesmeyer
      Pages 166-177
    4. Andrea Ceccarelli, Davide Basile, Andrea Bondavalli, Lorenzo Falai, Alessandro Fantechi, Sandro Ferrari et al.
      Pages 185-197
  5. 2nd International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2019)

    1. Front Matter
      Pages 199-202

Other volumes

  1. 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
  2. Computer Safety, Reliability, and Security
    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 Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland.

The 32 regular papers included in this volume were carefully reviewed and selected from 43 submissions; the book also contains two invited papers. The workshops included in this volume are:

ASSURE 2019:
7th International Workshop on Assurance Cases for Software-Intensive Systems

DECSoS 2019:
14th ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems

SASSUR 2019:
8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems

STRIVE 2019:
Second International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms

WAISE 2019:
Second International Workshop on Artificial Intelligence Safety Engineering

 


Keywords

artificial intelligence authentication autonomous vehicles computer vision cryptography data security internet robots security analysis security systems sensor networks software engineering software evaluation specifications verification wireless telecommunication systems

Editors and affiliations

  1. 1.Newcastle UniversityNewcastle-upon-TyneUK
  2. 2.Åbo Akademi UniversityTurkuFinland
  3. 3.City, University of LondonLondonUK
  4. 4.AIT Austrian Institute of TechnologyViennaAustria
  5. 5.Thales Deutschland GmbHBerlinGermany

Bibliographic information