prof.dr. M.I.A. Stoelinga (Mariëlle)


Over mij

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.


Engineering & Materials Science
Binary Decision Diagrams
Fault Tree Analysis
Formal Methods
Model Checking
Statistical Models
Fault Tree
Fault Tree Analysis


  • Radboud University
    Ful professor (part-time)
  • Schouten & Nelissen University of Applied Sciences
    Advisory council Master Quality Management at Schouten & Nelissen
  • Raad voor Accreditatie
    Commissie Accreditaties: adviseren mbt het accreditateren van organisaties en bedrijven
    Supervisory board PLANETART
  • Nyenrode University
    Advisory council, Executive Insurance Program, Nyenrode


Soltani, R., Volk, M., Diamonte, L. , Lopuhaä-Zwakenberg, M. , & Stoelinga, M. (2023). Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors. In A. Cimatti, & L. Titolo (Eds.), Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (pp. 205-223). (Lecture notes in computer science; Vol. 14290). Springer Nature. Advance online publication. https://doi.org/10.1007/978-3-031-43681-9_12
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. , 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). https://doi.org/10.1007/978-3-031-47115-5_12
Wal, D. V. D. , Gerhold, M. , & Stoelinga, M. (2023). Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller. In A. Cimatti, & L. Titolo (Eds.), Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (pp. 242-258). (Lecture Notes in Computer Science book series; Vol. 14290). https://doi.org/10.1007/978-3-031-43681-9_14
Volk, M., Ibne Irshad, M. , Katoen, J.-P., Sher, F. , Stoelinga, M. I. A., & Zafar, A. (2023). SAFEST: the static and dynamic fault tree analysis tool. In Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023) (pp. 193-200). Research Publishing. https://doi.org/10.3850/978-981-18-8071-1_P407-cd
Bos, W., Volk, M. , Stoelinga, M. I. A., Bouissou, M., & Krcál, P. (2023). From Fault Trees to Piping and Instrumentation Diagrams. In Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023) (pp. 1234-1235). Research Publishing. https://doi.org/10.3850/978-981-18-8071-1_P537-cd
van den Bos, P. , & Stoelinga, M. (2023). With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves. In M. Huisman, & A. Ravara (Eds.), Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023 (pp. 155-172). (Lecture Notes in Computer Science; Vol. 13910). Springer Nature. https://doi.org/10.1007/978-3-031-35355-0_10
Bouwman, M., Wal, D. V. D., Luttik, B. , Stoelinga, M. , & Rensink, A. (2023). A Case in Point: Verification and Testing of a EULYNX Interface. Formal aspects of computing, 35(1), 1–38. Article 2. https://doi.org/10.1145/3528207
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
Jimenez-Roa, L. A., Heskes, T. , Tinga, T. , & Stoelinga, M. I. A. (2023). Automatic inference of fault tree models via multi-objective evolutionary algorithms. IEEE transactions on dependable and secure computing, 20(4), 3317-3327. https://doi.org/10.1109/TDSC.2022.3203805
Larsen, K. G., Legay, A., Nolte, G., Schlüter, M. , Stoelinga, M., & Steffen, B. (2022). Formal Methods Meet Machine Learning (F3ML). In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III (pp. 393-405). (Lecture Notes in Computer Science; Vol. 13703). Springer Nature. https://doi.org/10.1007/978-3-031-19759-8_24
Budde, C. E., D'Argenio, P. R., Monti, R. E. , & Stoelinga, M. (2022). Analysis of non-Markovian repairable fault trees through rare event simulation. International journal on software tools for technology transfer, 24(5), 821-841. https://doi.org/10.1007/s10009-022-00675-x
Badings, T. S., Jansen, N., Junges, S. , Stoelinga, M., & Volk, M. (2022). Sampling-Based Verification of CTMCs with Uncertain Rates. In S. Shoham, & Y. Vizel (Eds.), Computer Aided Verification (CAV 2022): 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II (Vol. 13372, pp. 26-47). (Lecture notes in computer science; Vol. 13372). https://doi.org/10.1007/978-3-031-13188-2_2
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
Budde, C. E., Jansen, D., Locht, I. , & Stoelinga, M. (2022). Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth. In S. Collart-Dutilleul, A. E. Haxthausen, & T. Lecomte (Eds.), Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings (pp. 95-111). (Lecture notes in computer science; Vol. 13294). Springer. https://doi.org/10.1007/978-3-031-05814-1_7
Badings, T. S., Jansen, N., Junges, S. , Stoelinga, M. I. A., & Volk, M. (2022). Sampling-Based Verification of CTMCs with Uncertain Rates. ArXiv.org. https://arxiv.org/abs/2205.08300
Basgöze, D., Volk, M. , Katoen, J.-P., Khan, S. , & Stoelinga, M. (2022). BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees. In J. V. Deshmukh, K. Havelund, & I. Perez (Eds.), NASA Formal Method: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings (pp. 713-732). Article Chapter 38 (Lecture notes in computer science; Vol. 13260). Springer. https://doi.org/10.1007/978-3-031-06773-0_38
Jimenez Roa, L. A., Volk, M. , & Stoelinga, M. I. A. (2022). Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization. In M. Trapp, F. Saglietti, M. Spisländer, & F. Bitsch (Eds.), Computer Safety, Reliability, and Security: 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings (pp. 46-61). (Lecture notes in computer science; Vol. 13414). Springer. https://doi.org/10.1007/978-3-031-14835-4_4
Budde, C. E. , Kolb, C. , & Stoelinga, M. (2021). Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies. In A. Abate, & A. Marin (Eds.), Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Proceedings (pp. 457-467). (Lecture Notes in Computer Science; Vol. 12846). Springer. https://doi.org/10.1007/978-3-030-85172-9_24

Pure Link

Google Scholar Link

Verbonden aan Opleidingen


Vakken Collegejaar  2023/2024

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  2022/2023



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

Navigeer naar locatie


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

Social Media