ISoLA 2010: Heraklion, Crete, Greece

New Challenges in the Development of Critical Embedded Systems - An "aeromotive" Perspective

Formal Languages and Methods for Designing and Verifying Complex Embedded Systems

Worst-Case Traversal Time (WCTT)

Tools in Scientific Workflow Composition

Emerging Services and Technologies for a Converging Telecommunications / Web World in Smart Environments of the Internet of Things

Web Science

Model Transformation and Analysis for Industrial Scale Validation

Learning Techniques for Software Verification and Validation

maintained by Schloss Dagstuhl LZI at University of Trier