Carlos E. Budde
Universiteit Twente
H-index: 13
Europe-Netherlands
Top articles of Carlos E. Budde
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Cross-ecosystem categorization: A manual-curation protocol for the categorization of Java Maven libraries along Python PyPI Topics | arXiv preprint arXiv:2403.06300 | Ranindya Paramitha Yuan Feng Fabio Massacci Carlos E Budde | 2024/3/10 |
Tools at the frontiers of quantitative verification: QComp 2023 competition report | R Andriushchenko A Bork CE Budde M Češka K Grover | 2024 | |
CSEC+ framework assessment dataset: Expert evaluations of cybersecurity skills for job profiles in Europe | Data in brief | Carlos E Budde Anni Karinsalo Silvia Vidor Jarno Salonen Fabio Massacci | 2023/6/1 |
Consolidating cybersecurity in Europe: A case study on job profiles assessment | Computers & Security | Carlos E Budde Anni Karinsalo Silvia Vidor Jarno Salonen Fabio Massacci | 2023/4/1 |
Automated fault tree learning from continuous-valued sensor data: a case study on domestic heaters | International Journal of Prognostics and Health Management | Bart Verkuil Carlos E. Budde Doina Bucur | 2022/7/31 |
Analysis of non-Markovian repairable fault trees through rare event simulation | International Journal on Software Tools for Technology Transfer | Carlos E Budde Pedro R D’Argenio Raúl E Monti Mariëlle Stoelinga | 2022/10 |
A maturity assessment model for cyber security education in Europe | Silvia Vidor Carlos E Budde | 2022/6/9 | |
FIG: the Finite Improbability Generator v1.3 | Carlos E. Budde | 2022/6 | |
Learning to learn hvac failures: Layering ml experiments in the absence of ground truth | Carlos E Budde Duncan Jansen Inka Locht Mariëlle Stoelinga | 2022/5/20 | |
Using Statistical Model Checking for Cybersecurity Analysis | Carlos E Budde | 2022/4/17 | |
Efficient and generic algorithms for quantitative attack tree analysis | IEEE Transactions on Dependable and Secure Computing | Milan Lopuhaä-Zwakenberg Carlos E Budde Mariëlle Stoelinga | 2022/10/19 |
Attack trees vs. fault trees: two sides of the same coin from different currencies | Carlos E Budde Christina Kolb Mariëlle Stoelinga | 2021/8/19 | |
The marriage between safety and cybersecurity: still practicing | Marielle Stoelinga Christina Kolb Stefano Maria Nicoletti Carlos Esteban Budde Ernst Moritz Hahn | 2021/8/3 | |
Efficient algorithms for quantitative attack tree analysis | Carlos E Budde Mariëlle Stoelinga | 2021/6/21 | |
Automated rare event simulation for fault tree analysis via minimal cut sets | Carlos E Budde Mariëlle Stoelinga | 2020 | |
On correctness, precision, and performance in quantitative verification: QComp 2020 competition report | Carlos E Budde Arnd Hartmanns Michaela Klauck Jan Křetínský David Parker | 2020/10/20 | |
The dynamic fault tree rare event simulator | Carlos E Budde Enno Ruijters Mariëlle Stoelinga | 2020 | |
Rare event simulation for non-Markovian repairable fault trees | Carlos E Budde Marco Biagi Raúl E Monti Pedro R D’Argenio Mariëlle Stoelinga | 2020/4/17 | |
FIG: The finite improbability generator | Carlos E Budde | 2020/4/17 | |
An efficient statistical model checker for nondeterminism and rare events | International Journal on Software Tools for Technology Transfer | Carlos E Budde Pedro R D’Argenio Arnd Hartmanns Sean Sedwards | 2020/12 |