Call for papers

27-28 September 2012

Pisa, Italy

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

• Modelling of resilience properties: formal & semi-formal techniques
• Requirements engineering & re-engineering for resilience
• Verification and validation of resilient systems
• Resilience prediction and experimental measurement
• Error, fault and exception handling in the software life-cycle
• Empirical studies in the domain of resilient systems
• Relations between resilience and other system Quality Attributes
• Frameworks, patterns and software architectures for resilience
• Resilience at run-time: metadata, mechanisms, reasoning and adaptation
• Engineering of self-healing autonomic systems
• Quantitative approaches to ensuring resilience
• 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
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/conference…onf=serene2012
Your paper must:
• be formatted according to the Springer LNCS Guidelines
(Springer LNCS);
• respect page limits: 15 pages for technical papers and experience/industry papers; 8 pages
for all others;
• be submitted as PDF.

Submitted papers must be novel work and not published elsewhere. All papers will be peer- reviewed by at least three independent reviewers, assessed for relevance to the workshop topics, technical soundness, innovation, scientific and presentation quality. Accepted papers must be presented by one co-author.
Important dates:
Submission due: May 11, 2012  May 21, 2012
Notification: June 8th, 2012  June 29, 2012
Camera ready: June 29th, 2012  July 09, 2012
Autumn School: September 25-26 2012
Workshop: September 27-28 2012