Enno Ruijters

16 papers A 1B 3Misc 1Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2026 — book
Concise Guide to Fault Tree Analysis - Models, Methods and Algorithms
Mariëlle Stoelinga, Enno Ruijters, Pavel Krcál
2024 J jnl
Tools at the Frontiers of Quantitative Verification.
CoRR
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2023 — conf
Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report.
TOOLympics@ETAPS
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2020 — conf
The Dynamic Fault Tree Rare Event Simulator.
QEST
Carlos E. Budde, Enno Ruijters, Mariëlle Stoelinga
2019 J jnl
Rare event simulation for dynamic fault trees.
Reliab. Eng. Syst. Saf.
Enno Ruijters, Daniël Reijsbergen, Pieter-Tjerk de Boer, Mariëlle Stoelinga
2019 — conf
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report).
TACAS (3)
Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz
2019 — conf
The Quantitative Verification Benchmark Set.
TACAS (1)
Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters
2018 B conf
Effective Analysis of Attack Trees: A Model-Driven Approach.
FASE
Rajesh Kumar, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, Mariëlle Stoelinga
2017 Misc conf
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.
SETTA
Stefano Schivo, Bugra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, Mariëlle Stoelinga
2017 B conf
Rare Event Simulation for Dynamic Fault Trees.
SAFECOMP
Enno Ruijters, Daniël Reijsbergen, Pieter-Tjerk de Boer, Mariëlle Stoelinga
2016 — conf
Better Railway Engineering Through Statistical Model Checking.
ISoLA (1)
Enno Ruijters, Mariëlle Stoelinga
2016 — conf
Maintenance Analysis and Optimization via Statistical Model Checking - Evaluating a Train Pneumatic Compressor.
QEST
Enno Ruijters, Dennis Guck, Peter Drolenga, Margot Peters, Mariëlle Stoelinga
2016 A conf
Reliability-Centered Maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A Practical Experience Report.
DSN
Enno Ruijters, Dennis Guck, Martijn van Noort, Mariëlle Stoelinga
2015 J jnl
Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools.
Comput. Sci. Rev.
Enno Ruijters, Mariëlle Stoelinga
2015 — conf
Quantitative Attack Tree Analysis via Priced Timed Automata.
FORMATS
Rajesh Kumar, Enno Ruijters, Mariëlle Stoelinga
2014 B conf
Modelling and Analysis of Markov Reward Automata.
ATVA
Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters, Mariëlle Stoelinga