Matthias Daum - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 10 from 10

2014

Concerned with the unprivileged: user programs in kernel refinementMatthias Daum, Nelson Billing, Gerwin Klein. fac, 26(6):1205-1229, 2014. [doi]

2012

Challenges and Experiences in Managing Large-Scale ProofsTimothy Bourke, Matthias Daum, Gerwin Klein, Rafal Kolanski. AISC 2012: 32-48 [doi]

2010

From Operating-System Correctness to Pervasively Verified ApplicationsMatthias Daum, Norbert Schirmer, Mareike Schmidt. IFM 2010: 105-120 [doi]

On the formal foundation of a verification approach for system-level concurrent programsMatthias Daum. PhD thesis, Saarland University, 2010. [doi]

2009

Implementation Correctness of a Real-Time Operating SystemMatthias Daum, Norbert Schirmer, Mareike Schmidt. SEFM 2009: 23-32 [doi]

Proving Fairness and Implementation Correctness of a Microkernel SchedulerMatthias Daum, Jan DÃ¶rrenbÃ¤cher, Burkhart Wolff. JAR, 42(2-4):349-388, 2009. [doi]

2008

Model Stack for the Pervasive Verification of a Microkernel-based Operating SystemMatthias Daum, Jan Dörrenbächer, Sebastian Bogan. cade 2008: [doi]

A Verification Approach for System-Level Concurrent ProgramsMatthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff. vstte 2008: 161-176 [doi]

2005

Integration of a Software Model Checker into IsabelleMatthias Daum, Stefan Maus, Norbert Schirmer, M. Nassim Seghir. lpar 2005: 381-395 [doi]

1990

Mobile Roboter im Lager: rationelle KommissionierungMatthias Daum. PhD thesis, Technical University of Dortmund, Germany, 1990. [doi]

Sign in or sign up to see more results.

runs on WebDSL