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 scientific programme leaders of the executive MSc programme on Risk Management. This is a 70 EC Master programme for professionals. 

I also hold a 0.2 appointment as a full professor at the Radboud University Nijmegen.

Expertise

Testing
Fault Tree Analysis
Model Checking
Specifications
Costs
Fault Tree
Statistical Models
Availability

Ancillary Activities

  • Schouten & Nelissen University of Applied Sciences
    Advisory panel of the Master on Quality Management at Schouten & Nelissen University of Applied Sciences
  • Nyenrode Business University
    Advisory board Executive Insurance Program

Publications

Recent
Ruijters, E. J. J. , Reijsbergen, D. P. , de Boer, P-T. , & Stoelinga, M. I. A. (2017). Rare event simulation for dynamic fault trees. (CTIT technical report series; No. TR-CTIT-17-02). Centre for Telematics and Information Technology (CTIT).
Gerhold, M. , & Stoelinga, M. I. A. (2016). Model-Based Testing of Stochastic Systems with IOCO Theory. In Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST 2016 (pp. 45-51). Association for Computing Machinery (ACM). https://doi.org/10.1145/2994291.2994298
Ruijters, E. J. J. , Guck, D., van Noort, M. , & Stoelinga, M. I. A. (2016). Reliability-centered maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A practical experience report. In Proceedings of the 46th annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016 (pp. 662-669). IEEE Computer Society. https://doi.org/10.1109/DSN.2016.67
Ruijters, E. J. J. , Guck, D., Drolenga, P. , & Stoelinga, M. I. A. (2016). Fault maintenance trees: reliability centered maintenance via statistical model checking. In Proceedings of the IEEE 62nd Annual Reliability and Maintainability Symposium, RAMS 2016 IEEE. https://doi.org/10.1109/RAMS.2016.7447986
Fraile, M., Ford, M., Gadyatskaya, O. , Kumar, R. , Stoelinga, M. I. A., & Trujillo-Rasua, R. (2016). Using attack-defense trees to analyze threats and countermeasures in an ATM: A case study. In 9th IFIP WG 8.1 Working Conference on The Practice of Enterprise Modeling (PoEM) (pp. 326-334). (Lecture Notes in Business Information Processing; Vol. 267). Springer. https://doi.org/10.1007/978-3-319-48393-1_24
Ahmad, W. , Jongerden, M. R. , Stoelinga, M. I. A. , & van de Pol, J. C. (2016). Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata. In Proceedings of the 16th International Conference on Application of Concurrency to System Design, ACSD 2016 (pp. 114-123). IEEE Computer Society. https://doi.org/10.1109/ACSD.2016.18
Gerhold, M. , & Stoelinga, M. I. A. (2016). Model-Based Testing of Probabilistic Systems. In P. Stevens, & A. Wasowski (Eds.), Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings (pp. 251-268). (Lecture Notes in Computer Science; Vol. 9633). Springer. https://doi.org/10.1007/978-3-662-49665-7_15
Ruijters, E. , & Stoelinga, M. (2016). Better railway engineering through statistical model checking. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I (pp. 151-165). (Lecture Notes in Computer Science; Vol. 9952). Springer. https://doi.org/10.1007/978-3-319-47166-2_10
Hermanns, H., Krämer, J., Krčál, J. , & Stoelinga, M. I. A. (2016). The Value of Attack-Defence Diagrams. In F. Piessens, & L. Viganò (Eds.), Proceedings of the 5th International Conference on Principles of Security and Trust, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016 (pp. 163-185). (Lecture Notes in Computer Science; Vol. 9635). Springer. https://doi.org/10.1007/978-3-662-49635-0_9
Ruijters, E. J. J. , Guck, D., Drolenga, P., Peters, M. , & Stoelinga, M. I. A. (2016). Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor. In G. Agha, & B. Van Houdt (Eds.), Proceedings of the 13th International Conference on Quantitative Evaluation of SysTems, QEST 2016 (pp. 331-347). (Lecture Notes in Computer Science; Vol. 9826). Springer. https://doi.org/10.1007/978-3-319-43425-4_22
Ahmad, W. , Yildiz, B. M. , Rensink, A. , & Stoelinga, M. I. A. (2016). A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications (extended version). (CTIT Technical Report Series; No. TR-CTIT-16-09). Centre for Telematics and Information Technology (CTIT).

UT Research Information System

Google Scholar Link

Projects

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

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