Arnd Hartmanns
Universiteit Twente
H-index: 23
Europe-Netherlands
Top articles of Arnd Hartmanns
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Tools at the frontiers of quantitative verification: QComp 2023 competition report | R Andriushchenko A Bork CE Budde M Češka K Grover | 2024 | |
A Practitioner's Guide to MDP Model Checking Algorithms (Artefact) | A Hartmanns S Junges T Quatmann M Weininger | 2023 | |
Fast Verified SCCs for Probabilistic Model Checking | Arnd Hartmanns Bram Kohlen Peter Lammich | 2023/10/22 | |
A practitioner’s guide to MDP model checking algorithms | Arnd Hartmanns Sebastian Junges Tim Quatmann Maximilian Weininger | 2023/4/22 | |
Reproduction report for SV-COMP 2023 | arXiv preprint arXiv:2303.06477 | Marcus Gerhold Arnd Hartmanns | 2023/3/11 |
Correct probabilistic model checking with floating-point arithmetic | Arnd Hartmanns | 2022/3/30 | |
Arch-comp22 category report: stochastic models | EPiC Series in Computing | Alessandro Abate Henk Blom Joanna Delicaris Sofie Haesaert Arnd Hartmanns | 2022/12/13 |
An overview of Modest models and tools for real stochastic timed systems | Arnd Hartmanns | 2022/3/18 | |
The modest state of learning, sampling, and verifying strategies | Arnd Hartmanns Michaela Klauck | 2022/10/17 | |
ARCH-COMP22 Stochastic Models | EPiC Series in Computing | Alessandro Abate Henk Blom Joanna Delicaris Sofie Haesaert Arnd Hartmanns | 2022 |
Comparing statistical and analytical routing approaches for delay-tolerant networks | Pedro R D’argenio Juan A Fraire Arnd Hartmanns Fernando Raverta | 2022/9/11 | |
Backwards Reachability for Probabilistic Timed Automata: A Replication Report | arXiv preprint arXiv:2208.11928 | Arnd Hartmanns Bram Kohlen | 2022/8/25 |
A modest approach to markov automata | ACM Transactions on Modeling and Computer Simulation (TOMACS) | Yuliya Butkova Arnd Hartmanns Holger Hermanns | 2021/8/24 |
Probabilistic verification for reliability of a two-by-two network-on-chip system | Riley Roberts Benjamin Lewis Arnd Hartmanns Prabal Basu Sanghamitra Roy | 2021/8/19 | |
Tweaking the odds in probabilistic timed automata | Arnd Hartmanns Joost-Pieter Katoen Bram Kohlen Jip Spel | 2021/8/19 | |
Balancing wind and batteries: towards predictive verification of smart grids | Thom S Badings Arnd Hartmanns Nils Jansen Marnix Suilen | 2021/5/19 | |
Arch-comp21 category report: Stochastic models | Alessandro Abate Henk Blom Marc Bouissou Nathalie Cauchi Hassane Chraibi | 2021/12/6 | |
Symblicit exploration and elimination for probabilistic model checking | Ernst Moritz Hahn Arnd Hartmanns | 2021/3/22 | |
Learning optimal decisions for stochastic hybrid systems | Mathis Niehage Arnd Hartmanns Anne Remke | 2021/11/20 | |
An efficient statistical model checker for nondeterminism and rare events | International Journal on Software Tools for Technology Transfer | Carlos E Budde Pedro R D’Argenio Arnd Hartmanns Sean Sedwards | 2020/12 |