Publications

Export 15 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: Author is Arnd Hartmanns  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
I
H. Hermanns and A. Hartmanns, “An Internet Inspired Approach to Power Grid Stability”, it - Information Technology, vol. 55, no. 2, p. 45-51, 2013.
M
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.
O
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.
S
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.
A. Hartmanns and M. Timmer, “Sound statistical model checking for {MDP} using partial order and confluence reduction”, {STTT}, vol. 17, p. 429–456, 2015.
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.