Welkom...

S.M. Nicoletti MSc (Stefano)

Promovendus

Expertises

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

Publicaties

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

Pure Link

Contactgegevens

Bezoekadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (gebouwnr. 11), kamer 3126
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling  3126
Postbus 217
7500 AE Enschede