Combining Mechanized Proofs and Model-Based Testing in
the Formal Analysis of a Hypervisor, veröffentlicht in den
Proceedings von FM 2016 in LNCS 9995, Seiten 69-84.
Zusammen mit dem FireEye Team Formale Methoden (Hanno, Juan, Ulrich,
Yoichi, Cesar, Keiko,
Jorge und Thomas)
und Jacek. Kopie Artikel: [pdf]
copy Präsentation: [pdf]
Solving Operating-Systems Problems with Probabilistic
Model Checking, Präsentation für den
Resilience Pfad des cfaed (Center for Advancing Electronics
Dresden), TU Dresden, 3. Mai, 2013
[Präsentation]