Marielle Stoelinga
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
Contact
No contact links provided.
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
Resume (English only)
Co-authors
116 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Joost-Pieter Katoen
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
Jaco van de Pol
Jaco van de Pol
Professor of Computer Science, Aarhus University
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Thomas Henzinger
Thomas Henzinger
IST Austria