Marielle Stoelinga
Marielle Stoelinga
Professor of Risk Management for high tex systems, Radboud University & University of Twente
Geverifieerd e-mailadres voor - Homepage
Geciteerd door
Geciteerd door
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
Resource interfaces
A Chakrabarti, L De Alfaro, TA Henzinger, M Stoelinga
International Workshop on Embedded Software, 117-133, 2003
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
Timed interfaces
L De Alfaro, TA Henzinger, M Stoelinga
International Workshop on Embedded Software, 108-122, 2002
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
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
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
Alea jacta est: verification of probabilistic, real-time and parametric systems
MIA Stoelinga
[Sl: sn], 2002
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
Root contention in IEEE 1394
M Stoelinga, F Vaandrager
International AMAST Workshop on Aspects of Real-Time Systems and Concurrent …, 1999
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
Linear and branching system metrics
L De Alfaro, M Faella, M Stoelinga
Software Engineering, IEEE Transactions on 35 (2), 258-273, 2009
Model checking discounted temporal properties
L De Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga
Theoretical Computer Science 345 (1), 139-170, 2005
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
An introduction to probabilistic automata
M Stoelinga
Bulletin of the EATCS 78 (176-198), 2, 2002
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
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
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
Dftcalc: a tool for efficient fault tree analysis
F Arnold, A Belinfante, F Berg, D Guck, M Stoelinga
Computer Safety, Reliability, and Security 8153 (Lecture Notes in Computer …, 2013
Time-dependent analysis of attacks
F Arnold, H Hermanns, R Pulungan, M Stoelinga
International Conference on Principles of Security and Trust, 285-305, 2014
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20