Publications

Export 15 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is Arnd Hartmanns  [Clear All Filters]
Conference Paper
A. Hartmanns, H. Hermanns, and P. Berrang, “A comparative analysis of decentralized power grid stabilization strategies”, in Proceedings of the Winter Simulation Conference, 2012.
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 H. Hermanns, “Explicit Model Checking of Very Large {MDP} using Partitioning and Secondary Storage”, in ATVA 2015, In Press.
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.
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.
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.
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.