ISoLA 2012: Heraklion, Crete, Greece

Linux Driver Verification

Bioscientific Data Processing and Modeling

Processes and Data Integration in the Networked Healthcare

Timing Constraints: Theory Meets Practice

Formal Methods for the Development and Certification of X-by-Wire Control Systems

Quantitative Modelling and Analysis

Software Aspects of Robotic Systems

Process-Oriented Geoinformation Systems and Applications

Handling Heterogeneity in Formal Development of HW and SW Systems

maintained by Schloss Dagstuhl LZI at University of Trier