posted by user: iivanoo || 3604 views || tracked by 9 users: [display]

SERENE 2013 : Software Engineering for Resilient Systems


Conference Series : Software Engineering for Resilient Systems
When Oct 3, 2013 - Oct 4, 2013
Where Kyiv, Ukraine
Submission Deadline Jun 5, 2013
Notification Due Jul 9, 2013
Final Version Due Jul 22, 2013
Categories    software engineering   resilience   fault tolerance   dependability

Call For Papers

SERENE'2013: October 3-4, Kyiv, UKRAINE

Web site:

Proceedings of SERENE'2013 will be published as a volume in Lecture Notes in Computer Science (LNCS), Springer

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:

- 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.

Abstracts and papers are submitted via Easychair

Your paper must
- be formatted according to the Springer LNCS Guidelines (;
- 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.

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

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.

Related Resources

PerIoT 2020   Software Approaches to Improve the Performance of IoT Systems - Applied Sciences (IF 2.217)
ACM-CSSE 2020-Ei/Scopus 2020   2020 3nd International Conference on Computer Science and Software Engineering (CSSE 2020)
SBESC 2020   X Brazilian Symposium on Computing Systems Engineering
CCCIOT 2020   International Conference on Cloud Computing and IOT (CCCIOT 2020)
ICCSS--Ei Compendex, Scopus 2020   2020 4th International Conference on Circuits, System and Simulation (ICCSS 2020)--Ei Compendex, Scopus
AIFU 2020   6th International Conference on Artificial Intelligence and Applications
IEEE iCCECE 2020   3rd IEEE International Conference on Computing, Electronics and Communications Engineering 2020
IJBBR 2020   International Journal of BRIC Business Research
ICCPR--Ei and Scopus 2020   2020 9th International Conference on Computing and Pattern Recognition (ICCPR 2020)--Ei Compendex, Scopus
SEFM 2020   Software Engineering and Formal Methods