Publications

Publications for Arnd Hartmanns

2019
DOI
[bibtex]
E. Moritz Hahn, Arnd Hartmanns, Christian Dehnert, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz. The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). TACAS 2019, Volume 11429 of LNCS, pages 69–92, Springer, 2019.
DOI
[bibtex]
Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters. The Quantitative Verification Benchmark Set. TACAS 2019, Volume 11427 of LNCS, pages 344–350, Springer, 2019.
2018
DOI
[bibtex]
Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann. Multi-Cost Bounded Reachability in MDPs. Proc. of TACAS, Volume 10805 of LNCS, , 2018.
2017
DOIDownloadLink
[bibtex]
Carlos E. Budde, Christian Dehnert, E. Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini. “JANI: Quantitative Model and Tool Interaction. Proc. of TACAS (2), Volume 10206 of LNCS, pages 151-168, Springer, 2017.
2013
DOIDownloadLink
[bibtex]
E. Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen. A Compositional Modeling and Analysis Framework for Stochastic Hybrid Systems. Formal Methods in System Design 43(2), pages 191–232, 2013.