Seguir
Arnd Hartmanns
Título
Citado por
Citado por
Ano
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
1592014
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
1432012
JANI: quantitative model and tool interaction
CE Budde, C Dehnert, EM Hahn, A Hartmanns, S Junges, A Turrini
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
992017
A Modest Approach to Checking Probabilistic Timed Automata
A Hartmanns, H Hermanns
Quantitative Evaluation of Systems, 2009. QEST'09. Sixth International …, 2009
912009
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
822011
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: (QComp 2019 Competition Report)
EM Hahn, A Hartmanns, C Hensel, M Klauck, J Klein, J Křetínský, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
512019
The Quantitative Verification Benchmark Set
A Hartmanns, M Klauck, D Parker, T Quatmann, E Ruijters
TACAS. LNCS 11427, 0
51*
A statistical model checker for nondeterminism and rare events
CE Budde, PR D’Argenio, A Hartmanns, S Sedwards
Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018
422018
Simulation and Statistical Model Checking for Modestly Nondeterministic Models
J Bogdoll, A Hartmanns, H Hermanns
Measurement, Modelling, and Evaluation of Computing Systems and …, 2012
382012
TOOLympics 2019: An overview of competitions in formal methods
E Bartocci, D Beyer, PE Black, G Fedyukovich, H Garavel, A Hartmanns, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
372019
Optimistic value iteration
A Hartmanns, BL Kaminski
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
312020
A Comparative Analysis of Decentralized Power Grid Stabilization Strategies
A Hartmanns, H Hermanns, P Berrang
Winter Simulation Conference, 2012
31*2012
Reachability and reward checking for stochastic timed automata
EM Hahn, A Hartmanns, H Hermanns
Electronic Communications of the EASST 70, 2014
252014
Multi-cost bounded reachability in MDP
A Hartmanns, S Junges, JP Katoen, T Quatmann
Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018
242018
A comparison of time-and reward-bounded probabilistic model checking techniques
EM Hahn, A Hartmanns
Dependable Software Engineering: Theories, Tools, and Applications: Second …, 2016
242016
ARCH-COMP18 Category Report: Stochastic Modelling.
A Abate, H Blom, N Cauchi, S Haesaert, A Hartmanns, K Lesser, M Oishi, ...
ARCH@ ADHS 54, 71-103, 2018
222018
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
222015
On-the-fly Confluence Detection for Statistical Model Checking
A Hartmanns, M Timmer
NASA Formal Methods, 337-351, 2013
222013
Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids
A Hartmanns, H Hermanns
ISoLA, 2012
222012
Better automated importance splitting for transient rare events
CE Budde, PR D’Argenio, A Hartmanns
Dependable Software Engineering. Theories, Tools, and Applications: Third …, 2017
212017
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20