On the analysis of stochastik timed systems

von Hartmanns, Arnd
Veröffentlicht 2015

Correct Probabilistic Model Checking with Floating-Point Arithmetic

von Hartmanns, Arnd
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 2 (2022)

The Modest State of Learning, Sampling, and Verifying Strategies

von Hartmanns, Arnd
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 3: Adaptation and learning (2022)

Optimistic Value Iteration

von Hartmanns, Arnd
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 2 (2020)

Replicating RESTART with Prolonged Retrials: An Experimental Report

von Budde, Carlos E.
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

Sampling Distributed Schedulers for Resilient Space Communication

von D'Argenio, Pedro R.
Veröffentlicht in NFM (12. : 2020 : Moffett Field, Calif.; Online) NASA formal methods (2020)

A Practitioner’s Guide to MDP Model Checking Algorithms

von Hartmanns, Arnd
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)

Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids

von Badings, Thom S.
Veröffentlicht in NFM (13. : 2021 : Online) NASA Formal Methods (2021)

Tweaking the Odds in Probabilistic Timed Automata

von Hartmanns, Arnd
Veröffentlicht in QEST (18. : 2021 : Online) Quantitative evaluation of systems (2021)

Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks

von D’Argenio, Pedro R.
Veröffentlicht in QEST (19. : 2022 : Warschau) Quantitative evaluation of systems (2022)

TOOLympics challenge 2023 : updates, results, successes of the formal-methods competitions

Veröffentlicht 2025

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

von Roberts, Riley
Veröffentlicht in FMICS (26. : 2021 : Online) Formal Methods for Industrial Critical Systems (2021)

On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report

von Budde, Carlos E.
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 4: Tools and trends (2021)