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