( en | de | ru )

 

Disambiguation of "Budde, Carlos E."

Author of the publication

copydeleteadd this publication to your clipboard
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis.

, , and . IEEE Trans. Dependable Secur. Comput., 20 (5): 4169-4187 (September 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sonja Budde

Michael Budde

Joseph Budde

Enno Budde

Fabian Budde

 

Other publications of authors with the same name

Automated fault tree learning from continuous-valued sensor data: a case study on domestic heaters., , and . CoRR, (2022)Efficient and Generic Algorithms for Quantitative Attack Tree Analysis., , and . IEEE Trans. Dependable Secur. Comput., 20 (5): 4169-4187 (September 2023)A compositional semantics for Repairable Fault Trees with general distributions., , and . LPAR, volume 73 of EPiC Series in Computing, page 354-372. EasyChair, (2020)Using Statistical Model Checking for Cybersecurity Analysis.. CyberSec4Europe, volume 1807 of Communications in Computer and Information Science, page 16-32. Springer, (2022)Compositional Construction of Importance Functions in Fully Automated Importance Splitting., , and . VALUETOOLS, ACM, (2016)The Dynamic Fault Tree Rare Event Simulator., , and . QEST, volume 12289 of Lecture Notes in Computer Science, page 233-238. Springer, (2020)Marginal distribution of non-Markovian stochastic processes with internal states, and . Physica A: Statistical and Theoretical Physics, 153 (2): 326--340 (Nov 15, 1988)The continuous-time resolvent matrix for non-markovian chains, and . Physica A: Statistical and Theoretical Physics, 153 (2): 315--325 (Nov 15, 1988)Diffusion in fluctuating media: resonant activation, , and . Physica A: Statistical Mechanics and its Applications, 342 (1-2): 1--8 (Oct 15, 2004)Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems., , , , , and . ICFEM, volume 12531 of Lecture Notes in Computer Science, page 3-19. Springer, (2020)