Arnd Hartmanns

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 55

Top Venues

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

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
Tools at the Frontiers of Quantitative Verification. CoRR (2024)
Arnd Hartmanns, Bram Kohlen, Peter Lammich
Fast Verified SCCs for Probabilistic Model Checking. ATVA (1) (2023)
Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger
A Practitioner's Guide to MDP Model Checking Algorithms. CoRR (2023)
Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger
A Practitioner's Guide to MDP Model Checking Algorithms. TACAS (1) (2023)
Marcus Gerhold, Arnd Hartmanns
Reproduction Report for SV-COMP 2023. CoRR (2023)
Arnd Hartmanns
An Overview of Modest Models and Tools for Real Stochastic Timed Systems. MARS@ETAPS (2022)
Arnd Hartmanns, Michaela Klauck
The Modest State of Learning, Sampling, and Verifying Strategies. ISoLA (3) (2022)
Arnd Hartmanns
Correct Probabilistic Model Checking with Floating-Point Arithmetic. TACAS (2) (2022)
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
ARCH-COMP22 Category Report: Stochastic Models. ARCH@SAFECOMP (2022)
Arnd Hartmanns, Bram Kohlen
Backwards Reachability for Probabilistic Timed Automata: A Replication Report. CoRR (2022)
Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns, Fernando D. Raverta
Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks. QEST (2022)
Thom S. Badings, Arnd Hartmanns, Nils Jansen, Marnix Suilen
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. CoRR (2021)
Ernst Moritz Hahn, Arnd Hartmanns
Symblicit exploration and elimination for probabilistic model checking. SAC (2021)
Arnd Hartmanns
Correct Probabilistic Model Checking with Floating-Point Arithmetic. CoRR (2021)
Mathis Niehage, Arnd Hartmanns, Anne Remke
Learning optimal decisions for stochastic hybrid systems. MEMOCODE (2021)
Yuliya Butkova, Arnd Hartmanns, Holger Hermanns
A Modest Approach to Markov Automata. ACM Trans. Model. Comput. Simul. 31 (3) (2021)
Arnd Hartmanns, Joost-Pieter Katoen, Bram Kohlen, Jip Spel
Tweaking the Odds in Probabilistic Timed Automata. QEST (2021)
Thom S. Badings, Arnd Hartmanns, Nils Jansen, Marnix Suilen
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. NFM (2021)
Alessandro Abate, Henk 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 Thorpe, Vlad Turcuman, Paolo Zuliani
ARCH-COMP21 Category Report: Stochastic Models. ARCH@ADHS (2021)
Riley Roberts, Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang
Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System. CoRR (2021)
Riley Roberts, Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang
Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System. FMICS (2021)
Carlos E. Budde, Arnd Hartmanns
Replicating sc Restart with Prolonged Retrials: An Experimental Report. TACAS (2) (2021)
Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
Multi-cost Bounded Tradeoff Analysis in MDP. J. Autom. Reason. 64 (7) (2020)
Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns
Sampling Distributed Schedulers for Resilient Space Communication. NFM (2020)
Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards
An efficient statistical model checker for nondeterminism and rare events. Int. J. Softw. Tools Technol. Transf. 22 (6) (2020)
Arnd Hartmanns, Benjamin Lucien Kaminski
Optimistic Value Iteration. CAV (2) (2020)
Alessandro Abate, Henk 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
ARCH-COMP20 Category Report: Stochastic Models. ARCH (2020)
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang
On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report. ISoLA (4) (2020)
Carina Pilch, Arnd Hartmanns, Anne Remke
Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings. HSCC (2020)
Ernst Moritz Hahn, Arnd Hartmanns
Symblicit Exploration and Elimination for Probabilistic Model Checking. CoRR (2020)
Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga
Model-based testing of stochastically timed systems. Innov. Syst. Softw. Eng. 15 (3-4) (2019)
Arnd Hartmanns, Holger Hermanns
A Modest Markov Automata Tutorial. Reasoning Web (2019)
Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). TACAS (3) (2019)
Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Rajesh Jayashankara Shridevi, Koushik Chakraborty, Sanghamitra Roy, Zhen Zhang
Probabilistic Verification for Reliable Network-on-Chip System Design. FMICS (2019)
Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns
Automated compositional importance splitting. Sci. Comput. Program. 174 (2019)
Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters
The Quantitative Verification Benchmark Set. TACAS (1) (2019)
Arnd Hartmanns, Benjamin Lucien Kaminski
Optimistic Value Iteration. CoRR (2019)
Yuliya Butkova, Arnd Hartmanns, Holger Hermanns
A Modest Approach to Modelling and Checking Markov Automata. QEST (2019)
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
TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) (2019)
Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga
Model-Based Testing for General Stochastic Time. NFM (2018)
Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards
A Hierarchy of Scheduler Classes for Stochastic Automata. FoSSaCS (2018)
Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards
A Statistical Model Checker for Nondeterminism and Rare Events. TACAS (2) (2018)
Alessandro Abate, Henk Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian Ioan Vasile, Abraham P. Vinod
ARCH-COMP18 Category Report: Stochastic Modelling. ARCH@ADHS (2018)
Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards
Lightweight Statistical Model Checking in Nondeterministic Continuous Time. ISoLA (2) (2018)
Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
Multi-cost Bounded Reachability in MDP. TACAS (2) (2018)
Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns
Better Automated Importance Splitting for Transient Rare Events. SETTA (2017)
Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards
A Hierarchy of Scheduler Classes for Stochastic Automata. CoRR (2017)
Alexander Graf-Brill, Arnd Hartmanns, Holger Hermanns, Steffen Rose
Modelling and certification for electric mobility. INDIN (2017)
Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini
JANI: Quantitative Model and Tool Interaction. TACAS (2) (2017)
Arnd Hartmanns, Sean Sedwards, Pedro R. D'Argenio
Efficient simulation-based verification of probabilistic timed automata. WSC (2017)
Arnd Hartmanns, Holger Hermanns, Michael Bungert
Flexible support for time and costs in scenario-aware dataflow. EMSOFT (2016)
Arnd Hartmanns, Holger Hermanns, Jan Krcál
Schedulers are no Prophets. Semantics, Logics, and Calculi (2016)
Pedro R. D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards
Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. IFM (2016)
Ernst Moritz Hahn, Arnd Hartmanns
A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques. SETTA (2016)
Ernst Moritz Hahn, Arnd Hartmanns
Efficient Algorithms for Time- and Cost-Bounded Probabilistic Model Checking. CoRR (2016)
Arnd Hartmanns, Holger Hermanns
In the quantitative automata zoo. Sci. Comput. Program. 112 (2015)
Arnd Hartmanns, Mark Timmer
Sound statistical model checking for MDP using partial order and confluence reduction. Int. J. Softw. Tools Technol. Transf. 17 (4) (2015)
Freek van den Berg, Jozef Hooman, Arnd Hartmanns, Boudewijn R. Haverkort, Anne Remke
Computing Response Time Distributions Using Iterative Probabilistic Model Checking. EPEW (2015)
Arnd Hartmanns, Holger Hermanns
Explicit Model Checking of Very Large MDP using Partitioning and Secondary Storage. CoRR (2015)
Arnd Hartmanns, Holger Hermanns
Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage. ATVA (2015)
Arnd Hartmanns, Holger Hermanns
The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification. TACAS (2014)
Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns
Reachability and Reward Checking for Stochastic Timed Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Holger Hermanns, Arnd Hartmanns
An Internet Inspired Approach to Power Grid Stability. it Inf. Technol. 55 (2) (2013)
Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen
A compositional modelling and analysis framework for stochastic hybrid systems. Formal Methods Syst. Des. 43 (2) (2013)
Arnd Hartmanns, Mark Timmer
On-the-Fly Confluence Detection for Statistical Model Checking. NASA Formal Methods (2013)
Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns
mctau: Bridging the Gap between Modest and UPPAAL. SPIN (2012)
Arnd Hartmanns, Holger Hermanns
Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids. ISoLA (1) (2012)
Birgit Vogel-Heuser, Jens Folmer, Georg Frey, Liu Liu, Holger Hermanns, Arnd Hartmanns
Modeling of Networked Automation Systems for simulation and model checking of time behavior. SSD (2012)
Arnd Hartmanns, Holger Hermanns, Pascal Berrang
A comparative analysis of decentralized power grid stabilization strategies. WSC (2012)
Jonathan Bogdoll, Arnd Hartmanns, Holger Hermanns
Simulation and Statistical Model Checking for Modestly Nondeterministic Models. MMB/DFT (2012)
Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. DATE (2012)
Arnd Hartmanns
MODEST - A unified language for quantitative models. FDL (2012)
Jonathan Bogdoll, Luis María Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns
Partial Order Methods for Statistical Model Checking and Simulation. FMOODS/FORTE (2011)
Arnd Hartmanns
Model-Checking and Simulation for Stochastic Timed Systems. FMCO (2010)
Arnd Hartmanns, Holger Hermanns
A Modest Approach to Checking Probabilistic Timed Automata. QEST (2009)

Arnd Hartmanns.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Arnd Hartmanns