[SystemSafety] CfP: SERENE 2018 - 10th Int. Workshop on Software Engineering for Resilient Systems

Alexander Romanovsky alexander.romanovsky at newcastle.ac.uk
Sat Apr 7 16:37:45 CEST 2018


Call for papers

SERENE 2018
10th International Workshop on Software Engineering for Resilient Systems
September 10-11, 2018, Iasi, Romania
http://serene.disim.univaq.it/2018
https://easychair.org/conferences/?conf=serene2018


Co-located with EDCC, European Dependable Computing Conference
Special Theme: 10 years of Software Resilience Engineering

Resilience is an ability of a system to persistently deliver trustworthy
services despite changes. Modern software systems continuously change in
response to evolving requirements, customer feedback, new business needs,
platform upgrades etc. Despite frequent changes software is expected to
function correctly and reliably especially while providing services that
are critical to society, e.g., in such areas as transportation, healthcare,
energy production etc. Since modern software should be developed to
efficiently cope with changes, unforeseen failures and intrusions, design
for resilience is an increasingly important area of software engineering.

In 2018, the SERENE workshop celebrates its 10th anniversary of supporting
resilient systems research (through more than 100 papers, 20 invited talks,
250 contributing authors, and 25,000 article downloads in Springer Link,
over the years). Since 2015 SERENE has become a part of a major European
dependability forum – EDCC. This year SERENE will be held before the main
programme of EDCC 2018 (http://edcc2018.info.uaic.ro).

The SERENE 2018 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-healing autonomic 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.

We welcome relevant contributions in the following forms:
* Technical papers describing original theoretical or practical work;
* Experience/Industry papers describing practitioner experience
         or field study, addressing an application domain and
         the lessons learned;
* PhD Forum papers describing objectives, methodology, and results at
         an early stage in research;
* Project papers describing goals and results of ongoing projects;
* Tool papers presenting new tools or new versions of existing tools
         that support the development of resilient systems;
* Position papers discussing challenges and emerging trends in resilience.

The submissions will be formatted following the LNCS Springer formatting –
http://www.springer.com/gp/computer-science/lncs/conference-proceedings-
guidelines. Submissions of all the categories will be 7 pages long except
for the technical papers which will be 15 pages long. The submission site
is https://easychair.org/conferences/?conf=serene2018

The Proceedings will be published by Springer in the LNCS series
(confirmed).

Important Dates
* Abstract Submission due: June 1, 2018
* Paper Submission due: June 15, 2018
* Authors notification: July 5, 2018
* Camera ready papers: July 15, 2018
* Workshop: September 10-11, 2018

Program Chairs:
* Henry Muccini, University of L’Aquila, Italy
* Alin Stefanescu, University of Bucharest, Romania

Program Committee
* Rami Bahsoon, Birmingham University, UK
* Michael Butler, Southampton University, UK
* Nelio Cacho, UFRN, Brazil
* Andrea Ceccarelli, U. Firenze, Italy
* Vincenzo De Florio, VITO, Belgium
* Nikolaos Georgantas, INRIA, France
* Anatoliy Gorbenko, Leeds Beckett University, UK
* Felicita Di Giandomenico, CNR-ISTI, Italy
* Lars Grunske, Humboldt University Berlin, Germany
* Jeremie Guiochet, LAAS, France
* Wilhelm Hasselbring, Kiel University, Germany
* Dubravka Ilic, Space Systems Finland, Finland
* Rolf Johansson, Zenuity, Sweden
* Mohamed Kaaniche, LAAS-CNRS, France
* Linas Laibinis, Vilnius University, Lithuania
* Istvan Majzik, BUTE, Hungary
* Miroslaw Malek, U. Lugano, Switzerland
* Andras Pataricza, BUTE, Hungary
* Patrizio Pelliccione, Chalmers University of Technology,
    Sweden
* Alexander Romanovsky, Newcastle University, UK
* Andreas Roth, SAP, Germany
* Juan Carlos Ruiz, Technical U. of Valencia, Spain
* Cristina Seceleanu, MDH, Sweden
* Elena Troubitsyna, Abo Akademi University, Finland
* Juri Vain, Tallinn University of Technology, Estonia
* Marco Vieira, U. Coimbra, Portugal



Information:
SERENE 2018 website: http://serene.disim.univaq.it/2018
SERENE website: http://serene.disim.univaq.it/
EasyChair: https://easychair.org/conferences/?conf=serene2018
LinkedIn group: https://www.linkedin.com/groups/4365850



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20180407/3ca219e6/attachment-0001.html>


More information about the systemsafety mailing list