Simulation-based Performance Analysis of a Medical Image-Processing Architecture
Cuijpers, Pieter and Fyukov, Alexander

UML 2.0 State Machines: Complete Formal Semantics via Core State Machines
Fecher, Harald and Schoenborn, Jens

Heuristics for ioco-Based Test-Based Modelling (extended abstract)
Willemse, Tim

Model Based Tesing of a WAP Gateway
Hessel, Anders and Pettersson, Paul

SAT-based Verification of LTL formulas
Zhang, Wenhui

Evaluating quality of service for service level agreements
Gilmore, Stephen and Clark, Allan

Test Coverage for Loose Timing Annotations
Maraninchi, Florence and Helmstetter, Claude and Maillet-Contoz, Laurent

BLASTing Linux Code
Muehlberg, Jan Tobias and Luettgen, Gerald

On Combining Partial Order Reduction with Fairness Assumptions
Cerna, Ivana and Brim, Lubos and Simsa, Jiri and Moravec, Pavel

An easy-to-use, efficient tool-chain to analyze the availability of telecommunication equipment
Siegle, Markus and Lampka, Kai and Walter, Max

Goanna -- A Static Model Checker
Huuck, Ralf and Fehnker, Ansgar and Rauch, Felix and Lussenburg, Michel and Jayet, Patrick

Verified Design of an Automated Parking Garage
Mathijssen, Aad and Pretorius, A. Johannes

To Store or Not To Store Reloaded: Reclaiming Memory on Demand
Weber, Michael and Hammer, Moritz

Verifying VHDL Designs with Multiple Clocks in SMV
Smrcka, Ales and Matousek, Petr and Rehak, Zdenek and Safranek, David and Vojnar, Tomas and Rehak, Vojtech

Automated Incremental Synthesis of Timed Automata
Bonakdarpour, Borzoo and Kulkarni, Sandeep S.

A Finite State Modelling of AFDX Frame Management using Spin
Roy, Suman and Saha, Indranil

jmle: A Tool for Executing JML Specifications via Constraint Programming
Wahls, Tim and Krause, Ben

Discovering Symmetries
Saidi, Hassen