A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems. - Carlos E. Budde; Pedro R. D'Argenio; Pedro Sánchez Terraf; Nicolás Wolovick (ROCKS, 2012)

Rare Event Simulation with Fully Automated Importance Splitting. - Carlos E. Budde; Pedro R. D'Argenio; Holger Hermanns (EPEW, 2015)

Compositional Construction of Importance Functions in Fully Automated Importance Splitting. - Carlos E. Budde; Pedro R. D'Argenio; Raúl E. Monti (VALUETOOLS, 2016)

The Road from Stochastic Automata to the Simulation of Rare Events. - Pedro R. D'Argenio; Carlos E. Budde; Matias David Lee; Raúl E. Monti; Leonardo Rodríguez; Nicolás Wolovick (ModelEd, TestEd, TrustEd, 2017)

Better Automated Importance Splitting for Transient Rare Events. - Carlos E. Budde; Pedro R. D'Argenio; Arnd Hartmanns (SETTA, 2017)

JANI: Quantitative Model and Tool Interaction. - Carlos E. Budde; Christian Dehnert; Ernst Moritz Hahn; Arnd Hartmanns; Sebastian Junges; Andrea Turrini (TACAS (2), 2017)

Modelling Smart Buildings Using Fault Maintenance Trees. - Alessandro Abate; Carlos E. Budde; Nathalie Cauchi; Arnaud van Harmelen; Khaza Anuarul Hoque; Mariëlle Stoelinga (EPEW, 2018)

A Statistical Model Checker for Nondeterminism and Rare Events. - Carlos E. Budde; Pedro R. D'Argenio; Arnd Hartmanns; Sean Sedwards (TACAS (2), 2018)

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems. - Jaime Arias 001; Carlos E. Budde; Wojciech Penczek; Laure Petrucci; Mariëlle Stoelinga (CoRR, 2019)

Automated compositional importance splitting. - Carlos E. Budde; Pedro R. D'Argenio; Arnd Hartmanns (Sci. Comput. Program., 2019)

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems. - Jaime Arias 001; Carlos E. Budde; Wojciech Penczek; Laure Petrucci; Teofil Sidoruk; Mariëlle Stoelinga (ICFEM, 2020)

On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report. - Carlos E. Budde; Arnd Hartmanns; Michaela Klauck; Jan Kretínský; David Parker 001; Tim Quatmann; Andrea Turrini; Zhen Zhang 006 (ISoLA (4), 2020)

A compositional semantics for Repairable Fault Trees with general distributions. - Raúl E. Monti; Carlos E. Budde; Pedro R. D'Argenio (LPAR, 2020)

Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets. - Carlos E. Budde; Mariëlle Stoelinga (MMB, 2020)

The Dynamic Fault Tree Rare Event Simulator. - Carlos E. Budde; Enno Ruijters; Mariëlle Stoelinga (QEST, 2020)

FIG: The Finite Improbability Generator. - Carlos E. Budde (TACAS (1), 2020)

Rare Event Simulation for Non-Markovian Repairable Fault Trees. - Carlos E. Budde; Marco Biagi; Raúl E. Monti; Pedro R. D'Argenio; Mariëlle Stoelinga (TACAS (1), 2020)

An efficient statistical model checker for nondeterminism and rare events. - Carlos E. Budde; Pedro R. D'Argenio; Arnd Hartmanns; Sean Sedwards (Int. J. Softw. Tools Technol. Transf., 2020)

Efficient Algorithms for Quantitative Attack Tree Analysis. - Carlos E. Budde; Mariëlle Stoelinga (CSF, 2021)

Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies. - Carlos E. Budde; Christina Kolb; Mariëlle Stoelinga (QEST, 2021)

The Marriage Between Safety and Cybersecurity: Still Practicing. - Mariëlle Stoelinga; Christina Kolb; Stefano M. Nicoletti; Carlos E. Budde; Ernst Moritz Hahn (SPIN, 2021)

Replicating sc Restart with Prolonged Retrials: An Experimental Report. - Carlos E. Budde; Arnd Hartmanns (TACAS (2), 2021)

Using Statistical Model Checking for Cybersecurity Analysis. - Carlos E. Budde (CyberSec4Europe, 2022)

A Maturity Assessment Model for Cyber Security Education in Europe. - Silvia Vidor; Carlos E. Budde (World Conference on Information Security Education, 2022)

Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth. - Carlos E. Budde; Duncan Jansen; Inka L. M. Locht; Mariëlle Stoelinga (RSSRail, 2022)

Automated fault tree learning from continuous-valued sensor data: a case study on domestic heaters. - Bart Verkuil; Carlos E. Budde; Doina Bucur (CoRR, 2022)

FIG: the Finite Improbability Generator v1.3. - Carlos E. Budde (SIGMETRICS Perform. Evaluation Rev., 2022)

Analysis of non-Markovian repairable fault trees through rare event simulation. - Carlos E. Budde; Pedro R. D'Argenio; Raúl E. Monti; Mariëlle Stoelinga (Int. J. Softw. Tools Technol. Transf., 2022)

Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report. - Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Ceska 002; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen 001; Joshua Jeppson; Sebastian Junges; Maximilian A. Köhl; et al. (TOOLympics@ETAPS, 2023)

Efficient and Generic Algorithms for Quantitative Attack Tree Analysis. - Milan Lopuhaä-Zwakenberg; Carlos E. Budde; Mariëlle Stoelinga (IEEE Trans. Dependable Secur. Comput., 2023)

Consolidating cybersecurity in Europe: A case study on job profiles assessment. - Carlos E. Budde; Anni Karinsalo; Silvia Vidor; Jarno Salonen; Fabio Massacci (Comput. Secur., 2023)

A manually-curated categorisation of Java Maven libraries along Python PyPI Topics (dataset). - Ranindya Paramitha; Yuan Feng; Fabio Massacci; Carlos E. Budde (Zenodo, 2023)

Modest Models and Tools for Real Stochastic Timed Systems. - Carlos E. Budde; Pedro R. D'Argenio; Juan A. Fraire; Arnd Hartmanns; Zhen Zhang 006 (Principles of Verification (2), 2024)

Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation. - Gabriel Dengler; Laura Carnevali; Carlos E. Budde; Enrico Vicario (QEST+FORMATS, 2024)

Digging for Decision Trees: A Case Study in Strategy Sampling and Learning. - Carlos E. Budde; Pedro R. D'Argenio; Arnd Hartmanns (AISoLA, 2024)

Cross-ecosystem categorization: A manual-curation protocol for the categorization of Java Maven libraries along Python PyPI Topics. - Ranindya Paramitha; Yuan Feng; Fabio Massacci; Carlos E. Budde (CoRR, 2024)

Tools at the Frontiers of Quantitative Verification. - Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Ceska 002; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen 001; Joshua Jeppson; Sebastian Junges; Maximilian A. Köhl; et al. (CoRR, 2024)

How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic. - Stefano M. Nicoletti; Milan Lopuhaä-Zwakenberg; Mariëlle Stoelinga; Fabio Massacci; Carlos E. Budde (CoRR, 2024)

Vulnerability anti-patterns in Solidity: Increasing smart contracts security by reducing false alarms. - Tommaso Oss; Carlos E. Budde (CoRR, 2024)

Forecasting the risk of software choices: A model to foretell security vulnerabilities from library dependencies and source code evolution. - Carlos E. Budde; Ranindya Paramitha; Fabio Massacci (CoRR, 2024)

Cross-ecosystem categorization: A manual-curation protocol for the categorization of Java Maven libraries along Python PyPI Topics (dataset). - Ranindya Paramitha; Yuan Feng; Fabio Massacci; Carlos E. Budde (Zenodo, 2024)

[DEPRECATED] A manually-curated categorisation of Java Maven libraries along Python PyPI Topics (dataset). - Ranindya Paramitha; Yuan Feng; Fabio Massacci; Carlos E. Budde (Zenodo, 2024)

How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic (experimental reproduction package). - Stefano M. Nicoletti; Milan Lopuhaä-Zwakenberg; Mariëlle Stoelinga; Fabio Massacci; Carlos E. Budde (Zenodo, 2024)

Sound Statistical Model Checking for Probabilities and Expected Rewards. - Carlos E. Budde; Arnd Hartmanns; Tobias Meggendorfer; Maximilian Weininger; Patrick Wienhöft (TACAS (1), 2025)

Time-Sensitive Importance Splitting. - Gabriel Dengler; Carlos E. Budde; Laura Carnevali; Arnd Hartmanns (CoRR, 2025)