Submission deadline extended: May 25, 2009 Call for Papers
	SAVCBS'09
	Workshop at ESEC/FSE 2009 August 25, 2009

The eighth workshop on specification and verification of component-based systems is affiliated with ESEC/FSE 2009 and will be held in Amsterdam, The Netherlands, August 25, 2009. Eight page papers are due on May 25, 2009. Details on paper submission follow a general description of the workshop below.

Themes and Topics of Interest

SAVCBS is focused on using formal (i.e., mathematical) techniques to establish a foundation for the specification and verification of component-based systems. Specification techniques are urgently needed to support effective reasoning about systems composed from components. Component-based approaches also underscore the need for scaling advanced verification techniques such as extended static analysis and model checking to the size of real systems. The workshop will consider formalization of both functional and non-functional behavior (such as performance or reliability). Suggested research topics of interest include (but are not limited to):

• Techniques for component-based verification or reasoning
• Component-based specification languages
• Static analysis of components and component compositions
• Verification-oriented design methodologies for components
• Dynamic checking techniques, including run-time assertion or property checking
• Specification and verification of non-functional component behavior (performance, memory, concurrency, etc.)
• Unifying formal descriptions of concurrency properties with model-based behavioral descriptions of components
• Balancing tradeoffs (automatic/manual verification, soundness/completeness, static/dynamic verification, testing/formal verification, scalability/coverage, etc.)
• Theories of component composition
• Industrial experience, such as adoption issues, with formal techniques for component-based systems
• Case studies of applying formal techniques to component based systems
• Educational experience or tactics for formal approaches to component-based systems

Submissions should outline the current state of research or practice, describe the most pressing shortcomings, and formulate goals for future development.

Challenge Problem

One session during the workshop will be devoted to presenting solutions (full or partial) to a challenge problem. This problem presents features that pose difficulties for current specification technologies. The session will be open both to presenters as well as participants of the workshop. Details on the challenge problem are posted at http://www.eecs.ucf.edu/SAVCBS/2009/challenge.shtml. Solutions should illustrate innovative features of specification or verification as they pertain to this particular problem.

Submissions

Invitation to the workshop will be based on accepted position papers. An ideal position paper would identify new research topics, areas, or problems related to component-based software engineering. It should address the following questions.

• What is the problem (or topic or area) that is being described?
• What is the significance of the problem for component-based software engineering?
• What theoretical or practical insights might help to solve this problem?
• What related work is there about the problem and the theoretical approach? How does it compare?

Details
Submissions must not exceed 8 pages. We encourage, but do not require, use of the ACM Conference format. We also suggest that you add page numbers to your submission, to make adding comments easier. Papers will be accepted in PDF or Postscript format. Papers will be submitted on-line at http://www.easychair.org/conferences/?conf=savcbs09. We are considering to invite best papers for submission to a journal special issue.

We will notify authors that are selected for presentation to the workshop by June 10, 2009. Some authors will be invited to attend but not to present their work formally, and others may have short presentations. We may also have a poster session for authors not invited to present their work formally. The final versions of papers for invited authors will be due on June 20, 2009.

Best papers may be invited for submission to a special issue of a journal.

For more information, visit http://www.eecs.ucf.edu/SAVCBS/

Workshop Program Committee:

We're pleased to have another outstanding program committee this year.

• Marieke Huisman, chair (University of Twente, Netherlands)
• Jonathan Aldrich, (Carnegie Mellon University, USA)
• Marsha Chechik (University of Toronto, Canada)
• Jens Chr. Godskesen (IT University, Denmark)
• Alex Groce (Jet Propulsion Laboratory, USA)
• Dilian Gurov (KTH, Sweden)
• Barbara Jobstmann (EPFL, Switzerland)
• Florian Kammüller (Technical University of Berlin, Germany)
• Joseph Kiniry (University College Dublin, Ireland)
• Darko Marinov (University of Illinois at Urbana-Champaign, USA)
• Peter Müller (ETH Zürich, Switzerland)
• John Penix (Google, USA)
• Koushik Sen (University of California, Berkeley, USA)
• Natasha Sharygina (University of Lugano, Switzerland and Carnegie Mellon, USA)
• Murali Sitaraman (Clemson University , USA)