Seguir
Marielle Stoelinga
Marielle Stoelinga
Professor of Risk Management for high tex systems, Radboud University & University of Twente
Email confirmado em utwente.nl - Página inicial
Título
Citado por
Citado por
Ano
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
6362015
Resource interfaces
A Chakrabarti, L De Alfaro, TA Henzinger, M Stoelinga
Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia …, 2003
2992003
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
2532002
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
2292007
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
1792009
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
1782003
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
1222007
Linear and branching system metrics
L De Alfaro, M Faella, M Stoelinga
Software Engineering, IEEE Transactions on 35 (2), 258-273, 2009
1132009
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
1052005
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
Root contention in IEEE 1394
M Stoelinga, F Vaandrager
Formal Methods for Real-Time and Probabilistic Systems: 5th International …, 1999
971999
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
962008
An introduction to probabilistic automata
M Stoelinga
Bulletin of the EATCS 78 (176-198), 2, 2002
952002
Quantitative security and safety analysis with attack-fault trees
R Kumar, M Stoelinga
2017 IEEE 18th International Symposium on High Assurance Systems Engineering …, 2017
942017
Time-Dependent Analysis of Attacks.
F Arnold, H Hermanns, R Pulungan, M Stoelinga
POST 14, 285-305, 2014
882014
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
802015
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
79*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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20