Seguir
Enno Ruijters
Enno Ruijters
Dirección de correo verificada de utwente.nl - Página principal
Título
Citado por
Citado por
Año
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
8322015
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
952015
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
792019
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
622019
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
512017
Fault maintenance trees: reliability centered maintenance via statistical model checking
E Ruijters, D Guck, P Drolenga
2016 Annual Reliability and Maintainability Symposium (RAMS), 2016
482016
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
462014
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
372018
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
312016
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
252016
FFORT: A benchmark suite for fault tree analysis
E Ruijters, CE Budde, MC Nakhaee, MIA Stoelinga, D Bucur, D Hiemstra, ...
Singapore: Research Publishing, 2019
242019
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
162017
Better railway engineering through statistical model checking
E Ruijters, M Stoelinga
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
142016
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
132017
The dynamic fault tree rare event simulator
CE Budde, E Ruijters, M Stoelinga
Quantitative Evaluation of Systems: 17th International Conference, QEST 2020 …, 2020
92020
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
52014
Tools at the frontiers of quantitative verification: QComp 2023 competition report
R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ...
32024
Zen and the Art of Railway Maintenance: Analysis and Optimization of Maintenance via Fault Trees and Statistical Model Checking
EJJ Ruijters
22018
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20