Expertise
Engineering & Materials Science
# Aviation
# Binary Decision Diagrams
# Critical Infrastructures
# Fault Tree Analysis
# Model Checking
# Security Of Data
# Software Engineering
# Specifications
Organisations
Publications
Recent
Quaresma, P., Graziani, P.
, & Nicoletti, S. M. (2024).
Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry.
Electronic Proceedings in Theoretical Computer Science, EPTCS,
398, 85-100.
https://doi.org/10.48550/arXiv.2401.11905,
https://doi.org/10.4204/EPTCS.398.12
Merlini, M.
, & Nicoletti, S. M. (2023).
A Digital Touch: The »Body Issue« in Computational Creativity. In N. Scharfetter, & T. Wozonig (Eds.),
Körper(-lichkeit) in der Musik des 20. und 21. Jahrhunderts: Konturen eines musikalisch-bewegten »Body Turn« (pp. 207-218). (MusikundKlangkultur; Vol. 55). Transcript Verlag.
https://doi.org/10.14361/9783839458914-014
Nicoletti, S. M.
, Lopuhaä-Zwakenberg, M., Hahn, E. M.
, & Stoelinga, M. (2023).
PFL: a Probabilistic Logic for Fault Trees. ArXiv.org.
https://doi.org/10.48550/arXiv.2303.17314
Nicoletti, S. M., Fumagalli, M.
, Lopuhaä-Zwakenberg, M., Hahn, E. M.
, Guizzardi, G.
, & Stoelinga, M. I. A. (2023).
Property Specification and Models for Risk: Towards Risk Propagation Graphs. In
SAFECOMP 2023
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., 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.
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; Vol. 14323). Springer.
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
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
Mailing Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
3126
P.O. Box 217
7500 AE Enschede
The Netherlands