06. – 09. Dezember 2015GI-Dagstuhl Seminar 15504Formal Evaluation of Critical InfrastructuresWebseite des Seminars.
12. – 17. Januar 2014Dagstuhl Seminar 14031Randomized Timed and Hybrid Models for Critical InfrastructuresWebseite des Seminars.
22. – 26. Oktober 2012ROCKS autumn schoolRigorOus dependability analysis using model ChecKing techniques for Stochastic systemsWebseite des Seminars.
