Carlos E. Budde

51 papers A 1B 1C 1Misc 1Journal 22Unranked 25

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Sound Statistical Model Checking for Probabilities and Expected Rewards. TACAS (1) Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2025	J	`jnl`	Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version). CoRR Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2025	—	`conf`	Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality. QEST+FORMATS Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2025	—	`conf`	Time-Sensitive Importance Splitting. QEST+FORMATS Gabriel Dengler, Carlos E. Budde, Laura Carnevali, Arnd Hartmanns
2025	J	`jnl`	Time-Sensitive Importance Splitting. CoRR Gabriel Dengler, Carlos E. Budde, Laura Carnevali, Arnd Hartmanns
2024	J	`jnl`	Cross-ecosystem categorization: A manual-curation protocol for the categorization of Java Maven libraries along Python PyPI Topics. CoRR Ranindya Paramitha, Yuan Feng, Fabio Massacci, Carlos E. Budde
2024	—	`conf`	Digging for Decision Trees: A Case Study in Strategy Sampling and Learning. AISoLA Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns
2024	J	`jnl`	Digging for Decision Trees: A Case Study in Strategy Sampling and Learning. CoRR Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns
2024	J	`jnl`	Forecasting the risk of software choices: A model to foretell security vulnerabilities from library dependencies and source code evolution. CoRR Carlos E. Budde, Ranindya Paramitha, Fabio Massacci
2024	J	`jnl`	How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic. CoRR Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga, Fabio Massacci, Carlos E. Budde
2024	—	`conf`	Modest Models and Tools for Real Stochastic Timed Systems. Principles of Verification (2) Carlos E. Budde, Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns, Zhen Zhang
2024	J	`jnl`	Sound Statistical Model Checking for Probabilities and Expected Rewards. CoRR Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
2024	J	`jnl`	Tools at the Frontiers of Quantitative Verification. CoRR Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2024	—	`conf`	Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation. QEST+FORMATS Gabriel Dengler, Laura Carnevali, Carlos E. Budde, Enrico Vicario
2024	J	`jnl`	Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation. CoRR Gabriel Dengler, Laura Carnevali, Carlos E. Budde, Enrico Vicario
2024	J	`jnl`	Vulnerability anti-patterns in Solidity: Increasing smart contracts security by reducing false alarms. CoRR Tommaso Oss, Carlos E. Budde
2023	J	`jnl`	Consolidating cybersecurity in Europe: A case study on job profiles assessment. Comput. Secur. Carlos E. Budde, Anni Karinsalo, Silvia Vidor, Jarno Salonen, Fabio Massacci
2023	J	`jnl`	Efficient and Generic Algorithms for Quantitative Attack Tree Analysis. IEEE Trans. Dependable Secur. Comput. Milan Lopuhaä-Zwakenberg, Carlos E. Budde, Mariëlle Stoelinga
2023	—	`conf`	Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report. TOOLympics@ETAPS Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2022	—	`conf`	A Maturity Assessment Model for Cyber Security Education in Europe. World Conference on Information Security Education Silvia Vidor, Carlos E. Budde
2022	J	`jnl`	Analysis of non-Markovian repairable fault trees through rare event simulation. Int. J. Softw. Tools Technol. Transf. Carlos E. Budde, Pedro R. D'Argenio, Raúl E. Monti, Mariëlle Stoelinga
2022	J	`jnl`	Automated fault tree learning from continuous-valued sensor data: a case study on domestic heaters. CoRR Bart Verkuil, Carlos E. Budde, Doina Bucur
2022	J	`jnl`	Efficient and Generic Algorithms for Quantitative Attack Tree Analysis. CoRR Milan Lopuhaä-Zwakenberg, Carlos E. Budde, Mariëlle Stoelinga
2022	J	`jnl`	FIG: the Finite Improbability Generator v1.3. SIGMETRICS Perform. Evaluation Rev. Carlos E. Budde
2022	—	`conf`	Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth. RSSRail Carlos E. Budde, Duncan Jansen, Inka L. M. Locht, Mariëlle Stoelinga
2022	—	`conf`	Using Statistical Model Checking for Cybersecurity Analysis. CyberSec4Europe Carlos E. Budde
2021	—	`conf`	Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies. QEST Carlos E. Budde, Christina Kolb, Mariëlle Stoelinga
2021	A	`conf`	Efficient Algorithms for Quantitative Attack Tree Analysis. CSF Carlos E. Budde, Mariëlle Stoelinga
2021	J	`jnl`	Efficient Algorithms for Quantitative Attack Tree Analysis. CoRR Carlos E. Budde, Mariëlle Stoelinga
2021	—	`conf`	Replicating sc Restart with Prolonged Retrials: An Experimental Report. TACAS (2) Carlos E. Budde, Arnd Hartmanns
2021	—	`conf`	The Marriage Between Safety and Cybersecurity: Still Practicing. SPIN Mariëlle Stoelinga, Christina Kolb, Stefano M. Nicoletti, Carlos E. Budde, Ernst Moritz Hahn
2020	B	`conf`	A compositional semantics for Repairable Fault Trees with general distributions. LPAR Raúl E. Monti, Carlos E. Budde, Pedro R. D'Argenio
2020	J	`jnl`	An efficient statistical model checker for nondeterminism and rare events. Int. J. Softw. Tools Technol. Transf. Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards
2020	—	`conf`	Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets. MMB Carlos E. Budde, Mariëlle Stoelinga
2020	—	`conf`	FIG: The Finite Improbability Generator. TACAS (1) Carlos E. Budde
2020	C	`conf`	Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems. ICFEM Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Mariëlle Stoelinga
2020	—	`conf`	On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report. ISoLA (4) Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang
2020	—	`conf`	Rare Event Simulation for Non-Markovian Repairable Fault Trees. TACAS (1) Carlos E. Budde, Marco Biagi, Raúl E. Monti, Pedro R. D'Argenio, Mariëlle Stoelinga
2020	—	`conf`	The Dynamic Fault Tree Rare Event Simulator. QEST Carlos E. Budde, Enno Ruijters, Mariëlle Stoelinga
2019	J	`jnl`	A compositional semantics for Repairable Fault Trees with general distributions. CoRR Raúl E. Monti, Pedro R. D'Argenio, Carlos E. Budde
2019	J	`jnl`	Automated compositional importance splitting. Sci. Comput. Program. Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns
2019	J	`jnl`	Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems. CoRR Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Mariëlle Stoelinga
2019	J	`jnl`	Rare Event Simulation for non-Markovian repairable Fault Trees. CoRR Carlos E. Budde, Marco Biagi, Raúl E. Monti, Pedro R. D'Argenio, Mariëlle Stoelinga
2018	—	`conf`	A Statistical Model Checker for Nondeterminism and Rare Events. TACAS (2) Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards
2018	—	`conf`	Modelling Smart Buildings Using Fault Maintenance Trees. EPEW Alessandro Abate, Carlos E. Budde, Nathalie Cauchi, Arnaud van Harmelen, Khaza Anuarul Hoque, Mariëlle Stoelinga
2017	Misc	`conf`	Better Automated Importance Splitting for Transient Rare Events. SETTA Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns
2017	—	`conf`	JANI: Quantitative Model and Tool Interaction. TACAS (2) Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini
2017	—	`conf`	The Road from Stochastic Automata to the Simulation of Rare Events. ModelEd, TestEd, TrustEd Pedro R. D'Argenio, Carlos E. Budde, Matias David Lee, Raúl E. Monti, Leonardo Rodríguez, Nicolás Wolovick
2016	—	`conf`	Compositional Construction of Importance Functions in Fully Automated Importance Splitting. VALUETOOLS Carlos E. Budde, Pedro R. D'Argenio, Raúl E. Monti
2015	—	`conf`	Rare Event Simulation with Fully Automated Importance Splitting. EPEW Carlos E. Budde, Pedro R. D'Argenio, Holger Hermanns
2012	—	`conf`	A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems. ROCKS Carlos E. Budde, Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick