[ecoop-info] Call for Papers - SERENE 2012

[Patrizio Pelliccione]

*** APOLOGIES FOR CROSS POSTINGS ***


SERENE 2012
------------------

4th International Workshop on
Software Engineering for Resilient Systems
27-28 September 2012 - Pisa, Italy
http://serene.uni.lu/Workshops/SERENE_2012

Proceedings to be published in Springer LNCS
--------------------------------------------------------------

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/conferences/?conf=serene2012
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 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 11th, 2012
Notification: June 8th, 2012
Camera ready: June 29th, 2012
Autumn School: September 25-26 2012
Workshop: September 27-28 2012

Organization
-----------------
Program chair: Paris Avgeriou, University of Groningen, the Netherlands
General chair: Felicita Di Giandomenico, ISTI-CNR, Italy




--
===========================================================
Dr. Patrizio Pelliccione
Department of Computer Science, University of L'Aquila
Via Vetoio, Coppito I-67010 L'Aquila (Italy)
Office Phone: +39 0862-433127
E-Mail: patrizio.pelliccione at univaq.it
Web Page: http://www.di.univaq.it/pellicci
===========================================================