E
Enno Jozef Johannes Ruijters
Researcher at University of Twente
Publications - 20
Citations - 1250
Enno Jozef Johannes Ruijters is an academic researcher from University of Twente. The author has contributed to research in topics: Fault tree analysis & Dependability. The author has an hindex of 12, co-authored 20 publications receiving 1027 citations.
Papers
More filters
Journal ArticleDOI
Fault tree analysis
TL;DR: Fault tree analysis (FTA) is a very prominent method to analyze the risks related to safety and economically critical assets, like power plants, airplanes, data centers and web shops as mentioned in this paper.
Journal Article
Fault Tree Analysis : A survey of the state-of-the-art in modeling, analysis and tools
TL;DR: This paper surveys over 150 papers on fault tree analysis, providing an in-depth overview of the state-of-the-art in FTA, including standard fault trees, as well as extensions such as dynamic FT, repairable FT, and extended FT.
Book ChapterDOI
Quantitative attack tree analysis via priced timed automata
TL;DR: In this article, the authors consider attack trees, one of the most prominent security formalisms for threat analysis, and compute the resources needed for a successful attack, as well as the associated attack paths.
Book ChapterDOI
The Quantitative Verification Benchmark Set
TL;DR: An extensive collection of quantitative models to facilitate the development, comparison, and benchmarking of new verification algorithms and tools, and archives detailed tool performance data for each model, enabling immediate comparisons between tools and among tool versions over time.
Book ChapterDOI
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: (QComp 2019 Competition Report)
Ernst Moritz Hahn,Arnd Hartmanns,Christian Hensel,Michaela Klauck,Joachim Klein,Jan Kretínský,David Parker,Tim Quatmann,Enno Jozef Johannes Ruijters,Marcel Steinmetz +9 more
TL;DR: The challenges in setting up a quantitative verification competition are reported, the results of QComp 2019 are presented, the lessons learned are summarised, and an outlook on the features of the next edition ofQComp is provided.