Enno Jozef Johannes Ruijters

Modelling and analysis of Markov reward automata (extended version)

Mariëlle Stoelinga, Mark Timmer, Dennis Guck, 2014 .

Zen and the Art of Railway Maintenance: Analysis and Optimization of Maintenance via Fault Trees and Statistical Model Checking

Enno Jozef Johannes Ruijters, 2018 .