Follow
Carlos E. Budde
Carlos E. Budde
Associate Professor @ Technical University of Denmark, DTU Compute
Verified email at dtu.dk - 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
1442017
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
602018
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
532020
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
402020
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
262019
Efficient and generic algorithms for quantitative attack tree analysis
M Lopuhaä-Zwakenberg, CE Budde, M Stoelinga
IEEE Transactions on Dependable and Secure Computing 20 (5), 4169-4187, 2023
252023
Better automated importance splitting for transient rare events
CE Budde, PR D’Argenio, A Hartmanns
Dependable Software Engineering. Theories, Tools, and Applications: Third …, 2017
252017
Compositional Construction of Importance Functions in Fully Automated Importance Splitting
CE Budde, PR D’Argenio, RE Monti
VALUETOOLS 2016, 30-37, 2017
25*2017
Automated compositional importance splitting
CE Budde, PR D'Argenio, A Hartmanns
Science of computer programming 174, 90-108, 2019
222019
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
202020
Rare event simulation with fully automated importance splitting
CE Budde, PR D’Argenio, H Hermanns
European Workshop on Performance Engineering, 275-290, 2015
202015
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
182021
Efficient algorithms for quantitative attack tree analysis
CE Budde, M Stoelinga
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-15, 2021
172021
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—Statistical, Nonlinear, and Soft Matter Physics 87 (1 …, 2013
162013
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
132020
The dynamic fault tree rare event simulator
CE Budde, E Ruijters, M Stoelinga
International Conference on Quantitative Evaluation of Systems, 233-238, 2020
122020
Tools at the frontiers of quantitative verification: QComp 2023 competition report
R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ...
International TOOLympics Challenge, 90-146, 2024
10*2024
Consolidating cybersecurity in Europe: A case study on job profiles assessment
CE Budde, A Karinsalo, S Vidor, J Salonen, F Massacci
Computers & Security 127, 103082, 2023
92023
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
92021
The system can't perform the operation now. Try again later.
Articles 1–20