Science navigation: All Publications Talks PhD CCSL Robin

Recent publications and talks

• 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]

• Automatic Library Compilation and Proof-Tree Visualisation for Coq Proof General, presentation at the Third Coq Workshop on August 26 2011 in Nijmegen.
  [copy slides]

• Proceedings of the 6th International Workshop on Systems Software Verification (SSV 2011), published as volume 24 of OpenAccess Series in Informatics (OASICS) by Schloss Dagstuhl. Done together with Jörg and Marco (editors).
  link: [online proceedings]

Home Science Overview All Publications Talks PhD CCSL Robin