Publications

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).
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).
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)
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)
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)
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)
Enno Ruijters, Dennis Guck, Peter Drolenga, and Mariëlle Stoelinga (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, 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)
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)
All publications

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