Arnd Hartmanns
Titel
Zitiert von
Zitiert von
Jahr
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
1062014
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
602017
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
322019
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
232019
The Quantitative Verification Benchmark Set
A Hartmanns, M Klauck, D Parker, T Quatmann, E Ruijters
TACAS. LNCS 11427, 0
22*
On-the-fly Confluence Detection for Statistical Model Checking
A Hartmanns, M Timmer
NASA Formal Methods, 337-351, 2013
212013
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
Optimistic value iteration
A Hartmanns, BL Kaminski
International Conference on Computer Aided Verification, 488-511, 2020
162020
mctau: Bridging the Gap between Modest and UPPAAL
J Bogdoll, A David, A Hartmanns, H Hermanns
Model Checking Software, 227-233, 2012
162012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20