Modelling and Analysis of Markov Reward Automata. - Dennis Guck; Mark Timmer; Hassan Hatefi; Enno Ruijters; Mariëlle Stoelinga (ATVA, 2014)

Quantitative Attack Tree Analysis via Priced Timed Automata. - Rajesh Kumar 012; Enno Ruijters; Mariëlle Stoelinga (FORMATS, 2015)

Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools. - Enno Ruijters; Mariëlle Stoelinga (Comput. Sci. Rev., 2015)

Reliability-Centered Maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A Practical Experience Report. - Enno Ruijters; Dennis Guck; Martijn van Noort; Mariëlle Stoelinga (DSN, 2016)

Better Railway Engineering Through Statistical Model Checking. - Enno Ruijters; Mariëlle Stoelinga (ISoLA (1), 2016)

Maintenance Analysis and Optimization via Statistical Model Checking - Evaluating a Train Pneumatic Compressor. - Enno Ruijters; Dennis Guck; Peter Drolenga; Margot Peters; Mariëlle Stoelinga (QEST, 2016)

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. - Stefano Schivo; Bugra M. Yildiz; Enno Ruijters; Christopher Gerking; Rajesh Kumar 012; Stefan Dziwok; Arend Rensink; Mariëlle Stoelinga (SETTA, 2017)

Effective Analysis of Attack Trees: A Model-Driven Approach. - Rajesh Kumar 012; Stefano Schivo; Enno Ruijters; Bugra Mehmet Yildiz; David Huistra; Jacco Brandt; Arend Rensink; Mariëlle Stoelinga (FASE, 2018)

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 001; Jan Kretínský; David Parker 001; Tim Quatmann; Enno Ruijters; Marcel Steinmetz (TACAS (3), 2019)

The Quantitative Verification Benchmark Set. - Arnd Hartmanns; Michaela Klauck; David Parker 001; Tim Quatmann; Enno Ruijters (TACAS (1), 2019)

Rare event simulation for dynamic fault trees. - Enno Ruijters; Daniël Reijsbergen; Pieter-Tjerk de Boer; Mariëlle Stoelinga (Reliab. Eng. Syst. Saf., 2019)

The Dynamic Fault Tree Rare Event Simulator. - Carlos E. Budde; Enno Ruijters; Mariëlle Stoelinga (QEST, 2020)

Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report. - Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Ceska 002; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen 001; Joshua Jeppson; Sebastian Junges; Maximilian A. Köhl; et al. (TOOLympics@ETAPS, 2023)

Tools at the Frontiers of Quantitative Verification. - Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Ceska 002; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen 001; Joshua Jeppson; Sebastian Junges; Maximilian A. Köhl; et al. (CoRR, 2024)