SAVCBS'07
	Specification and Verification of Component-Based Systems
	Workshop at ESEC/FSE 2007 September 3-4, 2007

SAVCBS 2007 Preliminary Program Schedule
Salon 6 of the Croatia Hotel, Monday Sept. 3		Salon 6 of the Croatia Hotel, Tuesday Sept. 4
9:00 - 9:15	Opening remarks and introductions Gary T. Leavens, University of Central Florida Natasha Sharygina, University of Lugano and CMU Arnd Poetzsch-Heffter, University of Kaiserlautern	9:00 - 10:30	Discussions
9:15 - 10:30	Short Papers (chair: Arnd Poetzsch-Heffter)   Games-Based Safety Checking with Mage (extended abstract) Adam Bakewell, University of Birmingham Dan Ghica, University of Birmingham   Specification and Verification of Trustworthy Component-Based Real-Time Reactive Systems Vasu Alagar, Concordia University Mubarak Mohammad, Concordia University   Components, Objects, and Contracts Olaf Owe, University of Oslo Gerardo Schneider, University of Oslo Martin Steffen, University of Oslo   Compositional Failure-based Semantic Equivalences for Reo Specifications Mohammad Izadi, Sharif University of Technology Ali Movaghar, Sharif University of Technology   A Concept for Dynamic Wiring of Components: Correctness in Dynamic Adaptive Systems Dirk Niebuhr, Clausthal University of Technology Andreas Rausch, Clausthal University of Technology
10:30- 11:00	Coffee Break	10:30- 11:00	Coffee Break
11:00 - 12:30	Session 2 (chair: Natasha Sharygina)   Effective Verification of Systems with a Dynamic Number of Components Pavlína Vareková, Masaryk University Pavel Moravec, Masaryk University Ivana Cerná, Masaryk University Barbora Zimmerova, Masaryk University   Plan-Directed Architectural Change For Autonomous Systems Daniel Sykes, Imperial College William Heaven, Imperial College Jeff Magee, Imperial College Jeff Kramer, Imperial College   Reachability Analysis for Annotated Code Mikolás Janota, UCD Dublin Radu Grigore, UCD Dublin Michał Moskal, University of Wroclaw	11:00 - 12:30	Discussions
12:30 - 2:00	Lunch
		12:30 - 2:00	Lunch
2:00 - 3:30	Session 3 (chair: Gary T. Leavens)   Faithful mapping of model classes to mathematical structures Ádám Darvas, ETH Zürich Peter Müller, Microsoft Research   Proof-Transforming Compilation of Programs with Abrupt Termination Peter Müller, Microsoft Research Martin Nordio, ETH Zürich   An Integrated Verification Environment for JML: Architecture and Early Results Patrice Chalin, Concordia University Perry R. James, Concordia University George Karabotsos, Concordia University
3:30 - 4:00	Break
4:00 - 5:00	Session 4 (chair: Arnd Poetzsch-Heffter)   Playing with Time in Publish-Subscribe using a Domain-Specific Model Checker Luciano Baresi, Politecnico di Milano Giorgio Gerosa, Politecnico di Milano Carlo Ghezzi, Politecnico di Milano Luca Mottola, Politecnico di Milano   On timed components and their abstraction Ramzi Ben Salah, CNRS-VERIMAG Marius Bozga, CNRS-VERIMAG Oded Maler, CNRS-VERIMAG
5:00 - 5:30	Challenge Problem Solution (chair: Arnd Poetzsch-Heffter)   Challenge Problem: Subject-Observer Specification with Component-Interaction Automata Pavlína Vareková, Masaryk University Barbora Zimmerova, Masaryk University