Advertisement

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

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-642-24124-6
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-24123-9
  • Online ISBN 978-3-642-24124-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering