[ecoop-info] CfP Workshop on SE for Resilient Systems (SERENE 2013)

[Alexander Romanovsky]

5th Int. Workshop on Software Engineering for Resilient Systems 
                                     SERENE 2013
                             October 3-4, Kyiv, Ukraine
                                     Call for Papers
              http://serene.uni.lu/Workshops/SERENE_2013


Important dates
Submission due: June 5, 2013
Notification: July 9, 2013
Camera ready papers: July 22, 2013
Autumn school: October 1-2, 2013
Workshop: October 3-4, 2013

Unprecedented level of complexity of modern software, software-based systems and 
IT infrastructures makes it difficult to ensure their resilience – an ability of the system 
to persistently deliver its services in a trustworthy way even when facing changes, 
unforeseen failures and intrusions. Yet we are observing the increasingly pervasive 
use of software in such critical infrastructures as transportations, health care, energy 
production etc. which are evolvable systems functioning in dynamical and partially 
uncertain environment. This trend urges the research community to develop powerful 
methods for assuring resilience of software-intensive systems. The SERENE 2013 
workshop provides a forum for researchers and practitioners to exchange ideas
and results on advances in all areas relevant to this challenge, including, but not 
limited to:

Methodology:
- Relations between resilience, dependability and quality attributes;
- Requirements engineering & re-engineering for resilience;
- Trustworthy and intrusion-safe systems;
- Error, fault and exception handling in the software life-cycle;
- Quantitative approaches to ensuring resilience.

Models & methods:
- Resilience prediction and experimental measurement;
- Modelling of resilience properties: formal & semi-formal techniques;
- Verification and validation of resilient systems;
- Diversity and multi-version technologies for resilience.

Case-studies & applications:
- Empirical studies in the domain of resilient systems;
- Cloud computing and resilient service provisioning;
- Resilience of software-hardware co-engineering;
- Engineering of self-healing autonomic systems;
- Resilience of cyber physical systems and infrastructures;
- Global aspects of resilience engineering: education, training and cooperation.

Tools & technologies:
- Frameworks, patterns and software architectures for resilience;
- Resilience at run-time: metadata, mechanisms, reasoning and adaptation;
- CASE tools for developing resilient systems.

We welcome relevant contributions in the following forms:
- Technical papers describing original theoretical or practical work; advanced 
“work in progress” papers may also be considered;
- Experience/Industry papers describing practitioner experience or field studies, 
addressing the application domain and lessons learned;
- PhD Forum papers describing objectives, methodology, and results at an early 
stage in research. Special sessions will provide an opportunity to discuss 
PhD work and obtain constructive advice from experienced advisors;
- Project papers: Short papers describing goals and results of ongoing projects 
related to the SERENE topics are welcome;
- Tool papers: Papers presenting new tools or new versions of the existing 
tools that support the development of resilient systems.

Submission:
Abstracts and papers will be submitted via Easychair
(https://www.easychair.org/conferences/?conf=serene2013)

Your paper must
- be formatted according to the Springer LNCS Guidelines 
(http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0);
- respect page limits: 15 pages for technical and experience/industry papers; 
8 pages for all others;
- be submitted as PDF.

Submitted papers must describe novel work and not be published elsewhere. 
All papers will be peer-reviewed by at least three independent reviewers, and 
assessed for relevance to the workshop topics, technical soundness, innovation, 
scientific and presentation quality. Accepted papers must be presented by 
one co-author.

Proceedings will be published as a volume in Lecture Notes 
in Computer Science (LNCS), Springer
(http://www.springer.com/computer/lncs)

Program Committee: 
Alessandro Garcia, PUC-Rio, Brazil
Andras Pataricza, BUTE, Hungary
Anthony Savidis, FORTH, Greece
Elena Troubitsyna, Abo Akademi U., Finland
Felicita Di Giandomenico, ISTI-CNR, Italy
Felix Salfner, SAP Innovation Center, Germany
Finn Arve Aagesen, NTNU, Norway
Giovanna Di Marzo Serugendo, U. Geneva, Switzerland
Henry Muccini, U. L'Aquila, Italy
Holger Giese, U. Potsdam, Germany
Ivan Mistrik, Indep. Consultant, Germany
Ivica Crnkovic, Mälardalen U., Sweden
John Knight, U. Virginia, USA
Jörg Kienzle, McGill U., Canada
Leszek Kotulski, AGH U. Science and Technology, Poland
Mohamed Kaaniche, LAAS-CNRS, France
Nicolas Guelfi, U. Luxembourg, Luxembourg
Paris Avgeriuo, U. Groneningen, Netherlands
Patrizio Pelliccione, U. L'Aquila, Italy
Peter Schneider-Kamp, U. Southern Denmark, Denmark
Raffaela Mirandola, Politecnico di Milano, Italy
Schahram Dustdar, Technical U. Vienna, Austria
Stefania Gnesi, ISTI-CNR, Italy
Stefano Russo, U. Naples Federico II, Italy
Tudor Dumitras, Symantec, USA
Valerie Issarny, INRIA, France
Vincenzo Grassi, U. Roma Tor Vergata, Italy
Vladimir Hahanov, National U. Radioelectronics, Ukraine
Willi Hasselbring, Kiel U., Germany

Organisation
General Chair:          
 Mokhor, Vladimir (National Technical University, Ukraine)
Program Chairs:         
 Gorbenko, Anatoliy (National Aerospace University, Ukraine)
 Kharchenko, Vyacheslav (National Aerospace University, Ukraine)
 Romanovsky, Alexander (Newcastle University, UK)
Autumn School Director: 
 Pelliccione, Patrizio (University of L'Aquila, Italy)
Publicity:              
 Malavolta, Ivano (University of L'Aquila, Italy)
Web:                    
 Illiashenko, Oleg (National Aerospace University, Ukraine)
Finance & Admin:        
 Warwick, Jon (Newcastle University, UK)
Steering Committee:     
 Buchs, Didier (University of Geneva, Switzerland)
 Muccini, Henry (University of L'Aquila, Italy)
 Pelliccione, Patrizio (University of L'Aquila, Italy)
 Romanovsky, Alexander (Newcastle University, UK)