Arnd Hartmanns

101 papers A 2B 4C 6Misc 6Journal 32Unranked 48

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	Probabilistic Verification for Modular Network-on-Chip Systems. VMCAI Nick Waddoups, Jonah Boe, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang
2025	—	`conf`	A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs. CAV (2) Bram Kohlen, Maximilian Schäffeler, Mohammad Abdulaziz, Arnd Hartmanns, Peter Lammich
2025	J	`jnl`	A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs. CoRR Bram Kohlen, Maximilian Schäffeler, Mohammad Abdulaziz, Arnd Hartmanns, Peter Lammich
2025	C	`conf`	An Overview of Sound and Modest Approaches to Quantitative Model Checking from Sea to Space. FMICS Arnd Hartmanns
2025	J	`jnl`	Comparing Statistical, Analytical, and Learning-Based Routing Approaches for Delay-Tolerant Networks. ACM Trans. Model. Comput. Simul. Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns, Fernando D. Raverta
2025	J	`jnl`	DTMC Model Checking by Path Abstraction Revisited (extended version). CoRR Arnd Hartmanns, Robert Modderman
2025	—	`conf`	DTMC Model Checking by Path Abstraction Revisited. RP Arnd Hartmanns, Robert Modderman
2025	J	`jnl`	Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version). CoRR Pedro R. D'Argenio, Arnd Hartmanns, Patrick Wienhöft, Mark van Wijk
2025	J	`jnl`	Probabilistic Verification for Modular Network-on-Chip Systems (extended version). CoRR Nick Waddoups, Jonah Boe, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang
2025	—	`conf`	PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface. QEST+FORMATS Timo P. Gros, Arnd Hartmanns, Ivo Hoese, Joshua Meyer, Nicola J. Müller, Verena Wolf
2025	—	`conf`	Rare Event Simulation for Stochastic Hybrid Systems Using Symbolic Importance Functions. NFM Mathis Niehage, Carina da Silva, Anne Remke, Arnd Hartmanns
2025	J	`jnl`	Reproducibility and replication of research results. Int. J. Softw. Tools Technol. Transf. Dirk Beyer, Arnd Hartmanns
2025	—	`conf`	Sound Statistical Model Checking for Probabilities and Expected Rewards. TACAS (1) Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2025	J	`jnl`	Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version). CoRR Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2025	—	`conf`	Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality. QEST+FORMATS Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2025	—	`conf`	Time-Sensitive Importance Splitting. QEST+FORMATS Gabriel Dengler, Carlos E. Budde, Laura Carnevali, Arnd Hartmanns
2025	J	`jnl`	Time-Sensitive Importance Splitting. CoRR Gabriel Dengler, Carlos E. Budde, Laura Carnevali, Arnd Hartmanns
2024	—	`conf`	Digging for Decision Trees: A Case Study in Strategy Sampling and Learning. AISoLA Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns
2024	J	`jnl`	Digging for Decision Trees: A Case Study in Strategy Sampling and Learning. CoRR Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns
2024	—	`conf`	Efficient Formally Verified Maximal End Component Decomposition for MDPs. FM (1) Arnd Hartmanns, Bram Kohlen, Peter Lammich
2024	—	`conf`	Modest Models and Tools for Real Stochastic Timed Systems. Principles of Verification (2) Carlos E. Budde, Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns, Zhen Zhang
2024	J	`jnl`	Sound Statistical Model Checking for Probabilities and Expected Rewards. CoRR Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2024	—	`ed.`	TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions, TOOLympics 2023, Paris, France TOOLympics@ETAPS Dirk Beyer, Arnd Hartmanns, Fabrice Kordon
2024	J	`jnl`	Tools at the Frontiers of Quantitative Verification. CoRR 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
2023	—	`conf`	A Practitioner's Guide to MDP Model Checking Algorithms. TACAS (1) Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger
2023	J	`jnl`	A Practitioner's Guide to MDP Model Checking Algorithms. CoRR Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger
2023	—	`conf`	Fast Verified SCCs for Probabilistic Model Checking. ATVA (1) Arnd Hartmanns, Bram Kohlen, Peter Lammich
2023	J	`jnl`	Reproduction Report for SV-COMP 2023. CoRR Marcus Gerhold, Arnd Hartmanns
2023	—	`conf`	Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report. TOOLympics@ETAPS 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
2022	—	`ed.`	10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022 FormaliSE@ICSE Arnd Hartmanns, Ina Schaefer, Stefania Gnesi, Nico Plat
2022	—	`conf`	ARCH-COMP22 Category Report: Stochastic Models. ARCH@SAFECOMP 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
2022	—	`conf`	An Overview of Modest Models and Tools for Real Stochastic Timed Systems. MARS Arnd Hartmanns
2022	J	`jnl`	Backwards Reachability for Probabilistic Timed Automata: A Replication Report. CoRR Arnd Hartmanns, Bram Kohlen
2022	—	`conf`	Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks. QEST Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns, Fernando D. Raverta
2022	—	`conf`	Correct Probabilistic Model Checking with Floating-Point Arithmetic. TACAS (2) Arnd Hartmanns
2022	—	`conf`	The Modest State of Learning, Sampling, and Verifying Strategies. ISoLA (3) Arnd Hartmanns, Michaela Klauck
2021	J	`jnl`	A Modest Approach to Markov Automata. ACM Trans. Model. Comput. Simul. Yuliya Butkova, Arnd Hartmanns, Holger Hermanns
2021	—	`conf`	ARCH-COMP21 Category Report: Stochastic Models. ARCH@ADHS 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
2021	—	`conf`	Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. NFM Thom S. Badings, Arnd Hartmanns, Nils Jansen, Marnix Suilen
2021	J	`jnl`	Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. CoRR Thom S. Badings, Arnd Hartmanns, Nils Jansen, Marnix Suilen
2021	J	`jnl`	Correct Probabilistic Model Checking with Floating-Point Arithmetic. CoRR Arnd Hartmanns
2021	C	`conf`	Learning optimal decisions for stochastic hybrid systems. MEMOCODE Mathis Niehage, Arnd Hartmanns, Anne Remke
2021	C	`conf`	Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System. FMICS Riley Roberts, Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang
2021	J	`jnl`	Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System. CoRR Riley Roberts, Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang
2021	—	`conf`	Replicating sc Restart with Prolonged Retrials: An Experimental Report. TACAS (2) Carlos E. Budde, Arnd Hartmanns
2021	Misc	`conf`	Symblicit exploration and elimination for probabilistic model checking. SAC Ernst Moritz Hahn, Arnd Hartmanns
2021	—	`conf`	Tweaking the Odds in Probabilistic Timed Automata. QEST Arnd Hartmanns, Joost-Pieter Katoen, Bram Kohlen, Jip Spel
2020	—	`conf`	ARCH-COMP20 Category Report: Stochastic Models. ARCH 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
2020	J	`jnl`	An efficient statistical model checker for nondeterminism and rare events. Int. J. Softw. Tools Technol. Transf. Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards
2020	—	`conf`	Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings. HSCC Carina Pilch, Arnd Hartmanns, Anne Remke
2020	J	`jnl`	Multi-cost Bounded Tradeoff Analysis in MDP. J. Autom. Reason. Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
2020	—	`conf`	On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report. ISoLA (4) Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang
2020	—	`conf`	Optimistic Value Iteration. CAV (2) Arnd Hartmanns, Benjamin Lucien Kaminski
2020	—	`conf`	Sampling Distributed Schedulers for Resilient Space Communication. NFM Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns
2020	J	`jnl`	Symblicit Exploration and Elimination for Probabilistic Model Checking. CoRR Ernst Moritz Hahn, Arnd Hartmanns
2019	—	`conf`	A Modest Approach to Modelling and Checking Markov Automata. QEST Yuliya Butkova, Arnd Hartmanns, Holger Hermanns
2019	—	`conf`	A Modest Markov Automata Tutorial. RW Arnd Hartmanns, Holger Hermanns
2019	J	`jnl`	Automated compositional importance splitting. Sci. Comput. Program. Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns
2019	J	`jnl`	Model-based testing of stochastically timed systems. Innov. Syst. Softw. Eng. Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga
2019	J	`jnl`	Optimistic Value Iteration. CoRR Arnd Hartmanns, Benjamin Lucien Kaminski
2019	C	`conf`	Probabilistic Verification for Reliable Network-on-Chip System Design. FMICS Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Rajesh Jayashankara Shridevi, Koushik Chakraborty, Sanghamitra Roy, Zhen Zhang
2019	—	`conf`	TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) 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
2019	—	`conf`	The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). TACAS (3) Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz
2019	—	`conf`	The Quantitative Verification Benchmark Set. TACAS (1) Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters
2018	B	`conf`	A Hierarchy of Scheduler Classes for Stochastic Automata. FoSSaCS Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards
2018	—	`conf`	A Statistical Model Checker for Nondeterminism and Rare Events. TACAS (2) Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards
2018	—	`conf`	ARCH-COMP18 Category Report: Stochastic Modelling. ARCH@ADHS 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
2018	—	`conf`	Lightweight Statistical Model Checking in Nondeterministic Continuous Time. ISoLA (2) Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards
2018	—	`conf`	Model-Based Testing for General Stochastic Time. NFM Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga
2018	—	`conf`	Multi-cost Bounded Reachability in MDP. TACAS (2) Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
2017	J	`jnl`	A Hierarchy of Scheduler Classes for Stochastic Automata. CoRR Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards
2017	Misc	`conf`	Better Automated Importance Splitting for Transient Rare Events. SETTA Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns
2017	Misc	`conf`	Efficient simulation-based verification of probabilistic timed automata. WSC Arnd Hartmanns, Sean Sedwards, Pedro R. D'Argenio
2017	—	`conf`	JANI: Quantitative Model and Tool Interaction. TACAS (2) Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini
2017	C	`conf`	Modelling and certification for electric mobility. INDIN Alexander Graf-Brill, Arnd Hartmanns, Holger Hermanns, Steffen Rose
2016	Misc	`conf`	A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques. SETTA Ernst Moritz Hahn, Arnd Hartmanns
2016	J	`jnl`	Efficient Algorithms for Time- and Cost-Bounded Probabilistic Model Checking. CoRR Ernst Moritz Hahn, Arnd Hartmanns
2016	Misc	`conf`	Flexible support for time and costs in scenario-aware dataflow. EMSOFT Arnd Hartmanns, Holger Hermanns, Michael Bungert
2016	—	`conf`	Schedulers are no Prophets. Semantics, Logics, and Calculi Arnd Hartmanns, Holger Hermanns, Jan Krcál
2016	B	`conf`	Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. IFM Pedro R. D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards
2015	—	`conf`	Computing Response Time Distributions Using Iterative Probabilistic Model Checking. EPEW Freek van den Berg, Jozef Hooman, Arnd Hartmanns, Boudewijn R. Haverkort, Anne Remke
2015	B	`conf`	Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage. ATVA Arnd Hartmanns, Holger Hermanns
2015	J	`jnl`	Explicit Model Checking of Very Large MDP using Partitioning and Secondary Storage. CoRR Arnd Hartmanns, Holger Hermanns
2015	J	`jnl`	In the quantitative automata zoo. Sci. Comput. Program. Arnd Hartmanns, Holger Hermanns
2015	—	`—`	On the analysis of stochastic timed systems. Arnd Hartmanns
2015	J	`jnl`	Sound statistical model checking for MDP using partial order and confluence reduction. Int. J. Softw. Tools Technol. Transf. Arnd Hartmanns, Mark Timmer
2014	J	`jnl`	Reachability and Reward Checking for Stochastic Timed Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns
2014	A	`conf`	The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification. TACAS Arnd Hartmanns, Holger Hermanns
2013	J	`jnl`	A compositional modelling and analysis framework for stochastic hybrid systems. Formal Methods Syst. Des. Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen
2013	J	`jnl`	An Internet Inspired Approach to Power Grid Stability. it Inf. Technol. Holger Hermanns, Arnd Hartmanns
2013	—	`conf`	On-the-Fly Confluence Detection for Statistical Model Checking. NASA Formal Methods Arnd Hartmanns, Mark Timmer
2012	Misc	`conf`	A comparative analysis of decentralized power grid stabilization strategies. WSC Arnd Hartmanns, Holger Hermanns, Pascal Berrang
2012	C	`conf`	MODEST - A unified language for quantitative models. FDL Arnd Hartmanns
2012	—	`conf`	Modeling of Networked Automation Systems for simulation and model checking of time behavior. SSD Birgit Vogel-Heuser, Jens Folmer, Georg Frey, Liu Liu, Holger Hermanns, Arnd Hartmanns
2012	—	`conf`	Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids. ISoLA (1) Arnd Hartmanns, Holger Hermanns
2012	—	`conf`	Simulation and Statistical Model Checking for Modestly Nondeterministic Models. MMB/DFT Jonathan Bogdoll, Arnd Hartmanns, Holger Hermanns
2012	A	`conf`	State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. DATE Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans
2012	—	`conf`	mctau: Bridging the Gap between Modest and UPPAAL. SPIN Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns
2011	—	`conf`	Partial Order Methods for Statistical Model Checking and Simulation. FMOODS/FORTE Jonathan Bogdoll, Luis María Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns
2010	—	`conf`	Model-Checking and Simulation for Stochastic Timed Systems. FMCO Arnd Hartmanns
2009	—	`conf`	A Modest Approach to Checking Probabilistic Timed Automata. QEST Arnd Hartmanns, Holger Hermanns