Welcome...

S.M. Nicoletti MSc (Stefano)

PhD Candidate

Expertise

Engineering & Materials Science
Aviation
Binary Decision Diagrams
Critical Infrastructures
Fault Tree Analysis
Model Checking
Security Of Data
Software Engineering
Specifications

Publications

Recent
Saaltink, C. , Nicoletti, S. M., Volk, M., Hahn, E. M. , & Stoelinga, M. (2023). Solving Queries for Boolean Fault Tree Logic via Quantified SAT. In C. Artho, & P. C. Olveczky (Eds.), FTSCS 2023: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems: 2023 Proceeding (pp. 48-59). ACM Press. https://doi.org/10.1145/3623503.3623535
Nicoletti, S. M. , Lopuhaä-Zwakenberg, M., Hahn, E. M. , & Stoelinga, M. (2023). ATM: A Logic for Quantitative Security Properties on Attack Trees. In C. Ferreira, & T. A. C. Willemse (Eds.), Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings (pp. 205-225). (Lecture Notes in Computer Science, LNCS; Vol. 14323). https://doi.org/10.1007/978-3-031-47115-5_12
Nicoletti, S. M. , Lopuhaä-Zwakenberg, M., Hahn, E. M. , & Stoelinga, M. (2023). PFL: A Probabilistic Logic for Fault Trees. In M. Chechik, J.-P. Katoen, & M. Leucker (Eds.), 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. https://doi.org/10.1007/978-3-031-27481-7_13
Nicoletti, S. M., Hahn, E. M. , & Stoelinga, M. I. A. (2022). BFL: a Logic to Reason about Fault Trees. In 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (pp. 441-452). Article 9833769 IEEE. https://doi.org/10.1109/DSN53405.2022.00051
Stoelinga, M. I. A. , Kolb, C. , Nicoletti, S. M. , Budde, C. E., & Hahn, E. M. (2021). The Marriage Between Safety and Cybersecurity: Still Practicing. In A. Laarman, & A. Sokolova (Eds.), Model Checking Software. SPIN 2021: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (pp. 3-21). (Lecture Notes in Computer Science; Vol. 12864). Springer. https://doi.org/10.1007/978-3-030-84629-9_1

UT Research Information System

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (building no. 11), room 3126
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling  3126
P.O. Box 217
7500 AE Enschede
The Netherlands