Search results
-
2024
Querying Fault and Attack Trees: Property Specification on a Water Network
Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M., 2024, 2024 Annual Reliability and Maintainability Symposium (RAMS). IEEE, 6 p. (Proceedings, Annual Reliability and Maintainability Symposium).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile3 Link opens in a new tab Citations (Scopus)26 Downloads (Pure) -
2023
ATM: A Logic for Quantitative Security Properties on Attack Trees
Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M., 2023, Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. Ferreira, C. & Willemse, T. A. C. (eds.). Cham: Springer, p. 205-225 21 p. (Lecture Notes in Computer Science; vol. 14323).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile2 Link opens in a new tab Citations (Scopus)86 Downloads (Pure) -
Model-Based Joint Analysis of Safety and Security: Survey and Identification of Gaps
Nicoletti, S. M., Peppelman, M., Kolb, C. & Stoelinga, M., Nov 2023, In: Computer science review. 50, 16 p., 100597.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile10 Link opens in a new tab Citations (Scopus)164 Downloads (Pure) -
PFL: A Probabilistic Logic for Fault Trees
Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M., 3 Mar 2023, Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. Chechik, M., Katoen, J.-P. & Leucker, M. (eds.). Cham: Springer, p. 199–221 23 p. (Lecture Notes in Computer Science; vol. 14000).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
Open AccessFile7 Link opens in a new tab Citations (Scopus)148 Downloads (Pure) -
Property Specification and Models for Risk: Towards Risk Propagation Graphs
Nicoletti, S. M., Fumagalli, M., Lopuhaä-Zwakenberg, M., Hahn, E. M., Guizzardi, G. & Stoelinga, M. I. A., 2023, SAFECOMP 2023.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
-
Solving Queries for Boolean Fault Tree Logic via Quantified SAT
Saaltink, C., Nicoletti, S. M., Volk, M., Hahn, E. M. & Stoelinga, M., 19 Oct 2023, FTSCS 2023: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems: 2023 Proceeding. Artho, C. & Olveczky, P. C. (eds.). ACM Press, p. 48-59 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile2 Link opens in a new tab Citations (Scopus)123 Downloads (Pure) -
2022
BFL: a Logic to Reason about Fault Trees
Nicoletti, S. M., Hahn, E. M. & Stoelinga, M. I. A., 30 Jun 2022, 2022 52nd Annual IEEE/IFIP International Conference On Dependable Systems And Networks (DSN 2022). Piscataway, NJ: IEEE, p. 441-452 12 p. 9833769Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile9 Link opens in a new tab Citations (Scopus)167 Downloads (Pure)