Enno Ruijters - Google Scholar

Cited by

	All	Since 2015
Citations	545	535
h-index	11	11
i10-index	11	11

200

100

150

20142015201620172018201920208 12 58 77 116 183 87

Co-authors

Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
Dennis GuckTWT GmbHVerified email at twt-gmbh.de
Rajesh KumarAssistant Professor, BITS-PilaniVerified email at pilani.bits-pilani.ac.in
Stefano SchivoOpen University - NLVerified email at ou.nl
Arend RensinkProfessor in Computer Science, University of TwenteVerified email at utwente.nl
Arnd HartmannsUniversity of TwenteVerified email at utwente.nl
David ParkerProfessor of Computer Science, University of BirminghamVerified email at cs.bham.ac.uk
Tim QuatmannPhD Student at RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Michaela KlauckSaarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Mark TimmerLecturer in Mathematics Education, University of Twente, The NetherlandsVerified email at utwente.nl
Joachim KleinTU Dresden (formerly)Verified email at automata.tools
Pieter-Tjerk de BoerAssistant professor, University of TwenteVerified email at utwente.nl
Daniël ReijsbergenSingapore University of Technology and DesignVerified email at sutd.edu.sg
Jan KřetínskýTechnical University of Munich (tenure-track assistant professor)Verified email at fi.muni.cz
Christopher GerkingPaderborn UniversityVerified email at upb.de
Djoerd HiemstraRadboud UniversityVerified email at cs.ru.nl
Muhammad Chenariyan NakhaeeUniversity of TwenteVerified email at utwente.nl
Doina BucurUniversity of TwenteVerified email at utwente.nl

Enno Ruijters

Universiteit Twente

Verified email at utwente.nl - Homepage

Model Checking Reliability Engineering


Title Sort by citations Sort by year Sort by 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	317	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	42	2015
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	36	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	28	2016
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	18	2017
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	18	2016
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	16	2019
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	13	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	12	2019
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	12	2018
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	11	2017
Better railway engineering through statistical model checking E Ruijters, M Stoelinga International Symposium on Leveraging Applications of Formal Methods, 151-165, 2016	9	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	7	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
FFORT: A benchmark suite for fault tree analysis E Ruijters, CE Budde, MC Nakhaee, MIA Stoelinga, D Bucur, D Hiemstra, ... Singapore: Research Publishing, 2019	1	2019
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–17

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors