<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body bgcolor="#FFFFFF" text="#000000" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
CALL FOR PAPERS SERENE 2015
<div>Submission due: April 24, 2015<br>
<br>
------------------------<br>
INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR RESILIENT SYSTEMS<br>
7-8th September 2015, Paris, France<br>
<br>
SERENE website: <a class="moz-txt-link-freetext" href="http://serene.disim.univaq.it/2015">
http://serene.disim.univaq.it/2015</a><br>
LinkedIn group: <a class="moz-txt-link-freetext" href="https://www.linkedin.com/groups?home=&gid=4365850&trk=my_groups-tile-grp">
https://www.linkedin.com/groups?home=&gid=4365850&trk=my_groups-tile-grp</a><br>
Slideshare: <a class="moz-txt-link-abbreviated" href="http://www.slideshare.net/SERENEWorkshop/">
www.slideshare.net/SERENEWorkshop</a><br>
<br>
Co-located with the 11th European Dependable Computing Conference (EDCC) 2015: <a class="moz-txt-link-freetext" href="http://edcc2015.lip6.fr">
http://edcc2015.lip6.fr</a><br>
<br>
------------------------<br>
THEME AND TOPICS OF INTEREST<br>
<br>
The way software is developed is changing. It must take into account multifaceted constraints like unpredictable markets, evolving customer requirements, pressures of shorter time-to-market, etc. At the same time, software is controlling critical functionalities
in several domains like transportation, health care, manufacturing, and IT infrastructures. As a result, modern software systems require on one side adding frequently (daily or weakly) new features, functionalities, or new versions of software artifacts according
to changing contexts, business opportunities, or customer’s feedbacks, on the other side ensuring their resilience – an ability of the system to persistently deliver its services in a dependable way even when facing changes, unforeseen failures and intrusions.<br>
<br>
The SERENE 2015 workshop provides a forum for researchers and practitioners to exchange ideas on advances in all areas relevant to software engineering for resilient systems, including, but not limited to:<br>
<br>
Development of resilient systems<br>
<ul>
<li>Incremental development processes for resilient systems; </li><li>Requirements engineering & re-engineering for resilience; </li><li>Frameworks, patterns and software architectures for resilience; </li><li>Engineering of self-healing autonomic systems; </li><li>Design of trustworthy and intrusion-safe systems; </li><li>Resilience at run-time (mechanisms, reasoning and adaptation).<br>
</li></ul>
Verification, validation and evaluation of resilience<br>
<ul>
<li>Modelling and model based analysis of resilience properties; </li><li>Formal and semi-formal techniques for verification and validation; </li><li>Experimental evaluations of resilient systems; </li><li>Quantitative approaches to ensuring resilience; </li><li>Resilience prediction.<br>
</li></ul>
Case studies & applications<br>
<ul>
<li>Empirical studies in the domain of resilient systems; </li><li>Methodologies adopted in industrial contexts; </li><li>Cloud computing and resilient service provisioning; </li><li>Resilient cyber-physical systems and infrastructures; </li><li>Global aspects of resilience engineering: education, training and cooperation.
</li></ul>
------------------------<br>
CONTRIBUTIONS<br>
<br>
We welcome relevant contributions in the following forms:<br>
<ul>
<li>Technical papers describing original theoretical or practical work; </li><li>Experience/Industry papers describing practitioner experience or field study, addressing an application domain and the lessons learned;
</li><li>PhD Forum papers describing objectives, methodology, and results at an early stage in research;
</li><li>Project papers describing goals and results of ongoing projects; </li><li>Tool papers presenting new tools or new versions of existing tools that support the development of resilient systems.
</li></ul>
<br>
------------------------<br>
IMPORTANT DATES<br>
<br>
Submission due: April 24, 2015<br>
Authors notification: June 19, 2015<br>
Camera ready papers: July 1, 2015<br>
Workshop: September 7-8, 2015<br>
<br>
------------------------<br>
SUBMISSION<br>
<br>
Papers can be submitted via EasyChair:<br>
<br>
<a class="moz-txt-link-freetext" href="https://www.easychair.org/conferences/?conf=serene2015">https://www.easychair.org/conferences/?conf=serene2015</a><br>
<br>
Each paper must be submitted in PDF and be formatted according to the Springer LNCS Guidelines:
<a class="moz-txt-link-freetext" href="http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0">
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0</a> be no longer than 15 pages for technical and experience/industry papers, and 8 pages for all others.<br>
<br>
Submitted papers must describe novel work and not be published elsewhere. All papers will be peer-reviewed and assessed for relevance to the workshop topics, technical soundness, innovation, scientific and presentation quality. Accepted papers must be presented
by (one of) the author(s).<br>
<br>
The Proceedings of SERENE 2015 will be published as a volume in Springer Lecture Notes in Computer Science (LNCS).<br>
<br>
------------------------<br>
COMMITTEES<br>
<br>
International Program Committee<br>
<ul>
<li>Paris Avgeriou, U. Groningen, The Netherlands </li><li>Marco Autili, University of L’Aquila, Italy </li><li>Didier Buchs, U. Geneva, Switzerland </li><li>Barbora Buhnova, Masaryk University, Czech Republic </li><li>Andrea Ceccarelli, U. Firenze, Italy </li><li>Ivica Crnkovic, Chalmers university, Sweden </li><li>Vincenzo De Florio, U. Antwerp, Belgium </li><li>Nikolaos Georgantas, INRIA, France </li><li>David De Andrés, Universidad Politécnica de Valencia </li><li>Felicita Di Giandomenico, CNR-ISTI, Italy </li><li>Holger Giese, U. Potsdam, Germany </li><li>Nicolas Guelfi, U. Luxembourg, Luxembourg </li><li>Mohamed Kaaniche, LAAS-CNRS, France </li><li>Vyacheslav Kharchenko, National Aerospace U., Ukraine </li><li>Nuno Laranjeiro, U. Coimbra, Portugal </li><li>Istvan Majzik, Budapest University of Technology and Economics, Hungary </li><li>Paolo Masci, Queen Mary U., UK </li><li>Marina Mongiello, Technical University of Bari, Italy </li><li>Henry Muccini, U. L’Aquila, Italy </li><li>Sadaf Mustafiz, McGill U., Canada </li><li>András Pataricza, Budapest University of Technology and Economics, Hungary </li><li>Markus Roggenbach, Swansea University, UK </li><li>Alexander Romanovsky, Newcastle U., UK </li><li>Stefano Russo, U. Naples Federico II, Italy </li><li>Peter Schneider-Kamp, U. Southern Denmark, Denmark </li><li>Marco Vieira, University of Coimbra, Portugal </li><li>Katinka Wolter, Freie U. Berlin, Germany </li><li>Apostolos Zarras, U. Ioannina, Greece </li></ul>
Steering Committee<br>
<ul>
<li>Didier Buchs, U. of Geneva, Switzerland </li><li>Henry Muccini, U. of L’Aquila, Italy </li><li>Patrizio Pelliccione, Chalmers U. of Technology and U. of Gothenburg, Sweden </li><li>Alexander Romanovsky, Newcastle U., UK </li><li>Elena Troubitsyna, Abo Akademi U., Finland </li></ul>
Organizing Committee<br>
<ul>
<li>Program Chairs:
<ul>
<li>Patrizio Pelliccione, Chalmers U. of Technology and U. of Gothenburg, Sweden </li><li>Alessandro Fantechi, University of Florence, Italy </li></ul>
</li></ul>
<ul>
<li>Publicity Chair:
<ul>
<li>Laura Carnevali, University of Florence, Italy </li></ul>
</li><li>Web:
<ul>
<li>Mirco Franzago, University of L’Aquila, Italy </li></ul>
</li></ul>
</div>
</body>
</html>