Matthias Daum

According to our database, Matthias Daum authored at least 9 papers between 2005 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Concerned with the unprivileged: user programs in kernel refinement.

Matthias Daum, Nelson Billing, Gerwin Klein

Formal Aspects Comput., 2014

2012

Challenges and Experiences in Managing Large-Scale Proofs.

Timothy Bourke, Matthias Daum, Gerwin Klein, Rafal Kolanski

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2010

On the formal foundation of a verification approach for system-level concurrent programs.

Matthias Daum

PhD thesis, 2010

From Operating-System Correctness to Pervasively Verified Applications.

Matthias Daum, Norbert Schirmer, Mareike Schmidt

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

2009

Proving Fairness and Implementation Correctness of a Microkernel Scheduler.

Matthias Daum, Jan Dörrenbächer, Burkhart Wolff

J. Autom. Reason., 2009

Implementation Correctness of a Real-Time Operating System.

Matthias Daum, Norbert Schirmer, Mareike Schmidt

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

2008

A Verification Approach for System-Level Concurrent Programs.

Matthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff

Proceedings of the Verified Software: Theories, 2008

Model Stack for the Pervasive Verification of a Microkernel-based Operating System.

Matthias Daum, Jan Dörrenbächer, Sebastian Bogan

Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, 2008

2005

Integration of a Software Model Checker into Isabelle.

Matthias Daum, Stefan Maus, Norbert Schirmer, Mohamed Nassim Seghir

Proceedings of the Logic for Programming, 2005