Expertise
Engineering & Materials Science
# Aviation
# Binary Decision Diagrams
# Critical Infrastructures
# Fault Tree Analysis
# Model Checking
# Security Of Data
# Software Engineering
# Specifications
Organisations
Publications
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
Contact Details
Visiting Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(building no. 11)
Hallenweg 19
7522NH Enschede
The Netherlands
Mailing Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
P.O. Box 217
7500 AE Enschede
The Netherlands