Professor of Risk Management for High-tech systems
How do we design our robots, nuclear plants, railway systems and heart monitors such that they are safe and reliable? How do we make sure that data centers and water supply systems are aways available?
I am developing quantitative risk assessments methods that ensure that the risks related to high tech systems lie within acceptable boundaries. I develop techniques to analyze, predict, improve reliability of complex systems, using fault trees, model-based testing, and architectural reliability modeling.
Technically, distinguishing feature of my techniques is compositionality: I derive risk profiles from a complex systems from component risk profiles, using powerful techniques from model checking. This makes life easy, flexible and fast.
Further, I am the director of Life Long Learning at EEMCS.
I also hold a 0.2 appointment as a full professor at the Radboud University Nijmegen.
Expertises
Computer Science
- Fault Tree
- Models
- Attack
- Model Checking
- Automaton
- Case Study
- model based testing
- Algorithms
Organisaties
Nevenwerkzaakheden
- Radboud UniversityFull professor (part-time)
- Schouten & Nelissen University of Applied SciencesAdvisory council Master Quality Management at Schouten & Nelissen
- Raad voor AccreditatieCommissie Accreditaties: adviseren mbt het accreditateren van organisaties en bedrijven
- PLANETARTSupervisory board PLANETART
- Nyenrode UniversityAdvisory council, Executive Insurance Program, Nyenrode
Publicaties
2025
What is... the point?: Single-input-change testing a EULYNX controller (2025)[Thesis › PhD Thesis - Research UT, graduation UT]. University of Twente. van der Wal, D.https://doi.org/10.3990/1.9789036565042Reliability and maintenance for engineering systems: Faulttrees, degradation modelling and maintenance optimisation (2025)[Thesis › PhD Thesis - Research UT, graduation UT]. University of Twente. Jimenez, L.https://doi.org/10.3990/1.9789036564076Modular Criticality Analysis for Dynamic Fault Trees (2025)In Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III (pp. 274-293) (Lecture Notes in Computer Science; Vol. 15262). Springer. Sher, F., Stoelinga, M. & Volk, M.https://doi.org/10.1007/978-3-031-75778-5_13No Risk, No Fun: A Tutorial on Risk Management (2025)In Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II (pp. 447-468) (Lecture Notes in Computer Science; Vol. 14934). Springer. Stoelinga, M.https://doi.org/10.1007/978-3-031-71177-0_26
2024
Dodge: Ontology-Aware Risk Assessment via Object-Oriented Disruption Graphs (2024)[Working paper › Preprint]. ArXiv.org. Nicoletti, S. M., Hahn, E. M., Fumagalli, M., Guizzardi, G. & Stoelinga, M.https://doi.org/10.48550/arXiv.2412.13964How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic (experimental reproduction package) (2024)[Dataset Types › Dataset]. Zenodo. Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Stoelinga, M., Massacci, F. & Budde, C. E.https://doi.org/10.5281/zenodo.14193935Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III (2024)[Book/Report › Book editing]. Springer. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M.https://doi.org/10.1007/978-3-031-75778-5Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I (2024)[Book/Report › Book editing]. Springer Medizin. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M.https://doi.org/10.1007/978-3-031-75783-9Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II (2024)[Book/Report › Book editing]. Springer Medizin. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M.https://doi.org/10.1007/978-3-031-75775-4Artifact for "Modular criticality analysis for dynamic fault trees" (2024)[Dataset Types › Dataset]. Zenodo. Sher, F., Stoelinga, M. & Volk, M.https://doi.org/10.5281/zenodo.13338380If a Tree Falls in the Forest: Risk Logics for Safety-Security Analysis (2024)[Thesis › PhD Thesis - Research UT, graduation UT]. University of Twente. Nicoletti, S. M.https://doi.org/10.3990/1.9789036563437Uomo Digitalis (2024)In Ongefilterde expertadviezen voor de digitale overheid (pp. 11-12). Ministerie BZK. Stoelinga, M. & Waser, J.How hard can it be?: Quantifying MITRE attack campaigns with attack trees and cATM logic (2024)[Working paper › Preprint]. ArXiv.org. Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Stoelinga, M., Massacci, F. & Budde, C. E.https://doi.org/10.48550/arXiv.2410.06692Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set Metrics (2024)In Computer Safety, Reliability, and Security: 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18–20, 2024, Proceedings (pp. 218-232) ( Lecture Notes in Computer Science; Vol. 14988). Springer. Soltani, R., Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.1007/978-3-031-68606-1_14Quantitative Comparisons of MITRE ATT&CK Campaigns (2024)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Nicoletti, S. M., Lopuhaä - Zwakenberg, M. A., Stoelinga, M., Massacci, F. & Budde, C.https://doi.org/10.4121/779a6a17-ed5e-4bfc-9068-6a16e3f7d10dA comparison of anomaly detection algorithms with applications on recoater streaking in an additive manufacturing process (2024)Rapid prototyping journal (E-pub ahead of print/First online). Stribos, R., Bouman, R., Jimenez, L., Slot, M. & Stoelinga, M. I. A.https://doi.org/10.1108/RPJ-03-2024-0125Fault Tree Inference using Multi-Objective Evolutionary Algorithms and Confusion Matrix-based Metrics (2024)In Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings (pp. 80-96). Springer. Jimenez, L., Rusnac, N., Volk, M. & Stoelinga, M. I. A.https://doi.org/10.1007/978-3-031-68150-9_5Maintenance Strategies for Sewer Pipes with Multi-State Degradation and Deep Reinforcement Learning (2024)In Proceedings of the 8th European Conference of the PHM Society 2024 (pp. 629-642). Jimenez, L., Simão, T. D., Bukhsh, Z., Tinga, T., Molegraaf, H., Jansen, N. & Stoelinga, M. I. A.https://doi.org/10.36001/phme.2024.v8i1.4091Comparing Homogeneous And Inhomogeneous Time Markov Chains For Modelling Degradation In Sewer Pipe Networks (2024)In European Safety and Reliability Conference (ESREL) (pp. 86-96). Article 9. Polish Safety and Reliability Association. Jimenez, L., Tinga, T., Heskes, T. & Stoelinga, M. I. A.CTMCs with Imprecisely Timed Observations (2024)In Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II (pp. 258-278). Springer. Badings, T., Volk, M., Junges, S., Stoelinga, M. & Jansen, N.https://doi.org/10.1007/978-3-031-57249-4_13SAFEST: Fault Tree Analysis Via Probabilistic Model Checking (2024)In RAMS 2024 - Annual Reliability and Maintainability Symposium, Proceedings (Proceedings - Annual Reliability and Maintainability Symposium). IEEE. Volk, M., Sher, F., Katoen, J. P. & Stoelinga, M.https://doi.org/10.1109/RAMS51492.2024.10457719Fuzzy Fault Trees Formalized (2024)[Working paper › Preprint]. ArXiv.org. Dang, T. K. N., Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.48550/arXiv.2403.08843Querying Fault and Attack Trees: Property Specification on a Water Network (2024)[Working paper › Preprint]. ArXiv.org. Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M.https://doi.org/10.48550/arXiv.2401.16015Fuzzy quantitative attack tree analysis (2024)[Dataset Types › Dataset]. Zenodo. Dang, T. K. N., Lopuhaä - Zwakenberg, M. A. & Stoelinga, M. I. A.https://doi.org/10.5281/zenodo.10554727Fuzzy quantitative attack tree analysis (2024)[Working paper › Preprint]. ArXiv.org. Dang, T. K. N., Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.48550/arXiv.2401.12346
Onderzoeksprofielen
Verbonden aan opleidingen
Vakken collegejaar 2024/2025
Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.
Vakken collegejaar 2023/2024
Adres
Universiteit Twente
Zilverling (gebouwnr. 11), kamer 3063
Hallenweg 19
7522 NH Enschede
Universiteit Twente
Zilverling 3063
Postbus 217
7500 AE Enschede
Scan de QR-code of