| 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 | 12* | 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 | 9 | 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 | 8 | 2021 |
| 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 | 4* | 2023 |
| 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 | 3 | 2023 |
| 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 | 3 | 2020 |
| Querying Fault and Attack Trees: Property Specification on a Water Network SM Nicoletti, M Lopuhaä-Zwakenberg, EM Hahn, M Stoelinga arXiv preprint arXiv:2401.16015, 2024 | | 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 | | 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 | | 2023 |
| 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 |
| 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 | | 2022 |
| Mind the app. Riflessioni per un contact tracing responsabile A Bogliolo, SM Nicoletti Le parole della crisi, le politiche dopo la pandemia. Guida non …, 2020 | | 2020 |
| 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 | | 2020 |
| Resistance, Liberation Technology and Human Rights in the Digital Age (di Giovanni Ziccardi). Una nota critica SM Nicoletti Quaderni di Biblioteca della Libertà 2019 (1), 267-271, 2019 | | 2019 |
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
