| 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 | 1033 | 2015 |
| The quantitative verification benchmark set A Hartmanns, M Klauck, D Parker, T Quatmann, E Ruijters Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019 | 124 | 2019 |
| 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 | 106 | 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 | 70 | 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 | 61 | 2017 |
| Fault maintenance trees: reliability centered maintenance via statistical model checking E Ruijters, D Guck, P Drolenga 2016 Annual Reliability and Maintainability Symposium (RAMS), 2016 | 60 | 2016 |
| Effective analysis of attack trees: A model-driven approach R Kumar, S Schivo, E Ruijters, BM Yildiz, D Huistra, J Brandt, A Rensink, ... Fundamental Approaches to Software Engineering: 21st International …, 2018 | 49 | 2018 |
| 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 | 46 | 2014 |
| 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 | 37 | 2016 |
| Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor E Ruijters, D Guck, P Drolenga, M Peters, M Stoelinga International Conference on Quantitative Evaluation of Systems, 331-347, 2016 | 33 | 2016 |
| FFORT: A benchmark suite for fault tree analysis E Ruijters, CE Budde, MC Nakhaee, MIA Stoelinga, D Bucur, D Hiemstra, ... Singapore: Research Publishing, 2019 | 31 | 2019 |
| Tools at the frontiers of quantitative verification: QComp 2023 competition report R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ... International TOOLympics Challenge, 90-146, 2023 | 22 | 2023 |
| 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 | 17 | 2017 |
| Better railway engineering through statistical model checking E Ruijters, M Stoelinga International Symposium on Leveraging Applications of Formal Methods, 151-165, 2016 | 16 | 2016 |
| The dynamic fault tree rare event simulator CE Budde, E Ruijters, M Stoelinga Quantitative Evaluation of Systems: 17th International Conference, QEST 2020 …, 2020 | 15 | 2020 |
| 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 | 14 | 2017 |
| Modelling and analysis of Markov reward automata (extended version) D Guck, M Timmer, H Hatefi, EJJ Ruijters, MIA Stoelinga Technical Report TR-CTIT-14-06, CTIT, University of Twente, Enschede, 2014 | 5 | 2014 |
| Zen and the Art of Railway Maintenance: Analysis and Optimization of Maintenance via Fault Trees and Statistical Model Checking EJJ Ruijters | 2 | 2018 |
| Tools at the frontiers of quantitative verification R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ... TOOLympics Challenge 2023, 90, 2024 | | 2024 |
| moves-rwth/storm: v1. 8.1 C Hensel, T Quatmann, S Junges, M Volk, J Berger, G Kremer, A Bork, ... Zenodo, 2023 | | 2023 |
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
