The Marriage Between Safety and Cybersecurity: Still Practicing. - Mariëlle Stoelinga; Christina Kolb; Stefano M. Nicoletti; Carlos E. Budde; Ernst Moritz Hahn (SPIN, 2021)

Model-based Safety and Security Co-analysis: a Survey. - Christina Kolb; Stefano M. Nicoletti; Marijn Peppelman; Mariëlle Stoelinga (CoRR, 2021)

BFL: a Logic to Reason about Fault Trees. - Stefano M. Nicoletti; Ernst Moritz Hahn; Mariëlle Stoelinga (DSN, 2022)

sfPFL: A Probabilistic Logic for Fault Trees. - Stefano M. Nicoletti; Milan Lopuhaä-Zwakenberg; Ernst Moritz Hahn; Mariëlle Stoelinga (FM, 2023)

Solving Queries for Boolean Fault Tree Logic via Quantified SAT. - Caz Saaltink; Stefano M. Nicoletti; Matthias Volk 001; Ernst Moritz Hahn; Mariëlle Stoelinga (FTSCS, 2023)

sfATM: A Logic for Quantitative Security Properties on Attack Trees. - Stefano M. Nicoletti; Milan Lopuhaä-Zwakenberg; Ernst Moritz Hahn; Mariëlle Stoelinga (SEFM, 2023)

PFL: a Probabilistic Logic for Fault Trees. - Stefano M. Nicoletti; Milan Lopuhaä-Zwakenberg; Ernst Moritz Hahn; Mariëlle Stoelinga (CoRR, 2023)

ATM: a Logic for Quantitative Security Properties on Attack Trees. - Stefano M. Nicoletti; Milan Lopuhaä-Zwakenberg; Ernst Moritz Hahn; Mariëlle Stoelinga (CoRR, 2023)

Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry. - Pedro Quaresma; Pierluigi Graziani; Stefano M. Nicoletti (ADG, 2023)

Model-based joint analysis of safety and security:Survey and identification of gaps. - Stefano M. Nicoletti; Marijn Peppelman; Christina Kolb; Mariëlle Stoelinga (Comput. Sci. Rev., 2023)

Querying Fault and Attack Trees: Property Specification on a Water Network. - Stefano M. Nicoletti; Milan Lopuhaä-Zwakenberg; Ernst Moritz Hahn; Mariëlle Stoelinga (CoRR, 2024)

How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic. - Stefano M. Nicoletti; Milan Lopuhaä-Zwakenberg; Mariëlle Stoelinga; Fabio Massacci; Carlos E. Budde (CoRR, 2024)

DODGE: Ontology-Aware Risk Assessment via Object-Oriented Disruption Graphs. - Stefano M. Nicoletti; Ernst Moritz Hahn; Mattia Fumagalli; Giancarlo Guizzardi; Mariëlle Stoelinga (CoRR, 2024)

How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic (experimental reproduction package). - Stefano M. Nicoletti; Milan Lopuhaä-Zwakenberg; Mariëlle Stoelinga; Fabio Massacci; Carlos E. Budde (Zenodo, 2024)

WATCHDOG: an ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs. - Stefano M. Nicoletti; Ernst Moritz Hahn; Mattia Fumagalli; Giancarlo Guizzardi; Mariëlle Stoelinga (CAiSE (2), 2025)

BayesL: Towards a Logical Framework for Bayesian Networks. - Stefano M. Nicoletti; Mariëlle Stoelinga (CoRR, 2025)

Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies. - Reza Soltani 001; Stefano M. Nicoletti; Milan Lopuhaä-Zwakenberg; Mariëlle Stoelinga (CoRR, 2025)

An ontological lens on attack trees: Toward adequacy and interoperability. - Italo Jose da Silva Oliveira; Stefano M. Nicoletti; Gal Engelberg; Mattia Fumagalli; Dan Klein 003; Giancarlo Guizzardi (CoRR, 2025)