Marielle Stoelinga
Marielle Stoelinga
Professor of Risk Management for high tex systems, Radboud University & University of Twente
Verified email at utwente.nl
TitleCited byYear
Resource interfaces
A Chakrabarti, L De Alfaro, TA Henzinger, M Stoelinga
International Workshop on Embedded Software, 117-133, 2003
2612003
Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools.
E Ruijters, M Stoelinga
Computer Science Review 15, 29-62, 2015
2402015
Timed interfaces
L De Alfaro, TA Henzinger, M Stoelinga
International Workshop on Embedded Software, 108-122, 2002
2262002
Linear parametric model checking of timed automata
T Hune, J Romijn, M Stoelinga, F Vaandrager
The Journal of Logic and Algebraic Programming 52, 183-220, 2002
2262002
Dynamic fault tree analysis using input/output interactive Markov chains
H Boudali, P Crouzen, M Stoelinga
Dependable Systems and Networks, 2007. DSN'07. 37th Annual IEEE/IFIP …, 2007
1622007
The element of surprise in timed games
L De Alfaro, M Faella, T Henzinger, R Majumdar, M Stoelinga
CONCUR 2003-Concurrency Theory, 144-158, 2003
1552003
A rigorous, compositional, and extensible framework for dynamic fault tree analysis
H Boudali, P Crouzen, M Stoelinga
IEEE Transactions on Dependable and Secure Computing 7 (2), 128-143, 2009
1382009
Alea jacta est: verification of probabilistic, real-time and parametric systems
MIA Stoelinga
[Sl: sn], 2002
1062002
A compositional semantics for Dynamic Fault Trees in terms of Interactive Markov Chains
H Boudali, P Crouzen, M Stoelinga
International Symposium on Automated Technology for Verification and …, 2007
1012007
Linear and branching metrics for quantitative transition systems
L De Alfaro, M Faella, M Stoelinga
International Colloquium on Automata, Languages, and Programming, 97-109, 2004
922004
Root contention in IEEE 1394
M Stoelinga, F Vaandrager
International AMAST Workshop on Aspects of Real-Time Systems and Concurrent …, 1999
901999
Model checking discounted temporal properties
L De Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga
Theoretical Computer Science 345 (1), 139-170, 2005
872005
How fast and fat is your probabilistic model checker? an experimental performance comparison
DN Jansen, JP Katoen, M Oldenkamp, M Stoelinga, I Zapreev
Haifa verification conference, 69-85, 2007
852007
Linear and branching system metrics
L De Alfaro, M Faella, M Stoelinga
Software Engineering, IEEE Transactions on 35 (2), 258-273, 2009
842009
An introduction to probabilistic automata
M Stoelinga
Bulletin of the EATCS 78 (176-198), 2, 2002
782002
Game relations and metrics
L De Alfaro, R Majumdar, V Raman, M Stoelinga
Logic in Computer Science, 2007. LICS 2007. 22nd Annual IEEE Symposium on …, 2007
73*2007
Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k
DPL Simons, MIA Stoelinga
International Journal on Software Tools for Technology Transfer 3 (4), 469-485, 2001
692001
Delayed nondeterminism in continuous-time Markov decision processes
MR Neuhäußer, M Stoelinga, JP Katoen
International Conference on Foundations of Software Science and …, 2009
652009
Architectural dependability evaluation with Arcade
H Boudali, P Crouzen, BR Haverkort, M Kuntz, MIA Stoelinga
2008 IEEE International Conference on Dependable Systems and Networks With …, 2008
592008
Time-dependent analysis of attacks
F Arnold, H Hermanns, R Pulungan, M Stoelinga
International Conference on Principles of Security and Trust, 285-305, 2014
572014
The system can't perform the operation now. Try again later.
Articles 1–20