posted by organizer: micskeiz || 2295 views || tracked by 11 users: [display]

SERENE 2014 : 6th International Workshop on Software Engineering for Resilient Systems


Conference Series : Software Engineering for Resilient Systems
When Oct 15, 2014 - Oct 16, 2014
Where Budapest
Submission Deadline Jul 2, 2014
Notification Due Jul 31, 2014
Final Version Due Aug 8, 2014
Categories    software engineering   resilience   dependability   fault tolerance

Call For Papers

Call for Papers


6th International Workshop on Software Engineering for Resilient Systems

October 15-16, 2014, Budapest, Hungary

*** Important dates ***

- Submission due: July 2, 2014 (extended)
- Notification: July 31, 2014
- Camera ready papers: August 08, 2014
- Autumn school: October 13-14, 2014
- Workshop: October 15-16, 2014

*** Workshop topics ***

Unprecedented level of complexity of modern software and software-based systems makes it difficult to ensure their resilience - an ability of the system to persistently deliver its services in a dependable way even when facing changes, unforeseen failures and intrusions. Yet we are observing the increasingly pervasive use of software in evolvable and critical systems like transportation, health care, manufacturing, and IT infrastructures. This trend urges the research community to develop powerful methods for assuring resilience of software-intensive systems.

These challenges has also appeared in the scope of the current Horizon 2020 calls that aim at developing tools and methods for incorporating resilience into evolving software systems; and also in calls related to specific application areas like advanced cloud infrastructures and services, smart objects, and robotics.

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

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

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;
- Cloud computing and resilient service provisioning;
- 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 new tools or new versions of existing tools that support the development of resilient systems.

*** Submission ***

Papers can be submitted via EasyChair:

Each paper must be submitted in PDF and
- be formatted according to the Springer LNCS Guidelines:
- 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 2014 will be published as a volume in Springer Lecture Notes in Computer Science.

*** Keynote Speech ***

Vincenzo De Florio will give the keynote speech of the workshop. The topic is "Community Resilience: Challenges, Requirements, and an Organizational Model".

*** Autumn School ***

The theme of the Autumn School is "Engineering Resilient Cyber Physical Systems".

*** Committees ***

Steering Committee:
- Didier Buchs, U. of Geneva, Switzerland
- Henry Muccini, U. of L'Aquila, Italy
- Patrizio Pelliccione, Chalmers U. of Technology and U. of Gothenburg, Sweden
- Alexander Romanovsky, Newcastle U., UK
- Elena Troubitsyna, Abo Akademi U., Finland

General Chair:
- András Pataricza, Budapest University of Technology and Economics, Hungary

Program Chairs:
- Istvan Majzik, Budapest University of Technology and Economics, Hungary
- Marco Vieira, University of Coimbra, Portugal

Program Committee:
- Paris Avgeriou, U. Groningen, The Netherlands
- Didier Buchs, U. Geneva, Switzerland
- Andrea Ceccarelli, U. Firenze, Italy
- Vincenzo De Florio, U. Antwerp, The Netherlands
- Nikolaos Georgantas, INRIA, France
- Felicita Di Giandomenico, CNR-ISTI, Italy
- Giovanna Di Marzo Serugendo, U. Geneva, Switzerland
- Holger Giese, U. Potsdam, Germany
- Nicolas Guelfi, U. Luxembourg, Luxembourg
- Kaustubh Joshi, AT&T, USA
- Mohamed Kaaniche, LAAS-CNRS, France
- Vyacheslav Kharchenko, National Aerospace U., Ukraine
- Zsolt Kocsis, IBM, Hungary
- Nuno Laranjeiro, U. Coimbra, Portugal
- Paolo Masci, Queen Mary U., UK
- Henry Muccini, U. L'Aquila, Italy
- Sadaf Mustafiz, McGill U., Canada
- Patrizio Pelliccione, Chalmers U. of Technology and U. Gothenburg, Sweden
- Alexander Romanovsky, Newcastle U., UK
- Juan Carlos Ruiz, Technical U. of Valencia, Spain
- Stefano Russo, U. Naples Federico II, Italy
- Peter Schneider-Kamp, U. Southern Denmark, Denmark
- Elena Troubitsyna, Abo Akademi U., Finland
- Katinka Wolter, Freie U. Berlin, Germany
- Apostolos Zarras, U. Ioannina, Greece

Autumn School Director:
- Henry Muccini, University of L'Aquila, Italy

Publicity Chair:
- Zoltán Micskei, BUTE, Hungary

- Zoltán Ujhelyi, BUTE, Hungary

Finance & Admin:
- Judit Spanics, BUTE, Hungary
- Nikol Biro, BUTE, Hungary

Related Resources

ICIEM 2016   International Conference on Integrated Environmental Management for Sustainable Development
ICMLSC - ACM 2017   2017 International Conference on Machine Learning and Soft Computing (ICMLSC 2017)--Ei, ISI and Scopus
IROS 2017   IEEE/RSJ International Conference on Intelligent Robots and Systems
AsiaCCS 2017   Call for paper: ACM Asia Conference on Computer and Communications Security
ICIST 2017   23rd International Conference on Information and Software Technologies
ICCRD 2017   The 9th International Conference on Computer Research and Development (ICCRD 2017)-SCOPUS
SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process
IVUS 2017   Joint International Conference on Information Technologies
8th ICISA 2017   ICISA International Conference on Information Sience and Applications
IEEE-ICCSSE 2017   2017 3rd International Conference on Control Science and Systems Engineering (ICCSSE 2017)--IEEE, Ei Compendex