Computer Safety, Reliability, and Security

35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

  • Amund Skavhaug
  • Jérémie Guiochet
  • Friedemann Bitsch
Conference proceedings SAFECOMP 2016

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

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

Table of contents

  1. Front Matter
    Pages I-XV
  2. Fault Injection

    1. Front Matter
      Pages 1-1
    2. Louis Dureuil, Guillaume Petiot, Marie-Laure Potet, Thanh-Ha Le, Aude Crohen, Philippe de Choudens
      Pages 3-11
    3. Maryam Raiyat Aliabadi, Karthik Pattabiraman
      Pages 12-23
  3. Safety Assurance

    1. Front Matter
      Pages 25-25
    2. Richard Hawkins, Thomas Richardson, Tim Kelly
      Pages 27-38
    3. John C. Knight, Jonathan Rowanhill
      Pages 39-50
    4. Ewen Denney, Ganesh Pai
      Pages 51-63
  4. Formal Verification

    1. Front Matter
      Pages 65-65
    2. Maxime Puys, Marie-Laure Potet, Pascal Lafourcade
      Pages 67-75
    3. Quentin Cappart, Pierre Schaus
      Pages 76-87
    4. Victor Bos, Harold Bruintjes, Stefano Tonetta
      Pages 88-101
    5. David Hardin, Konrad Slind, Mark Bortz, James Potts, Scott Owens
      Pages 102-113
  5. Automotive

    1. Front Matter
      Pages 115-115
    2. Archana Mallya, Vera Pantelic, Morayo Adedjouma, Mark Lawford, Alan Wassyng
      Pages 117-129
    3. Georg Macher, Eric Armengaud, Eugen Brenner, Christian Kreiner
      Pages 130-141
  6. Anomaly Detection and Resilience

    1. Front Matter
      Pages 143-143
    2. Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli
      Pages 145-158
    3. William Excoffon, Jean-Charles Fabre, Michael Lauer
      Pages 159-171
    4. Leonardo Aniello, Claudio Ciccotelli, Marcello Cinque, Flavio Frattini, Leonardo Querzoni, Stefano Russo
      Pages 172-183
  7. Cyber Security

    1. Front Matter
      Pages 185-185
    2. Andrew Fielder, Tingting Li, Chris Hankin
      Pages 187-200
    3. Robert Clausing, Robert Fischer, Jana Dittmann, Yongjian Ding
      Pages 201-212
    4. Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala
      Pages 213-225
    5. Marcelo Zanetti, Edgard Jamhour, Marcelo Pellenz, Manoel Penna
      Pages 226-237
    6. Christopher Jämthagen, Patrik Lantz, Martin Hell
      Pages 238-249
  8. Fault Trees

    1. Front Matter
      Pages 251-251
    2. Matthias Volk, Sebastian Junges, Joost-Pieter Katoen
      Pages 253-265
    3. Ola Bäckström, Yuliya Butkova, Holger Hermanns, Jan Krčál, Pavel Krčál
      Pages 266-280
  9. Safety Analysis

    1. Front Matter
      Pages 281-281
    2. Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini
      Pages 283-295
    3. Sami Alajrami, Barbara Gallina, Irfan Sljivo, Alexander Romanovsky, Petter Isberg
      Pages 309-321
  10. Back Matter
    Pages 323-324

Other volumes

  1. Computer Safety, Reliability, and Security
    35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
  2. SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

About these proceedings


This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016. The 24 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on fault injection, safety assurance, formal verification, automotive, anomaly detection and resilience, cyber security, fault trees, and safety analysis.


cloud computing cybersecurity formal verification human-robot collaboration safety analysis anomaly detection application data automotive software context aware dependability fraud detection malware patterns quality risk asessment security analysis service oriented architecture SVM system safety verification

Editors and affiliations

  • Amund Skavhaug
    • 1
  • Jérémie Guiochet
    • 2
  • Friedemann Bitsch
    • 3
  1. 1.Norwegian University of Science and Technology TrondheimNorway
  2. 2.University of Toulouse ToulouseFrance
  3. 3.Thales Transportation Systems GmbH DitzingenGermany

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-45476-4
  • Online ISBN 978-3-319-45477-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software