Dennis Guck

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