Budde, Carlos Esteban
Budde, Carlos Esteban
Ingegneria e scienza dell'Informaz (29/10/12-)
A compositional semantics for Repairable Fault Trees with general distributions
2020-01-01 Monti, Raúl E.; Budde, Carlos E.; D'Argenio, Pedro R.
A Maturity Assessment Model for Cyber Security Education in Europe
2022-01-01 Vidor, S.; Budde, C. E.
A statistical model checker for nondeterminism and rare events
2018-01-01 Budde, Carlos E.; R. D'Argenio., Pedro; Hartmanns, Arnd; Sedwards, Sean
A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems
2014-01-01 Budde, Carlos E.; D'Argenio, Pedro R.; P., Sanchez Terraf; N., Wolovick
An efficient statistical model checker for nondeterminism and rare events
2020-01-01 Budde, Carlos E.; D'Argenio, Pedro R.; Hartmanns, Arnd; Sedwards, Sean
Analysis of non-Markovian repairable fault trees through rare event simulation
2022-01-01 Budde, Carlos E.; D’Argenio, Pedro R.; Monti, Raúl E.; Stoelinga, Mariëlle
Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees
2018-01-01 Abate, Alessandro; Budde, Carlos E.; Cauchi, Nathalie; (Khaza Anuarul), Hoque; Stoelinga, Mariëlle
Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies
2021-01-01 Budde, Carlos E.; Kolb, Christina; Stoelinga, Mariëlle
Automated compositional importance splitting
2019-01-01 Budde, Carlos E.; D'Argenio, Pedro R.; Hartmanns, Arnd
Automated Fault Tree Learning from Continuous-valued Sensor Data: A Case Study on Domestic Heaters
2022-01-01 Verkuil, B.; Budde, C. E.; Bucur, D.
Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets
2020-01-01 Budde, Carlos E.; Stoelinga, Mariëlle
Automation of Importance Splitting Techniques for Rare Event Simulation
2017-01-01 Budde, Carlos E.
Better Automated Importance Splitting for Transient Rare Events
2017-01-01 Budde, Carlos E.; D'Argenio, Pedro R.; Hartmanns, Arnd
Compositional Construction of Importance Functions in Fully Automated Importance Splitting
2017-01-01 Budde, Carlos E.; D'Argenio, Pedro R.; Monti, Raúl E.
Consolidating cybersecurity in Europe: A case study on job profiles assessment
2023-01-01 Budde, Carlos E.; Karinsalo, Anni; Vidor, Silvia; Salonen, Jarno; Massacci, Fabio
Efficient Algorithms for Quantitative Attack Tree Analysis
2021-01-01 Budde, Carlos E.; Stoelinga, Mariëlle
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis
2023-01-01 Lopuhaa-Zwakenberg, M.; Budde, C. E.; Stoelinga, M.
Enhanced transport through desorption-mediated diffusion
2013-01-01 Rojo, Félix; Budde, Carlos E.; H. S., Wio; Ernesto Budde, Carlos
FFORT: A Benchmark Suite for Fault Tree Analysis
2019-01-01 Ruijters, E.; Budde, Carlos E.; Nakhaee, M. C.; Stoelinga, M.; Bucur, D.; Hiemstra, D.; Schivo, S.
FIG: The Finite Improbability Generator
2020-01-01 Budde, Carlos E.