Navigation:
Alle Publikationen
Vorträge
Doktorarbeit
CCSL
Robin
Aktuelle Veröffentlichungen
- Chiefly Symmetric: Results on the Scalability of
Probabilistic Model Checking for Operating-System Code,
veröffentlicht im Band 102 der
Electronic Proceedings in Theoretical Computer Science (EPTCS),
Seiten 156-166.
Zusammen mit
Christel,
Marcus Daum,
Benjamin,
Hermann,
Joachim,
Sascha,
Steffen und
Marcus Völp.
Kopie: [pdf]
Vortrag auf der Systems Software Verification Converence
(SSV 2012) am 30. November 2012 in Sydney
[Präsentation]
- On the Use of Underspecified Data-Type Semantics for
Type Safety in Low-Level Code, veröffentlicht in Band 102 der
Electronic Proceedings in Theoretical Computer Science (EPTCS),
Seiten 73-87.
Zusammen mit
Tjark and
Marcus.
Kopie: [pdf]
Vortrag auf der Systems Software Verification Converence
(SSV 2012) am 29. November 2012 in Sydney
[Präsentation]
- Waiting for Locks: How Long Does It Usually Take?,
veröffentlicht im LNCS Band 7437,
Seiten 47-62.
Zusammen mit
Christel,
Marcus Daum,
Benjamin,
Hermann,
Joachim,
Sascha,
Steffen und
Marcus Völp.
Kopie: [pdf]
- Automatic Library Compilation and Proof-Tree
Visualisation for Coq Proof General, Vortrag auf dem
Dritten Coq
Workshop am 26. August 2011 in Nijmegen.
[Präsentation]
- Proceedings of the 6th
International Workshop on Systems Software Verification
(SSV 2011), veröffentlicht als
Band 24 of OpenAccess Series in Informatics (OASICS)
von Schloss Dagstuhl.
Zusammen mit Jörg und Marco
(Editoren).
link: [online proceedings]
Startseite
Wissenschaft Überblick
Alle Publikationen
Vorträge
Doktorarbeit
CCSL
Robin
geändert am
10 Dec 2012
von Hendrik