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
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). [9833769] IEEE/EUCA. 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

Contactgegevens

Bezoekadres

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

Navigeer naar locatie

Postadres

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