Sledovat
Carlos E. Budde
Carlos E. Budde
Assistant Professor (RTDa) @ DISI, University of Trento, Italy
E-mailová adresa ověřena na: unitn.it - 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
1172017
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
322020
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
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
242019
Compositional Construction of Importance Functions in Fully Automated Importance Splitting
CE Budde, PR D’Argenio, RE Monti
VALUETOOLS 2016, 30-37, 2017
24*2017
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
Rare event simulation with fully automated importance splitting
CE Budde, PR D’Argenio, H Hermanns
European Workshop on Performance Engineering, 275-290, 2015
202015
Automated compositional importance splitting
CE Budde, PR D'Argenio, A Hartmanns
Science of computer programming 174, 90-108, 2019
192019
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
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
122020
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
The dynamic fault tree rare event simulator
CE Budde, E Ruijters, M Stoelinga
International Conference on Quantitative Evaluation of Systems, 233-238, 2020
102020
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
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
72023
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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20