Marielle Stoelinga
Marielle Stoelinga
Professor of Risk Management for high tex systems, Radboud University & University of Twente
Dirección de correo verificada de utwente.nl
Título
Citado por
Citado por
Año
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
2802015
Resource interfaces
A Chakrabarti, L De Alfaro, TA Henzinger, M Stoelinga
International Workshop on Embedded Software, 117-133, 2003
2632003
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
2292002
Timed interfaces
L De Alfaro, TA Henzinger, M Stoelinga
International Workshop on Embedded Software, 108-122, 2002
2242002
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
1712007
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
1592003
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
1452009
Alea jacta est: verification of probabilistic, real-time and parametric systems
MIA Stoelinga
[Sl: sn], 2002
1072002
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
1032007
Root contention in IEEE 1394
M Stoelinga, F Vaandrager
International AMAST Workshop on Aspects of Real-Time Systems and Concurrent …, 1999
921999
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
912004
Model checking discounted temporal properties
L De Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga
Theoretical Computer Science 345 (1), 139-170, 2005
882005
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
872007
Linear and branching system metrics
L De Alfaro, M Faella, M Stoelinga
Software Engineering, IEEE Transactions on 35 (2), 258-273, 2009
852009
An introduction to probabilistic automata
M Stoelinga
Bulletin of the EATCS 78 (176-198), 2, 2002
802002
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
632009
Time-dependent analysis of attacks
F Arnold, H Hermanns, R Pulungan, M Stoelinga
International Conference on Principles of Security and Trust, 285-305, 2014
612014
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20