S.M. Nicoletti MSc | People Pages: Find employees & contact details | University of Twente

Expertise

Computer Science
- Ontology
- Security Properties
- Attack
- Booleans
- Security Survey
- Security Analysis
- Malicious Attack
- Survey

Organisations

Publications

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

Dodge: Ontology-Aware Risk Assessment via Object-Oriented Disruption Graphs (2024)[Working paper › Preprint]. ArXiv.org. Nicoletti, S. M., Hahn, E. M., Fumagalli, M., Guizzardi, G. & Stoelinga, M.https://doi.org/10.48550/arXiv.2412.13964Watchdog: An ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs (2024)[Working paper › Preprint]. ArXiv.org. Nicoletti, S. M., Hahn, E. M., Fumagalli, M., Guizzardi, G. & Stoelinga, M.https://doi.org/10.48550/arXiv.2412.13964How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic (experimental reproduction package) (2024)[Dataset Types › Dataset]. Zenodo. Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Stoelinga, M., Massacci, F. & Budde, C. E.https://doi.org/10.5281/zenodo.14193935

Research profiles

Address

University of Twente

Zilverling (building no. 11), room 3126
Hallenweg 19
7522 NH Enschede
Netherlands

Navigate to location

Organisations