| Model-based joint analysis of safety and security: Survey and identification of gaps SM Nicoletti, M Peppelman, C Kolb, M Stoelinga Computer Science Review 50, 100597, 2023 | 37* | 2023 |
| BFL: a Logic to Reason about Fault Trees SM Nicoletti, EM Hahn, M Stoelinga 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems …, 2022 | 17 | 2022 |
| The Marriage Between Safety and Cybersecurity: Still Practicing M Stoelinga, C Kolb, SM Nicoletti, CE Budde, EM Hahn SPIN 2021: Model Checking Software 12864 (Lecture Notes in Computer Science …, 2021 | 12 | 2021 |
| ATM: A Logic for Quantitative Security Properties on Attack Trees SM Nicoletti, M Lopuhaä-Zwakenberg, EM Hahn, M Stoelinga International Conference on Software Engineering and Formal Methods, 205-225, 2023 | 11 | 2023 |
| PFL: A Probabilistic Logic for Fault Trees SM Nicoletti, M Lopuhaä-Zwakenberg, EM Hahn, M Stoelinga Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany …, 2023 | 11* | 2023 |
| Specchi di carne e cesellatura musicale: Limiti della creatività computazionale tra corpo e coscienza M Merlini, SM Nicoletti Odradek. Studies in Philosophy of Literature, Aesthetics, and New Media …, 2022 | 6 | 2022 |
| Of Flesh and Steel: Computational Creativity in Music and the Body Issue M Merlini, SM Nicoletti INSAM: Journal of Contemporary Music, Art and Technology 4, 24-42, 2020 | 6 | 2020 |
| How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic SM Nicoletti, M Lopuhaä-Zwakenberg, M Stoelinga, F Massacci, ... arXiv preprint arXiv:2410.06692, 2024 | 4 | 2024 |
| Toward an ontology-based modeling for risk management Í Oliveira, SM Nicoletti, M Fumagalli, G Engelberg, G Guizzardi Proceedings of the 18th International Workshop on Value Modelling and …, 2025 | 3 | 2025 |
| Querying Fault and Attack Trees: Property Specification on a Water Network SM Nicoletti, M Lopuhaä-Zwakenberg, EM Hahn, M Stoelinga 2024 Annual Reliability and Maintainability Symposium (RAMS), 1-6, 2024 | 3 | 2024 |
| Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry P Quaresma, P Graziani, SM Nicoletti arXiv preprint arXiv:2401.11905, 2024 | 3 | 2024 |
| Solving Queries for Boolean Fault Tree Logic via Quantified SAT C Saaltink, SM Nicoletti, M Volk, EM Hahn, M Stoelinga Proceedings of the 9th ACM SIGPLAN International Workshop on Formal …, 2023 | 3 | 2023 |
| Inhuman All Too Inhuman: Intrinsic Limits of Computational Creativity in Music M Merlini, SM Nicoletti Riffs: Experimental Writing on Popular Music 4 (1), 28-47, 2020 | 3* | 2020 |
| WATCHDOG: an ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs SM Nicoletti, EM Hahn, M Fumagalli, G Guizzardi, M Stoelinga | 1 | 2025 |
| BayesL: Towards a Logical Framework for Bayesian Networks SM Nicoletti, M Stoelinga arXiv preprint arXiv:2506.23773, 2025 | | 2025 |
| Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies R Soltani, SM Nicoletti, M Lopuhaä-Zwakenberg, M Stoelinga arXiv preprint arXiv:2506.23789, 2025 | | 2025 |
| An ontological lens on attack trees: Toward adequacy and interoperability Í Oliveira, SM Nicoletti, G Engelberg, M Fumagalli, D Klein, G Guizzardi arXiv preprint arXiv:2506.23841, 2025 | | 2025 |
| If a Tree Falls in the Forest: Risk Logics for Safety-Security Analysis SM Nicoletti | | 2024 |
| Property Specification and Models for Risk: Towards Risk Propagation Graphs SM Nicoletti, M Fumagalli, M Lopuhaä-Zwakenberg, EM Hahn, ... SAFECOMP 2023, Position Paper, 2023 | | 2023 |
| A Digital Touch. The «Body Issue» in Computational Creativity M Merlini, SM Nicoletti Körper(-lichkeit) in der Musik des 20. und 21. Jahrhunderts, 2023 | | 2023 |
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
