Software Engineering for Resilient Systems

6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

  • István Majzik
  • Marco Vieira
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8785)

Table of contents

  1. Front Matter
  2. Invited Talk

    1. Vincenzo De Florio, Hong Sun, Chris Blondia
      Pages 1-8
  3. Design of Resilient Systems

    1. Ivano Malavolta, Henry Muccini, Smrithi Rekha V.
      Pages 9-23
    2. Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione
      Pages 24-39
    3. Maxime Turenne, Ali Kanso, Abdelouahed Gherbi, Ronan Barrett
      Pages 40-54
  4. Analysis of Resilience

    1. Linas Laibinis, Dmitry Klionskiy, Elena Troubitsyna, Anatoly Dorokhov, Johan Lilius, Mikhail Kupriyanov
      Pages 55-70
    2. Andrea Höller, Nermin Kajtazovic, Christopher Preschern, Christian Kreiner
      Pages 71-85
    3. Cristiana Areias, Nuno Antunes, João Carlos Cunha
      Pages 86-100
  5. Verification and Validation

    1. Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
      Pages 101-115
    2. Richard Lipka, Marek Paška, Tomáš Potužák
      Pages 116-130
    3. Alexei Iliasov, Roberto Palacin, Alexander Romanovsky
      Pages 131-138
  6. Monitoring

    1. David Lawrence, Didier Buchs, Armin Wellig
      Pages 139-153
    2. Arda Ahmet Ünsal, Görkem Sazara, Barış Aktemur, Hasan Sözer
      Pages 154-168
    3. Gábor Urbanics, László Gönczy, Balázs Urbán, János Hartwig, Imre Kocsis
      Pages 169-183
  7. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 6th International Workshop on Software Engineering for Resilient Systems, SERENE 2014, held in Budapest, Hungary, in October 2014. The 11 revised technical papers presented together with one project paper and one invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on design of resilient systems; analysis of resilience; verification and validation; and monitoring.

Keywords

adaptive systems dependability evolution failure modeling formal modeling monitoring resilience software architectures software reliability verification and validation

Editors and affiliations

  • István Majzik
    • 1
  • Marco Vieira
    • 2
  1. 1.Budapest University of Technology and EconomicsBudapestHungary
  2. 2.Department of Informatics EngineeringUniversity of Coimbra, CISUCCoimbraPortugal

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-12241-0
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-12240-3
  • Online ISBN 978-3-319-12241-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book