Advertisement

Computer Safety, Reliability, and Security

30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings

  • Francesco Flammini
  • Sandro Bologna
  • Valeria Vittorini
Conference proceedings SAFECOMP 2011

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

Table of contents

  1. Front Matter
  2. Session 1: Ram Evaluation 1

    1. Simona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini
      Pages 15-28
  3. Session 2: Complex Systems Dependability 1

    1. Bastian Zimmer, Susanne Bürklen, Michael Knoop, Jens Höfflinger, Mario Trapp
      Pages 29-42
    2. Pierre Bieber, Rémi Delmas, Christel Seguin
      Pages 43-56
    3. Jean-Paul Blanquart, Eric Armengaud, Philippe Baufreton, Quentin Bourrouilh, Gerhard Griessnig, Martin Krammer et al.
      Pages 57-70
  4. Session 3: Formal Verification 1

    1. Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue
      Pages 71-84
    2. Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz et al.
      Pages 85-98
  5. Session 4: Risk and Hazard Analysis

    1. Massimo Felici, Valentino Meduri, Bjørnar Solhaug, Alessandra Tedeschi
      Pages 99-112
    2. Roland Mader, Eric Armengaud, Andrea Leitner, Christian Kreiner, Quentin Bourrouilh, Gerhard Grießnig et al.
      Pages 113-127
  6. Session 5: Cybersecurity

    1. Antonio Bovenzi, Francesco Brancati, Stefano Russo, Andrea Bondavalli
      Pages 128-142
    2. Luigi Coppolino, Salvatore D’Antonio, Ivano Alessandro Elia, Luigi Romano
      Pages 143-156
  7. Session 6: RAM Evaluation 2

    1. Kossi Tiassou, Karama Kanoun, Mohamed Ka, Christel Seguin, Chris Papadopoulos
      Pages 157-170
    2. Antonino Mazzeo, Nicola Mazzocca, Roberto Nardone, Luca D’Acierno, Bruno Montella, Vincenzo Punzo et al.
      Pages 171-184
  8. Session 7: Case Studies

    1. Richard Hawkins, Kester Clegg, Rob Alexander, Tim Kelly
      Pages 185-198
    2. Luigi Coppolino, Salvatore D’Antonio, Valerio Formicola, Luigi Romano
      Pages 199-212
    3. Domenico Cotroneo, Domenico Di Leo, Roberto Natella, Roberto Pietrantuono
      Pages 213-227
  9. Session 8: Formal Verification 2

    1. Matt Webster, Michael Fisher, Neil Cameron, Mike Jump
      Pages 228-242
    2. Eun-Young Kang, Pierre-Yves Schobbens, Paul Pettersson
      Pages 243-256
  10. Poster Session

    1. Joachim Hillebrand, Peter Reichenpfader, Irenka Mandic, Hannes Siegl, Christian Peer
      Pages 257-269
    2. Rupert Schlick, Wolfgang Herzner, Elisabeth Jöbstl
      Pages 270-283
    3. Giuseppe Lami, Fabrizio Fabbrini, Mario Fusani
      Pages 284-295
    4. Kumiko Tadano, Jiangwen Xiang, Masahiro Kawato, Yoshiharu Maeno
      Pages 296-309
    5. Leonardo Aniello, Giuseppe Antonio Di Luna, Giorgia Lodi, Roberto Baldoni
      Pages 310-323
    6. Saman Aliari Zonouz, Kaustubh R. Joshi, William H. Sanders
      Pages 338-354
    7. Giuseppe Bonifacio, Pietro Marmo, Antonio Orazzo, Ida Petrone, Luigi Velardi, Alessio Venticinque
      Pages 369-382
  11. Session 9: Formal Verification 3

    1. Alessandro Fantechi, Stefania Gnesi
      Pages 383-396
    2. Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee
      Pages 397-408
    3. Laura Carnevali, Lorenzo Ridi, Enrico Vicario
      Pages 409-422
  12. Session 10: Optimization Methods

    1. Matthias Güdemann, Frank Ortmeier
      Pages 423-436
    2. Ismail Assayad, Alain Girault, Hamoudi Kalla
      Pages 437-451
  13. Session 11: Complex Systems Dependability 2

    1. Antonio Pecchia, Roberto Pietrantuono, Stefano Russo
      Pages 452-466
    2. Andrea Fiaschetti, Francesco Lavorato, Vincenzo Suraci, Andi Palo, Andrea Taglialatela, Andrea Morgagni et al.
      Pages 467-479
  14. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 30th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2011, held in Naples, Italy, in September 2011.

The 34 full papers presented together were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on RAM evaluation, complex systems dependability, formal verification, risk and hazard analysis, cybersecurity and optimization methods.

Keywords

aerospace systems model checking risk managment safety-critical systems systems validation

Editors and affiliations

  • Francesco Flammini
    • 1
  • Sandro Bologna
    • 2
  • Valeria Vittorini
    • 3
  1. 1.Ansaldo STSNapoliItaly
  2. 2.Italian Association Critical Infrastructure (AIIC)RomeItaly
  3. 3.Dipartimento di Informatica e SistemisticaUniversità di Napoli Federico IINapoliItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-24270-0
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-24269-4
  • Online ISBN 978-3-642-24270-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site