Enno Ruijters
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2014–2019
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | TACAS | 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, Jan Kretnsk, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz |
| 2019 | TACAS | The Quantitative Verification Benchmark Set. | Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters |
| 2018 | FASE | Effective Analysis of Attack Trees: A Model-Driven Approach. | Rajesh Kumar, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, Marille Stoelinga |
| 2017 | SAFECOMP | Rare Event Simulation for Dynamic Fault Trees. | Enno Ruijters, Danil Reijsbergen, Pieter-Tjerk de Boer, Marille Stoelinga |
| 2017 | SETTA | 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, Stefan Dziwok, Arend Rensink, Marille Stoelinga |
| 2016 | DSN | Reliability-Centered Maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A Practical Experience Report. | Enno Ruijters, Dennis Guck, Martijn van Noort, Marille Stoelinga |
| 2016 | ISoLA | Better Railway Engineering Through Statistical Model Checking. | Enno Ruijters, Marille Stoelinga |
| 2014 | ATVA | Modelling and Analysis of Markov Reward Automata. | Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters, Marille Stoelinga |