| 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 | 537 | 2015 |
| 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 | 71 | 2015 |
| 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 | 48 | 2019 |
| 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 | 42 | 2014 |
| Fault maintenance trees: reliability centered maintenance via statistical model checking E Ruijters, D Guck, P Drolenga 2016 Annual Reliability and Maintainability Symposium (RAMS), 2016 | 39 | 2016 |
| 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 | 36 | 2019 |
| 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 | 36 | 2017 |
| 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 | 26 | 2018 |
| 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 | 23 | 2016 |
| 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 | 21 | 2016 |
| 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 | 14 | 2017 |
| FFORT: A benchmark suite for fault tree analysis E Ruijters, CE Budde, MC Nakhaee, MIA Stoelinga, D Bucur, D Hiemstra, ... Singapore: Research Publishing, 2019 | 11 | 2019 |
| Better railway engineering through statistical model checking E Ruijters, M Stoelinga International Symposium on Leveraging Applications of Formal Methods, 151-165, 2016 | 11 | 2016 |
| 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 | 10 | 2017 |
| Modelling and analysis of Markov reward automata (extended version) D Guck, M Timmer, H Hatefi, EJJ Ruijters, MIA Stoelinga CTIT Technical Report Series, 2014 | 5 | 2014 |
| The Dynamic Fault Tree Rare Event Simulator CE Budde, E Ruijters, M Stoelinga International Conference on Quantitative Evaluation of Systems, 233-238, 2020 | 3 | 2020 |
| 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 |
| 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 |
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
