Follow
Marielle Stoelinga
Marielle Stoelinga
Professor of Risk Management for high tex systems, Radboud University & University of Twente
Verified email at utwente.nl - Homepage
Title
Cited by
Cited by
Year
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
6582015
Resource interfaces
A Chakrabarti, L De Alfaro, TA Henzinger, M Stoelinga
Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia …, 2003
3032003
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
2812002
Timed interfaces
L De Alfaro, TA Henzinger, M Stoelinga
Embedded Software: Second International Conference, EMSOFT 2002 Grenoble …, 2002
2552002
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
2312007
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
1802009
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
1802003
A compositional semantics for Dynamic Fault Trees in terms of Interactive Markov Chains
H Boudali, P Crouzen, M Stoelinga
Automated Technology for Verification and Analysis: 5th International …, 2007
1232007
Linear and branching system metrics
L De Alfaro, M Faella, M Stoelinga
Software Engineering, IEEE Transactions on 35 (2), 258-273, 2009
1152009
Alea jacta est: verification of probabilistic, real-time and parametric systems
MIA Stoelinga
[Sl: sn], 2002
1112002
Model checking discounted temporal properties
L De Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga
Theoretical Computer Science 345 (1), 139-170, 2005
1062005
Linear and branching metrics for quantitative transition systems
L De Alfaro, M Faella, M Stoelinga
Automata, Languages and Programming: 31st International Colloquium, ICALP …, 2004
992004
Quantitative security and safety analysis with attack-fault trees
R Kumar, M Stoelinga
2017 IEEE 18th International Symposium on High Assurance Systems Engineering …, 2017
972017
How fast and fat is your probabilistic model checker? an experimental performance comparison
DN Jansen, JP Katoen, M Oldenkamp, M Stoelinga, I Zapreev
Lecture Notes in Computer Science 4899, 69-85, 2008
972008
An introduction to probabilistic automata
M Stoelinga
Bulletin of the EATCS 78 (176-198), 2, 2002
972002
Root contention in IEEE 1394
M Stoelinga, F Vaandrager
Formal Methods for Real-Time and Probabilistic Systems: 5th International …, 1999
971999
Time-Dependent Analysis of Attacks.
F Arnold, H Hermanns, R Pulungan, M Stoelinga
POST 14, 285-305, 2014
922014
Quantitative attack tree analysis via priced timed automata
R Kumar, E Ruijters, M Stoelinga
Formal Modeling and Analysis of Timed Systems: 13th International Conference …, 2015
812015
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
81*2007
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
78*2013
The system can't perform the operation now. Try again later.
Articles 1–20