E-LIB Suche - Ergebnisse für: Budde, Carlos E.

1

Using Statistical Model Checking for Cybersecurity Analysis:

, In: Communications in Computer and Information Science; Digital Sovereignty in Cyber Security: New Challenges in Future Vision,

Budde, Carlos E. - p. 16-32 , 2023

Link: https://doi.org/10.1007/..

2

CSECframework assessment dataset: Expert evaluations of cyb..:

Budde, Carlos E. ; Karinsalo, Anni ; Vidor, Silvia..
Data in Brief. 48 (2023) - p. 109285 , 2023

Link: https://doi.org/10.1016/..

3

Consolidating cybersecurity in Europe: A case study on job ..:

Budde, Carlos E. ; Karinsalo, Anni ; Vidor, Silvia..
Computers & Security. 127 (2023) - p. 103082 , 2023

Link: https://doi.org/10.1016/..

4

Efficient and Generic Algorithms for Quantitative Attack Tr..:

Lopuhaä-Zwakenberg, Milan ; Budde, Carlos E. ; Stoelinga, Mariëlle
IEEE Transactions on Dependable and Secure Computing. 20 (2023) 5 - p. 4169-4187 , 2023

Link: https://doi.org/10.1109/..

5

A Maturity Assessment Model for Cyber Security Education in..:

, In: IFIP Advances in Information and Communication Technology; Information Security Education - Adapting to the Fourth Industrial Revolution,

Vidor, Silvia ; Budde, Carlos E. - p. 60-74 , 2022

Link: https://doi.org/10.1007/..

6

Learning to Learn HVAC Failures: Layering ML Experiments in..:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,

Budde, Carlos E. ; Jansen, Duncan ; Locht, Inka. - p. 95-111 , 2022

Link: https://doi.org/10.1007/..

7

Analysis of non-Markovian repairable fault trees through ra..:

Budde, Carlos E. ; D'Argenio, Pedro R. ; Monti, Raúl E..
International Journal on Software Tools for Technology Transfer. 24 (2022) 5 - p. 821-841 , 2022

Link: https://doi.org/10.1007/..

8