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