Enno Ruijters
Enno Ruijters
Geverifieerd e-mailadres voor utwente.nl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
3162015
Quantitative attack tree analysis via priced timed automata
R Kumar, E Ruijters, M Stoelinga
International Conference on Formal Modeling and Analysis of Timed Systems …, 2015
422015
Modelling and analysis of Markov reward automata
D Guck, M Timmer, H Hatefi, E Ruijters, M Stoelinga
International Symposium on Automated Technology for Verification and …, 2014
362014
Fault maintenance trees: reliability centered maintenance via statistical model checking
E Ruijters, D Guck, P Drolenga
2016 Annual Reliability and Maintainability Symposium (RAMS), 2016
272016
Reliability-centered maintenance of the electrically insulated railway joint via fault tree analysis: A practical experience report
E Ruijters, D Guck, M van Noort, M Stoelinga
46th annual IEEE/IFIP International Conference on Dependable Systems and …, 2016
182016
Rare event simulation for dynamic fault trees
E Ruijters, D Reijsbergen, PT de Boer, M Stoelinga
International Conference on Computer Safety, Reliability, and Security, 20-35, 2017
172017
The 2019 comparison of tools for the analysis of quantitative formal models
EM Hahn, A Hartmanns, C Hensel, M Klauck, J Klein, J Křetínský, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
142019
Maintenance Analysis and Optimization via Statistical Model Checking
E Ruijters, D Guck, P Drolenga, M Peters, M Stoelinga
International Conference on Quantitative Evaluation of Systems, 331-347, 2016
132016
The quantitative verification benchmark set
A Hartmanns, M Klauck, D Parker, T Quatmann, E Ruijters
International Conference on Tools and Algorithms for the Construction and …, 2019
122019
Effective Analysis of Attack Trees: A Model-Driven Approach
R Kumar, S Schivo, E Ruijters, BM Yildiz, D Huistra, J Brandt, A Rensink, ...
International Conference on Fundamental Approaches to Software Engineering …, 2018
122018
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach
S Schivo, BM Yildiz, E Ruijters, C Gerking, R Kumar, S Dziwok, A Rensink, ...
International Symposium on Dependable Software Engineering: Theories, Tools …, 2017
112017
Better railway engineering through statistical model checking
E Ruijters, M Stoelinga
International Symposium on Leveraging Applications of Formal Methods, 151-165, 2016
92016
Uniform analysis of fault trees through model transformations
E Ruijters, S Schivo, M Stoelinga, A Rensink
2017 Annual Reliability and Maintainability Symposium (RAMS), 1-7, 2017
72017
Modelling and analysis of Markov reward automata (extended version)
D Guck, M Timmer, H Hatefi, EJJ Ruijters, MIA Stoelinga
CTIT Technical Report Series, 2014
52014
FFORT: A benchmark suite for fault tree analysis
E Ruijters, CE Budde, MC Nakhaee, MIA Stoelinga, D Bucur, D Hiemstra, ...
Singapore: Research Publishing, 2019
12019
Zen and the Art of Railway Maintenance: Analysis and Optimization of Maintenance via Fault Trees and Statistical Model Checking
EJJ Ruijters
2018
Model-Checking Markov Chains using Interval Arithmetic
E Ruijters
Maastricht University, 2013
2013
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–17