Dennis Guck

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 9

Top Venues

CoRR

DSN

QEST

SETTA

University of Twente, Enschede, Netherlands (PHD)

Education History

University of Twente, Enschede, Netherlands

PHD

Publications

Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga
Fault trees on a diet: automated reduction by graph rewriting. Formal Aspects Comput. 29 (4) (2017)
Enno Ruijters, Dennis Guck, Martijn van Noort, Mariëlle Stoelinga
Reliability-Centered Maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A Practical Experience Report. DSN (2016)
Dimitra Giannakopoulou, Dennis Guck, Johann Schumann
Exploring Model Quality for ACAS X. FM (2016)
Enno Ruijters, Dennis Guck, Peter Drolenga, Margot Peters, Mariëlle Stoelinga
Maintenance Analysis and Optimization via Statistical Model Checking - Evaluating a Train Pneumatic Compressor. QEST (2016)
Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Mariëlle Stoelinga
Uncovering Dynamic Fault Trees. DSN (2016)
Florian Arnold, Dennis Guck, Rajesh Kumar, Mariëlle Stoelinga
Sequential and Parallel Attack Tree Modelling. SAFECOMP Workshops (2015)
Rajesh Kumar, Dennis Guck, Mariëlle Stoelinga
Time Dependent Analysis with Dynamic Counter Measure Trees. CoRR (2015)
Dennis Guck, Jip Spel, Mariëlle Stoelinga
DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper). ICFEM (2015)
Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga
Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -. SETTA (2015)
Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters, Mariëlle Stoelinga
Modelling and Analysis of Markov Reward Automata. ATVA (2014)
Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer
Analysis of Timed and Long-Run Objectives for Markov Automata. Log. Methods Comput. Sci. 10 (3) (2014)
Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer
Modelling, Reduction and Analysis of Markov Automata (extended version) CoRR (2013)
Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer
Modelling, Reduction and Analysis of Markov Automata. QEST (2013)
Florian Arnold, Axel Belinfante, Freark I. van der Berg, Dennis Guck, Mariëlle Stoelinga
DFTCalc: A Tool for Efficient Fault Tree Analysis. SAFECOMP (2013)
Florian Arnold, Daniel Gebler, Dennis Guck, Hassan Hatefi
A Tutorial on Interactive Markov Chains. ROCKS (2012)
Dennis Guck, Tingting Han, Joost-Pieter Katoen, Martin R. Neuhäußer
Quantitative Timed Analysis of Interactive Markov Chains. NASA Formal Methods (2012)

Dennis Guck.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dennis Guck