SERENE 2013 - 5th International Workshop on Software Engineering for Resilient Systems

-------------------------
5th INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR RESILIENT SYSTEMS
SERENE'2013: October 3-4, Kyiv, UKRAINE
-----------------------
Web site: http://serene.uni.lu/Workshops/SERENE_2013
Proceedings of SERENE'2013 will be published as a volume in Lecture Notes in Computer Science (LNCS), Springer
(http://www.springer.com/computer/lncs)
----------------
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
----------------
CALL FOR PAPERS:
----------------
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 are submitted via Easychair
(https://www.easychair.org/conferences/?conf=serene...)
Your paper must
- be formatted according to the Springer LNCS Guidelines (http://www.springer.com/computer/lncs?SGWID=0-164-...);
- 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.
---------------------
ORGANIZING COMMITTEE:
---------------------
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).
--------------------------------
INTERNATIONAL 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 Avgeriou, U. Groningen, 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.