SERENE: Software Engineering for Resilient Systems

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2017 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
SERENE 2016 Call for papers: SERENE 2016, 5-6th September 2016, Gothenburg, Sweden
Sep 5, 2016 - Sep 6, 2016 Gothenburg, Sweden Jun 3, 2016
SERENE 2015 Software Engineering for Resilient Systems
Sep 7, 2015 - Sep 8, 2015 Paris Apr 24, 2015
SERENE 2014 6th International Workshop on Software Engineering for Resilient Systems
Oct 15, 2014 - Oct 16, 2014 Budapest Jul 2, 2014
SERENE 2013 Software Engineering for Resilient Systems
Oct 3, 2013 - Oct 4, 2013 Kyiv, Ukraine Jun 5, 2013
SERENE 2011 3rd International Workshop on Software Engineering for Resilient Systems
Sep 29, 2011 - Sep 30, 2011 Geneva, Switzerland Apr 28, 2011
SERENE 2008 RISE/EFTS Joint International Workshop on Software Engineering for REsilient SystEms
Nov 17, 2008 - Nov 17, 2008 Newcastle, United Kngdm Jun 30, 2008
 
 

Present CFP : 2016

================================================================================
SERENE 2016
8th International Workshop on Software Engineering for Resilient Systems
5-6th September 2016, Gothenburg, Sweden
http://serene.disim.univaq.it/2016

Co-located with EDCC, the European Dependable Computing Conference
(http://www.cse.chalmers.se/edcc2016/)
================================================================================
Important Dates

Submission due: June 3rd, 2016
Authors notification: July 1th, 2016
Camera ready papers: July 15th, 2016
Workshop: September 5-6, 2016
================================================================================
Resilience is an ability of a system to persistently deliver trustworthy services despite changes. Modern software systems continuously change in response to evolving requirements, customer feedback, new business needs, platform upgrades etc. Despite frequent changes software is expected to function correctly and reliably especially while providing services that are critical to society, e.g., in such areas as
transportation, healthcare, energy production etc. Since modern software should be developed to efficiently cope with changes, unforeseen failures and intrusions, design for resilience is becoming an increasingly important area of software engineering.

SERENE workshop has a long tradition of bringing together researchers and industry practitioners to discuss advances in engineering resilient systems. Since 2015 SERENE has become a part of a major European dependability forum – EDCC, the European Dependable Computing Conference (http://www.cse.chalmers.se/edcc2016/)

The SERENE 2016 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:

Development of resilient systems
- Incremental development processes for resilient systems;
- Requirements engineering & re-engineering for resilience;
- Frameworks, patterns and software architectures for resilience;
- Engineering of self-healing autonomic systems;
- Design of trustworthy and intrusion-safe systems;
- Resilience at run-time (mechanisms, reasoning and adaptation);
- Resilience & dependability (resilience vs. robustness, dependable vs. adaptive systems).

Verification, validation and evaluation of resilience
Modelling and model based analysis of resilience properties;
- Formal and semi-formal techniques for verification and validation;
- Experimental evaluations of resilient systems; Quantitative approaches to ensuring resilience;
- Resilience prediction.

Case studies & applications
- Empirical studies in the domain of resilient systems;
- Methodologies adopted in industrial contexts; Cloud computing and resilient service provisioning;
- Resilience for data-driven systems (e.g., big data-based adaption and resilience);
- Resilient cyber-physical systems and infrastructures;
- Global aspects of resilience engineering: education, training and cooperation.

================================================================================
Contributions

We welcome relevant contributions in the following forms:
- Technical papers describing original theoretical or practical work;
- Experience/Industry papers describing practitioner experience or field study, addressing an application domain and the lessons learned;
- PhD Forum papers describing objectives, methodology, and results at an early stage in research;
- Project papers describing goals and results of ongoing projects;
- Tool papers presenting tools that support the development of resilient systems.

Submission
Papers can be submitted via EasyChair: https://www.easychair.org/conferences/?conf=serene2016 Each paper must be submitted in PDF and be formatted according to the Springer LNCS Guidelines: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 be no longer than 15 pages for technical and experience/industry papers, and 8 pages for all others.

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

The Proceedings of SERENE 2016 will be published as a volume in Springer Lecture Notes in Computer Science (LNCS).

================================================================================
Info

SERENE website: htttp://serene.disim.univaq.it
LinkedIn group: https://www.linkedin.com/groups?home=&gid=4365850&trk=my_groups-tile-grp
Slideshare: www.slideshare.net/SERENEWorkshop/

Program Chairs:
* Ivica Crnkovic , Chalmers U. of Technology and U. of Gothenburg, Sweden
* Elena A. Troubitsyna, Abo Akademi University

Program Committee
* Paris Avgeriou, U. Groningen, The Netherlands
* Marco Autili, University of L’Aquila, Italy
* Iain Bate, University of York, UK
* Didier Buchs, U. Geneva, Switzerland
* Barbora Buhnova, Masaryk University, Czech Republic
* Tomas Bures, Charles University, Czech Republic
* Andrea Ceccarelli, U. Firenze, Italy
* Vincenzo De Florio, U. Antwerp, Belgium
* Nikolaos Georgantas, INRIA, France
* Anatoliy Gorbenko, KhAI, Ukraine
* David De Andres, Universidad Politecnica de Valencia
* Felicita Di Giandomenico, CNR-ISTI, Italy
* Holger Giese, U. Potsdam, U. Potsdam, Germany
* Nicolas Guelfi, U. Luxembourg, Luxembourg
* Alexei Iliasov, Newcastle U., UK
* Kaustubh Joshi, At&T, USA
* Mohamed Kaaniche, LAAS-CNRS, France
* Zsolt Kocsis , IBM, Hungary
* Linas Laibinis, bo Akademi U., Finland
* Nuno Laranjeiro, U. Coimbra, Portugal
* Istvan Majzik, Budapest University of Technology and Economics, Hungary
* Paolo Masci, Queen Mary U., UK
* Marina Mongiello, Technical University of Bari, Italy
* Henry Muccini, U. L’Aquila, Italy
* Sadaf Mustafiz, McGill U., Canada
* Andras Pataricza, Budapest University of Technology and Economics, Hungary
* Patrizio Pelliccione, Chalmers University of Technology, Sweden
* Nadia Polikarpova
* Markus Roggenbach, Swansea University, UK
* Alexander Romanovsky, Newcastle U., UK
* Stefano Russo, U. Naples Federico II, Italy
* Peter Schneider-Kamp, U. Southern Denmark, Denmark
* Marco Vieira, University of Coimbra, Portugal
* Katinka Wolter, Freie U. Berlin, Germany
* Apostolos Zarras, U. Ioannina, Greece

================================================================================
Info
SERENE website: htttp://serene.disim.univaq.it
LinkedIn group: https://www.linkedin.com/groups?home=&gid=4365850&trk=my_groups-tile-grp
Slideshare: www.slideshare.net/SERENEWorkshop/
================================================================================
 

Related Resources

VRST 2017   The ACM Symposium on Virtual Reality Software and Technology (VRST)
NoDaLiDa 2017   21st Nordic Conference on Computational Linguistics
Exercise Metabolism 2017   Cell Symposium: Exercise Metabolism
EDCC 2016   European Dependable Computing Conference
CoPDA 2016   4th International Workshop on Cultures of Participation in the Digital Age: From 'Have to' to 'Want to' Participate
ICSD 2016   4th International Conference on Sustainable Development, 16 - 17 September 2016 Rome, Italy
CAIP 2017   Computer Analysis of Images and Patterns
RET 2016   3rd International Workshop on Requirements Engineering and Testing
ETAPS 2017   European Joint Conferences on Theory and Practice of software
SI: Digital Forensics 2017   Call for Papers for Special Issue on Digital Forensics for IEEE S&P magazine