Advertisement

Software Engineering for Resilient Systems

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

  • Radu Calinescu
  • Felicita Di Giandomenico
Conference proceedings SERENE 2019

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

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

Table of contents

  1. Front Matter
    Pages i-x
  2. Keynote Paper

  3. Invited Paper

    1. Front Matter
      Pages 9-9
    2. 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
    2. Inna Vistbakka, Elena Troubitsyna
      Pages 29-45
    3. Mahyar Tourchi Moghaddam, Henry Muccini
      Pages 67-84
    4. Jacopo Parri, Fulvio Patara, Samuele Sampietro, Enrico Vicario
      Pages 85-93
  5. Testing and Validation Methods

    1. Front Matter
      Pages 95-95
    2. Arthur Baudet, Oum-El-Kheir Aktouf, Annabelle Mercier, Jean-Paul Jamont
      Pages 97-108
  6. Security, Trust and Privacy Management

    1. Front Matter
      Pages 119-119
    2. Arthur Darroux, Jean-Paul Jamont, Oum-El-Kheir Aktouf, Annabelle Mercier
      Pages 121-137
    3. Miguel Angel Olivero, Antonia Bertolino, Francisco José Dominguez-Mayo, María José Escalona, Ilaria Matteucci
      Pages 138-146
    4. Tania Basso, Hebert Silva, Regina Moraes
      Pages 147-155
  7. Back Matter
    Pages 157-157

About these proceedings

Introduction

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.

Keywords

agents artificial intelligence autonomic systems data security intelligent agents Internet of Things IoT mas model checking multi-agent multi-agent systems resilience engineering resilient systems sensors software architecture software engineering

Editors and affiliations

  1. 1.University of YorkYorkUK
  2. 2.ISTI-CNRPisaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-30856-8
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-30855-1
  • Online ISBN 978-3-030-30856-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site