Aktuelle Veröffentlichungen

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]
Formalizing Cut Elimination of Coalgebraic Logics in Coq, veröffentlicht bei der 22. Conference für Automated Reasoning with Analytic Tableaux and Related Methods 2013, LNAI Band 8123, Seiten 257-272.
Kopie Artikel: [pdf]
Kopie Präsentation: [pdf]
Etwas Dokumentation und die Coq Quellen der Formalisierung sind auf dieser Seiter verfügbar (in english only).
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select, veröffentlicht in den Proceedings des Nasa Formal Methods Symposiums 2013, LNCS Band 7871, Seiten 307-321. Zusammen mit Christel, Benjamin, Sascha, Steffen and Marcus Völp.
Kopie: [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]

geändert am 28 Nov 2016 von Hendrik