Software Engineering for Resilient Systems

5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

  • Anatoliy Gorbenko
  • Alexander Romanovsky
  • Vyacheslav Kharchenko
Conference proceedings SERENE 2013
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8166)

Table of contents

  1. Front Matter
  2. Keynote Talks

    1. András Pataricza, Imre Kocsis, Ágnes Salánki, László Gönczy
      Pages 1-16
    2. Robin Bloomfield, Kateryna Netkachova, Robert Stroud
      Pages 17-32
  3. Resilient Software and Design

    1. Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione
      Pages 33-47
    2. Janusz Górski, Katarzyna Łukasiewicz
      Pages 48-55
    3. Davide Di Ruscio, Patrizio Pelliccione
      Pages 56-63
  4. Rigorous Reasoning

    1. Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis
      Pages 79-93
    2. Marco Autili, Amleto Di Salle, Massimo Tivoli
      Pages 94-108
  5. Applications

    1. Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
      Pages 109-124
    2. Alexei Iliasov, Ilya Lopatkin, Alexander Romanovsky
      Pages 125-132
  6. Concepts

    1. Vincenzo De Florio
      Pages 141-155
    2. Dmitry A. Maevsky
      Pages 156-168
  7. Analysis

    1. Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Massimiliano Leone Itria
      Pages 184-198
  8. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev, Ukraine, in October 2013. The 13 revised full papers were carefully reviewed and selected from 21 submissions. The papers are organized in topical sections on resilient software and design, rigorous reasoning, applications, concepts, and analysis.

Keywords

adaptive systems evolution formal modeling software reliability verification

Editors and affiliations

  • Anatoliy Gorbenko
    • 1
  • Alexander Romanovsky
    • 2
  • Vyacheslav Kharchenko
    • 1
  1. 1.Department of Computer Systems and NetworksNational Aerospace UniversityKharkivUkraine
  2. 2.School of Computing ScienceNewcastle UniversityNewcastle upon TyneUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-40894-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-40893-9
  • Online ISBN 978-3-642-40894-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349