Marcus Daum

According to our database¹, Marcus Daum authored at least 8 papers between 2012 and 2018.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2018

Formal methods for probabilistic energy models.

[BibT_eX]

[DOI]

Marcus Daum

PhD thesis, 2018

Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2018

2016

Advances in Symbolic Probabilistic Model Checking with PRISM.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

Locks: Picking key methods for a scalable quantitative analysis.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2015

2014

Energy-Utility Quantiles.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Probabilistic Model Checking and Non-standard Multi-objective Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2012

Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code

[BibT_eX]

[DOI]

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

Waiting for Locks: How Long Does It Usually Take?

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2012

Marcus Daum

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...