2025
A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs.
CoRR, January, 2025
2024
Sound Statistical Model Checking for Probabilities and Expected Rewards.
CoRR, 2024
Tools at the Frontiers of Quantitative Verification.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2024
Digging for Decision Trees: A Case Study in Strategy Sampling and Learning.
Proceedings of the Bridging the Gap Between AI and Reality, 2024
Efficient Formally Verified Maximal End Component Decomposition for MDPs.
Proceedings of the Formal Methods - 26th International Symposium, 2024
Modest Models and Tools for Real Stochastic Timed Systems.
Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024
2023
Reproduction Report for SV-COMP 2023.
CoRR, 2023
A Practitioner's Guide to MDP Model Checking Algorithms.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Fast Verified SCCs for Probabilistic Model Checking.
Proceedings of the Automated Technology for Verification and Analysis, 2023
2022
Backwards Reachability for Probabilistic Timed Automata: A Replication Report.
CoRR, 2022
An Overview of Modest Models and Tools for Real Stochastic Timed Systems.
Proceedings of the Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, 2022
Correct Probabilistic Model Checking with Floating-Point Arithmetic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks.
Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022
The Modest State of Learning, Sampling, and Verifying Strategies.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022
ARCH-COMP22 Category Report: Stochastic Models.
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022
2021
A Modest Approach to Markov Automata.
ACM Trans. Model. Comput. Simul., 2021
Replicating sc Restart with Prolonged Retrials: An Experimental Report.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
Symblicit exploration and elimination for probabilistic model checking.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
Tweaking the Odds in Probabilistic Timed Automata.
Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids.
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021
Learning optimal decisions for stochastic hybrid systems.
Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021
Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System.
Proceedings of the Formal Methods for Industrial Critical Systems, 2021
ARCH-COMP21 Category Report: Stochastic Models.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021
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
Sampling Distributed Schedulers for Resilient Space Communication.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020
On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 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
ARCH-COMP20 Category Report: Stochastic Models.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 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