posted by user: iivanoo || 4899 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

WSIS - 2024   XV WORKSHOP ON INFORMATION SYSTEMS (WSIS)
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
ACM ICMLT 2024   ACM--2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
ACIE 2024   CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
ICSE 2025   The 47th International Conference on Software Engineering (Second Cycle)
ACM ICCTA 2024   ACM--2024 10th International Conference on Computer Technology Applications (ICCTA 2024)
BDPC 2025   2025 3rd International Conference on Big Data and Privacy Computing (BDPC 2025)
ICAASE 2024   The 6th Edition of the International Conference on Advanced Aspectsof Software Engineering