Marielle Stoelinga
Marielle Stoelinga
Professor of Risk Management for high tex systems, Radboud University & University of Twente
Adresse e-mail validée de - Page d'accueil
Citée par
Citée par
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 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 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
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
Alea jacta est: verification of probabilistic, real-time and parametric systems
MIA Stoelinga
[Sl: sn], 2002
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
Linear and branching metrics for quantitative transition systems
L Alfaro, M Faella, M Stoelinga
International Colloquium on Automata, Languages, and Programming, 97-109, 2004
Root contention in IEEE 1394
M Stoelinga, F Vaandrager
International AMAST Workshop on Aspects of Real-Time Systems and Concurrent …, 1999
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
Quantitative security and safety analysis with attack-fault trees
R Kumar, M Stoelinga
2017 IEEE 18th International Symposium on High Assurance Systems Engineering …, 2017
Time-dependent analysis of attacks
F Arnold, H Hermanns, R Pulungan, M Stoelinga
International Conference on Principles of Security and Trust, 285-305, 2014
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
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20