posted by organizer: carnevali || 1724 views || tracked by 9 users: [display]

SERENE 2015 : Software Engineering for Resilient Systems


Conference Series : Software Engineering for Resilient Systems
When Sep 7, 2015 - Sep 8, 2015
Where Paris
Submission Deadline Apr 24, 2015
Notification Due Jun 19, 2015
Final Version Due Jul 1, 2015
Categories    software engineering   resilient systems   trustworthy and intrusion-safe   cyber-physical

Call For Papers


SERENE website:
LinkedIn group:

Co-located with the 11th European Dependable Computing Conference (EDCC) 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.

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

Empirical studies in the domain of resilient systems;
Methodologies adopted in industrial contexts;
Cloud computing and resilient service provisioning;
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.


Prof. John Fitzgerald - School of Computing Science, Newcastle University (
Talk about: systems of systems and cyber-physical systems

1/2 INDUSTRY DAY - September 7, 2015
The program will feature invited talks by experts from industry.


Submission due: April 24, 2015
Authors notification: June 19, 2015
Camera ready papers: July 1, 2015
Workshop: September 7-8, 2015


Papers can be submitted via EasyChair:

Each paper must be submitted in PDF and be formatted according to the Springer LNCS Guidelines: 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).


International Program Committee

Paris Avgeriou, U. Groningen, The Netherlands
Marco Autili, University of L’Aquila, Italy
Didier Buchs, U. Geneva, Switzerland
Barbora Buhnova, Masaryk University, Czech Republic
Andrea Ceccarelli, U. Firenze, Italy
Ivica Crnkovic, Chalmers university, Sweden
Vincenzo De Florio, U. Antwerp, Belgium
Nikolaos Georgantas, INRIA, France
David De Andrés, Universidad Politécnica de Valencia
Felicita Di Giandomenico, CNR-ISTI, Italy
Holger Giese, U. Potsdam, Germany
Nicolas Guelfi, U. Luxembourg, Luxembourg
Mohamed Kaaniche, LAAS-CNRS, France
Vyacheslav Kharchenko, National Aerospace U., Ukraine
Nuno Laranjeiro, U. Coimbra, Portugal
Istvan Majzik, Budapest University of Technology and Economics, Hungary
Paolo Masci, Queen Mary U., UK
Marina Mongiello, Technical University of Bari, Italy
Henry Muccini, U. L’Aquila, Italy
Sadaf Mustafiz, McGill U., Canada
András Pataricza, Budapest University of Technology and Economics, Hungary
Markus Roggenbach, Swansea University, UK
Alexander Romanovsky, Newcastle U., UK
Stefano Russo, U. Naples Federico II, Italy
Peter Schneider-Kamp, U. Southern Denmark, Denmark
Marco Vieira, University of Coimbra, Portugal
Katinka Wolter, Freie U. Berlin, Germany
Apostolos Zarras, U. Ioannina, Greece

Steering Committee

Didier Buchs, U. of Geneva, Switzerland
Henry Muccini, U. of L’Aquila, Italy
Patrizio Pelliccione, Chalmers U. of Technology and U. of Gothenburg, Sweden
Alexander Romanovsky, Newcastle U., UK
Elena Troubitsyna, Abo Akademi U., Finland

Organizing Committee

Program Chairs:
Patrizio Pelliccione, Chalmers U. of Technology and U. of Gothenburg, Sweden
Alessandro Fantechi, University of Florence, Italy

Publicity Chair:
Laura Carnevali, University of Florence, Italy

Mirco Franzago, University of L’Aquila, Italy

Related Resources

ICIEM 2016   International Conference on Integrated Environmental Management for Sustainable Development
ICMLSC - ACM 2017   2017 International Conference on Machine Learning and Soft Computing (ICMLSC 2017)--Ei, ISI and Scopus
IROS 2017   IEEE/RSJ International Conference on Intelligent Robots and Systems
AsiaCCS 2017   Call for paper: ACM Asia Conference on Computer and Communications Security
ICIST 2017   23rd International Conference on Information and Software Technologies
ICCRD 2017   The 9th International Conference on Computer Research and Development (ICCRD 2017)-SCOPUS
IVUS 2017   Joint International Conference on Information Technologies
SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process
8th ICISA 2017   ICISA International Conference on Information Sience and Applications
IEEE-ICCSSE 2017   2017 3rd International Conference on Control Science and Systems Engineering (ICCSSE 2017)--IEEE, Ei Compendex