11th International Workshop on Software Engineering for Resilient Systems
SERENE 2019
- URL: http://serene.disim.univaq.it/2019/home
- Event Date: 2019-09-17 ~ 2019-09-17
- Abstract Submission Date: 2019-05-31
- Submission Date: 2019-06-07
- Location: Naples, United States of America
================================================================
SERENE 2019 — Call for papers
11th International Workshop on Software Engineering for Resilient Systems
17 September 2019, Naples, Italy
http://serene.disim.univaq.it/2019
Co-located with the 15th European Dependable Computing Conference (EDCC)
================================================================
Scope
Resilient systems withstand, recover from, and adapt to disruptive changes with
acceptable degradation in their provided services. Resilience is particularly
important for modern software and software-controlled systems, many of which
are required to continually adapt their architecture and parameters in response
to evolving requirements, customer feedback, new business needs, platform upgrades, etc. Despite frequent changes and disruptions, software is expected
to function correctly and reliably. This is particularly important for software systems
that provide services which are critical to society, e.g., in transportation,
healthcare, energy production and e-government. Since modern software should
be developed to efficiently cope with changes, unforeseen failures and malicious
cyber attacks, design for resilience is an increasingly important area of software
engineering.
The SERENE workshop series has a long tradition of bringing together leading
researchers and practitioners from academia and industry, to advance the
state-of-the-art and to identify open challenges in the software engineering
of resilient systems. Since 2015 SERENE has become a part of a major European
dependability forum – EDCC. This year SERENE will be held before the main
EDCC 2019 conference (http://edcc.dependability.org).
The SERENE 2019 workshop will provide a forum for researchers and practitioners
to exchange ideas on advances in all areas relevant to software engineering for
resilient systems, including, but not limited to:
Development of resilient systems
- Engineering processes for resilient systems;
- Requirements engineering & re-engineering for resilience;
- Frameworks, patterns and software architectures for resilience;
- Engineering of self-adaptive systems;
- Design of trustworthy and intrusion-safe systems;
- Resilience at run-time (mechanisms, reasoning and adaptation);
- Resilience & dependability (resilience vs. robustness, dependable vs. adaptive
systems).
Verification, validation and evaluation of resilience
- Modelling and model-based analysis of resilience properties;
- Formal and semi-formal techniques for verification and validation;
- Experimental evaluations of resilient systems;
- Quantitative approaches to ensuring resilience;
- Resilience prediction.
Case studies & applications
- Empirical studies in the domain of resilient systems;
- Methodologies adopted in industrial contexts;
- Cloud computing and resilient service provisioning;
- Resilience for data-driven systems (e.g., big data-based adoption and resilience);
- Resilient cyber-physical systems and infrastructures;
- Global aspects of resilience engineering: education, training and cooperation.
Submissions
The SERENE-2019 proceedings will be published by Springer in the LNCS series,
and all submissions should conform to the Springer LNCS style specified at
http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
and should describe, in English, original work that has not been published or
submitted for publication elsewhere. PDF versions of papers should be submitted
electronically via EasyChair
https://easychair.org/conferences/?conf=serene2019
We welcome relevant contributions in the following forms:
- Technical papers describing original theoretical or practical work (up to 15 pages);
- Experience/Industry papers describing practitioner experience or field studies,
addressing an application domain and the lessons learned (up to 7 pages);
- PhD Forum papers describing objectives, methodology, and results at an early stage
of research (up to 7 pages);
- Project papers describing goals and results of ongoing projects (up to 7 pages);
- Tool papers presenting new tools or new versions of existing tools that support the
development of resilient systems (up to 7 pages);
- Position papers on challenges and emerging trends in resilience (up to 7 pages).
All submissions will be peer reviewed by three members of the program committee.
They will be evaluated on the basis of originality, contribution to the field,
technical and presentation quality, and relevance to the workshop.
Journal Special Issue
The authors of the best submissions will be invited to submit extended, revised
versions of their papers to the forthcoming Special Issue on ‘Resilient Software
and Software-Controlled Systems’ of Springer’s Computing journal.
Important Dates
Abstract Submission due: 31 May 2019
Paper Submission due: 7 June 2019
Authors notification: 14 July 2019
Camera ready papers: 20 July 2019
Workshop: 17 September 2019
Program Chairs
Radu Calinescu, University of York, UK
Felicita Di Giandomenico, ISTI-CNR, Italy
Program Committee
Nuno Antunes, University of Coimbra, Portugal
Luciana Arantes, Universite Pierre et Marie Curie-Paris 6, France
Rami Bahsoon, University of Birmingham, UK
Silvia Bonomi, Sapienza University of Rome, Italy
Marsha Chechik, University of Toronto, Canada
Lars Grunske, Humboldt University Berlin, Germany
Jérémie Guiochet, LAAS-CNRS, France
Dubravka Ilic, Space Systems Finland, Finland
Rolf Johansson, Zenuity, Sweden
Linas Laibinis, Åbo Akademi University, Finland
Catello Di Martino, Bell Labs Alcatel-Lucent, US
Giovanna Di Marzo Serugendo, University of Geneva, Italy
Raffaela Mirandola, Politecnico di Milano, Italy
Henry Muccini, University of L’Aquila, Italy
Roberto Natella, University of Naples Federico II, Italy
Patrizio Pelliccione, Chalmers University of Technology, Sweden
Genaina Rodrigues, University of Brasilia, Brazil
Francesca Saglietti, University of Erlangen-Nuremberg, Germany
Cristina Seceleanu, Mälardalen University, Sweden
Alin Stefanescu, University of Bucharest, Romania
Elena Troubitsyna, KTH – Royal Institute of Technology, Finland
Publicity Chair
Simos Gerasimou, University of York, UK
Web Chair
Mirco Franzago, University of L’Aquila, Italy
SERENE 2019 — Call for papers
11th International Workshop on Software Engineering for Resilient Systems
17 September 2019, Naples, Italy
http://serene.disim.univaq.it/2019
Co-located with the 15th European Dependable Computing Conference (EDCC)
================================================================
Scope
Resilient systems withstand, recover from, and adapt to disruptive changes with
acceptable degradation in their provided services. Resilience is particularly
important for modern software and software-controlled systems, many of which
are required to continually adapt their architecture and parameters in response
to evolving requirements, customer feedback, new business needs, platform upgrades, etc. Despite frequent changes and disruptions, software is expected
to function correctly and reliably. This is particularly important for software systems
that provide services which are critical to society, e.g., in transportation,
healthcare, energy production and e-government. Since modern software should
be developed to efficiently cope with changes, unforeseen failures and malicious
cyber attacks, design for resilience is an increasingly important area of software
engineering.
The SERENE workshop series has a long tradition of bringing together leading
researchers and practitioners from academia and industry, to advance the
state-of-the-art and to identify open challenges in the software engineering
of resilient systems. Since 2015 SERENE has become a part of a major European
dependability forum – EDCC. This year SERENE will be held before the main
EDCC 2019 conference (http://edcc.dependability.org).
The SERENE 2019 workshop will provide a forum for researchers and practitioners
to exchange ideas on advances in all areas relevant to software engineering for
resilient systems, including, but not limited to:
Development of resilient systems
- Engineering processes for resilient systems;
- Requirements engineering & re-engineering for resilience;
- Frameworks, patterns and software architectures for resilience;
- Engineering of self-adaptive systems;
- Design of trustworthy and intrusion-safe systems;
- Resilience at run-time (mechanisms, reasoning and adaptation);
- Resilience & dependability (resilience vs. robustness, dependable vs. adaptive
systems).
Verification, validation and evaluation of resilience
- Modelling and model-based analysis of resilience properties;
- Formal and semi-formal techniques for verification and validation;
- Experimental evaluations of resilient systems;
- Quantitative approaches to ensuring resilience;
- Resilience prediction.
Case studies & applications
- Empirical studies in the domain of resilient systems;
- Methodologies adopted in industrial contexts;
- Cloud computing and resilient service provisioning;
- Resilience for data-driven systems (e.g., big data-based adoption and resilience);
- Resilient cyber-physical systems and infrastructures;
- Global aspects of resilience engineering: education, training and cooperation.
Submissions
The SERENE-2019 proceedings will be published by Springer in the LNCS series,
and all submissions should conform to the Springer LNCS style specified at
http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
and should describe, in English, original work that has not been published or
submitted for publication elsewhere. PDF versions of papers should be submitted
electronically via EasyChair
https://easychair.org/conferences/?conf=serene2019
We welcome relevant contributions in the following forms:
- Technical papers describing original theoretical or practical work (up to 15 pages);
- Experience/Industry papers describing practitioner experience or field studies,
addressing an application domain and the lessons learned (up to 7 pages);
- PhD Forum papers describing objectives, methodology, and results at an early stage
of research (up to 7 pages);
- Project papers describing goals and results of ongoing projects (up to 7 pages);
- Tool papers presenting new tools or new versions of existing tools that support the
development of resilient systems (up to 7 pages);
- Position papers on challenges and emerging trends in resilience (up to 7 pages).
All submissions will be peer reviewed by three members of the program committee.
They will be evaluated on the basis of originality, contribution to the field,
technical and presentation quality, and relevance to the workshop.
Journal Special Issue
The authors of the best submissions will be invited to submit extended, revised
versions of their papers to the forthcoming Special Issue on ‘Resilient Software
and Software-Controlled Systems’ of Springer’s Computing journal.
Important Dates
Abstract Submission due: 31 May 2019
Paper Submission due: 7 June 2019
Authors notification: 14 July 2019
Camera ready papers: 20 July 2019
Workshop: 17 September 2019
Program Chairs
Radu Calinescu, University of York, UK
Felicita Di Giandomenico, ISTI-CNR, Italy
Program Committee
Nuno Antunes, University of Coimbra, Portugal
Luciana Arantes, Universite Pierre et Marie Curie-Paris 6, France
Rami Bahsoon, University of Birmingham, UK
Silvia Bonomi, Sapienza University of Rome, Italy
Marsha Chechik, University of Toronto, Canada
Lars Grunske, Humboldt University Berlin, Germany
Jérémie Guiochet, LAAS-CNRS, France
Dubravka Ilic, Space Systems Finland, Finland
Rolf Johansson, Zenuity, Sweden
Linas Laibinis, Åbo Akademi University, Finland
Catello Di Martino, Bell Labs Alcatel-Lucent, US
Giovanna Di Marzo Serugendo, University of Geneva, Italy
Raffaela Mirandola, Politecnico di Milano, Italy
Henry Muccini, University of L’Aquila, Italy
Roberto Natella, University of Naples Federico II, Italy
Patrizio Pelliccione, Chalmers University of Technology, Sweden
Genaina Rodrigues, University of Brasilia, Brazil
Francesca Saglietti, University of Erlangen-Nuremberg, Germany
Cristina Seceleanu, Mälardalen University, Sweden
Alin Stefanescu, University of Bucharest, Romania
Elena Troubitsyna, KTH – Royal Institute of Technology, Finland
Publicity Chair
Simos Gerasimou, University of York, UK
Web Chair
Mirco Franzago, University of L’Aquila, Italy
Journal Promotion
|
| Acta Koreana (Acta Koreana) |
|
| Acta Via Serica (AVS) |
|
| Computers and Concrete (CAC) |
|
| Journal of Information Processing Systems (JIPS) |
|
| Journal of Internet Computing and Services (KSII - JICS) |
|
| Journal of Smart Tourism (Smart Tourism) |
|
| Membrane and Water Treatment (MWT) |
|
| Wind and Structures, An International Journal (Wind and Structures) |
MANUSCRIPTLINK © 2015 -
