Stefano M. Nicoletti

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 12

Top Topics

Davis Putnam Logemann Loveland

Security Properties

Probabilistic Logic

Top Venues

Comput. Sci. Rev.

Publications

Pedro Quaresma, Pierluigi Graziani, Stefano M. Nicoletti
Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry. CoRR (2024)
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
Querying Fault and Attack Trees: Property Specification on a Water Network. CoRR (2024)
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
ATM: a Logic for Quantitative Security Properties on Attack Trees. CoRR (2023)
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
sfATM: A Logic for Quantitative Security Properties on Attack Trees. SEFM (2023)
Stefano M. Nicoletti, Marijn Peppelman, Christina Kolb, Mariëlle Stoelinga
Model-based joint analysis of safety and security:Survey and identification of gaps. Comput. Sci. Rev. 50 (2023)
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
sfPFL: A Probabilistic Logic for Fault Trees. FM (2023)
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
PFL: a Probabilistic Logic for Fault Trees. CoRR (2023)
Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn, Mariëlle Stoelinga
Solving Queries for Boolean Fault Tree Logic via Quantified SAT. FTSCS (2023)
Stefano M. Nicoletti, Ernst Moritz Hahn, Mariëlle Stoelinga
BFL: a Logic to Reason about Fault Trees. DSN (2022)
Stefano M. Nicoletti, Ernst Moritz Hahn, Mariëlle Stoelinga
BFL: a Logic to Reason about Fault Trees. CoRR (2022)
Mariëlle Stoelinga, Christina Kolb, Stefano M. Nicoletti, Carlos E. Budde, Ernst Moritz Hahn
The Marriage Between Safety and Cybersecurity: Still Practicing. SPIN (2021)
Christina Kolb, Stefano M. Nicoletti, Marijn Peppelman, Mariëlle Stoelinga
Model-based Safety and Security Co-analysis: a Survey. CoRR (2021)