posted by user: iivanoo || 3605 views || tracked by 9 users: [display]

SERENE 2013 : Software Engineering for Resilient Systems

FacebookTwitterLinkedInGoogle


Conference Series : Software Engineering for Resilient Systems
 
Link: http://serene.uni.lu/Workshops/SERENE_2013
 
When Oct 3, 2013 - Oct 4, 2013
Where Kyiv, Ukraine
Submission Deadline Jun 5, 2013
Notification Due Jul 9, 2013
Final Version Due Jul 22, 2013
Categories    software engineering   resilience   fault tolerance   dependability
 

Call For Papers

-------------------------------------------------------------------------
5th INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR RESILIENT SYSTEMS
SERENE'2013: October 3-4, Kyiv, UKRAINE
-------------------------------------------------------------------------

Web site: http://serene.uni.lu/Workshops/SERENE_2013

Proceedings of SERENE'2013 will be published as a volume in Lecture Notes in Computer Science (LNCS), Springer
(http://www.springer.com/computer/lncs)

----------------
IMPORTANT DATES:
----------------
Submission due: June 5, 2013
Notification: July 9, 2013
Camera ready papers: July 22, 2013
Autumn school: October 1-2, 2013
Workshop: October 3-4, 2013
----------------
CALL FOR PAPERS:
----------------
Unprecedented level of complexity of modern software, software-based systems and IT infrastructures makes it difficult to ensure their resilience – an ability of the system to persistently deliver its services in a trustworthy way even when facing changes, unforeseen failures and intrusions. Yet we are observing the increasingly pervasive use of software in such critical infrastructures as transportations, health care, energy production etc. which are evolvable systems functioning in dynamical and partially uncertain environment. This trend urges the research community to develop powerful methods for assuring resilience of software-intensive systems. The SERENE 2013 workshop provides a forum for researchers and practitioners to exchange ideas and results on advances in all areas relevant to this challenge, including, but not limited to:

Methodology:
- Relations between resilience, dependability and quality attributes;
- Requirements engineering & re-engineering for resilience;
- Trustworthy and intrusion-safe systems;
- Error, fault and exception handling in the software life-cycle;
- Quantitative approaches to ensuring resilience.

Models & methods:
- Resilience prediction and experimental measurement;
- Modelling of resilience properties: formal & semi-formal techniques;
- Verification and validation of resilient systems;
- Diversity and multi-version technologies for resilience.

Case-studies & applications:
- Empirical studies in the domain of resilient systems;
- Cloud computing and resilient service provisioning;
- Resilience of software-hardware co-engineering;
- Engineering of self-healing autonomic systems;
- Resilience of cyber physical systems and infrastructures;
- Global aspects of resilience engineering: education, training and cooperation.

Tools & technologies:
- Frameworks, patterns and software architectures for resilience;
- Resilience at run-time: metadata, mechanisms, reasoning and adaptation;
- 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 the 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=serene2013)

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 and experience/industry papers; 8 pages for all others;
- be submitted as PDF.

Submitted papers must describe novel work and not be published elsewhere. All papers will be peer-reviewed by at least three independent reviewers, and assessed for relevance to the workshop topics, technical soundness, innovation, scientific and presentation quality. Accepted papers must be presented by one co-author.

---------------------
ORGANIZING COMMITTEE:
---------------------
General Chair: Mokhor, Vladimir (National Technical University, Ukraine);
Program Chairs: Gorbenko, Anatoliy (National Aerospace University, Ukraine);
Kharchenko, Vyacheslav (National Aerospace University, Ukraine);
Romanovsky, Alexander (Newcastle University, UK);
Autumn School Director: Pelliccione, Patrizio (University of L'Aquila, Italy);
Publicity: Malavolta, Ivano (University of L'Aquila, Italy);
Web: Illiashenko, Oleg (National Aerospace University, Ukraine);
Finance & Admin: Warwick, Jon (Newcastle University, UK);
Steering Committee: Buchs, Didier (University of Geneva, Switzerland);
Muccini, Henry (University of L'Aquila, Italy);
Pelliccione, Patrizio (University of L'Aquila, Italy);
Romanovsky, Alexander (Newcastle University, UK).

--------------------------------
INTERNATIONAL PROGRAM COMMITTEE:
--------------------------------
Alessandro Garcia, PUC-Rio, Brazil;
Andras Pataricza, BUTE, Hungary;
Anthony Savidis, FORTH, Greece;
Elena Troubitsyna, Abo Akademi U., Finland;
Felicita Di Giandomenico, ISTI-CNR, Italy;
Felix Salfner, SAP Innovation Center, Germany;
Finn Arve Aagesen, NTNU, Norway;
Giovanna Di Marzo Serugendo, U. Geneva, Switzerland;
Henry Muccini, U. L'Aquila, Italy;
Holger Giese, U. Potsdam, Germany;
Ivan Mistrik, Indep. Consultant, Germany;
Ivica Crnkovic, Mälardalen U., Sweden;
John Knight, U. Virginia, USA;
Jörg Kienzle, McGill U., Canada;
Leszek Kotulski, AGH U. Science and Technology, Poland;
Mohamed Kaaniche, LAAS-CNRS, France;
Nicolas Guelfi, U. Luxembourg, Luxembourg;
Paris Avgeriou, U. Groningen, Netherlands;
Patrizio Pelliccione, U. L'Aquila, Italy;
Peter Schneider-Kamp, U. Southern Denmark, Denmark;
Raffaela Mirandola, Politecnico di Milano, Italy;
Schahram Dustdar, Technical U. Vienna, Austria;
Stefania Gnesi, ISTI-CNR, Italy;
Stefano Russo, U. Naples Federico II, Italy;
Tudor Dumitras, Symantec, USA;
Valerie Issarny, INRIA, France;
Vincenzo Grassi, U. Roma Tor Vergata, Italy;
Vladimir Hahanov, National U. Radioelectronics, Ukraine;
Willi Hasselbring, Kiel U., Germany.

Related Resources

PerIoT 2020   Software Approaches to Improve the Performance of IoT Systems - Applied Sciences (IF 2.217)
CCCIOT 2020   International Conference on Cloud Computing and IOT (CCCIOT 2020)
SBESC 2020   X Brazilian Symposium on Computing Systems Engineering
ACM-CSSE 2020-Ei/Scopus 2020   2020 3nd International Conference on Computer Science and Software Engineering (CSSE 2020)
ICCSS--Ei Compendex, Scopus 2020   2020 4th International Conference on Circuits, System and Simulation (ICCSS 2020)--Ei Compendex, Scopus
AIFU 2020   6th International Conference on Artificial Intelligence and Applications
CIIS 2020   III International Congress in Systems Engineering
ACM--ICCTA--Ei Compendex, Scopus 2020   ACM--2020 6th International Conference on Computer and Technology Applications (ICCTA 2020)--Ei Compendex, Scopus
APCCAS 2020   2020 the 16th IEEE Asia Pacific Conference on Circuits and Systems
SEFM 2020   Software Engineering and Formal Methods