As society’s dependence on complex software systems increases, so does the need for methods and tools that ensure resilience to faults, errors and malicious attacks. Modern open and distributed architectures are able to adapt to harmful events. However, the engineering of systems that exploit flexibility while remaining predictable is a challenge that demands attention from scientists and engineers across domains. The SERENE 2010 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
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 case 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 SERENE topics are welcome.

Tool papers: Papers presenting new tools or new versions of the existing tools that support the development of resilient systems.

Subject to confirmation, SERENE 2010 will be held in cooperation with ACM SIGSOFT and accepted papers will be published in the ACM Digital Library.

Submission

Abstracts and papers are submitted via Easychair (http://www.easychair.org/conferences/?conf=serene2010). Your paper must:

be formatted according to the ACM Proceedings Guidelines (http://www.acm.org/sigs/pubs/proceed/template.html);
respect page limits: 10 pages for technical papers; 6 pages for all others;
be submitted as PDF.

All papers will be peer-reviewed by at least three independent reviewers, assessed for relevance to the workshop topics, technical soundness, innovation, scientific and presentation quality. Submission of a paper constitutes a commitment to attend and present the paper if accepted.

Retrieved from "http://serene2010.uni.lu/0_Call_for_Papers"

Tags:

Edit tags

Attach file or image

Files (3)

	Size	Date	Attached by
SERENE010_Flyer_v2.pdf No description	332.89 kB	10:10, 1 Dec 2009	Admin	Actions
SERENE010_Flyer_v3.pdf No description	332.16 kB	12:20, 1 Dec 2009	Admin	Actions
SERENE010_Flyer_v4.pdf No description	50.77 kB	15:31, 19 Feb 2010	benoit.ries	Actions
SERENE010_Flyer_v4.pdf No description	50.77 kB	09:31, 4 Jan 2010	benoit.ries
SERENE010_Flyer_v4.pdf No description	50.96 kB	12:52, 2 Jan 2010	benoit.ries

Images (0)

Comments (0)

You must login to post a comment.

Call for Papers

From $1

Table of contents

Submission

Table of contents