Publications

Filters: Author is Arnd Hartmanns [Clear All Filters]

In Press

A. Hartmanns and H. Hermanns, “Explicit Model Checking of Very Large {MDP} using Partitioning and Secondary Storage”, in ATVA 2015, In Press.

2015

F. van den Berg, J. Hooman, A. Hartmanns, B. R. Haverkort, and A. Remke, “Computing Response Time Distributions Using Iterative Probabilistic Model Checking”, in Computer Performance Engineering - 12th European Workshop, {EPEW} 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings, 2015.

A. Hartmanns and M. Timmer, “Sound statistical model checking for {MDP} using partial order and confluence reduction”, {STTT}, vol. 17, p. 429–456, 2015.

2014

A. Hartmanns and H. Hermanns, “The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification”, in Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, {TACAS} 2014, 2014.

E. M. Hahn, A. Hartmanns, and H. Hermanns, “Reachability and Reward Checking for Stochastic Timed Automata”, {ECEASST}, vol. 70, 2014.

2013

E. M. Hahn, A. Hartmanns, H. Hermanns, and J. - P. Katoen, “A compositional modelling and analysis framework for stochastic hybrid systems”, Formal Methods in System Design, vol. 43, p. 191-232, 2013.

H. Hermanns and A. Hartmanns, “An Internet Inspired Approach to Power Grid Stability”, it - Information Technology, vol. 55, no. 2, p. 45-51, 2013.

A. Hartmanns and M. Timmer, “On-the-Fly Confluence Detection for Statistical Model Checking”, in NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, 2013.

2012

A. Hartmanns, H. Hermanns, and P. Berrang, “A comparative analysis of decentralized power grid stabilization strategies”, in Proceedings of the Winter Simulation Conference, 2012.

E. M. Hahn, A. Hartmanns, H. Hermanns, and J. - P. Katoen, “A Compositional Modeling and Analysis Framework for Stochastic Hybrid Systems”, Formal Methods in System Design, 2012.

fmsd2012_final.pdf (1.77 MB)

J. Bogdoll, A. David, A. Hartmanns, and H. Hermanns, “mctau: Bridging the Gap between Modest and UPPAAL”, in Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings, 2012, vol. 7385, p. 227-233.

A. Hartmanns and H. Hermanns, “Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids”, in Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, 2012, vol. 7609, p. 420-439.

A. Hartmanns, “MODEST - A unified language for quantitative models”, in Proceeding of the 2012 Forum on Specification and Design Languages, Vienna, Austria, September 18-20, 2012, 2012.

J. Bogdoll, A. Hartmanns, and H. Hermanns, “Simulation and Statistical Model Checking for Modestly Nondeterministic Models”, in Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012, vol. 7201, p. 249-252.

M. Bozga, et al., “State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems”, in 2012 Design, Automation {&} Test in Europe Conference {&} Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012, 2012.