According to our database1, David Müller authored at least 10 papers between 2014 and 2019.
Legend:Book In proceedings Article PhD thesis Other
PhD thesis, 2019
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019
Proceedings of the Automated Technology for Verification and Analysis, 2019
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.
Int. J. Softw. Tools Technol. Transf., 2018
Proceedings of the Proceedings Eighth International Symposium on Games, 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
Proceedings of the Language and Automata Theory and Applications, 2014
Alternative automata-based approaches to probabilistic model checking.
Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014