World's Best Scientists 2026 revealed!
Mariëlle Stoelinga

Mariëlle Stoelinga

D-Index & Metrics

Computer Science

D-Index
36
Citations
5891
World Ranking
11214
National Ranking
204

Overview

Mariëlle Stoelinga is affiliated with the University of Twente in the Netherlands. Their research spans several areas within computer science and engineering, with a specific focus on software reliability, formal verification, and security.

Their recent works include:

  • Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise, 2022, Proceedings of the AAAI Conference on Artificial Intelligence
  • Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions, 2023, Journal of Artificial Intelligence Research
  • Efficient and Generic Algorithms for Quantitative Attack Tree Analysis, 2022, IEEE Transactions on Dependable and Secure Computing
  • PrimaVera: Synergising Predictive Maintenance, 2020, Applied Sciences
  • A Case in Point: Verification and Testing of a EULYNX Interface, 2022, Formal Aspects of Computing

The frequent co-authors collaborating with Mariëlle Stoelinga include:

  • Milan Lopuhaä-Zwakenberg
  • Matthias Volk
  • Lisandro A. Jiménez-Roa
  • Nils Jansen
  • Carlos E. Budde

Stoelinga has published extensively across several venues, notably:

  • arXiv (Cornell University)
  • Zenodo (CERN European Organization for Nuclear Research)
  • International Journal on Software Tools for Technology Transfer
  • IEEE Transactions on Dependable and Secure Computing
  • Formal Aspects of Computing

Two books published with Springer Science+Business Media detail parts of their research contribution:

  • Fundamental Approaches to Software Engineering, 2021
  • A Journey from Process Algebra via Timed Automata to Model Learning, 2022

The primary fields of study include Computer Science and Engineering. Within these areas, their subfields of research focus on:

  • Software
  • Information Systems
  • Computational Theory and Mathematics
  • Artificial Intelligence
  • Computer Networks and Communications

The main topics addressed in their work cover:

  • Software Reliability and Analysis Research
  • Formal Methods in Verification
  • Software Testing and Debugging Techniques
  • Information and Cyber Security
  • Network Security and Intrusion Detection
  • Software Engineering Research
  • Bayesian Modeling and Causal Inference

Best Publications

  • Fault tree analysis

    Enno Ruijters;Mariëlle Stoelinga

  • Linear Parametric Model Checking of Timed Automata

    Thomas Hune;Judi Romijn;Mariëlle Stoelinga;Frits W. Vaandrager

  • Timed Interfaces

    Luca de Alfaro;Thomas A. Henzinger;Mariëlle Stoelinga

  • Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains

    H. Boudali;P. Crouzen;M. Stoelinga

  • Resource Interfaces

    Unknown

  • A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis

    Hichem Boudali;Pepijn Crouzen;Mariëlle Stoelinga

  • The Element of Surprise in Timed Games

    Luca de Alfaro;Marco Faella;Marco Faella;Thomas A. Henzinger;Rupak Majumdar

  • A compositional semantics for dynamic fault trees in terms of interactive Markov chains

    Hichem Boudali;Pepijn Crouzen;Mariëlle Stoelinga

  • Model checking discounted temporal properties

    Luca de Alfaro;Marco Faella;Thomas A. Henzinger;Rupak Majumdar

  • Quantitative Security and Safety Analysis with Attack-Fault Trees

    Rajesh Kumar;Marielle Stoelinga

  • Linear and Branching System Metrics

    L. de Alfaro;M. Faella;M. Stoelinga

  • Alea jacta est : verification of probabilistic, real-time and parametric systems

    Mariëlle Ida Antoinette Stoelinga

  • Time-Dependent Analysis of Attacks

    Florian Arnold;Holger Hermanns;Reza Pulungan;Mariëlle Stoelinga

  • Linear and Branching Metrics for Quantitative Transition Systems

    Luca de Alfaro;Marco Faella;Mariëlle Ida Antoinette Stoelinga

  • Root Contention in IEEE 1394

    Mariëlle Stoelinga;Frits W. Vaandrager

  • How fast and fat is your probabilistic model checker? an experimental performance comparison

    David N. Jansen;Joost-Pieter Katoen;Marcel Oldenkamp;Mariëlle Stoelinga

  • An Introduction to Probabilistic Automata.

    Mariëlle Stoelinga

  • Quantitative attack tree analysis via priced timed automata

    Rajesh Kumar;Enno Jozef Johannes Ruijters;Mariëlle Ida Antoinette Stoelinga

  • Mechanical verification of the IEEE 1394a Root Contention Protocol using Uppaal2k

    David P.L. Simons;Mariëlle I.A. Stoelinga

  • Delayed Nondeterminism in Continuous-Time Markov Decision Processes

    Martin R. Neuhäußer;Mariëlle Stoelinga;Joost-Pieter Katoen

  • The Recent Applications of Machine Learning in Rail Track Maintenance : A Survey

    Muhammad Chenariyan Nakhaee;Djoerd Hiemstra;Mariëlle Stoelinga;Martijn van Noort

  • Quantitative testing

    Henrik Bohnenkamp;Mariëlle Stoelinga

Frequent Co-Authors

Joost-Pieter Katoen
Joost-Pieter Katoen RWTH Aachen University
Alessandro Abate
Alessandro Abate University of Oxford
Luca de Alfaro
Luca de Alfaro University of California, Santa Cruz
Frits W. Vaandrager
Frits W. Vaandrager Radboud University
Boudewijn R. Haverkort
Boudewijn R. Haverkort Tilburg University
Rupak Majumdar
Rupak Majumdar Max Planck Institute for Software Systems
Thomas A. Henzinger
Thomas A. Henzinger Institute of Science and Technology Austria
Tom Heskes
Tom Heskes Radboud University
Djoerd Hiemstra
Djoerd Hiemstra Radboud University
Holger Hermanns
Holger Hermanns Saarland University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring a degree in Computer Science opens up a wide range of options, both in study format and future career opportunities. Today, many students are taking advantage of online colleges that accept low gpa, making quality education more accessible regardless of academic background.

Students interested in fast-tracking their education can consider a 2-year computer science degree online to enter the workforce quickly. Alternatively, interdisciplinary paths are also available. For example, technology frequently overlaps with other fields like environmental sciences. If you’re interested in these intersections, you may want to explore environmental science degree programs or even consider an online environmental engineering degree science and engineering focus.

Whether you’re seeking flexibility, affordability, or a specialized pathway, there are many online degree options that connect core computer science skills with emerging career fields.

Best Scientists Citing Mariëlle Stoelinga

Trending Scientists

Recently Published Articles