ISoLA 2014: Corfu, Greece

Engineering Virtualized Systems

Statistical Model Checking

Risk-Based Testing

Medical Cyber-Physical Systems

Scientific Workflows

Evaluation and Reproducibility of Program Analysis

Processes and Data Integration in the Networked Healthcare

Semantic Heterogeneity in the Formal Development of Complex Systems

maintained by Schloss Dagstuhl LZI at University of Trier