Expertises

  • Computer Science

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

Organisaties

Publicaties

2024

Quantitative Comparisons of MITRE ATT&CK Campaigns (2024)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Nicoletti, S. M., Lopuhaä - Zwakenberg, M. A., Stoelinga, M., Massacci, F. & Budde, C.https://doi.org/10.4121/779a6a17-ed5e-4bfc-9068-6a16e3f7d10dQuerying Fault and Attack Trees: Property Specification on a Water Network (2024)[Working paper › Preprint]. ArXiv.org. Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M.https://doi.org/10.48550/arXiv.2401.16015Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry (2024)Electronic proceedings in theoretical computer science, 398, 85-100. Quaresma, P., Graziani, P. & Nicoletti, S. M.https://doi.org/10.48550/arXiv.2401.11905

2023

Model-Based Joint Analysis of Safety and Security: Survey and Identification of Gaps (2023)Computer 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 SAT (2023)In 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 (2023)[Working paper › Preprint]. ArXiv.org. Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M.https://doi.org/10.48550/arXiv.2309.09231Artifact for the paper Solving Queries for Boolean Fault Tree Logic via Quantified SAT (2023)[Dataset Types › Dataset]. Zenodo. Saaltink, C., Nicoletti, S. M., Volk, M., Hahn, E. M. & Stoelinga, M.https://doi.org/10.5281/zenodo.8172548PFL: a Probabilistic Logic for Fault Trees (2023)[Working paper › Preprint]. 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 Trees (2023)In Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings (pp. 199–221) (Lecture Notes in Computer Science; Vol. 14000). 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 Creativity (2023)In Körper(-lichkeit) in der Musik des 20. und 21. Jahrhunderts: Konturen eines musikalisch-bewegten »Body Turn« (pp. 207-218) (MusikundKlangkultur; Vol. 55). Transcript Verlag. Merlini, M. & Nicoletti, S. M.https://doi.org/10.14361/9783839458914-014

Onderzoeksprofielen

Scan de QR-code of
Download vCard