Advertisement

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

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
    2. Gianpiero Costantino, Ilaria Matteucci
      Pages 203-209
    3. Bogdan Groza, Lucian Popa, Pal-Stefan Murvay
      Pages 210-222
    4. Lucas Davi, Denis Hatebur, Maritta Heisel, Roman Wirtz
      Pages 223-234
    5. Aymen Boudguiga, Jerome Letailleur, Renaud Sirdey, Witold Klaudel
      Pages 235-250
    6. Mujahid Muhammad, Paul Kearney, Adel Aneiba, Andreas Kunz
      Pages 251-263
    7. Giampaolo Bella, Pietro Biondi
      Pages 264-274
  6. 2nd International Workshop on Artificial Intelligence Safety Engineering (WAISE 2019)

    1. Front Matter
      Pages 275-280
    2. Xinwei Fang, Nikita Johnson
      Pages 281-287
    3. Rick Salay, Krzysztof Czarnecki
      Pages 288-300
    4. John Törnblom, Simin Nadjm-Tehrani
      Pages 301-313
    5. Philip Koopman, Uma Ferrell, Frank Fratrik, Michael Wagner
      Pages 326-332
    6. Matthias Woehrle, Christoph Gladisch, Christian Heinzemann
      Pages 333-345
    7. Michael Kläs, Lena Sembach
      Pages 358-364
    8. Simon Burton, Lydia Gauerhof, Bibhuti Bhusan Sethy, Ibrahim Habli, Richard Hawkins
      Pages 365-377
    9. Buu Phan, Samin Khan, Rick Salay, Krzysztof Czarnecki
      Pages 378-390
    10. Jacques Robin, Raul Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, Salvador Abreu
      Pages 391-397
    11. A. M. Nascimento, L. F. Vismari, A. C. M. Queiroz, P. S. Cugnasca, J. B. Camargo Jr., J. R. de Almeida Jr.
      Pages 405-410
  7. Celso Hirata, Simin Nadjm-Tehrani
    Pages C1-C1
  8. Back Matter
    Pages 411-412

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

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