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
1092012
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
872014
A Modest Approach to Checking Probabilistic Timed Automata
A Hartmanns, H Hermanns
Quantitative Evaluation of Systems, 2009. QEST'09. Sixth International …, 2009
812009
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
712011
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
462017
Simulation and Statistical Model Checking for Modestly Nondeterministic Models
J Bogdoll, A Hartmanns, H Hermanns
Measurement, Modelling, and Evaluation of Computing Systems and …, 2012
332012
A Comparative Analysis of Decentralized Power Grid Stabilization Strategies
A Hartmanns, H Hermanns, P Berrang
Winter Simulation Conference, 2012
27*2012
Reachability and reward checking for stochastic timed automata
EM Hahn, A Hartmanns, H Hermanns
Electronic Communications of the EASST 70, 2014
212014
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
202018
On-the-fly Confluence Detection for Statistical Model Checking
A Hartmanns, M Timmer
NASA Formal Methods, 337-351, 2013
202013
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
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
172019
Modest – A Unified Language for Quantitative Models
A Hartmanns
Specification and Design Languages (FDL), 2012 Forum on, 44-51, 2012
172012
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
152019
Better automated importance splitting for transient rare events
CE Budde, PR D’Argenio, A Hartmanns
International Symposium on Dependable Software Engineering: Theories, Tools …, 2017
152017
mctau: Bridging the Gap between Modest and UPPAAL
J Bogdoll, A David, A Hartmanns, H Hermanns
Model Checking Software, 227-233, 2012
152012
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
142018
A comparison of time-and reward-bounded probabilistic model checking techniques
EM Hahn, A Hartmanns
International Symposium on Dependable Software Engineering: Theories, Tools …, 2016
142016
Explicit model checking of very large MDP using partitioning and secondary storage
A Hartmanns, H Hermanns
International Symposium on Automated Technology for Verification and …, 2015
142015
The system can't perform the operation now. Try again later.
Articles 1–20