*Formalizing Cut Elimination of Coalgebraic Logics in Coq*, published in the proceedings of the 22nd Conference on Automated Reasoning with Analytic Tableaux and Related Methods 2013, LNAI volume 8123, pages 257-272.

copy paper: [pdf]

copy slides: [pdf]Some documentation and the Coq sources of the formalization are freely available here.

*A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select*, published in the proceedings of the Nasa Formal Methods Symposium 2013, LNCS volume 7871, pages 307-321. Done together with Christel, Benjamin, Sascha, Steffen and Marcus Völp.

copy: [pdf]*Solving Operating-Systems Problems with Probabilistic Model Checking*, presentation for the resilience path of cfaed (the Center for Advancing Electronics Dresden), TU Dresden, Mai 3rd, 2013

[copy slides]*Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code*, published in volume 102 in Electronic Proceedings in Theoretical Computer Science (EPTCS), pages 156-166. Done together with Christel, Marcus Daum, Benjamin, Hermann, Joachim, Sascha, Steffen and Marcus Völp.

copy: [pdf]Talk given at Systems Software Verification Converence (SSV 2012) on November 30, 2012 in Sydney

[copy slides]*On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code*, published in volume 102 in Electronic Proceedings in Theoretical Computer Science (EPTCS), pages 73-87. Done together with Tjark and Marcus.

copy: [pdf]Talk given at Systems Software Verification Converence (SSV 2012) on November 29, 2012 in Sydney

[copy slides]*Waiting for Locks: How Long Does It Usually Take?*, published in LNCS volume 7437, pages 47-62. Done together with Christel, Marcus Daum, Benjamin, Hermann, Joachim, Sascha, Steffen and Marcus Völp.

copy: [pdf]

Home
**Science Overview**
All Publications
Talks
PhD
CCSL
Robin

last modified on 23 Sep 2013 by Hendrik