Computer Safety, Reliability, and Security

31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings

  • Frank Ortmeier
  • Peter Daniel
Conference proceedings SAFECOMP 2012

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

Table of contents

  1. Front Matter
  2. Session I: Tools

  3. Session II: Risk Analysis

    1. Silvia Gil Casals, Philippe Owezarski, Gilles Descargues
      Pages 25-36
    2. Christoph Läsche, Eckard Böde, Thomas Peikenkamp
      Pages 37-48
  4. Session III: Testing

  5. Session IV: Quantitative Analysis

    1. Ernest Edifor, Martin Walker, Neil Gordon
      Pages 99-110
    2. Michael Glaß, Heng Yu, Felix Reimann, Jürgen Teich
      Pages 111-124
  6. Session V: Security

    1. Hans-Hermann Bock, Jens Braband, Birgit Milius, Hendrik Schäbe
      Pages 137-148
    2. Felix Wieczorek, Christoph Krauß, Frank Schiller, Claudia Eckert
      Pages 149-160
  7. Session VI: Formal Methods 1

    1. Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario
      Pages 173-184
    2. Roberto Baldoni, Giorgia Lodi, Luca Montanari, Guido Mariotta, Marco Rizzuto
      Pages 185-197
    3. Domenico Di Leo, Fatemeh Ayatolahi, Behrooz Sangchoolie, Johan Karlsson, Roger Johansson
      Pages 198-209
  8. Session VII: Aeronautic

    1. Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila
      Pages 210-222
    2. Olof Hannius, Johan Karlsson
      Pages 223-234
    3. Ludovic Pintard, Christel Seguin, Jean-Paul Blanquart
      Pages 235-246
  9. Session VIII: Automotive

    1. Ingo Stürmer, Elke Salecker, Hartmut Pohlheim
      Pages 258-267
  10. Session IX: Formal Methods 2

    1. Philipp Helle, Michael Masin, Lev Greenberg
      Pages 279-290
    2. Henning Günther, Stefan Milius, Oliver Möller
      Pages 291-304
  11. Session X: Process

    1. Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky
      Pages 305-316
    2. Martin Wildmoser, Jan Philipps, Oscar Slotosch
      Pages 317-327
    3. Bastian Zimmer, Susanne Bürklen, Jens Höfflinger, Mario Trapp, Peter Liggesmeyer
      Pages 328-339
    4. Fredrik Asplund, Jad El-khoury, Martin Törngren
      Pages 340-351
  12. Session XI: Case Studies

    1. Rosana T. Vaccare Braga, Onofre Trindade Junior, Kalinka Regina Castelo Branco, Luciano De Oliveira Neris, Jaejoon Lee
      Pages 352-363
    2. Mark-Alexander Sujan, Massimo Felici
      Pages 364-375
    3. Tian Song, Deming Zhong, Hang Zhong
      Pages 376-387
    4. Rikard Land, Mikael Åkerholm, Jan Carlson
      Pages 388-399
  13. Back Matter

Other volumes

  1. Computer Safety, Reliability, and Security
    31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
  2. SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings

About these proceedings


This book constitutes the refereed proceedings of the 31st International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2012, held in Magdeburg, Germany, in September 2012. The 33 revised full papers presented were carefully reviewed and selected from more than 70 submissions. The papers are organized in topical sections on tools, risk analysis, testing, quantitative analysis, security, formal methods, aeronautic, automotive, and process. Also included are 4 case studies.


distributed embedded systems fault tolerance model checking probabilistic verification software certification

Editors and affiliations

  • Frank Ortmeier
    • 1
  • Peter Daniel
    • 2
  1. 1.Fakultät für Informatik, Institut für Technische und Betriebliche Informationssysteme (ITI)Otto-von-Guericke-UniversitätMagdeburgGermany
  2. 2.SELEX ELSAGLiverpoolUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-33677-5
  • Online ISBN 978-3-642-33678-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site