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

  • Computer Science

    • Fault Tree
    • Models
    • Attack
    • Model Checking
    • Case Study
    • model based testing
    • Algorithms
    • Testing

Organisations

Ancillary activities

  • Radboud UniversityFul 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

Publications

2024
CTMCs with Imprecisely Timed ObservationsIn 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 CheckingIn RAMS 2024 - Annual Reliability and Maintainability Symposium, Proceedings. IEEE. Volk, M., Sher, F., Katoen, J. P. & Stoelinga, M.https://doi.org/10.1109/RAMS51492.2024.10457719Fuzzy Fault Trees Formalized. 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. 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. ArXiv.org. Dang, T. K. N., Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.48550/arXiv.2401.12346CTMCs with Imprecisely Timed Observations. ArXiv.org. Badings, T., Volk, M., Junges, S., Stoelinga, M. & Jansen, N.https://doi.org/10.48550/arXiv.2401.06574Fuzzy quantitative attack tree analysis. Dang, T. K. N., Lopuhaä-Zwakenberg, M. & Stoelinga, M.
2023
Model-Based Joint Analysis of Safety and Security: Survey and Identification of GapsComputer science review, 50, Article 100597. Nicoletti, S. M., Peppelman, M., Kolb, C. & Stoelinga, M.https://doi.org/10.1016/j.cosrev.2023.100597Attack time analysis in dynamic attack trees via integer linear programmingIn Software Engineering and Formal Methods: 21st International conference, SEFM 2023 Eindhoven, The Netherlands, November 6-10, 2023 Proceedings. Springer (E-pub ahead of print/First online). Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.1007/978-3-031-47115-5_10Solving Queries for Boolean Fault Tree Logic via Quantified SATIn FTSCS 2023: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems: 2023 Proceeding (pp. 48-59). ACM Press. Saaltink, C., Nicoletti, S. M., Volk, M., Hahn, E. M. & Stoelinga, M.https://doi.org/10.1145/3623503.3623535Introduction to the Special Collection from FASE 2021Formal aspects of computing, 35(3), Article 14. Guerra, E. & Stoelinga, M.https://doi.org/10.1145/3626206Conformance in¬†the¬†Railway Industry: Single-Input-Change Testing a¬†EULYNX ControllerIn Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20‚Äď22, 2023, Proceedings (pp. 242-258). Wal, D. v. d., Gerhold, M. & Stoelinga, M.https://doi.org/10.1007/978-3-031-43681-9_14Optimal Spare Management via¬†Statistical Model Checking: A Case Study in¬†Research ReactorsIn Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20‚Äď22, 2023, Proceedings (pp. 205-223). Springer Nature (E-pub ahead of print/First online). Soltani, R., Volk, M., Diamonte, L., Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.1007/978-3-031-43681-9_12ATM: a Logic for Quantitative Security Properties on Attack Trees. ArXiv.org. Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M.https://doi.org/10.48550/arXiv.2309.09231Efficient and Generic Algorithms for Quantitative Attack Tree AnalysisIEEE transactions on dependable and secure computing, 20(5), 4169-4187. Lopuhaa-Zwakenberg, M., Budde, C. E. & Stoelinga, M.https://doi.org/10.1109/TDSC.2022.3215752Automatic inference of fault tree models via multi-objective evolutionary algorithmsIEEE transactions on dependable and secure computing, 20(4), 3317-3327. Jimenez-Roa, L. A., Heskes, T., Tinga, T. & Stoelinga, M. I. A.https://doi.org/10.1109/TDSC.2022.3203805With a¬†Little Help from¬†Your Friends: Semi-cooperative Games via¬†Joker MovesIn Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023 (pp. 155-172). Springer Nature. van den Bos, P. & Stoelinga, M.https://doi.org/10.1007/978-3-031-35355-0_10With a little help from your friends: semi-cooperative games via Joker moves. ArXiv.org. Bos, P. v. d. & Stoelinga, M.https://doi.org/10.48550/arXiv.2304.13417PFL: a Probabilistic Logic for Fault Trees. ArXiv.org. Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M.https://doi.org/10.48550/arXiv.2303.17314PFL: A Probabilistic Logic for¬†Fault TreesIn Formal Methods: 25th International Symposium, FM 2023, L√ľbeck, Germany, March 6‚Äď10, 2023, Proceedings (pp. 199–221). Springer Nature. Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M.https://doi.org/10.1007/978-3-031-27481-7_13A Case in Point: Verification and Testing of a EULYNX InterfaceFormal aspects of computing, 35(1), Article 2, 1–38. Bouwman, M., Wal, D. v. d., Luttik, B., Stoelinga, M. & Rensink, A.https://doi.org/10.1145/3528207Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal AbstractionsJournal of Artificial Intelligence Research, 76, 341-391. Badings, T. S., Romao, L., Abate, A., Parker, D., Poonawala, H. A., Stoelinga, M. & Jansen, N.https://doi.org/10.1613/JAIR.1.14253SAFEST: the static and dynamic fault tree analysis toolIn Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023) (pp. 193-200). Research Publishing. Volk, M., Ibne Irshad, M., Katoen, J.-P., Sher, F., Stoelinga, M. I. A. & Zafar, A.https://doi.org/10.3850/978-981-18-8071-1_P407-cdFrom Fault Trees to Piping and Instrumentation DiagramsIn Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023) (pp. 1234-1235). Research Publishing. Bos, W., Volk, M., Stoelinga, M. I. A., Bouissou, M. & Krcál, P.https://doi.org/10.3850/978-981-18-8071-1_P537-cdATM: A Logic for¬†Quantitative Security Properties on¬†Attack TreesIn Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings (pp. 205-225). Springer. Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M.https://doi.org/10.1007/978-3-031-47115-5_12

Research profiles

Affiliated study programs

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

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

Address

University of Twente

Zilverling (building no. 11), room 3063
Hallenweg 19
7522 NH Enschede
Netherlands

Navigate to location

Organisations

Scan the QR code or
Download vCard