Expertise
Engineering & Materials Science
# Aviation
# Binary Decision Diagrams
# Critical Infrastructures
# Fault Tree Analysis
# Model Checking
# Security Of Data
# Software Engineering
# Specifications
Organisations
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. Ölvecsky (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., Peppelman, M.
, Kolb, C.
, & Stoelinga, M. (2023).
Model-Based Joint Analysis of Safety and Security: Survey and Identification of Gaps.
Computer science review,
50, Article 100597. Advance online publication.
https://doi.org/10.1016/j.cosrev.2023.100597
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). Advance online publication.
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)
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