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