© 2011

Software Engineering for Resilient Systems

Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings

  • Elena A. Troubitsyna
Conference proceedings SERENE 2011

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

Table of contents

  1. Front Matter
  2. Invited Talk

  3. Formal Modelling and Verification

    1. Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
      Pages 24-39
    2. Didier Buchs, Steve Hostettler, Alexis Marechal
      Pages 40-47
  4. Architecting Resilient Systems

    1. Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
      Pages 48-62
    2. Ivano Malavolta, Henry Muccini, V. Smrithi Rekha
      Pages 63-77
  5. Fault Tolerance

  6. Requirements Engineering and Product Lines

    1. Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione
      Pages 100-105
    2. Sadaf Mustafiz, Jörg Kienzle
      Pages 106-112
  7. Invited Talk

  8. Monitoring and Self-adaptation

    1. Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo
      Pages 115-129
    2. Antonia Bertolino, Antonello Calabrò, Francesca Lonetti, Antinisca Di Marco, Antonino Sabetta
      Pages 130-144
  9. Security and Intrusion Avoidance

    1. Anatoliy Gorbenko, Vyacheslav Kharchenko, Olga Tarasyuk, Alexander Romanovsky
      Pages 145-155
  10. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011, held in Geneva, Switzerland, in September 2011.
The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from numerous submissions. The papers address all aspects of formal modeling and verification, architecting resilient systems, fault tolerance, requirements engineering and product lines, monitoring and self-adaption, and security and intrusion avoidance.


dependability embedded languages intrusion detection secure measurements software product lines

Editors and affiliations

  • Elena A. Troubitsyna
    • 1
  1. 1.Department of ITÅbo Akademi UniversityTurkuFinland

Bibliographic information

Industry Sectors
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences