Concepedia

Dennis Guck

DG

6

Publications

194

Citations

6

H-Index

2014

Active since

Affiliations

University of Twente(Current)

RWTH Aachen University

Dennis Guck is an author at University of Twente specializing in systems engineering, computer science, and engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringReliabilityData ScienceFormal MethodsSystem ReliabilityDynamic ReliabilityFormal VerificationSoftware Maintenance

Publications per year

2014–2017

6

Publications

6

Uncovering Dynamic Fault Trees

Sebastian Junges, Dennis Guck, Joost-Pieter Katoen et al. · 2016 · 51 citations · Full text

Software Maintenance, Fault Tree Analysis, Engineering +23

Fault maintenance trees: Reliability centered maintenance via statistical model checking

Enno Ruijters, Dennis Guck, Peter Drolenga et al. · 2016 · 41 citations · Full text

Software Maintenance, Engineering, Industrial Engineering +23

Analysis of Timed and Long-Run Objectives for Markov Automata

Dennis Guck, Hassan Hatefi, Holger Hermanns et al. · Logical Methods in Computer Science · 2014 · 33 citations · Full text

Engineering, Reachability Problem, Formal Verification +16

Reliability-Centered Maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A Practical Experience Report

Enno Ruijters, Dennis Guck, Martijn van Noort et al. · 2016 · 24 citations

Software Maintenance, Fault Tree Analysis, Engineering +27

Smart Railroad Maintenance Engineering with Stochastic Model Checking

Dennis Guck, Joost-Pieter Katoen, Mariëlle Stoelinga et al. · Civil-comp proceedings · 2014 · 23 citations · Full text

Rows per page

1–5 of 6