posted by system || 1513 views || tracked by 6 users: [display]

SERENE 2010 : 2nd International Workshop on Software Engineering for Resilient Systems

FacebookTwitterLinkedInGoogle

Link: http://serene2010.uni.lu
 
When Apr 15, 2010 - Apr 16, 2010
Where London, United Kingdom
Submission Deadline Dec 21, 2009
Notification Due Feb 15, 2010
 

Call For Papers

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.

Related Resources

CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2020)--Ei Compendex & Scopus
ICSE 2021   43rd International Conference on Software Engineering, 23-29 May 2021
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
IEEE-CVIV 2020-Ei/Scopus 2020   2020 2nd International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2020)
ACM--RSAE--EI Compendex, Scopus 2021   ACM--2021 The 3rd International Conference on Robotics Systems and Automation Engineering (RSAE 2021)--EI Compendex, Scopus
JSE 2020   9th International Conference on Software Engineering and Applications
RSAE--ACM, EI, Scopus 2021   ACM--2021 The 3rd International Conference on Robotics Systems and Automation Engineering (RSAE 2021)--EI Compendex, Scopus
ICSIE--ACM, Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus
ICCSS--Ei Compendex, Scopus 2021   2021 4th International Conference on Circuits, Systems and Simulation (ICCSS 2021)--Ei Compendex, Scopus
AEIS--Ei Compendex, Scopus 2021   2021 International Conference on Advanced Enterprise Information System (AEIS 2021)--Ei Compendex, Scopus