FM 2011: Limerick, Ireland

Invited Talks

Cyber-Physical Systems

Runtime Analysis

Case Studies / Tools

Experience

Program Compilation and Transformation

Security

Process Algebra

Education

Concurrency

Dynamic Structures

Model Checking

maintained by Schloss Dagstuhl LZI at University of Trier