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
International Conference on Tools and Algorithms for the Construction and …, 2017
772017
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
372018
Compositional Construction of Importance Functions in Fully Automated Importance Splitting
CE Budde, PR D’Argenio, RE Monti
VALUETOOLS 2016, 30-37, 2017
20*2017
Better automated importance splitting for transient rare events
CE Budde, PR D’Argenio, A Hartmanns
International Symposium on Dependable Software Engineering: Theories, Tools …, 2017
192017
Enhanced transport through desorption-mediated diffusion
F Rojo, CE Budde Jr, HS Wio, CE Budde
Physical Review E 87 (1), 012115, 2013
142013
Automation of Importance Splitting Techniques for Rare Event Simulation
CE Budde
Facultad de Matemática, Astronomía, Física y Computación - Universidad …, 2017
132017
Rare event simulation with fully automated importance splitting
CE Budde, PR D’Argenio, H Hermanns
European Workshop on Performance Engineering, 275-290, 2015
132015
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, 759-780, 2020
92020
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
82020
On Correctness, Precision, and Performance in Quantitative Verification
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
72020
Automated compositional importance splitting
CE Budde, PR D'Argenio, A Hartmanns
Science of computer programming 174, 90-108, 2019
72019
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
72019
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
62020
No determinismo completamente medible en procesos probabilísticos continuos
CE Budde
Facultad de Matemática, Astronomía, Física y Computación - Universidad …, 2012
52012
FIG: The finite improbability generator
CE Budde
Tools and Algorithms for the Construction and Analysis of Systems 12078, 483, 2020
42020
A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems
CE Budde, PR D’Argenio, PS Terraf, N Wolovick
Stochastic Model Checking. Rigorous Dependability Analysis Using Model …, 2014
42014
Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees
A Abate, CE Budde, N Cauchi, KA Hoque, M Stoelinga
PHM Society European Conference 4 (1), 2018
32018
Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets
CE Budde, M Stoelinga
Cham: Springer International Publishing, 2020
22020
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
12021
Efficient Algorithms for Quantitative Attack Tree Analysis
CE Budde, M Stoelinga
arXiv preprint arXiv:2105.07511, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–20