Skip to main content
SpringerLink
Log in

Software Engineering for Resilient Systems

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

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Alessandro Fantechi

    1. University of Florence, Firence, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Patrizio Pelliccione

    1. University of Gothenburg, Gothenburgh, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: SERENE 2015.

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 34.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 44.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 (10 papers)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Biological Immunity and Software Resilience: Two Faces of the Same Coin?

    • Marco Autili, Amleto Di Salle, Francesco Gallo, Alexander Perucci, Massimo Tivoli
    Pages 1-15

  3. Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems

    • Andrea Höller, Tobias Rauter, Johannes Iber, Christian Kreiner
    Pages 16-30

  4. A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol

    • Tamás Tóth, András Vörös, István Majzik
    Pages 31-45

  5. Considering Execution Environment Resilience: A White-Box Approach

    • Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs
    Pages 46-61

  6. Engineering Cross-Layer Fault Tolerance in Many-Core Systems

    • Rem Gensh, Alexander Romanovsky, Alex Yakovlev
    Pages 62-70

  7. Risk Assessment Based Cloudification

    • Szilárd Bozóki, Gábor Koronka, András Pataricza
    Pages 71-81

  8. Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System

    • Davide Basile, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi, Franco Mazzanti
    Pages 82-98

  9. Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain

    • Harald Sporer, Georg Macher, Andrea Höller, Christian Kreiner
    Pages 99-113

  10. Tejo: A Supervised Anomaly Detection Scheme for NewSQL Databases

    • Guthemberg Silvestre, Carla Sauvanaud, Mohamed Kaâniche, Karama Kanoun
    Pages 114-127

  11. Resiliency Variance in Workflows with Choice

    • John C. Mace, Charles Morisset, Aad van Moorsel
    Pages 128-143

  12. Back Matter

    Pages 145-145
    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 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.

Editors and Affiliations

  • University of Florence, Firence, Italy

    Alessandro Fantechi

  • University of Gothenburg, Gothenburgh, Sweden

    Patrizio Pelliccione

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation