Arnd Hartmanns
Title
Cited by
Cited by
Year
A Compositional Modelling and Analysis Framework for Stochastic Hybrid Systems
EM Hahn, A Hartmanns, H Hermanns, JP Katoen
Formal Methods in System Design, 1-42, 2012
1152012
The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification
A Hartmanns, H Hermanns
Tools and Algorithms for the Construction and Analysis of Systems, 593-598, 2014
1042014
A Modest Approach to Checking Probabilistic Timed Automata
A Hartmanns, H Hermanns
Quantitative Evaluation of Systems, 2009. QEST'09. Sixth International …, 2009
842009
Partial Order Methods for Statistical Model Checking and Simulation
J Bogdoll, LM Ferrer Fioriti, A Hartmanns, H Hermanns
Formal Techniques for Distributed Systems, 59-74, 2011
722011
JANI: quantitative model and tool interaction
CE Budde, C Dehnert, EM Hahn, A Hartmanns, S Junges, A Turrini
International Conference on Tools and Algorithms for the Construction and …, 2017
562017
Simulation and Statistical Model Checking for Modestly Nondeterministic Models
J Bogdoll, A Hartmanns, H Hermanns
Measurement, Modelling, and Evaluation of Computing Systems and …, 2012
362012
The 2019 comparison of tools for the analysis of quantitative formal models
EM Hahn, A Hartmanns, C Hensel, M Klauck, J Klein, J Křetínský, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
302019
A Comparative Analysis of Decentralized Power Grid Stabilization Strategies
A Hartmanns, H Hermanns, P Berrang
Winter Simulation Conference, 2012
29*2012
A statistical model checker for nondeterminism and rare events
CE Budde, PR D˘Argenio, A Hartmanns, S Sedwards
International Conference on Tools and Algorithms for the Construction and …, 2018
262018
TOOLympics 2019: An overview of competitions in formal methods
E Bartocci, D Beyer, PE Black, G Fedyukovich, H Garavel, A Hartmanns, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
212019
On-the-fly Confluence Detection for Statistical Model Checking
A Hartmanns, M Timmer
NASA Formal Methods, 337-351, 2013
212013
The Quantitative Verification Benchmark Set
A Hartmanns, M Klauck, D Parker, T Quatmann, E Ruijters
TACAS. LNCS 11427, 0
21*
Reachability and reward checking for stochastic timed automata
EM Hahn, A Hartmanns, H Hermanns
Electronic Communications of the EASST 70, 2014
202014
Model-checking and Simulation for Stochastic Timed Systems
A Hartmanns
Formal Methods for Components and Objects, 372-391, 2010
202010
Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids
A Hartmanns, H Hermanns
ISoLA, 2012
192012
Multi-cost bounded reachability in MDP
A Hartmanns, S Junges, JP Katoen, T Quatmann
International Conference on Tools and Algorithms for the Construction and …, 2018
182018
Better automated importance splitting for transient rare events
CE Budde, PR D˘Argenio, A Hartmanns
International Symposium on Dependable Software Engineering: Theories, Tools …, 2017
172017
Modest – A Unified Language for Quantitative Models
A Hartmanns
Specification and Design Languages (FDL), 2012 Forum on, 44-51, 2012
172012
A comparison of time-and reward-bounded probabilistic model checking techniques
EM Hahn, A Hartmanns
International Symposium on Dependable Software Engineering: Theories, Tools …, 2016
162016
mctau: Bridging the Gap between Modest and UPPAAL
J Bogdoll, A David, A Hartmanns, H Hermanns
Model Checking Software, 227-233, 2012
162012
The system can't perform the operation now. Try again later.
Articles 1–20