Arnd Hartmanns

According to our database1, Arnd Hartmanns authored at least 49 papers between 2009 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
An efficient statistical model checker for nondeterminism and rare events.
Int. J. Softw. Tools Technol. Transf., 2020

Multi-cost Bounded Tradeoff Analysis in MDP.
J. Autom. Reason., 2020

Symblicit Exploration and Elimination for Probabilistic Model Checking.
CoRR, 2020

Sampling Distributed Schedulers for Resilient Space Communication.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Optimistic Value Iteration.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019
Automated compositional importance splitting.
Sci. Comput. Program., 2019

Model-based testing of stochastically timed systems.
Innov. Syst. Softw. Eng., 2019

The Quantitative Verification Benchmark Set.
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).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

TOOLympics 2019: An Overview of Competitions in Formal Methods.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

A Modest Markov Automata Tutorial.
Proceedings of the Reasoning Web. Explainable Artificial Intelligence, 2019

A Modest Approach to Modelling and Checking Markov Automata.
Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Probabilistic Verification for Reliable Network-on-Chip System Design.
Proceedings of the Formal Methods for Industrial Critical Systems, 2019

2018
Multi-cost Bounded Reachability in MDP.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

A Statistical Model Checker for Nondeterminism and Rare Events.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Model-Based Testing for General Stochastic Time.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Lightweight Statistical Model Checking in Nondeterministic Continuous Time.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

A Hierarchy of Scheduler Classes for Stochastic Automata.
Proceedings of the Foundations of Software Science and Computation Structures, 2018

ARCH-COMP18 Category Report: Stochastic Modelling.
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.
Proceedings of the 2017 Winter Simulation Conference, 2017

JANI: Quantitative Model and Tool Interaction.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Better Automated Importance Splitting for Transient Rare Events.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Modelling and certification for electric mobility.
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

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

A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Flexible support for time and costs in scenario-aware dataflow.
Proceedings of the 2016 International Conference on Embedded Software, 2016

Schedulers are no Prophets.
Proceedings of the Semantics, Logics, and Calculi, 2016

2015
On the analysis of stochastic timed systems.
PhD thesis, 2015

Sound statistical model checking for MDP using partial order and confluence reduction.
Int. J. Softw. Tools Technol. Transf., 2015

In the quantitative automata zoo.
Sci. Comput. Program., 2015

Computing Response Time Distributions Using Iterative Probabilistic Model Checking.
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage.
Proceedings of the Automated Technology for Verification and Analysis, 2015

2014
Reachability and Reward Checking for Stochastic Timed Automata.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013
An Internet Inspired Approach to Power Grid Stability.
it Inf. Technol., 2013

A compositional modelling and analysis framework for stochastic hybrid systems.
Formal Methods Syst. Des., 2013

On-the-Fly Confluence Detection for Statistical Model Checking.
Proceedings of the NASA Formal Methods, 2013

2012
A comparative analysis of decentralized power grid stabilization strategies.
Proceedings of the Winter Simulation Conference, 2012

mctau: Bridging the Gap between Modest and UPPAAL.
Proceedings of the Model Checking Software - 19th International Workshop, 2012

Simulation and Statistical Model Checking for Modestly Nondeterministic Models.
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

MODEST - A unified language for quantitative models.
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.
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.
Proceedings of the International Multi-Conference on Systems, Signals & Devices, 2012

2011
Partial Order Methods for Statistical Model Checking and Simulation.
Proceedings of the Formal Techniques for Distributed Systems, 2011

2010
Model-Checking and Simulation for Stochastic Timed Systems.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009
A Modest Approach to Checking Probabilistic Timed Automata.
Proceedings of the QEST 2009, 2009


  Loading...