Quantitative Timed Analysis of Interactive Markov Chains. - Dennis Guck; Tingting Han 001; Joost-Pieter Katoen; Martin R. Neuhäußer (NASA Formal Methods, 2012)

A Tutorial on Interactive Markov Chains. - Florian Arnold; Daniel Gebler; Dennis Guck; Hassan Hatefi (ROCKS, 2012)

Modelling, Reduction and Analysis of Markov Automata. - Dennis Guck; Hassan Hatefi; Holger Hermanns; Joost-Pieter Katoen; Mark Timmer (QEST, 2013)

DFTCalc: A Tool for Efficient Fault Tree Analysis. - Florian Arnold; Axel Belinfante; Freark I. van der Berg; Dennis Guck; Mariëlle Stoelinga (SAFECOMP, 2013)

Modelling, Reduction and Analysis of Markov Automata (extended version) - Dennis Guck; Hassan Hatefi; Holger Hermanns; Joost-Pieter Katoen; Mark Timmer (CoRR, 2013)

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

Analysis of Timed and Long-Run Objectives for Markov Automata. - Dennis Guck; Hassan Hatefi; Holger Hermanns; Joost-Pieter Katoen; Mark Timmer (Log. Methods Comput. Sci., 2014)

DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper). - Dennis Guck; Jip Spel; Mariëlle Stoelinga (ICFEM, 2015)

Sequential and Parallel Attack Tree Modelling. - Florian Arnold; Dennis Guck; Rajesh Kumar 012; Mariëlle Stoelinga (SAFECOMP Workshops, 2015)

Time Dependent Analysis with Dynamic Counter Measure Trees. - Rajesh Kumar 012; Dennis Guck; Mariëlle Stoelinga (CoRR, 2015)

Uncovering Dynamic Fault Trees. - Sebastian Junges; Dennis Guck; Joost-Pieter Katoen; Mariëlle Stoelinga (DSN, 2016)

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)

Exploring Model Quality for ACAS X. - Dimitra Giannakopoulou; Dennis Guck; Johann Schumann (FM, 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)

Fault trees on a diet: automated reduction by graph rewriting. - Sebastian Junges; Dennis Guck; Joost-Pieter Katoen; Arend Rensink; Mariëlle Stoelinga (Formal Aspects Comput., 2017)

Reliable systems: fault tree analysis via Markov reward automata. - Dennis Guck (2017)