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

Expertise

Computer Science
- Fault Tree
- Ontology
- Case Study
- Side Channel Attack
- Probability
- Security Properties
- Risk Management
- Query Language

Organisations

Publications

2026

News-Informed Probabilistic Models for AI Risk Analysis (2026)In Advanced Information Systems Engineering: 38th International Conference, CAiSE 2026, Verona, Italy, June 8-12, 2026, Proceedings (pp. 294-311) (Lecture Notes in Computer Science; Vol. 16559). Springer. Fumagalli, M., Nicoletti, S. M., Calvanese, D. & Guizzardi, G.https://doi.org/10.1007/978-3-032-28117-3_17

2025

Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies (2025)In 2025 IEEE Annual Reliability and Maintainability Symposium - Europe: Reliability Foundations, RAMS-Europe 2025. IEEE. Soltani, R., Nicoletti, S. M., Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.1109/RAMS-Europe62094.2025.11274635ATM: 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)[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 (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

Research profiles

Address

University of Twente

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

Navigate to location

Organisations