( en | de | ru )

 

Disambiguation of "Nicoletti, Stefano M."

Author of the publication

copydeleteadd this publication to your clipboard
Querying Fault and Attack Trees: Property Specification on a Water Network.

, , , and . CoRR, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Elena Nicoletti

Antonella Nicoletti

Cecilia Nicoletti

Maria Nicoletti

Norberto Juan Nicoletti

 

Other publications of authors with the same name

Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry., , and . CoRR, (2024)The Marriage Between Safety and Cybersecurity: Still Practicing., , , , and . SPIN, volume 12864 of Lecture Notes in Computer Science, page 3-21. Springer, (2021)sfATM: A Logic for Quantitative Security Properties on Attack Trees., , , and . SEFM, volume 14323 of Lecture Notes in Computer Science, page 205-225. Springer, (2023)PFL: a Probabilistic Logic for Fault Trees., , , and . CoRR, (2023)Solving Queries for Boolean Fault Tree Logic via Quantified SAT., , , , and . FTSCS, page 48-59. ACM, (2023)BFL: a Logic to Reason about Fault Trees., , and . DSN, page 441-452. IEEE, (2022)sfPFL: A Probabilistic Logic for Fault Trees., , , and . FM, volume 14000 of Lecture Notes in Computer Science, page 199-221. Springer, (2023)Model-based Safety and Security Co-analysis: a Survey., , , and . CoRR, (2021)Querying Fault and Attack Trees: Property Specification on a Water Network., , , and . CoRR, (2024)ATM: a Logic for Quantitative Security Properties on Attack Trees., , , and . CoRR, (2023)