posted by user: vslatten || 7731 views || tracked by 28 users: [display]

SERENE 2011 : 3rd International Workshop on Software Engineering for Resilient Systems

FacebookTwitterLinkedInGoogle


Conference Series : Software Engineering for Resilient Systems
 
Link: http://serene2011.uni.lu/
 
When Sep 29, 2011 - Sep 30, 2011
Where Geneva, Switzerland
Submission Deadline Apr 28, 2011
Notification Due May 31, 2011
Final Version Due Jun 30, 2011
Categories    software engineering   complexity   dependability   resilience
 

Call For Papers

SERENE 2011 -- 3rd International Workshop on Software Engineering for
Resilient Systems

http://serene2011.uni.lu/
September 29-30, 2011
Geneva, Switzerland

Unprecedented level of complexity of modern software makes it
difficult to ensure its resilience -- an ability of the system
persistently deliver its services in the trustworthy way even when
facing changes. Yet we are observing the increasingly pervasive use of
software in such critical infrastructures as transportations, health
care, energy production etc. Such a trend could lead to devastating
accidents unless the research community develops powerful methods for
assuring resilience of software-intensive systems. The SERENE 2011
workshop provides a forum for researchers and practitioners to
exchange reports on advances in all areas relevant to this challenge,
including, but not limited to:

- Modelling of resilience properties: formal & semi-formal techniques
- Requirements, software engineering & re-engineering for resilience
- Verification and validation of resilient systems
- Resilience prediction and experimental measurement
- Error, fault and exception handling in the software life-cycle
- Frameworks, patterns and software architectures for resilience
- Resilience at run-time: metadata, mechanisms, reasoning and adaptation
- Engineering of self-healing autonomic systems
- Quantitative approaches to ensuring resilience
- CASE tools for developing resilient systems

Papers will be evaluated by the Programme Committee according to their
originality, significance, soundness, quality of presentation and
relevance with respect to the main issues of the workshop.

There are several categories of submissions:
- Regular papers not exceeding 15 pages including appendices using
Springer LNCS format.
- Experience/Industry papers not exceeding 15 pages describing
practitioner experience or case studies, addressing the application
domain and lessons learned.
- Short papers not exceeding 6 pages that include the following categories:
- Discussion papers: Papers describing work in progress or novel ideas
in engineering of resilient systems.
- Project papers: Papers describing goals and results of ongoing projects
related to SERENE
- Tool papers: Papers presenting new tools or new versions of the existing
tools that support the development of resilient systems.

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


Important dates:
Submission due: April 18th, 2011. Extended to April 28th!
Notification: May 31st, 2011
Camera ready: June 30th, 2011
Workshop: September 29-30, 2011

Related Resources

MoDRE 2019   9th International Workshop on Model-Driven Requirements Engineering (MoDRE)
ACM-CSSE 2020-Ei/Scopus 2020   2020 3nd International Conference on Computer Science and Software Engineering (CSSE 2020)
ICCAES 2020   3rd Annual International Conference on Control, Automation and Electrical Systems
ICICT--Ei Compendex and Scopus 2020   2020 the 3rd International Conference on Information and Computer Technologies (ICICT 2020)--Ei Compendex and Scopus
IEEE iCCECE 2020   3rd IEEE International Conference on Computing, Electronics and Communications Engineering 2020
ICSCA--ACM, Ei, Scopus 2020   ACM--2020 9th International Conference on Software and Computer Applications (ICSCA 2020)--Ei Compendex, Scopus
EI--ICVISP 2020   2020 4th International Conference on Vision, Image and Signal Processing (ICVISP 2020)
ACM--ICCTA--Ei Compendex, Scopus 2020   ACM--2020 6th International Conference on Computer and Technology Applications (ICCTA 2020)--Ei Compendex, Scopus
ICEE 2020   6th International Conference on Electrical Engineering
ICCSS--Ei Compendex, Scopus 2020   2020 4th International Conference on Circuits, System and Simulation (ICCSS 2020)--Ei Compendex, Scopus