Enno Ruijters
Enno Ruijters
Universiteit 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
3962015
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
572015
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
392014
Fault maintenance trees: reliability centered maintenance via statistical model checking
E Ruijters, D Guck, P Drolenga
2016 Annual Reliability and Maintainability Symposium (RAMS), 2016
322016
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
312019
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
292017
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
222019
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
212018
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
202016
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
172016
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
132017
Better railway engineering through statistical model checking
E Ruijters, M Stoelinga
International Symposium on Leveraging Applications of Formal Methods, 151-165, 2016
122016
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
82017
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
32019
Correction to: The Dynamic Fault Tree Rare Event Simulator
CE Budde, E Ruijters, M Stoelinga
International Conference on Quantitative Evaluation of Systems, C1-C1, 2020
2020
The Dynamic Fault Tree Rare Event Simulator
CE Budde, E Ruijters, M Stoelinga
International Conference on Quantitative Evaluation of Systems, 233-238, 2020
2020
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
The system can't perform the operation now. Try again later.
Articles 1–19