Stefano M. Nicoletti

20 papers A 1B 2C 1Journal 11Unranked 5
YearRankTypeTitle / Venue / Authors
2025 C conf
An Ontological Lens on Attack Trees: Toward Adequacy and Interoperability.
FOIS
Italo Jose da Silva Oliveira, Stefano M. Nicoletti, Gal Engelberg, Mattia Fumagalli, Dan Klein, Giancarlo Guizzardi
2025 J jnl
An ontological lens on attack trees: Toward adequacy and interoperability.
CoRR
Italo Jose da Silva Oliveira, Stefano M. Nicoletti, Gal Engelberg, Mattia Fumagalli, Dan Klein, Giancarlo Guizzardi
2025 J jnl
BayesL: Towards a Logical Framework for Bayesian Networks.
CoRR
Stefano M. Nicoletti, Mariëlle Stoelinga
2025 J jnl
Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies.
CoRR
Reza Soltani, Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2025 — conf
Toward an ontology-based modeling for risk management.
VMBO
Ítalo Oliveira, Stefano M. Nicoletti, Mattia Fumagalli, Gal Engelberg, Giancarlo Guizzardi
2025 — conf
WATCHDOG: an ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs.
CAiSE (2)
Stefano M. Nicoletti, Ernst Moritz Hahn, Mattia Fumagalli, Giancarlo Guizzardi, Mariëlle Stoelinga
2024 J jnl
DODGE: Ontology-Aware Risk Assessment via Object-Oriented Disruption Graphs.
CoRR
Stefano M. Nicoletti, Ernst Moritz Hahn, Mattia Fumagalli, Giancarlo Guizzardi, Mariëlle Stoelinga
2024 J jnl
How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic.
CoRR
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga, Fabio Massacci, Carlos E. Budde
2024 J jnl
Querying Fault and Attack Trees: Property Specification on a Water Network.
CoRR
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
2023 J jnl
ATM: a Logic for Quantitative Security Properties on Attack Trees.
CoRR
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
2023 — conf
Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry.
ADG
Pedro Quaresma, Pierluigi Graziani, Stefano M. Nicoletti
2023 J jnl
Model-based joint analysis of safety and security:Survey and identification of gaps.
Comput. Sci. Rev.
Stefano M. Nicoletti, Marijn Peppelman, Christina Kolb, Mariëlle Stoelinga
2023 J jnl
PFL: a Probabilistic Logic for Fault Trees.
CoRR
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
2023 — conf
Solving Queries for Boolean Fault Tree Logic via Quantified SAT.
FTSCS
Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn, Mariëlle Stoelinga
2023 B conf
sfATM: A Logic for Quantitative Security Properties on Attack Trees.
SEFM
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
2023 B conf
sfPFL: A Probabilistic Logic for Fault Trees.
FM
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
2022 A conf
BFL: a Logic to Reason about Fault Trees.
DSN
Stefano M. Nicoletti, Ernst Moritz Hahn, Mariëlle Stoelinga
2022 J jnl
BFL: a Logic to Reason about Fault Trees.
CoRR
Stefano M. Nicoletti, Ernst Moritz Hahn, Mariëlle Stoelinga
2021 J jnl
Model-based Safety and Security Co-analysis: a Survey.
CoRR
Christina Kolb, Stefano M. Nicoletti, Marijn Peppelman, Mariëlle Stoelinga
2021 — conf
The Marriage Between Safety and Cybersecurity: Still Practicing.
SPIN
Mariëlle Stoelinga, Christina Kolb, Stefano M. Nicoletti, Carlos E. Budde, Ernst Moritz Hahn