PhD Thesis

Zen and the Art of Railway Maintenance: Analysis and Optimization of Maintenance via Fault Trees and Statistical Model Checking
University of Twente, Formal Methods and Tools (Faculty of Electrical Engineering, Mathematics, and Computer Science), May 2018.
DOI: 10.3990/1.9789036545228 (PDF, BiBTeX)

Publications

Rajesh Kumar ORCID logo, Stefano Schivo ORCID logo, Enno Ruijters ORCID logo, Buğra M. Yildiz, David Huistra, Jacco Brandt, Arend Rensink ORCID logo, and Mariëlle Stoelinga ORCID logo (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 Sciene 10802 pp. 56–73. DOI: 10.1007/978-3-319-89363-1_4 (PDF, BiBTeX).
Stefano Schivo ORCID logo, Buğra M. Yildiz, Enno Ruijters ORCID logo, Christopher Gerking, Rajesh Kumar ORCID logo, Stefan Dziwok, Arend Rensink ORCID logo, and Mariëlle Stoelinga ORCID logo (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 ORCID logo, Daniël Reijsbergen, Pieter-Tjerk de Boer, and Mariëlle Stoelinga ORCID logo (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 ORCID logo, Stefano Schivo ORCID logo, Mariëlle Stoelinga ORCID logo, and Arend Rensink ORCID logo (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 ORCID logo and Mariëlle Stoelinga ORCID logo (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 ORCID logo, Dennis Guck, Peter Drolenga, Margot Peters, and Mariëlle Stoelinga ORCID logo (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 ORCID logo, Dennis Guck, Martijn van Noort, and Mariëlle Stoelinga ORCID logo (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 ORCID logo, Dennis Guck, Peter Drolenga, and Mariëlle Stoelinga ORCID logo (2016) Fault maintenance trees: reliability contered 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 ORCID logo, Enno Ruijters ORCID logo, and Mariëlle Stoelinga ORCID logo (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 ORCID logo and Mariëlle Stoelinga ORCID logo (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 ORCID logo and Mariëlle Stoelinga ORCID logo (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 (ORCID logohttps://orcid.org/0000-0002-5855-5282)

Master's Thesis

Model-Checking Markov Chains using Interval Arithmetic
Maastricht University, Department of Knowledge Engineering, August 2013
(PDF, BiBTeX)

Given talks


Supervised students



Posters



Research visits


Events