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

Full Professor

About Me

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

Ancillary Activities

  • Raad voor Accreditatie
    Commissie Accreditaties: adviseren mbt het accreditateren van organisaties en bedrijven


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. [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
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). [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). [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
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
Jimenez-Roa, L. A., Heskes, T. , & Stoelinga, M. (2021). Fault Trees, Decision Trees, and Binary Decision Diagrams: A systematic comparison. In B. Castanier, M. Cepin, D. Bigaud, & C. Bérenguer (Eds.), Proceedings of the 31st European Safety and Reliability Conference (ESREL 2021) (pp. 673-680). Research Publishing. https://doi.org/10.3850/978-981-18-2016-8_241-cd
Bouwman, M., van der Wal, D., Luttik, B. , Stoelinga, M. , & Rensink, A. (2020). What is the point: Formal analysis and test generation for a railway standard. In P. Baraldi, F. Di Maio, & E. Zio (Eds.), Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference (pp. 921-928). Research Publishing Services. https://doi.org/10.3850/978-981-14-8593-0_4410-cd
Arias, J. , Budde, C. E., Penczek, W., Petrucci, L., Sidoruk, T. , & Stoelinga, M. (2020). Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems. In S-W. Lin, Z. Hou, & B. Mahoney (Eds.), Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings (pp. 3-19). (Lecture Notes in Computer Science; Vol. 12531). Springer. https://doi.org/10.1007/978-3-030-63406-3_1
Budde, C. E. , & Stoelinga, M. (2020). Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets. In H. Hermanns (Ed.), Measurement, Modelling and Evaluation of Computing Systems - 20th International GI/ITG Conference, MMB 2020, Proceedings (pp. 259-277). (Lecture Notes in Computer Science; Vol. 12040). Springer. https://doi.org/10.1007/978-3-030-43024-5_16
Budde, C. E., Biagi, M., Monti, R. E., D’Argenio, P. R. , & Stoelinga, M. (2020). Rare Event Simulation for Non-Markovian Repairable Fault Trees. In A. Biere, & D. Parker (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings (Vol. I, pp. 463-482). (Lecture Notes in Computer Science; Vol. 12078). Springer. https://doi.org/10.1007/978-3-030-45190-5_26

UT Research Information System

Google Scholar Link

Affiliated Study Programmes


Courses Academic Year  2022/2023

Courses in the current academic year are added at the moment they are finalised in the Osiris system. Therefore it is possible that the list is not yet complete for the whole academic year.

Courses Academic Year  2021/2022


Zorro:  Engineering for Zero Downtime in Cyber-Physical Systems via Intelligent Diagnostics

  • funded by NWO
  • Collaboration between TNO-ESI, Saxion, VU

PrimaVera: Predictive Maintenance for Very effective asset management.

CAESAR: Integrating Safety and Security through stochastic model checking

  • funded by ERC Consolidator grant


SEQUOIA: Smart maintenance optimization via big data and fault tree analysis



Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (building no. 11), room 3063
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling  3063
P.O. Box 217
7500 AE Enschede
The Netherlands

Social Media