Sledovat
Carlos E. Budde
Carlos E. Budde
Associate Professor @ Technical University of Denmark, DTU Compute
E-mailová adresa ověřena na: dtu.dk - Domovská stránka
Název
Citace
Citace
Rok
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
592018
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
422020
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
282019
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
Automated compositional importance splitting
CE Budde, PR D'Argenio, A Hartmanns
Science of computer programming 174, 90-108, 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
Compositional Construction of Importance Functions in Fully Automated Importance Splitting
CE Budde, PR D’Argenio, RE Monti
VALUETOOLS 2016, 30-37, 2017
23*2017
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
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
192021
Rare event simulation with fully automated importance splitting
CE Budde, PR D’Argenio, H Hermanns
European Workshop on Performance Engineering, 275-290, 2015
192015
Efficient algorithms for quantitative attack tree analysis
CE Budde, M Stoelinga
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-15, 2021
172021
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
172013
Automation of Importance Splitting Techniques for Rare Event Simulation
CE Budde
Facultad de Matemática, Astronomía, Física y Computación - Universidad …, 2017
162017
The dynamic fault tree rare event simulator
CE Budde, E Ruijters, M Stoelinga
International Conference on Quantitative Evaluation of Systems, 233-238, 2020
132020
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
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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20