( en | de | ru )

 

Disambiguation of "Budde, Carlos E."

Author of the publication

copydeleteadd this publication to your clipboard
Using Statistical Model Checking for Cybersecurity Analysis.

. CyberSec4Europe, volume 1807 of Communications in Computer and Information Science, page 16-32. Springer, (2022)

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.

Ottilie Budde

Otto Budde

Fabian Budde

Klaus Budde

Gottfried 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)Compositional Construction of Importance Functions in Fully Automated Importance Splitting., , and . VALUETOOLS, ACM, (2016)Using Statistical Model Checking for Cybersecurity Analysis.. CyberSec4Europe, volume 1807 of Communications in Computer and Information Science, page 16-32. Springer, (2022)Automated compositional importance splitting., , and . Sci. Comput. Program., (2019)Lévy decoupled random walks, , and . Physica A: Statistical Mechanics and its Applications, (May 15, 2003)A Maturity Assessment Model for Cyber Security Education in Europe., and . World Conference on Information Security Education, volume 650 of IFIP Advances in Information and Communication Technology, page 60-74. Springer, (2022)FIG: the Finite Improbability Generator v1.3.. SIGMETRICS Perform. Evaluation Rev., 49 (4): 59-64 (2022)Replicating sc Restart with Prolonged Retrials: An Experimental Report., and . TACAS (2), volume 12652 of Lecture Notes in Computer Science, page 373-380. Springer, (2021)