Follow
Carlos E. Budde
Carlos E. Budde
Assistant Professor (RTDa) @ DISI, University of Trento, Italy
Verified email at unitn.it - Homepage
Title
Cited by
Cited by
Year
JANI: quantitative model and tool interaction
CE Budde, C Dehnert, EM Hahn, A Hartmanns, S Junges, A Turrini
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
1162017
A statistical model checker for nondeterminism and rare events
CE Budde, PR D’Argenio, A Hartmanns, S Sedwards
International Conference on Tools and Algorithms for the Construction and …, 2018
502018
On correctness, precision, and performance in quantitative verification: QComp 2020 competition report
CE Budde, A Hartmanns, M Klauck, J Křetínský, D Parker, T Quatmann, ...
International symposium on leveraging applications of formal methods, 216-241, 2020
312020
An efficient statistical model checker for nondeterminism and rare events
CE Budde, PR D’Argenio, A Hartmanns, S Sedwards
International Journal on Software Tools for Technology Transfer 22 (6), 759-780, 2020
262020
Compositional Construction of Importance Functions in Fully Automated Importance Splitting
CE Budde, PR D’Argenio, RE Monti
VALUETOOLS 2016, 30-37, 2017
24*2017
FFORT: A benchmark suite for fault tree analysis
E Ruijters, CE Budde, MC Nakhaee, M Stoelinga, D Bucur, D Hiemstra, ...
ESREL 2019: 29th European Safety and Reliability Conference, 22–26, 2019
232019
Better automated importance splitting for transient rare events
CE Budde, PR D’Argenio, A Hartmanns
Dependable Software Engineering. Theories, Tools, and Applications: Third …, 2017
232017
Automated compositional importance splitting
CE Budde, PR D'Argenio, A Hartmanns
Science of computer programming 174, 90-108, 2019
192019
Rare event simulation with fully automated importance splitting
CE Budde, PR D’Argenio, H Hermanns
European Workshop on Performance Engineering, 275-290, 2015
192015
Automation of Importance Splitting Techniques for Rare Event Simulation
CE Budde
Facultad de Matemática, Astronomía, Física y Computación - Universidad …, 2017
172017
Enhanced transport through desorption-mediated diffusion
F Rojo, CE Budde Jr, HS Wio, CE Budde
Physical Review E 87 (1), 012115, 2013
162013
Attack trees vs. fault trees: two sides of the same coin from different currencies
CE Budde, C Kolb, M Stoelinga
International Conference on Quantitative Evaluation of Systems, 457-467, 2021
142021
Efficient algorithms for quantitative attack tree analysis
CE Budde, M Stoelinga
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-15, 2021
132021
Hackers vs. security: attack-defence trees as asynchronous multi-agent systems
J Arias, CE Budde, W Penczek, L Petrucci, T Sidoruk, M Stoelinga
International Conference on Formal Engineering Methods, 3-19, 2020
122020
Efficient and generic algorithms for quantitative attack tree analysis
M Lopuhaä-Zwakenberg, CE Budde, M Stoelinga
IEEE Transactions on Dependable and Secure Computing, 2022
112022
Rare event simulation for non-Markovian repairable fault trees
CE Budde, M Biagi, RE Monti, PR D’Argenio, M Stoelinga
International Conference on Tools and Algorithms for the Construction and …, 2020
112020
The dynamic fault tree rare event simulator
CE Budde, E Ruijters, M Stoelinga
International Conference on Quantitative Evaluation of Systems, 233-238, 2020
92020
The marriage between safety and cybersecurity: still practicing
M Stoelinga, C Kolb, SM Nicoletti, CE Budde, EM Hahn
International Symposium on Model Checking Software, 3-21, 2021
82021
Replicating RESTART with Prolonged Retrials: An Experimental Report
CE Budde, A Hartmanns
Tools and Algorithms for the Construction and Analysis of Systems 12652, 373-380, 2021
7*2021
FIG: The finite improbability generator
CE Budde
International Conference on Tools and Algorithms for the Construction and …, 2020
72020
The system can't perform the operation now. Try again later.
Articles 1–20