Dennis Guck
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2013–2016
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | DSN | Uncovering Dynamic Fault Trees. | Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, 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 | FM | Exploring Model Quality for ACAS X. | Dimitra Giannakopoulou, Dennis Guck, Johann Schumann |
| 2015 | ICFEM | DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper). | Dennis Guck, Jip Spel, Marille Stoelinga |
| 2015 | SAFECOMP | Sequential and Parallel Attack Tree Modelling. | Florian Arnold, Dennis Guck, Rajesh Kumar, Marille Stoelinga |
| 2015 | SETTA | Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -. | Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Marille Stoelinga |
| 2014 | ATVA | Modelling and Analysis of Markov Reward Automata. | Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters, Marille Stoelinga |
| 2013 | SAFECOMP | DFTCalc: A Tool for Efficient Fault Tree Analysis. | Florian Arnold, Axel Belinfante, Freark I. van der Berg, Dennis Guck, Marille Stoelinga |