Zilverling

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

Full Professor
EEMCS-CS-FMT
Zilverling 3063
m.i.a.stoelinga@utwente.nl
+31534893773
Business card

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
    • Automaton
    • Case Study
    • model based testing
    • Algorithms

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

Jump to: 2024 | 2023

2024

Quantitative 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.12346CTMCs with Imprecisely Timed Observations (2024)[Working paper › Preprint]. ArXiv.org. Badings, T., Volk, M., Junges, S., Stoelinga, M. & Jansen, N.https://doi.org/10.48550/arXiv.2401.06574Fuzzy quantitative attack tree analysis (2024)[Contribution to conference › Paper] 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024. Dang, T. K. N., Lopuhaä-Zwakenberg, M. & Stoelinga, M.

2023

Artifact for "CTMCs with Imprecisely Timed Observations" (2023)[Dataset Types › Dataset]. Zenodo. Badings, T., Volk, M., Junges, S., Stoelinga, M. & Jansen, N.https://doi.org/10.5281/zenodo.10438984Model-Based Joint Analysis of Safety and Security: Survey and Identification of Gaps (2023)Computer 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 programming (2023)In Software Engineering and Formal Methods: 21st International conference, SEFM 2023 Eindhoven, The Netherlands, November 6-10, 2023 Proceedings (pp. 165-183) (Lecture Notes in Computer Science; Vol. 14323). Springer. Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.1007/978-3-031-47115-5_10Solving Queries for Boolean Fault Tree Logic via Quantified SAT (2023)In 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 2021 (2023)Formal aspects of computing, 35(3). Article 14. Guerra, E. & Stoelinga, M.https://doi.org/10.1145/3626206ATM: a Logic for Quantitative Security Properties on Attack Trees (2023)[Working paper › Preprint]. ArXiv.org. Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M.https://doi.org/10.48550/arXiv.2309.09231Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller (2023)In 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). 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 Reactors (2023)In 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. Soltani, R., Volk, M., Diamonte, L., Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.1007/978-3-031-43681-9_12Efficient and Generic Algorithms for Quantitative Attack Tree Analysis (2023)IEEE 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.3215752Artefact for "Optimal spare management via statistical model checking: A case study in research reactors" (2023)[Dataset Types › Dataset]. Zenodo. Soltani, R., Volk, M., Diamonte, L. A., Lopuhaä - Zwakenberg, M. A. & Stoelinga, M. I. A.https://doi.org/10.5281/zenodo.8199172Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller (2023)[Dataset Types › Dataset]. 4TU.Centre for Research Data. van der Wal, D., Gerhold, M. & Stoelinga, M.https://doi.org/10.4121/237905e5-54cc-4a98-abf3-38324d516bf3Artifact for the paper Solving Queries for Boolean Fault Tree Logic via Quantified SAT (2023)[Dataset Types › Dataset]. Zenodo. Saaltink, C., Nicoletti, S. M., Volk, M., Hahn, E. M. & Stoelinga, M.https://doi.org/10.5281/zenodo.8172548

Research profiles

Affiliated study programs

Courses academic year 2024/2025

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

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

Scan the QR code or
Download vCard