Stefano M. Nicoletti

According to our database, Stefano M. Nicoletti authored at least 12 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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

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., November, 2023

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

Pedro Quaresma, Pierluigi Graziani, Stefano M. Nicoletti

Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 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

PFL: a Probabilistic Logic for Fault Trees.

Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga

CoRR, 2023

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

Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga

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

Solving Queries for Boolean Fault Tree Logic via Quantified SAT.

Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn, Mariëlle Stoelinga

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

sfPFL: A Probabilistic Logic for Fault Trees.

Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga

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

2022

BFL: a Logic to Reason about Fault Trees.

Stefano M. Nicoletti, Ernst Moritz Hahn, Mariëlle Stoelinga

Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

2021

Model-based Safety and Security Co-analysis: a Survey.

Christina Kolb, Stefano M. Nicoletti, Marijn Peppelman, Mariëlle Stoelinga

CoRR, 2021

The Marriage Between Safety and Cybersecurity: Still Practicing.

Mariëlle Stoelinga, Christina Kolb, Stefano M. Nicoletti, Carlos E. Budde, Ernst Moritz Hahn

Proceedings of the Model Checking Software - 27th International Symposium, 2021