Arnd Hartmanns

According to our database, Arnd Hartmanns authored at least 70 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Sound Statistical Model Checking for Probabilities and Expected Rewards.

Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft

CoRR, 2024

Tools at the Frontiers of Quantitative Verification.

Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang

CoRR, 2024

Efficient Formally Verified Maximal End Component Decomposition for MDPs.

Arnd Hartmanns, Bram Kohlen, Peter Lammich

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Reproduction Report for SV-COMP 2023.

Marcus Gerhold, Arnd Hartmanns

CoRR, 2023

A Practitioner's Guide to MDP Model Checking Algorithms.

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Fast Verified SCCs for Probabilistic Model Checking.

Arnd Hartmanns, Bram Kohlen, Peter Lammich

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Backwards Reachability for Probabilistic Timed Automata: A Replication Report.

Arnd Hartmanns, Bram Kohlen

CoRR, 2022

An Overview of Modest Models and Tools for Real Stochastic Timed Systems.

Arnd Hartmanns

Proceedings of the Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, 2022

Correct Probabilistic Model Checking with Floating-Point Arithmetic.

Arnd Hartmanns

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks.

Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns, Fernando D. Raverta

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

The Modest State of Learning, Sampling, and Verifying Strategies.

Arnd Hartmanns, Michaela Klauck

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

ARCH-COMP22 Category Report: Stochastic Models.

Alessandro Abate, Henk A. P. Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit van Huijgevoort, Abolfazl Lavaei, Hao Ma, Mathis Niehage, Anne Remke, Oliver Schön, Stefan Schupp, Sadegh Soudjani, Lisa Willemsen

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

A Modest Approach to Markov Automata.

Yuliya Butkova, Arnd Hartmanns, Holger Hermanns

ACM Trans. Model. Comput. Simul., 2021

Replicating sc Restart with Prolonged Retrials: An Experimental Report.

Carlos E. Budde, Arnd Hartmanns

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Symblicit exploration and elimination for probabilistic model checking.

Ernst Moritz Hahn, Arnd Hartmanns

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Tweaking the Odds in Probabilistic Timed Automata.

Arnd Hartmanns, Joost-Pieter Katoen, Bram Kohlen, Jip Spel

Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids.

Thom S. Badings, Arnd Hartmanns, Nils Jansen, Marnix Suilen

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Learning optimal decisions for stochastic hybrid systems.

Mathis Niehage, Arnd Hartmanns, Anne Remke

Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021

Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System.

Riley Roberts, Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

ARCH-COMP21 Category Report: Stochastic Models.

Alessandro Abate, Henk A. P. Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam J. Thorpe, Vlad Turcuman, Paolo Zuliani

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

An efficient statistical model checker for nondeterminism and rare events.

Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards

Int. J. Softw. Tools Technol. Transf., 2020

Multi-cost Bounded Tradeoff Analysis in MDP.

Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

J. Autom. Reason., 2020

Sampling Distributed Schedulers for Resilient Space Communication.

Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report.

Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings.

Carina Pilch, Arnd Hartmanns, Anne Remke

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Optimistic Value Iteration.

Arnd Hartmanns, Benjamin Lucien Kaminski

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

ARCH-COMP20 Category Report: Stochastic Models.

Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Automated compositional importance splitting.

Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns

Sci. Comput. Program., 2019

Model-based testing of stochastically timed systems.

Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga

Innov. Syst. Softw. Eng., 2019

The Quantitative Verification Benchmark Set.

Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report).

Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

TOOLympics 2019: An Overview of Competitions in Formal Methods.

Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

A Modest Markov Automata Tutorial.

Arnd Hartmanns, Holger Hermanns

Proceedings of the Reasoning Web. Explainable Artificial Intelligence, 2019

A Modest Approach to Modelling and Checking Markov Automata.

Yuliya Butkova, Arnd Hartmanns, Holger Hermanns

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Probabilistic Verification for Reliable Network-on-Chip System Design.

Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Rajesh Jayashankara Shridevi, Koushik Chakraborty, Sanghamitra Roy, Zhen Zhang

Proceedings of the Formal Methods for Industrial Critical Systems, 2019

2018

Multi-cost Bounded Reachability in MDP.

Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

A Statistical Model Checker for Nondeterminism and Rare Events.

Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Model-Based Testing for General Stochastic Time.

Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Lightweight Statistical Model Checking in Nondeterministic Continuous Time.

Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

A Hierarchy of Scheduler Classes for Stochastic Automata.

Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards

Proceedings of the Foundations of Software Science and Computation Structures, 2018

ARCH-COMP18 Category Report: Stochastic Modelling.

Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian Ioan Vasile, Abraham P. Vinod

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Efficient simulation-based verification of probabilistic timed automata.

Arnd Hartmanns, Sean Sedwards, Pedro R. D'Argenio

Proceedings of the 2017 Winter Simulation Conference, 2017

JANI: Quantitative Model and Tool Interaction.

Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Better Automated Importance Splitting for Transient Rare Events.

Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Modelling and certification for electric mobility.

Alexander Graf-Brill, Arnd Hartmanns, Holger Hermanns, Steffen Rose

Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

2016

Efficient Algorithms for Time- and Cost-Bounded Probabilistic Model Checking.

Ernst Moritz Hahn, Arnd Hartmanns

CoRR, 2016

A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques.

Ernst Moritz Hahn, Arnd Hartmanns

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata.

Pedro R. D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Flexible support for time and costs in scenario-aware dataflow.

Arnd Hartmanns, Holger Hermanns, Michael Bungert

Proceedings of the 2016 International Conference on Embedded Software, 2016

Schedulers are no Prophets.

Arnd Hartmanns, Holger Hermanns, Jan Krcál

Proceedings of the Semantics, Logics, and Calculi, 2016

2015

On the analysis of stochastic timed systems.

Arnd Hartmanns

PhD thesis, 2015

Sound statistical model checking for MDP using partial order and confluence reduction.

Arnd Hartmanns, Mark Timmer

Int. J. Softw. Tools Technol. Transf., 2015

In the quantitative automata zoo.

Arnd Hartmanns, Holger Hermanns

Sci. Comput. Program., 2015

Computing Response Time Distributions Using Iterative Probabilistic Model Checking.

Freek van den Berg, Jozef Hooman, Arnd Hartmanns, Boudewijn R. Haverkort, Anne Remke

Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage.

Arnd Hartmanns, Holger Hermanns

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Reachability and Reward Checking for Stochastic Timed Automata.

Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification.

Arnd Hartmanns, Holger Hermanns

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013

An Internet Inspired Approach to Power Grid Stability.

Holger Hermanns, Arnd Hartmanns

it Inf. Technol., 2013

A compositional modelling and analysis framework for stochastic hybrid systems.

Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen

Formal Methods Syst. Des., 2013

On-the-Fly Confluence Detection for Statistical Model Checking.

Arnd Hartmanns, Mark Timmer

Proceedings of the NASA Formal Methods, 2013

2012

A comparative analysis of decentralized power grid stabilization strategies.

Arnd Hartmanns, Holger Hermanns, Pascal Berrang

Proceedings of the Winter Simulation Conference, 2012

mctau: Bridging the Gap between Modest and UPPAAL.

Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns

Proceedings of the Model Checking Software - 19th International Workshop, 2012

Simulation and Statistical Model Checking for Modestly Nondeterministic Models.

Jonathan Bogdoll, Arnd Hartmanns, Holger Hermanns

Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012

Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids.

Arnd Hartmanns, Holger Hermanns

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

MODEST - A unified language for quantitative models.

Arnd Hartmanns

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems.

Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Modeling of Networked Automation Systems for simulation and model checking of time behavior.

Birgit Vogel-Heuser, Jens Folmer, Georg Frey, Liu Liu, Holger Hermanns, Arnd Hartmanns

Proceedings of the International Multi-Conference on Systems, Signals & Devices, 2012

2011

Partial Order Methods for Statistical Model Checking and Simulation.

Jonathan Bogdoll, Luis María Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns

Proceedings of the Formal Techniques for Distributed Systems, 2011

2010

Model-Checking and Simulation for Stochastic Timed Systems.

Arnd Hartmanns

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009

A Modest Approach to Checking Probabilistic Timed Automata.

Arnd Hartmanns, Holger Hermanns

Proceedings of the QEST 2009, 2009