SERENE: International Workshop on Software Engineering for Resilient Systems

Software Engineering for Resilient Systems

7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

  • Alessandro Fantechi
  • Patrizio Pelliccione
Conference proceedings SERENE 2015

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9274)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Marco Autili, Amleto Di Salle, Francesco Gallo, Alexander Perucci, Massimo Tivoli
    Pages 1-15
  3. Andrea Höller, Tobias Rauter, Johannes Iber, Christian Kreiner
    Pages 16-30
  4. Tamás Tóth, András Vörös, István Majzik
    Pages 31-45
  5. Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs
    Pages 46-61
  6. Rem Gensh, Alexander Romanovsky, Alex Yakovlev
    Pages 62-70
  7. Szilárd Bozóki, Gábor Koronka, András Pataricza
    Pages 71-81
  8. Davide Basile, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi, Franco Mazzanti
    Pages 82-98
  9. Harald Sporer, Georg Macher, Andrea Höller, Christian Kreiner
    Pages 99-113
  10. Guthemberg Silvestre, Carla Sauvanaud, Mohamed Kaâniche, Karama Kanoun
    Pages 114-127
  11. John C. Mace, Charles Morisset, Aad van Moorsel
    Pages 128-143
  12. Back Matter
    Pages 145-145

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015. The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and evaluation of resilience, case studies and applications.

Keywords

cloud computing dependability embedded systems error detection error recovery fault tolerance formal modeling monitoring performance power consumption redundancy reliability resilience risk assessment self-adaptive systems software and its engineering software architectures software testing traceability veification and validation

Editors and affiliations

  • Alessandro Fantechi
    • 1
  • Patrizio Pelliccione
    • 2
  1. 1.University of FlorenceFirenceItaly
  2. 2.University of GothenburgGothenburghSweden

Bibliographic information

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