Skip to main content
SpringerLink
Log in
Book cover

Software Engineering for Resilient Systems

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

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Anatoliy Gorbenko

    1. Department of Computer Systems and Networks, National Aerospace University, Kharkiv, Ukraine

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alexander Romanovsky

    1. School of Computing Science, Newcastle University, Newcastle upon Tyne, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Vyacheslav Kharchenko

    1. Department of Computer Systems and Networks, National Aerospace University, Kharkiv, Ukraine

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SERENE 2013.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Download chapter PDF

  2. Keynote Talks

    1. Empirical Assessment of Resilience

      • András Pataricza, Imre Kocsis, Ágnes Salánki, László Gönczy
      Pages 1-16

    2. Security-Informed Safety: If It’s Not Secure, It’s Not Safe

      • Robin Bloomfield, Kateryna Netkachova, Robert Stroud
      Pages 17-32

  3. Resilient Software and Design

    1. Engineering a Platform for Mission Planning of Autonomous and Resilient Quadrotors

      • Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione
      Pages 33-47

    2. Towards Agile Development of Critical Software

      • Janusz Górski, Katarzyna Łukasiewicz
      Pages 48-55

    3. Supporting the Evolution of Free and Open Source Software Distributions

      • Davide Di Ruscio, Patrizio Pelliccione
      Pages 56-63

  4. Rigorous Reasoning

    1. Optimizing Verification of Structurally Evolving Algebraic Petri Nets

      • Yasir Imtiaz Khan
      Pages 64-78

    2. A Case Study in Refinement-Based Modelling of a Resilient Control System

      • Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis
      Pages 79-93

    3. Synthesis of Resilient Choreographies

      • Marco Autili, Amleto Di Salle, Massimo Tivoli
      Pages 94-108

  5. Applications

    1. Formal Development and Quantitative Assessment of a Resilient Multi-robotic System

      • Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
      Pages 109-124

    2. The SafeCap Project on Railway Safety Verification and Capacity Simulation

      • Alexei Iliasov, Ilya Lopatkin, Alexander Romanovsky
      Pages 125-132

    3. Modeling of Autonomous Vehicle Operation in Intelligent Transportation Systems

      • Mark Woodard, Sahra Sedigh
      Pages 133-140

  6. Concepts

    1. Preliminary Contributions Towards Auto-resilience

      • Vincenzo De Florio
      Pages 141-155

    2. A New Approach to Software Reliability

      • Dmitry A. Maevsky
      Pages 156-168

  7. Analysis

    1. Static Analysis Approach for Defect Detection in Multithreaded C/C++ Programs

      • Mikhail Moiseev
      Pages 169-183

    2. Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning

      • Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Massimiliano Leone Itria
      Pages 184-198

  8. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Software Engineering for Resilient Systems

Keywords

About this book

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.

Editors and Affiliations

  • Department of Computer Systems and Networks, National Aerospace University, Kharkiv, Ukraine

    Anatoliy Gorbenko, Vyacheslav Kharchenko

  • School of Computing Science, Newcastle University, Newcastle upon Tyne, UK

    Alexander Romanovsky

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation