Budde, Carlos Esteban

Budde, Carlos Esteban  

Ingegneria e scienza dell'Informaz (29/10/12-)  

Mostra records
Risultati 1 - 20 di 33 (tempo di esecuzione: 0.028 secondi).
Titolo Anno di pubblicazione Autori Unitn File
A compositional semantics for Repairable Fault Trees with general distributions 1-gen-2020 Carlos E. Budde +
A Maturity Assessment Model for Cyber Security Education in Europe 1-gen-2022 Vidor S.Budde C. E.
A statistical model checker for nondeterminism and rare events 1-gen-2018 Carlos E. Budde +
A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems 1-gen-2014 Carlos E. Budde +
An efficient statistical model checker for nondeterminism and rare events 1-gen-2020 Carlos E. Budde +
Analysis of non-Markovian repairable fault trees through rare event simulation 1-gen-2022 Budde, Carlos E. +
Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees 1-gen-2018 Carlos E. Budde +
Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies 1-gen-2021 Carlos E. Budde +
Automated compositional importance splitting 1-gen-2019 Carlos E. Budde +
Automated Fault Tree Learning from Continuous-valued Sensor Data: A Case Study on Domestic Heaters 1-gen-2022 Budde C. E. +
Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets 1-gen-2020 Carlos E. Budde +
Automation of Importance Splitting Techniques for Rare Event Simulation 1-gen-2017 Carlos E. Budde
Better Automated Importance Splitting for Transient Rare Events 1-gen-2017 Carlos E. Budde +
Compositional Construction of Importance Functions in Fully Automated Importance Splitting 1-gen-2017 Carlos E. Budde +
Consolidating cybersecurity in Europe: A case study on job profiles assessment 1-gen-2023 Budde, Carlos E.Vidor, SilviaMassacci, Fabio +
Efficient Algorithms for Quantitative Attack Tree Analysis 1-gen-2021 Carlos E. Budde +
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis 1-gen-2023 Budde, C. E. +
Enhanced transport through desorption-mediated diffusion 1-gen-2013 Carlos E. Budde +
FFORT: A Benchmark Suite for Fault Tree Analysis 1-gen-2019 Carlos E. BuddeSchivo S. +
FIG: The Finite Improbability Generator 1-gen-2020 Carlos E. Budde