University of Twente
People

Welcome...

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.

Expertise

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

Organisations

Ancillary Activities

  • 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
  • PLANETART
    Supervisory board PLANETART
  • Nyenrode University
    Advisory council, Executive Insurance Program, Nyenrode

Publications

Recent
Badings, T., Volk, M., Junges, S. , Stoelinga, M., & Jansen, N. (2024). CTMCs with Imprecisely Timed Observations. 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. https://doi.org/10.1007/978-3-031-57249-4_13
Badings, T., Volk, M., Junges, S. , Stoelinga, M., & Jansen, N. (2024). CTMCs with Imprecisely Timed Observations. ArXiv.org. https://doi.org/10.48550/arXiv.2401.06574
Dang, T. K. N. , Lopuhaä-Zwakenberg, M. , & Stoelinga, M. (2024). Fuzzy quantitative attack tree analysis. Paper presented at 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, Luxembourg City, Luxembourg.
Badings, T. S., Romao, L., Abate, A., Parker, D., Poonawala, H. A. , Stoelinga, M., & Jansen, N. (2023). Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. Journal of Artificial Intelligence Research, 76, 341-391. https://doi.org/10.1613/JAIR.1.14253
Guerra, E. , & Stoelinga, M. (2023). Introduction to the Special Collection from FASE 2021. Formal aspects of computing, 35(3), Article 14. https://doi.org/10.1145/3626206
Lopuhaä-Zwakenberg, M. , & Stoelinga, M. (2023). Attack time analysis in dynamic attack trees via integer linear programming. 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 (Lecture Notes in Computer Science; Vol. 14323). Springer. Advance online publication. https://doi.org/10.1007/978-3-031-47115-5_10
Lopuhaä-Zwakenberg, M. , & Stoelinga, M. (2023). Cost-damage analysis of attack trees. In 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (pp. 545-558). IEEE. https://doi.org/10.1109/DSN58367.2023.00057
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; Vol. 14323). Springer. 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

UT Research Information System

See all research output of this employee

Google Scholar Link

View my profile

Affiliated Study Programmes

Master

Courses Academic Year  2023/2024

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

Projects

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

FORMASIG:

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

 

 


Contact Details

+31534892805  (secretary)
+31534892805  (if no answer)
 
 

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

Organisations

Social Media

University of Twente Drienerlolaan 5
7522 NB Enschede
+31 (0)53 489 9111
info@utwente.nl
Route