Francesco Donini

Sisinf Lab logo

Events

 

7th International Workshop on Software Engineering for Resilient Systems (SERENE 2015)

7th International Workshop on Software Engineering for Resilient Systems, 7-8th September 2015, Paris



Website: http://serene.disim.univaq.it/2015/


IMPORTANT DATES

---------------

Paper Submission: April 24, 2015 2015

Author Notification: June 19, 2015

Workshop: September 7-8, 2015


The way software is developed is changing. It must take into account multifaceted constraints like unpredictable markets, evolving customer requirements, pressures of shorter time-to-market, etc. At the same time, software is controlling critical functionalities in several domains like transportation, health care, manufacturing, and IT infrastructures. As a result, modern software systems require on one side adding frequently (daily or weakly) new features, functionalities, or new versions of software artifacts according to changing contexts, business opportunities, or customer’s feedbacks, on the other side ensuring their resilience – an ability of the system to persistently deliver its services in a dependable way even when facing changes, unforeseen failures and intrusions.

From this year SERENE is becoming part of EDCC, the European Dependable Computing Conference.

The SERENE 2015 workshop provides 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

Incremental development 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).

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

Papers can be submitted via EasyChair:

Website: http://www.easychair.org/conferences/?conf=serene2015/


Each paper must be submitted in PDF and be formatted according to the Springer LNCS Guidelines:

Website: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0/


be no longer than 15 pages for technical and experience/industry papers, and 8 pages for all others.

Submitted papers must describe novel work and not be published elsewhere. All papers will be peer-reviewed and assessed for relevance to the workshop topics, technical soundness, innovation, scientific and presentation quality. Accepted papers must be presented by (one of) the author(s).

The Proceedings of SERENE 2015 will be published as a volume in Springer Lecture Notes in Computer Science (LNCS).

Back   02.03.2015.

 
 

Valid XHTML 1.1   Valid CSS

:: hosted by SisInf Lab http://sisinflab.poliba.it ::