Expertises

  • Computer Science

    • Ontology
    • Security Properties
    • Attack
    • Booleans
    • Security Survey
    • Security Analysis
    • Malicious Attack
    • Survey

Organisaties

Publicaties

2025

ATM: A Logic for Quantitative Security Properties on Attack Trees (2025)Software and systems modeling (E-pub ahead of print/First online). Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M.https://doi.org/10.1007/s10270-025-01323-zAn Ontological Lens on Attack Trees: Toward Adequacy and Interoperability (2025)In Formal Ontology in Information Systems - Proceedings of the 15th International Conference, FOIS 2025 (pp. 151-165) (Frontiers in Artificial Intelligence and Applications; Vol. 409). IOS. Oliveira, Í., Nicoletti, S. M., Engelberg, G., Fumagalli, M., Klein, D. & Guizzardi, G.https://doi.org/10.3233/FAIA250491An ontological lens on attack trees: Toward adequacy and interoperability (2025)[Working paper › Preprint]. ArXiv.org. Oliveira, Í., Nicoletti, S. M., Engelberg, G., Fumagalli, M., Klein, D. & Guizzardi, G.https://doi.org/10.48550/arXiv.2506.23841BayesL: Towards a Logical Framework for Bayesian Networks (2025)[Working paper › Preprint]. ArXiv.org. Nicoletti, S. M. & Stoelinga, M.https://doi.org/10.48550/arXiv.2506.23773Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies (2025)[Working paper › Preprint]. ArXiv.org. Soltani, R., Nicoletti, S. M., Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.48550/arXiv.2506.23789WATCHDOG: An ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs (2025)In Advanced Information Systems Engineering: 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025. Proceedings, Part II (pp. 314-331) (Lecture Notes in Computer Science; Vol. 15702 LNCS). Springer. Nicoletti, S. M., Hahn, E. M., Fumagalli, M., Guizzardi, G. & Stoelinga, M.https://doi.org/10.1007/978-3-031-94571-7_18Toward an ontology-based modeling for risk management (2025)[Contribution to conference › Paper] 18th International Workshop on Value Modelling and Business Ontologies, VMBO 2025. Oliveira, Í., Nicoletti, S. M., Fumagalli, M., Engelberg, G. & Guizzardi, G.https://www.researchgate.net/publication/389385170_Toward_an_ontology-based_modeling_for_risk_management

2024

Onderzoeksprofielen

Scan de QR-code of
Download vCard