posted by user: carnevali || 1877 views || tracked by 7 users: [display]

SERENE 2017 : 9th International Workshop on Software Engineering for Resilient Systems

FacebookTwitterLinkedInGoogle


Conference Series : Software Engineering for Resilient Systems
 
Link: http://serene.disim.univaq.it/2017/home
 
When Sep 4, 2017 - Sep 5, 2017
Where Geneva, Switzerland
Submission Deadline Jun 1, 2017
Notification Due Jun 24, 2017
Final Version Due Jul 1, 2017
Categories    software engineering   resilient systems   trustworthy and intrusion-safe   cyber-physical
 

Call For Papers

SERENE 2017
9th International Workshop on Software Engineering for Resilient Systems
September 4-5, 2017, Geneva, Switzerland
http://serene.disim.univaq.it/2017/home

Co-located with EDCC, European Dependable Computing Conference

========================================================
Important Dates
* Abstract submission: June 1, 2017
* Paper submission: June 5, 2017
* Authors notification: June 25, 2017
* Camera ready papers: July 1, 2017
* Workshop: September 4-5, 2017

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

The 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. This year SERENE will be held before the main programme of EDCC 2017
(http://edcc2017.unige.ch/index.html).

The SERENE 2017 workshop will provide 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
* Engineering 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.

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;
* Position papers discussing challenges and emerging trends in resilience.

The submissions will be formatted following the LNCS Springer formatting:
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0
Submissions of all the categories will be 7 pages long except for
the technical papers which will be 15 pages long.
The submission site is https://easychair.org/conferences/?conf=serene2017

The Proceedings will be published by Springer in the LNCS series.

========================================================
Invited speakers
* Prof Miroslaw Malek, University of Lugano, Switzerland
"Predictive Analytics: a Shortcut to Dependable Computing"
* Dr. Jorge Cardoso, IT R&D Division, Huawei
"Cloud Reliability: Decreasing outage frequency using fault injection"

========================================================
Program Chairs:
* Alexander Romanovsky, Newcastle University, UK
* Elena Troubitsyna, Abo Akademi University, Finland

Program Committee
* Rami Bahsoon, Birmingham University, UK
* Michael Butler, Southampton University, UK
* Nelio Cacho, UFRN, Brazil
* Andrea Ceccarelli, U. Firenze, Italy
* Vincenzo De Florio, VITO, Belgium
* Nikolaos Georgantas, INRIA, France
* Anatoliy Gorbenko, Leeds Beckett University, UK
* Felicita Di Giandomenico, CNR-ISTI, Italy
* Lars Grunske, Humbort University Berlin, Germany
* Jeremie Guiochet, LAAS, France
* Dubravka Ilic, Space Systems Finland, Finland
* Rolf Johansson, SP, Sweden
* Mohamed Kaaniche, LAAS-CNRS, France
* Linas Laibinis, Vilnius University, Lithuania
* Istvan Majzik, BUTE, Hungary
* Miroslaw Malek, U. Lugano, Switzerland
* Henry Muccini, U. L’Aquila, Italy
* Andras Pataricza, BUTE, Hungary
* Patrizio Pelliccione, Chalmers University of Technology, Sweden
* Andreas Roth, SAP, Germany
* Juan Carlos Ruiz, Technical U. of Valencia, Spain
* Cristina Seceleanu, MDH, Sweden
* Juri Vain, Tallinn University of Technology, Estonia
* Marco Vieira, U. Coimbra, Portugal
* Wilhelm Hasselbring, Kiel University, Germany

Publicity Chair:
* Laura Carnevali, University of Florence, Italy

Web Chair:
* Mirco Franzago, University of L’Aquila, Italy

Information:
SERENE website:
http://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

ICIST 2018   24th International Conference on Information and Software Technologies
CAiSE 2018   CfP: CAiSE 2018 (30th International Conference on Advanced Information Systems Engineering)
ICSESS 2017   2017 8th IEEE International Conference on Software Engineering and Service Science
ICSE Workshops 2018   ACM Workshops@International Conference on Software Engineering
IJITMC 2017   International Journal of Information Technology, Modeling and Computing
MODELS 2018   ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems
MathSJ 2017   Applied Mathematics and Sciences: An International Journal
EI CAECT 2018   2018 International Conference on Aerospace Engineering and Control Technologies(CAECT 2018)
IJCSEIT 2017   International Journal of Computer Science, Engineering and Information Technology
DISC 2018   Special Issue on Data Intelligence in Sustainable Computing, Journal of Sustainable Computing: Informatics and Systems