Enno Ruijters
PhD Thesis
Zen and the Art of Railway Maintenance: Analysis and Optimization of Maintenance via Fault Trees and Statistical Model CheckingUniversity of Twente, Formal Methods and Tools (Faculty of Electrical Engineering, Mathematics, and Computer Science), May 2018.
DOI: 10.3990/1.9789036545228 (PDF, BiBTeX)
Publications
Roman Andriushchenko 
,
Alexander Bork ,
Carlos E. Budde ,
Milan Češka ,
Kush Grover ,
Ernst Moritz Hahn ,
Arnd Hartmanns ,
Bryant Israelsen ,
Nils Jansen ,
Joshua Jeppson ,
Sebastian Junges ,
Maximilian A. Köhl ,
Bettina Könighofer ,
Jan Křetínský ,
Tobias Meggendorfer ,
David Parker ,
Stefan Pranger ,
Tim Quatmann ,
Enno Ruijters ,
Landon Taylor ,
Matthias Volk ,
Maximilian Weininger ,
and
Zhen Zhang
(2024)
Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report.
In: Proceedings of the TOOLympics Challenge 2023. Lecture Notes in Computer Science
14550 pp. 90–146. DOI: 10.1007/978-3-031-67695-6_4
(PDF, BiBTeX).
,
Alexander Bork ,
Carlos E. Budde ,
Milan Češka ,
Kush Grover ,
Ernst Moritz Hahn ,
Arnd Hartmanns ,
Bryant Israelsen ,
Nils Jansen ,
Joshua Jeppson ,
Sebastian Junges ,
Maximilian A. Köhl ,
Bettina Könighofer ,
Jan Křetínský ,
Tobias Meggendorfer ,
David Parker ,
Stefan Pranger ,
Tim Quatmann ,
Enno Ruijters ,
Landon Taylor ,
Matthias Volk ,
Maximilian Weininger ,
and
Zhen Zhang
(2024)
Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report.
In: Proceedings of the TOOLympics Challenge 2023. Lecture Notes in Computer Science
14550 pp. 90–146. DOI: 10.1007/978-3-031-67695-6_4
(PDF, BiBTeX).
Carlos E. Budde ,
Enno Ruijters ,
and
Mariëlle Stoelinga
(2020)
The Dynamic Fault Tree Rare Event Simulator.
In: Proceedings of the 17th International Conference on Quantitative
Evaluation of SysTems (QEST 2020). Lecture Notes in Computer Science
12289 pp. 233–238. DOI: 10.1007/978-3-030-59854-9_17
(PDF, BiBTeX).
Winner of the Best Short Paper award.
,
Enno Ruijters ,
and
Mariëlle Stoelinga
(2020)
The Dynamic Fault Tree Rare Event Simulator.
In: Proceedings of the 17th International Conference on Quantitative
Evaluation of SysTems (QEST 2020). Lecture Notes in Computer Science
12289 pp. 233–238. DOI: 10.1007/978-3-030-59854-9_17
(PDF, BiBTeX).
Winner of the Best Short Paper award.
Erratum
Due to a technical issue at the 4TU.Center for Research Data, the citation of the experiment replication package has been changed after original publication. The versions at the DOI and PDF links above refer to the corrected version. The official correction notice is available here, and the original preprint here.
Enno Ruijters ,
Carlos E. Budde ,
Muhammad Chenariyan Nakhaee,
Mariëlle Stoelinga ,
Doina Bucur,
Djoerd Hiemstra ,
and
Stefano Schivo
(2019)
FFORT: A benchmark suite for fault tree analysis.
In: Proceedings of the 29th European Safety and Reliability Conference (ESREL) pp. 878–885. DOI: 10.3850/978-981-11-2724-3_0641-cd (PDF, BiBTeX).
,
Carlos E. Budde ,
Muhammad Chenariyan Nakhaee,
Mariëlle Stoelinga ,
Doina Bucur,
Djoerd Hiemstra ,
and
Stefano Schivo
(2019)
FFORT: A benchmark suite for fault tree analysis.
In: Proceedings of the 29th European Safety and Reliability Conference (ESREL) pp. 878–885. DOI: 10.3850/978-981-11-2724-3_0641-cd (PDF, BiBTeX).
Ernst Moritz Hahn ,
Arnd Hartmanns ,
Christian Hensel,
Michaela Klauck,
Joachim Klein ,
Jan Křetínský ,
David Parker ,
Tim Quatmann ,
Enno Ruijters ,
and
Marcel Steinmetz
(2019)
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models.
In: Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Lecture Notes in Computer Science 11429 pp. 69–92. DOI: 10.1007/978-3-030-17502-3_5 (PDF, BiBTeX).
,
Arnd Hartmanns ,
Christian Hensel,
Michaela Klauck,
Joachim Klein ,
Jan Křetínský ,
David Parker ,
Tim Quatmann ,
Enno Ruijters ,
and
Marcel Steinmetz
(2019)
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models.
In: Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Lecture Notes in Computer Science 11429 pp. 69–92. DOI: 10.1007/978-3-030-17502-3_5 (PDF, BiBTeX).
Arnd Hartmanns ,
Michaela Klauck,
David Parker ,
Tim Quatmann ,
and
Enno Ruijters
(2019)
The Quantitative Verification Benchmark Set.
In: Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Lecture Notes in Computer Science 11427 pp. 344–350. DOI: 10.1007/978-3-030-17462-0_20 (PDF, BiBTeX).
,
Michaela Klauck,
David Parker ,
Tim Quatmann ,
and
Enno Ruijters
(2019)
The Quantitative Verification Benchmark Set.
In: Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Lecture Notes in Computer Science 11427 pp. 344–350. DOI: 10.1007/978-3-030-17462-0_20 (PDF, BiBTeX).
Enno Ruijters ,
Daniël Reijsbergen,
Pieter-Tjerk de Boer, and
Mariëlle Stoelinga
(2019)
Rare Event Simulation for Dynamic Fault Trees.
Reliability Engineering and System Safety 186, pp. 220–231. DOI:
10.1016/j.ress.2019.02.004
(PDF, BiBTeX).
,
Daniël Reijsbergen,
Pieter-Tjerk de Boer, and
Mariëlle Stoelinga
(2019)
Rare Event Simulation for Dynamic Fault Trees.
Reliability Engineering and System Safety 186, pp. 220–231. DOI:
10.1016/j.ress.2019.02.004
(PDF, BiBTeX).
Rajesh Kumar ,
Stefano Schivo ,
Enno Ruijters ,
Buğra M. Yildiz,
David Huistra,
Jacco Brandt,
Arend Rensink , and
Mariëlle Stoelinga
(2018)
Effective Analysis of Attack Trees: a Model-Driven Approach.
In: Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE 2018). Lecture Notes in Computer Science 10802 pp. 56–73. DOI: 10.1007/978-3-319-89363-1_4 (PDF, BiBTeX).
,
Stefano Schivo ,
Enno Ruijters ,
Buğra M. Yildiz,
David Huistra,
Jacco Brandt,
Arend Rensink , and
Mariëlle Stoelinga
(2018)
Effective Analysis of Attack Trees: a Model-Driven Approach.
In: Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE 2018). Lecture Notes in Computer Science 10802 pp. 56–73. DOI: 10.1007/978-3-319-89363-1_4 (PDF, BiBTeX).
Stefano Schivo ,
Buğra M. Yildiz,
Enno Ruijters ,
Christopher Gerking,
Rajesh Kumar ,
Stefan Dziwok,
Arend Rensink , and
Mariëlle Stoelinga
(2017)
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.
In: Proceedings of the Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017). Lecture Notes in Computer Science 10606 pp. 319–336. DOI: 10.1007/978-3-319-69483-2_19 (PDF, BiBTeX).
,
Buğra M. Yildiz,
Enno Ruijters ,
Christopher Gerking,
Rajesh Kumar ,
Stefan Dziwok,
Arend Rensink , and
Mariëlle Stoelinga
(2017)
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.
In: Proceedings of the Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017). Lecture Notes in Computer Science 10606 pp. 319–336. DOI: 10.1007/978-3-319-69483-2_19 (PDF, BiBTeX).
Enno Ruijters ,
Daniël Reijsbergen,
Pieter-Tjerk de Boer, and
Mariëlle Stoelinga
(2017)
Rare Event Simulation for Dynamic Fault Trees.
In: Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2017). Lecture Notes in Computer Science 10488 pp. 20–35. DOI: 10.1007/978-3-319-66266-4_2 (PDF, BiBTeX, Presentation).
,
Daniël Reijsbergen,
Pieter-Tjerk de Boer, and
Mariëlle Stoelinga
(2017)
Rare Event Simulation for Dynamic Fault Trees.
In: Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2017). Lecture Notes in Computer Science 10488 pp. 20–35. DOI: 10.1007/978-3-319-66266-4_2 (PDF, BiBTeX, Presentation).
Enno Ruijters ,
Stefano Schivo ,
Mariëlle Stoelinga , and
Arend Rensink
(2017)
Uniform Analysis of Fault Trees through Model Transformations.
In: Proceedings of the IEEE 63rd Annual Reliability and Maintainability Symposium (RAMS 2017). DOI: 10.1109/RAM.2017.7889759
(PDF, BiBTeX, Presentation)
,
Stefano Schivo ,
Mariëlle Stoelinga , and
Arend Rensink
(2017)
Uniform Analysis of Fault Trees through Model Transformations.
In: Proceedings of the IEEE 63rd Annual Reliability and Maintainability Symposium (RAMS 2017). DOI: 10.1109/RAM.2017.7889759
(PDF, BiBTeX, Presentation)
Enno Ruijters
and
Mariëlle Stoelinga
(2016)
Better railway engineering through statistical model checking.
In: Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016). Lecture Notes in Computer Science 9952 pp. 151–165. DOI: 10.1007/978-3-319-47166-2_10
(PDF, BiBTeX, Presentation)
and
Mariëlle Stoelinga
(2016)
Better railway engineering through statistical model checking.
In: Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016). Lecture Notes in Computer Science 9952 pp. 151–165. DOI: 10.1007/978-3-319-47166-2_10
(PDF, BiBTeX, Presentation)
Enno Ruijters ,
Dennis Guck,
Peter Drolenga,
Margot Peters, and
Mariëlle Stoelinga
(2016)
Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor.
In: Proceedings of the 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016). Lecture Notes in Computer Science 9826 pp. 331–347. DOI: 10.1007/978-3-319-43425-4_22
(PDF, BiBTeX, Presentation)
,
Dennis Guck,
Peter Drolenga,
Margot Peters, and
Mariëlle Stoelinga
(2016)
Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor.
In: Proceedings of the 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016). Lecture Notes in Computer Science 9826 pp. 331–347. DOI: 10.1007/978-3-319-43425-4_22
(PDF, BiBTeX, Presentation)
Enno Ruijters ,
Dennis Guck,
Martijn van Noort, and
Mariëlle Stoelinga
(2016)
Reliability-centered maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A practical experience report.
In: Proceedings of the 46th annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016), pp. 662–669. DOI: 10.1109/DSN.2016.67
(PDF, BiBTeX, Presentation)
,
Dennis Guck,
Martijn van Noort, and
Mariëlle Stoelinga
(2016)
Reliability-centered maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A practical experience report.
In: Proceedings of the 46th annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016), pp. 662–669. DOI: 10.1109/DSN.2016.67
(PDF, BiBTeX, Presentation)
Enno Ruijters ,
Dennis Guck,
Peter Drolenga, and
Mariëlle Stoelinga
(2016)
Fault maintenance trees: reliability centered maintenance via statistical model checking.
In: Proceedings of the IEEE 62nd Annual Reliability and Maintainability Symposium (RAMS 2016). DOI: 10.1109/RAMS.2016.7447986
(PDF, BiBTeX)
,
Dennis Guck,
Peter Drolenga, and
Mariëlle Stoelinga
(2016)
Fault maintenance trees: reliability centered maintenance via statistical model checking.
In: Proceedings of the IEEE 62nd Annual Reliability and Maintainability Symposium (RAMS 2016). DOI: 10.1109/RAMS.2016.7447986
(PDF, BiBTeX)
Rajesh Kumar ,
Enno Ruijters , and
Mariëlle Stoelinga
(2015)
Quantitative Attack Tree Analysis via Priced Timed Automata.
In: Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2015). Lecture Notes in Computer Science 9268 pp. 156–171. DOI: 10.1007/978-3-319-22975-1_11 (PDF, BiBTeX)
,
Enno Ruijters , and
Mariëlle Stoelinga
(2015)
Quantitative Attack Tree Analysis via Priced Timed Automata.
In: Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2015). Lecture Notes in Computer Science 9268 pp. 156–171. DOI: 10.1007/978-3-319-22975-1_11 (PDF, BiBTeX)
Enno Ruijters and
Mariëlle Stoelinga
(2015)
Fault tree Analysis: A survey of the state-of-the-art in modeling, analysis and tools.
Computer Science Review 15–16, pp. 29–62. DOI: 10.1016/j.cosrev.2015.03.001
(PDF, BiBTeX)
and
Mariëlle Stoelinga
(2015)
Fault tree Analysis: A survey of the state-of-the-art in modeling, analysis and tools.
Computer Science Review 15–16, pp. 29–62. DOI: 10.1016/j.cosrev.2015.03.001
(PDF, BiBTeX)
Dennis Guck,
Mark Timmer,
Hassan Hatefi,
Enno Ruijters and
Mariëlle Stoelinga
(2014)
Modelling and Analysis of Markov Reward Automata..
In: Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis (ATVA 2014). Lecture Notes in Computer Science 8837 pp. 168–184. DOI: 10.1007/978-3-319-11936-6_13 (PDF, BiBTeX)
and
Mariëlle Stoelinga
(2014)
Modelling and Analysis of Markov Reward Automata..
In: Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis (ATVA 2014). Lecture Notes in Computer Science 8837 pp. 168–184. DOI: 10.1007/978-3-319-11936-6_13 (PDF, BiBTeX)
All publications ( https://orcid.org/0000-0002-5855-5282)
Master's Thesis
Model-Checking Markov Chains using Interval ArithmeticMaastricht University, Department of Knowledge Engineering, August 2013
(PDF, BiBTeX)
Given talks
- Importance Sampling for Dynamic Fault Trees. ROCKS meeting 2018, Freising, Germany. October 2018. (Slides)
- Risk Happens – and formal methods can help. CuriousU 2018 Summer School, Enschede, The Netherlands. August 2018. (Slides)
- Efficient Domain-Specific Tool Development for UPPAAL via Model-Driven Engineering. ROCKS meeting 2017, Münster, Germany. September 2017. (Slides)
- Rare Event Simulation for Dynamic Fault Trees. International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2017), Trento, Italy. September 2017. (Slides, Paper)
- Reliability-centered maintenance via fault tree analysis: Combining fault trees, maintenance, and statistical model checking. FBK, Trento, Italy. March 2017. (Slides)
- Uniform analysis of fault trees through model transformations. IEEE Reliability and Maintainability Symposium (RAMS), Orlando, Florida, United States. January 2017. (Slides, Paper)
- Uniform analysis of fault trees through model transformations. Lunchcolloquium FMT, University of Twente, The Netherlands. November 2016. (Slides)
- Better railway engineering through statistical model checking. ISoLA, Corfu, Greece. October 2016. (Slides, Paper)
- Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor. QEST, Quebec, Canada. August 2016. (Slides, Paper)
- Reliability-centered maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A practical experience report. DSN, Toulouse, France, July 2016. (Slides, Paper)
- Reliability-centered maintenance via fault tree analysis: Combining fault trees, maintenance, and statistical model checking. QAPL, Eindhoven, The Netherlands. April 2016. (Slides)
- DFTCalc: A tool for Advanced Reliability, Availability, Maintenance and Safety analysis. Formal Methods Forum, Toulouse, France. January 2016. (Slides)
- Fault Maintenance Trees: Combining fault trees, maintenance, and stochastic model checking. Dagstuhl seminar on Formal Evaluation of Critical Infrastructures, Wadern, Germany. December 2015. (Slides)
- The State of the Art in Fault Tree Modeling and Analysis. IPA Fall days, Oirsterwijk, The Netherlands, November 2014. (Slides)
- The State of the Art in Fault Tree Modeling and Analysis. Colloquium, RWTH Aachen, Germany, October 2014. (Slides)
- Fault Tree Analysis: State of the Art of Modeling and Analysis. Lunchmeeting FMT, University of Twente, The Netherlands, August 2014. (Slides)
Supervised students
- Lindsay Kempen, A Fair Grade: Assessing Difficulty of Climbing Routes through Machine Learning (2019). Bachelor's thesis.
- Tycho Braams, Modeling Degradation of Physical Objects in Fault Maintenance Trees (2018). Bachelor's thesis.
- Dennis Aanstoot, Fault Tree Analysis using Sylvan (multi-core BDDs) (2016). Bachelor's thesis.
- Bart van den Pol, Slimme Semantiek voor Onderhoud in Foutbomen (2016). Bachelor's thesis.
- David Stritzl, Statistical Analysis of Continuous Degradation Processes in Fault Trees (2016). Bachelor's thesis.
Posters
- ArRangeer: Smart railroad maintenance via stochastic model checking. ExploRail meeting, May 2016 (PDF).
- ArRangeer: Smart railroad maintenance via stochastic model checking. ExploRail meeting, April 2014 (PDF).
Research visits
- 3 March–15 June 2017: Fondazione Bruno Kessler, Embedded Systems Group. Trento, Italy.
Events
- Co-organisor of the Risk Management track of the CuriousU summer school. Enschede, The Netherlands, August 2018.
- Co-organisor of the Risk Management track of the CuriousU summer school. Enschede, The Netherlands, August 2017.
- 4th International School on Tool-based Rigorous Engineering of Software Systems (STRESS 2016). Corfu, Greece, October 2016.
- Markoberdorf summer school on Verification and Synthesis of Correct and Secure Systems. Markoberdorf, Germany, August 2015.
- 1st EATCS Young Researchers School; Automata, Logic and Games. Telč, Czech Republic, July 2014.