Expertise

  • Computer Science

    • Booleans
    • Attack
    • Security Properties
    • Security Survey
    • Malicious Attack
    • Survey
    • Decision-Making
    • Threat

Organisations

Publications

2024
2023
Model-Based Joint Analysis of Safety and Security: Survey and Identification of GapsComputer science review, 50, Article 100597. Nicoletti, S. M., Peppelman, M., Kolb, C. & Stoelinga, M.https://doi.org/10.1016/j.cosrev.2023.100597Solving Queries for Boolean Fault Tree Logic via Quantified SATIn FTSCS 2023: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems: 2023 Proceeding (pp. 48-59). ACM Press. Saaltink, C., Nicoletti, S. M., Volk, M., Hahn, E. M. & Stoelinga, M.https://doi.org/10.1145/3623503.3623535ATM: a Logic for Quantitative Security Properties on Attack Trees. ArXiv.org. Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M.https://doi.org/10.48550/arXiv.2309.09231PFL: a Probabilistic Logic for Fault Trees. ArXiv.org. Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M.https://doi.org/10.48550/arXiv.2303.17314PFL: A Probabilistic Logic for Fault TreesIn Formal Methods: 25th International Symposium, FM 2023, LĂŒbeck, Germany, March 6–10, 2023, Proceedings (pp. 199–221). Springer Nature. Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M.https://doi.org/10.1007/978-3-031-27481-7_13A Digital Touch: The »Body Issue« in Computational CreativityIn Körper(-lichkeit) in der Musik des 20. und 21. Jahrhunderts: Konturen eines musikalisch-bewegten »Body Turn« (pp. 207-218). Transcript Verlag. Merlini, M. & Nicoletti, S. M.https://doi.org/10.14361/9783839458914-014ATM: A Logic for Quantitative Security Properties on Attack TreesIn Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings (pp. 205-225). Springer. Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M.https://doi.org/10.1007/978-3-031-47115-5_12Property Specification and Models for Risk: Towards Risk Propagation GraphsIn SAFECOMP 2023. Nicoletti, S. M., Fumagalli, M., Lopuhaä-Zwakenberg, M., Hahn, E. M., Guizzardi, G. & Stoelinga, M. I. A.

Research profiles

Address

University of Twente

Zilverling (building no. 11), room 3126
Hallenweg 19
7522 NH Enschede
Netherlands

Navigate to location

Organisations

Scan the QR code or
Download vCard