Personal information

Websites & social links

http://arnd.hartmanns.name/

Countries

Netherlands

Activities

Collapse all

Employment (1)

Universiteit Twente: Enschede, Overijssel, NL

2015-10-01 to present
Employment
Source: Self-asserted source
Arnd Hartmanns

Works (50 of 55)

Items per page:
Page 1 of 2

Digging for Decision Trees: A Case Study in Strategy Sampling and Learning

2025 | Book chapter
DOI: 10.1007/978-3-031-75434-0_24
Contributors: Carlos E. Budde; Pedro R. D’Argenio; Arnd Hartmanns
Source: check_circle
Crossref

Efficient Formally Verified Maximal End Component Decomposition for MDPs

2025 | Book chapter
DOI: 10.1007/978-3-031-71162-6_11
Contributors: Arnd Hartmanns; Bram Kohlen; Peter Lammich
Source: check_circle
Crossref

Modest Models and Tools for Real Stochastic Timed Systems

2025 | Book chapter
DOI: 10.1007/978-3-031-75775-4_6
Contributors: Carlos E. Budde; Pedro R. D’Argenio; Juan A. Fraire; Arnd Hartmanns; Zhen Zhang
Source: check_circle
Crossref

Tools at the Frontiers of Quantitative Verification

2025 | Book chapter
DOI: 10.1007/978-3-031-67695-6_4
Contributors: Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Češka; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen; Joshua Jeppson et al.
Source: check_circle
Crossref

Comparing Statistical, Analytical, and Learning-Based Routing Approaches for Delay-Tolerant Networks

ACM Transactions on Modeling and Computer Simulation
2024-05-25 | Journal article
DOI: 10.1145/3665927
Contributors: Pedro R. D'Argenio; Juan Fraire; Arnd Hartmanns; Fernando Raverta
Source: check_circle
Crossref

A Practitioner’s Guide to MDP Model Checking Algorithms

2023 | Book chapter
DOI: 10.1007/978-3-031-30823-9_24
Contributors: Arnd Hartmanns; Sebastian Junges; Tim Quatmann; Maximilian Weininger
Source: check_circle
Crossref

Fast Verified SCCs for Probabilistic Model Checking

2023 | Book chapter
DOI: 10.1007/978-3-031-45329-8_9
Contributors: Arnd Hartmanns; Bram Kohlen; Peter Lammich
Source: check_circle
Crossref

Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks

2022 | Book chapter
DOI: 10.1007/978-3-031-16336-4_17
Contributors: Pedro R. D’Argenio; Juan A. Fraire; Arnd Hartmanns; Fernando Raverta
Source: check_circle
Crossref

Correct Probabilistic Model Checking with Floating-Point Arithmetic

2022 | Book chapter
DOI: 10.1007/978-3-030-99527-0_3
Contributors: Arnd Hartmanns
Source: check_circle
Crossref

The Modest State of Learning, Sampling, and Verifying Strategies

2022 | Book chapter
DOI: 10.1007/978-3-031-19759-8_25
Contributors: Arnd Hartmanns; Michaela Klauck
Source: check_circle
Crossref

Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids

2021 | Book chapter
DOI: 10.1007/978-3-030-76384-8_1
Contributors: Thom S. Badings; Arnd Hartmanns; Nils Jansen; Marnix Suilen
Source: check_circle
Crossref

On Correctness, Precision, and Performance in Quantitative Verification

2021 | Book chapter
DOI: 10.1007/978-3-030-83723-5_15
Contributors: Carlos E. Budde; Arnd Hartmanns; Michaela Klauck; Jan Křetínský; David Parker; Tim Quatmann; Andrea Turrini; Zhen Zhang
Source: check_circle
Crossref

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

2021 | Book chapter
DOI: 10.1007/978-3-030-85248-1_16
Contributors: Riley Roberts; Benjamin Lewis; Arnd Hartmanns; Prabal Basu; Sanghamitra Roy; Koushik Chakraborty; Zhen Zhang
Source: check_circle
Crossref

Replicating $$\textsc {Restart}$$ with Prolonged Retrials: An Experimental Report

2021 | Book chapter
DOI: 10.1007/978-3-030-72013-1_21
Contributors: Carlos E. Budde; Arnd Hartmanns
Source: check_circle
Crossref

Tweaking the Odds in Probabilistic Timed Automata

2021 | Book chapter
DOI: 10.1007/978-3-030-85172-9_3
Contributors: Arnd Hartmanns; Joost-Pieter Katoen; Bram Kohlen; Jip Spel
Source: check_circle
Crossref

A Modest Approach to Markov Automata

ACM Transactions on Modeling and Computer Simulation
2021-07-31 | Journal article
DOI: 10.1145/3449355
Contributors: Yuliya Butkova; Arnd Hartmanns; Holger Hermanns
Source: check_circle
Crossref

Optimistic Value Iteration

2020 | Book chapter
DOI: 10.1007/978-3-030-53291-8_26
Contributors: Arnd Hartmanns; Benjamin Lucien Kaminski
Source: check_circle
Crossref

Sampling Distributed Schedulers for Resilient Space Communication

2020 | Book chapter
DOI: 10.1007/978-3-030-55754-6_17
Contributors: Pedro R. D’Argenio; Juan A. Fraire; Arnd Hartmanns
Source: check_circle
Crossref

An efficient statistical model checker for nondeterminism and rare events

International Journal on Software Tools for Technology Transfer
2020-12-28 | Journal article
DOI: 10.1007/s10009-020-00563-2
Contributors: Carlos E. Budde; Pedro R. D’Argenio; Arnd Hartmanns; Sean Sedwards
Source: check_circle
Crossref

Multi-cost Bounded Tradeoff Analysis in MDP

Journal of Automated Reasoning
2020-10-28 | Journal article
DOI: 10.1007/s10817-020-09574-9
Contributors: Arnd Hartmanns; Sebastian Junges; Joost-Pieter Katoen; Tim Quatmann
Source: check_circle
Crossref

A Modest Approach to Modelling and Checking Markov Automata

2019 | Book chapter
DOI: 10.1007/978-3-030-30281-8_4
Contributors: Yuliya Butkova; Arnd Hartmanns; Holger Hermanns
Source: check_circle
Crossref

A Modest Markov Automata Tutorial

2019 | Book chapter
DOI: 10.1007/978-3-030-31423-1_8
Contributors: Arnd Hartmanns; Holger Hermanns
Source: check_circle
Crossref

Probabilistic Verification for Reliable Network-on-Chip System Design

2019 | Book chapter
DOI: 10.1007/978-3-030-27008-7_7
Contributors: Benjamin Lewis; Arnd Hartmanns; Prabal Basu; Rajesh Jayashankara Shridevi; Koushik Chakraborty; Sanghamitra Roy; Zhen Zhang
Source: check_circle
Crossref

The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models

2019 | Book chapter
DOI: 10.1007/978-3-030-17502-3_5
Contributors: Ernst Moritz Hahn; Arnd Hartmanns; Christian Hensel; Michaela Klauck; Joachim Klein; Jan Křetínský; David Parker; Tim Quatmann; Enno Ruijters; Marcel Steinmetz
Source: check_circle
Crossref

The Quantitative Verification Benchmark Set

2019 | Book chapter
DOI: 10.1007/978-3-030-17462-0_20
Contributors: Arnd Hartmanns; Michaela Klauck; David Parker; Tim Quatmann; Enno Ruijters
Source: check_circle
Crossref

Model-based testing of stochastically timed systems

Innovations in Systems and Software Engineering
2019-09-18 | Journal article
DOI: 10.1007/s11334-019-00349-z
Contributors: Marcus Gerhold; Arnd Hartmanns; Mariëlle Stoelinga
Source: check_circle
Crossref

A Hierarchy of Scheduler Classes for Stochastic Automata

2018 | Book chapter
DOI: 10.1007/978-3-319-89366-2_21
Contributors: Pedro R. D’Argenio; Marcus Gerhold; Arnd Hartmanns; Sean Sedwards
Source: check_circle
Crossref

Lightweight Statistical Model Checking in Nondeterministic Continuous Time

2018 | Book chapter
DOI: 10.1007/978-3-030-03421-4_22
Contributors: Pedro R. D’Argenio; Arnd Hartmanns; Sean Sedwards
Source: check_circle
Crossref

Model-Based Testing for General Stochastic Time

2018 | Book chapter
DOI: 10.1007/978-3-319-77935-5_15
Contributors: Marcus Gerhold; Arnd Hartmanns; Mariëlle Stoelinga
Source: check_circle
Crossref

Multi-cost Bounded Reachability in MDP

2018 | Book chapter
DOI: 10.1007/978-3-319-89963-3_19
Contributors: Arnd Hartmanns; Sebastian Junges; Joost-Pieter Katoen; Tim Quatmann
Source: check_circle
Crossref

Better Automated Importance Splitting for Transient Rare Events

Dependable Software Engineering. Theories, Tools, and Applications
2017 | Other
DOI: 10.1007/978-3-319-69483-2_3
Part of ISBN: 9783319694825
Part of ISSN: 0302-9743
Contributors: Carlos E. Budde; Pedro R. D’Argenio; Arnd Hartmanns
Source: Self-asserted source
Arnd Hartmanns via Crossref Metadata Search

Efficient simulation-based verification of probabilistic timed automata

2017 Winter Simulation Conference (WSC)
2017 | Conference paper
DOI: 10.1109/wsc.2017.8247885
Part of ISBN: 9781538634288
Contributors: Arnd Hartmanns; Sean Sedwards; Pedro R. D'Argenio
Source: Self-asserted source
Arnd Hartmanns via Crossref Metadata Search

JANI: Quantitative Model and Tool Interaction

Tools and Algorithms for the Construction and Analysis of Systems
2017 | Other
DOI: 10.1007/978-3-662-54580-5_9
Part of ISBN: 9783662545799
Part of ISSN: 0302-9743
Contributors: Carlos E. Budde; Christian Dehnert; Ernst Moritz Hahn; Arnd Hartmanns; Sebastian Junges; Andrea Turrini
Source: Self-asserted source
Arnd Hartmanns via Crossref Metadata Search

Modelling and certification for electric mobility

2017 IEEE 15th International Conference on Industrial Informatics (INDIN)
2017-07 | Conference paper
DOI: 10.1109/indin.2017.8104755
Part of ISBN: 9781538608371
Contributors: Alexander Graf-Brill; Arnd Hartmanns; Holger Hermanns; Steffen Rose
Source: Self-asserted source
Arnd Hartmanns via Crossref Metadata Search

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

Dependable Software Engineering: Theories, Tools, and Applications
2016 | Other
DOI: 10.1007/978-3-319-47677-3_6
Part of ISBN: 9783319476766
Part of ISSN: 0302-9743
Contributors: Ernst Moritz Hahn; Arnd Hartmanns
Source: Self-asserted source
Arnd Hartmanns via Crossref Metadata Search

Flexible support for time and costs in scenario-aware dataflow

Proceedings of the 13th International Conference on Embedded Software - EMSOFT '16
2016 | Conference paper
DOI: 10.1145/2968478.2968496
Part of ISBN: 9781450344852
Contributors: Arnd Hartmanns; Holger Hermanns; Michael Bungert
Source: Self-asserted source
Arnd Hartmanns via Crossref Metadata Search

Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata

Integrated Formal Methods
2016 | Other
DOI: 10.1007/978-3-319-33693-0_7
Part of ISBN: 9783319336923
Part of ISSN: 0302-9743
Contributors: Pedro R. D’Argenio; Arnd Hartmanns; Axel Legay; Sean Sedwards
Source: Self-asserted source
Arnd Hartmanns via Crossref Metadata Search

Computing Response Time Distributions Using Iterative Probabilistic Model Checking

Computer Performance Engineering
2015 | Other
DOI: 10.1007/978-3-319-23267-6_14
Part of ISBN: 9783319232669
Part of ISSN: 0302-9743
Contributors: Freek van den Berg; Jozef Hooman; Arnd Hartmanns; Boudewijn R. Haverkort; Anne Remke
Source: Self-asserted source
Arnd Hartmanns via Crossref Metadata Search

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

Automated Technology for Verification and Analysis
2015 | Other
DOI: 10.1007/978-3-319-24953-7_10
Part of ISBN: 9783319249520
Part of ISSN: 0302-9743
Contributors: Arnd Hartmanns; Holger Hermanns
Source: Self-asserted source
Arnd Hartmanns via Crossref Metadata Search

Schedulers are no Prophets

Semantics, Logics, and Calculi
2015 | Other
DOI: 10.1007/978-3-319-27810-0_11
Part of ISBN: 9783319278094
Part of ISSN: 0302-9743
Contributors: Arnd Hartmanns; Holger Hermanns; Jan Krčál
Source: Self-asserted source
Arnd Hartmanns via Crossref Metadata Search

In the quantitative automata zoo

Science of Computer Programming
2015-11 | Journal article
DOI: 10.1016/j.scico.2015.08.009
Part of ISSN: 0167-6423
Contributors: Arnd Hartmanns; Holger Hermanns
Source: Self-asserted source
Arnd Hartmanns via Crossref Metadata Search

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

Tools and Algorithms for the Construction and Analysis of Systems
2014 | Other
DOI: 10.1007/978-3-642-54862-8_51
Part of ISBN: 9783642548611
Part of ISSN: 0302-9743
Contributors: Arnd Hartmanns; Holger Hermanns
Source: Self-asserted source
Arnd Hartmanns via Crossref Metadata Search

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

International Journal on Software Tools for Technology Transfer
2014-10-01 | Journal article
DOI: 10.1007/s10009-014-0349-7
Part of ISSN: 1433-2779
Contributors: Arnd Hartmanns; Mark Timmer
Source: Self-asserted source
Arnd Hartmanns via Crossref Metadata Search

On-the-Fly Confluence Detection for Statistical Model Checking

NASA Formal Methods
2013 | Other
DOI: 10.1007/978-3-642-38088-4_23
Part of ISBN: 9783642380877
Part of ISSN: 0302-9743
Contributors: Arnd Hartmanns; Mark Timmer
Source: Self-asserted source
Arnd Hartmanns via Crossref Metadata Search

An Internet Inspired Approach to Power Grid Stability

it - Information Technology
2013-04 | Journal article
DOI: 10.1524/itit.2013.0006
Part of ISSN: 1611-2776
Contributors: Holger Hermanns; Arnd Hartmanns
Source: Self-asserted source
Arnd Hartmanns via Crossref Metadata Search

A comparative analysis of decentralized power grid stabilization strategies

Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC)
2012 | Conference paper
DOI: 10.1109/wsc.2012.6465083
Part of ISBN: 9781467347822
Contributors: Arnd Hartmanns; Holger Hermanns; Pascal Berrang
Source: Self-asserted source
Arnd Hartmanns via Crossref Metadata Search

mctau: Bridging the Gap between Modest and UPPAAL

Model Checking Software
2012 | Other
DOI: 10.1007/978-3-642-31759-0_16
Part of ISBN: 9783642317583
Part of ISSN: 0302-9743
Contributors: Jonathan Bogdoll; Alexandre David; Arnd Hartmanns; Holger Hermanns
Source: Self-asserted source
Arnd Hartmanns via Crossref Metadata Search

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

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
2012 | Other
DOI: 10.1007/978-3-642-34026-0_31
Part of ISBN: 9783642340253
Part of ISSN: 0302-9743
Contributors: Arnd Hartmanns; Holger Hermanns
Source: Self-asserted source
Arnd Hartmanns via Crossref Metadata Search

Simulation and Statistical Model Checking for Modestly Nondeterministic Models

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
2012 | Other
DOI: 10.1007/978-3-642-28540-0_20
Part of ISBN: 9783642285394
Part of ISSN: 0302-9743
Contributors: Jonathan Bogdoll; Arnd Hartmanns; Holger Hermanns
Source: Self-asserted source
Arnd Hartmanns via Crossref Metadata Search

A compositional modelling and analysis framework for stochastic hybrid systems

Formal Methods in System Design
2012-08 | Journal article
DOI: 10.1007/s10703-012-0167-z
Part of ISSN: 0925-9856
Contributors: Ernst Moritz Hahn; Arnd Hartmanns; Holger Hermanns; Joost-Pieter Katoen
Source: Self-asserted source
Arnd Hartmanns via Crossref Metadata Search
Items per page:
Page 1 of 2
How many people are using ORCID?