Skip to main content
SpringerLink
Log in

Software Engineering for Resilient Systems

11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Radu Calinescu

    1. University of York, York, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Felicita Di Giandomenico

    1. ISTI-CNR, Pisa, Italy

    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 11732)

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

Included in the following conference series:

Conference proceedings info: SERENE 2019.

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 EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (11 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  3. Invited Paper

    1. Front Matter

      Pages 9-9
      Download chapter PDF

    2. A Distilled Characterization of Resilience and Its Embraced Properties Based on State-Spaces

      • Jesper Andersson, Vincenzo Grassi, Raffaela Mirandola, Diego Perez-Palacin
      Pages 11-25

  4. Resilience Engineering in Complex and Critical Applications

    1. Front Matter

      Pages 27-27
      Download chapter PDF

    2. Modelling Autonomous Resilient Multi-robotic Systems

      • Inna Vistbakka, Elena Troubitsyna
      Pages 29-45

    3. Reactive Middleware for Effective Requirement Change Management of Cloud-Based Global Software Development

      • David Ebo Adjepon-Yamoah
      Pages 46-66

    4. Fault-Tolerant IoT

      • Mahyar Tourchi Moghaddam, Henry Muccini
      Pages 67-84

    5. JARVIS, A Hardware/Software Framework for Resilient Industry 4.0 Systems

      • Jacopo Parri, Fulvio Patara, Samuele Sampietro, Enrico Vicario
      Pages 85-93

  5. Testing and Validation Methods

    1. Front Matter

      Pages 95-95
      Download chapter PDF

    2. Toward Testing Self-organizations in Multi-Embedded-Agent Systems

      • Arthur Baudet, Oum-El-Kheir Aktouf, Annabelle Mercier, Jean-Paul Jamont
      Pages 97-108

    3. Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems (Doctoral Forum Paper)

      • Ioannis Stefanakos
      Pages 109-117

  6. Security, Trust and Privacy Management

    1. Front Matter

      Pages 119-119
      Download chapter PDF

    2. An Energy Aware Approach to Trust Management Systems for Embedded Multi-Agent Systems

      • Arthur Darroux, Jean-Paul Jamont, Oum-El-Kheir Aktouf, Annabelle Mercier
      Pages 121-137

    3. Addressing Security Properties in Systems of Systems: Challenges and Ideas

      • Miguel Angel Olivero, Antonia Bertolino, Francisco José Dominguez-Mayo, María José Escalona, Ilaria Matteucci
      Pages 138-146

    4. On the Use of Quality Models to Characterize Trustworthiness Properties

      • Tania Basso, Hebert Silva, Regina Moraes
      Pages 147-155

  7. Back Matter

    Pages 157-157
    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 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019, held in Naples, Italy, in September 2019.

The 5 full papers and 4 short papers presented together with 1 keynote and 1 invited paper were carefully reviewed and selected from 12 submissions. They cover the following areas: resilience engineering in complex and critical applications; testing and validation methods; security, trust and privacy management.

Editors and Affiliations

  • University of York, York, UK

    Radu Calinescu

  • ISTI-CNR, Pisa, Italy

    Felicita Di Giandomenico

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation