Hat mitgewirkt an:
-
Probabilistic verification of Architectural software models using SoftArc and Prism
-
Formal Performability Evaluation of Architectural Models of Critical Infrastructures
-
Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems ; international autumn school ; advanced lectures
-
Evaluating Repair Strategies for a Water-Treatment Facility using Arcade