Specification and Verification of
Component-Based Systems
Workshop at
September 3-4, 2007

SAVCBS 2007 Workshop Talks


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 [PPT] [Demo AVI]
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

Faithful mapping of model classes to mathematical structures [PPT]
Ádám Darvas, ETH Zürich
Peter Müller, Microsoft Research

Proof-Transforming Compilation of Programs with Abrupt Termination [PPT]
Peter Müller, Microsoft Research
Martin Nordio, ETH Zürich

An Integrated Verification Environment for JML: Architecture and Early Results [PPT]
Patrice Chalin, Concordia University
Perry R. James, Concordia University
George Karabotsos, Concordia University

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

Challenge Problem Solutions

Challenge Problem: Subject-Observer Specification with Component-Interaction Automata
Pavlína Vareková, Masaryk University
Barbora Zimmerova, Masaryk University

Short Papers

Games-Based Safety Checking with Mage (extended abstract) [PPT]
Adam Bakewell, University of Birmingham
Dan Ghica, University of Birmingham

Specification and Verification of Trustworthy Component-Based Real-Time Reactive Systems [PPT]
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

A Concept for Dynamic Wiring of Components: Correctness in Dynamic Adaptive Systems
Dirk Niebuhr, Clausthal University of Technology
Andreas Rausch, Clausthal University of Technology

Jonathan Aldrich, Mike Barnett, Dimitra Giannakopoulou, Gary T. Leavens, and Natasha Sharygina

$Date: 2007/09/10 20:46:10 $