| 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 | 825 | 2015 |
| 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 | 93 | 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 | 78 | 2019 |
| 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 | 62 | 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 | 51 | 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 | 48 | 2016 |
| Modelling and analysis of Markov reward automata D Guck, M Timmer, H Hatefi, E Ruijters, M Stoelinga Automated Technology for Verification and Analysis: 12th International …, 2014 | 46 | 2014 |
| 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 | 36 | 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 | 31 | 2016 |
| Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor E Ruijters, D Guck, P Drolenga, M Peters, M Stoelinga Quantitative Evaluation of Systems: 13th International Conference, QEST 2016 …, 2016 | 25 | 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 | 23 | 2019 |
| 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, ... Dependable Software Engineering. Theories, Tools, and Applications: Third …, 2017 | 16 | 2017 |
| Better railway engineering through statistical model checking E Ruijters, M Stoelinga Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 14 | 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 | 13 | 2017 |
| The dynamic fault tree rare event simulator CE Budde, E Ruijters, M Stoelinga Quantitative Evaluation of Systems: 17th International Conference, QEST 2020 …, 2020 | 9 | 2020 |
| 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 |
| Tools at the frontiers of quantitative verification: QComp 2023 competition report R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ... | 3 | 2024 |
| 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, ... arXiv preprint arXiv:2405.13583, 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 Twente在 utwente.nl 的电子邮件经过验证
