Publications

Publications by Stefano M. Nicoletti across logic, formal methods, safety, cybersecurity, and computational creativity.
S.M. Nicoletti

// PUBLICATIONS

Research in print.

Work across logic and formal methods, threat and failure modelling, safety and cybersecurity, and (on the side) computational creativity.

Journal Articles

  1. How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic Nicoletti, Stefano M. and Lopuhaä-Zwakenberg, Milan and Stoelinga, Mariëlle and Massacci, Fabio and Budde, Carlos E. ACM Transactions on Software Engineering and Methodology (TOSEM), 2026 DOI
  2. ATM: A Logic for Quantitative Security Properties on Attack Trees Nicoletti, Stefano M. and Lopuhaä-Zwakenberg, Milan and Hahn, Ernst Moritz and Stoelinga, Mariëlle International Journal on Software and Systems Modeling (SoSyM), 2025 DOI
  3. Model-based joint analysis of safety and security: Survey and identification of gaps Nicoletti, Stefano M. and Peppelman, Marijn and Kolb, Christina and Stoelinga, Mariëlle Computer Science Review, 2023 DOI

Books, Book Chapters and Peer-reviewed Proceedings

  1. A Unified Architecture for Risk Reasoning: Bridging Ontologies, Theorem Proving, and Model Checking Nicoletti, Stefano M. Accepted for Publication in the Proceedings of Computer Safety, Reliability and Security - SAFECOMP 2026 Workshops (SENSEI), 2026

  2. News-Informed Probabilistic Models for AI Risk Analysis Fumagalli, Mattia and Nicoletti, Stefano M. and Calvanese, Diego and Guizzardi, Giancarlo Advanced Information Systems Engineering, 2026 DOI
  3. An ontological lens on attack trees: Toward adequacy and interoperability Oliveira, Ítalo and Nicoletti, Stefano M. and Engelberg, Gal and Fumagalli, Mattia and Klein, Dan and Guizzardi, Giancarlo Proceedings of the 15th International Conference on Formal Ontology in Information Systems, (FOIS 2025), 2025 DOI
  4. Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies Soltani, Reza and Nicoletti, Stefano M. and Lopuhaä-Zwakenberg, Milan and Stoelinga, Mariëlle 2025 IEEE Annual Reliability and Maintainability Symposium - Europe (RAMS-Europe), 2025 DOI
  5. WATCHDOG: an ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs Nicoletti, Stefano M. and Hahn, E. Moritz and Fumagalli, Mattia and Guizzardi, Giancarlo and Stoelinga, Mariëlle Advanced Information Systems Engineering, 2025 DOI
  6. Toward an ontology-based modeling for risk management Oliveira, Ítalo and Nicoletti, Stefano M and Fumagalli, Mattia and Engelberg, Gal and Guizzardi, Giancarlo Proceedings of the 18th International Workshop on Value Modelling and Business Ontologies (VMBO 2025), 2025 Link
  7. BayesL: Towards a Logical Framework for Bayesian Networks Nicoletti, Stefano M. and Stoelinga, Mariëlle Presented in the BMQL Workshop, co-located with CONFEST 2025, 2025 Link
  8. If a Tree Falls in the Forest: Risk Logics for Safety-Security Analysis Nicoletti, Stefano M. PhD Thesis, University of Twente, 2024 DOI
  9. Querying Fault and Attack Trees: Property Specification on a Water Network Nicoletti, Stefano M. and Lopuhaä-Zwakenberg, Milan and Hahn, E. Moritz and Stoelinga, Mariëlle 2024 Annual Reliability and Maintainability Symposium (RAMS), 2024 DOI
  10. Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry Quaresma, Pedro and Graziani, Pierluigi and Nicoletti, Stefano M. Proceedings 14th International Conference on Automated Deduction in Geometry, 2024 DOI
  11. ATM: A Logic for Quantitative Security Properties on Attack Trees (SEFM 2023 Best Paper Award) Nicoletti, Stefano M. and Lopuhaä-Zwakenberg, Milan and Hahn, Ernst Moritz and Stoelinga, Mariëlle Software Engineering and Formal Methods, 2023 DOI
  12. Solving Queries for Boolean Fault Tree Logic via Quantified SAT Saaltink, Caz and Nicoletti, Stefano M and Volk, Matthias and Hahn, Ernst Moritz and Stoelinga, Mariëlle Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023 DOI
  13. Property Specification and Models for Risk: Towards Risk Propagation Graphs Nicoletti, Stefano M. and Fumagalli, Mattia and Lopuhaä-Zwakenberg, Milan and Hahn, E Moritz and Guizzardi, Giancarlo and Stoelinga, Mariëlle SAFECOMP 2023, Position Paper, 2023, ICORE Rank: B. Link
  14. PFL: A Probabilistic Logic for Fault Trees Nicoletti, Stefano M. and Lopuhaä-Zwakenberg, Milan and Hahn, E. Moritz and Stoelinga, Mariëlle Formal Methods, 2023 DOI
  15. BFL: a Logic to Reason about Fault Trees Nicoletti, Stefano M. and Hahn, E. Moritz and Stoelinga, Mariëlle 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2022, ICORE Rank: A. DOI
  16. The Marriage Between Safety and Cybersecurity: Still Practicing Stoelinga, Mariëlle and Kolb, Christina and Nicoletti, Stefano M. and Budde, Carlos Esteban and Hahn, Ernst Moritz International Symposium on Model Checking Software (SPIN), 2021 DOI

  17. Mind the app. Riflessioni per un contact tracing responsabile Bogliolo, Alessandro and Nicoletti, Stefano M. In Le parole della crisi, le politiche dopo la pandemia.\ Guida non emergenziale al post-Covid-19, 2020

Non-CS Publications

  1. A Digital Touch: The 'Body Issue' in Computational Creativity Merlini, Mattia and Nicoletti, Stefano M. Körper(-lichkeit) in der Musik des 20. und 21. Jahrhunderts, 2023 DOI

  2. Specchi di carne e cesellatura musicale: Limiti della creatività computazionale tra corpo e coscienza Merlini, Mattia and Nicoletti, Stefano M. Odradek. Studies in Philosophy of Literature, Aesthetics, and New Media Theories, 2022

  3. Of Flesh and Steel: Computational Creativity in Music and the Body Issue Merlini, Mattia and Nicoletti, Stefano M. INSAM: Journal of Contemporary Music

  4. Inhuman All Too Inhuman: Intrinsic Limits of Computational Creativity in Music Merlini, Mattia and Nicoletti, Stefano M. Riffs: Experimental Writing on Popular Music

Translations & Book Reviews

  1. De carne e aço: Criatividade computacional na música e na questão do corpo Merlini, Mattia and Nicoletti, Stefano M. and Vaz (Translator), Pedro ORFEU. Dossiê Música em Movimento - Projeções Sonoras Link

  2. Resistance, Liberation Technology and Human Rights in the Digital Age (di Giovanni Ziccardi). Una nota critica Nicoletti, Stefano M. Quaderni di Biblioteca della Libertà