Scholar

Marielle Stoelinga

Google Scholar ID: po_MgfcAAAAJ

Professor of Risk Management for high tex systems, Radboud University & University of Twente

Risk AnalysisFormal MethodsFault Tree AnalysisStochastic Model CheckingPredictive Mainatenance

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

2,958

H-index

26

i10-index

72

Publications

20

Co-authors

116

list available

Publications

2 items

Safety and Security Risk Mitigation in Satellite Missions via Attack-Fault-Defense Trees

2025

Cited

0

With a little help from your friends: semi-cooperative games via Joker moves

Formal Techniques for (Networked and) Distributed Systems · 2023

Cited

1

Co-authors

14 total

Professor, Computer Science and Engineering, UC Santa Cruz

Joost-Pieter Katoen

Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente

Jaco van de Pol

Professor of Computer Science, Aarhus University

Thomas Henzinger

Università di Napoli "Federico II", Italy

Carlos E. Budde

Associate Professor @ Technical University of Denmark, DTU Compute

MPI for Software Systems

Frits W. Vaandrager

Professor of Computer Science, Radboud University