All Stories

  1. Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality

    Article • October 2025, Springer Science + Business Media

    Carlos E. Budde, Tobias Meggendorfer

  2. Time-Sensitive Importance Splitting

    Article • October 2025, Springer Science + Business Media

    Carlos E. Budde

  3. Modest Models and Tools for Real Stochastic Timed Systems

    Article • September 2025, Wiley

    Carlos E. Budde

  4. Sound Statistical Model Checking for Probabilities and Expected Rewards

    Article • January 2025, Springer Science + Business Media

    Carlos E. Budde, Tobias Meggendorfer

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

    Article • December 2024, Springer Science + Business Media

    Carlos E. Budde

  6. Modest Models and Tools for Real Stochastic Timed Systems

    Article • November 2024, Springer Science + Business Media

    Carlos E. Budde

  7. Tools at the Frontiers of Quantitative Verification

    Article • November 2024, Springer Science + Business Media

    Carlos E. Budde

  8. Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation

    Article • January 2024, Springer Science + Business Media

    Carlos E. Budde

  9. Efficient and Generic Algorithms for Quantitative Attack Tree Analysis

    Article • IEEE Transactions on Dependable and Secure Computing, September 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Carlos E. Budde

  10. CSEC framework assessment dataset: Expert evaluations of cybersecurity skills for job profiles in Europe

    Article • Data in Brief, June 2023, Elsevier

    Carlos E. Budde

  11. Consolidating cybersecurity in Europe: A case study on job profiles assessment

    Article • Computers & Security, April 2023, Elsevier

    Carlos E. Budde

  12. Using Statistical Model Checking for Cybersecurity Analysis

    Article • January 2023, Springer Science + Business Media

    Carlos E. Budde

  13. Analysis of non-Markovian repairable fault trees through rare event simulation

    Article • International Journal on Software Tools for Technology Transfer, October 2022, Springer Science + Business Media

    Carlos E. Budde

  14. Automated Fault Tree Learning from Continuous-valued Sensor Data

    Article • International Journal of Prognostics and Health Management, July 2022, PHM Society

    Carlos E. Budde

  15. FIG: the Finite Improbability Generator v1.3

    Article • ACM SIGMETRICS Performance Evaluation Review, June 2022, ACM (Association for Computing Machinery)

    Carlos E. Budde

  16. Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth

    Article • January 2022, Springer Science + Business Media

    Carlos E. Budde

  17. A Maturity Assessment Model for Cyber Security Education in Europe

    Article • January 2022, Springer Science + Business Media

    Carlos E. Budde

  18. Efficient Algorithms for Quantitative Attack Tree Analysis

    Article • June 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Carlos E. Budde

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

    Article • January 2021, Springer Science + Business Media

    Carlos E. Budde

  20. Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies

    Article • January 2021, Springer Science + Business Media

    Carlos E. Budde

  21. On Correctness, Precision, and Performance in Quantitative Verification

    Article • January 2021, Springer Science + Business Media

    Carlos E. Budde

  22. The Marriage Between Safety and Cybersecurity: Still Practicing

    Article • January 2021, Springer Science + Business Media

    Carlos E. Budde

  23. An efficient statistical model checker for nondeterminism and rare events

    Article • International Journal on Software Tools for Technology Transfer, May 2020, Springer Science + Business Media

    Carlos E. Budde

  24. The Dynamic Fault Tree Rare Event Simulator

    Article • January 2020, Springer Science + Business Media

    Carlos E. Budde

  25. FIG: The Finite Improbability Generator

    Article • January 2020, Springer Science + Business Media

    Carlos E. Budde

  26. Rare Event Simulation for Non-Markovian Repairable Fault Trees

    Article • January 2020, Springer Science + Business Media

    Carlos E. Budde

  27. Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets

    Article • January 2020, Springer Science + Business Media

    Carlos E. Budde

  28. Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems

    Article • January 2020, Springer Science + Business Media

    Carlos E. Budde

  29. Correction to: The Dynamic Fault Tree Rare Event Simulator

    Article • January 2020, Springer Science + Business Media

    Carlos E. Budde

  30. Automated compositional importance splitting

    Article • Science of Computer Programming, April 2019, Elsevier

    Carlos E. Budde

  31. Ffort: A Benchmark Suite for Fault Tree Analysis

    Article • January 2019, Research Publishing Services

    Carlos E. Budde

  32. Assessment of Maintenance Policies for Smart Buildings

    Article • PHM Society European Conference, June 2018, PHM Society

    Carlos E. Budde

  33. Modelling Smart Buildings Using Fault Maintenance Trees

    Article • January 2018, Springer Science + Business Media

    Carlos E. Budde

  34. A Statistical Model Checker for Nondeterminism and Rare Events

    Article • January 2018, Springer Science + Business Media

    Carlos E. Budde

  35. Compositional Construction of Importance Functions in Fully Automated Importance Splitting

    Article • January 2017, Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (ICST)

    Carlos E. Budde

  36. Better Automated Importance Splitting for Transient Rare Events

    Article • January 2017, Springer Science + Business Media

    Carlos E. Budde

  37. JANI: Quantitative Model and Tool Interaction

    Article • January 2017, Springer Science + Business Media

    Carlos E. Budde

  38. The Road from Stochastic Automata to the Simulation of Rare Events

    Article • January 2017, Springer Science + Business Media

    Carlos E. Budde

  39. Rare Event Simulation with Fully Automated Importance Splitting

    Article • January 2015, Springer Science + Business Media

    Carlos E. Budde

  40. A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems

    Article • January 2014, Springer Science + Business Media

    Carlos E. Budde

  41. Enhanced transport through desorption-mediated diffusion

    Article • Physical Review E, January 2013, American Physical Society (APS)

    Carlos E. Budde

  42. A compositional semantics for Repairable Fault Trees with general distributions

    Article • EasyChair

    Carlos E. Budde