Software engineering for resilient systems : 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings / Radu Calinescu, Felicita Di Giandomenico (eds.).
SERENE (Workshop) (11th : 2019 : Naples, Italy); Calinescu, Radu C., 1968- editor.; Di Giandomenico, Felicita, 1960- editor.
2019
QA76.758
Available Online

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Software engineering for resilient systems : 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings / Radu Calinescu, Felicita Di Giandomenico (eds.).
Meeting Name
SERENE (Workshop) (11th : 2019 : Naples, Italy)
ISBN
9783030308568 (electronic book)
3030308561 (electronic book)
9783030308551
DOI
https://doi.org/10.1007/978-3-030-30856-8
https://doi.org/10.1007/978-3-030-30
Published
Cham, Switzerland : Springer, 2019.
Language
English
Description
1 online resource (x, 157 pages) : illustrations.
Item Number
10.1007/978-3-030-30856-8 doi
10.1007/978-3-030-30
Call Number
QA76.758
Dewey Decimal Classification
005.1
Summary
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.
Note
International conference proceedings.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed September 25, 2019).
Added Author
Calinescu, Radu C., 1968- editor.
Di Giandomenico, Felicita, 1960- editor.
Series
Lecture notes in computer science ; 11732.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Keynote Paper
Ethics and Privacy in Autonomous Systems: A software exoskeleton to empower the user
Invited Paper
A distilled characterization of resilience and its embraced properties based on state-spaces
Resilience Engineering in Complex and Critical Applications
Modelling Autonomous Resilient Multi-Robotic Systems
Reactive Middleware for Effective Requirement Change Management of Cloud-Based Global Software Development
Fault-tolerant IoT
a Systematic Mapping Study
JARVIS, a hardware/software framework for resilient Industry 4.0 systems
Testing and Validation Methods
Toward testing self-organizations in multi-embedded-agent systems
Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems
Security, Trust and Privacy Management
An Energy Aware Approach to Trust Management Systems for Embedded Multi-Agents Systems
Addressing Security Properties in Systems of Systems: Challenges and Ideas
On the Use of Quality Models to Characterize Trustworthiness Properties.

Browse Subjects

Show more subjects...

Statistics

from
to
Export