Stefano M. Nicoletti

CoRR, June, 2025

BayesL: Towards a Logical Framework for Bayesian Networks.

[BibT_eX]

[DOI]

CoRR, June, 2025

WATCHDOG: an ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2025

2024

How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic (experimental reproduction package).

[BibT_eX]

[DOI]

Fabio Massacci

Carlos E. Budde

Dataset, November, 2024

DODGE: Ontology-Aware Risk Assessment via Object-Oriented Disruption Graphs.

[BibT_eX]

[DOI]

CoRR, 2024

How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic.

[BibT_eX]

[DOI]

Fabio Massacci

Carlos E. Budde

CoRR, 2024

Querying Fault and Attack Trees: Property Specification on a Water Network.

[BibT_eX]

[DOI]

CoRR, 2024

2023

Model-based joint analysis of safety and security:Survey and identification of gaps.

[BibT_eX]

[DOI]

Comput. Sci. Rev., November, 2023

Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry.

[BibT_eX]

[DOI]

Pedro Quaresma

Pierluigi Graziani

Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023

ATM: a Logic for Quantitative Security Properties on Attack Trees.

[BibT_eX]

[DOI]

CoRR, 2023

PFL: a Probabilistic Logic for Fault Trees.

[BibT_eX]

[DOI]

CoRR, 2023

sfATM: A Logic for Quantitative Security Properties on Attack Trees.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Solving Queries for Boolean Fault Tree Logic via Quantified SAT.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023

sfPFL: A Probabilistic Logic for Fault Trees.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

BFL: a Logic to Reason about Fault Trees.

[BibT_eX]

[DOI]