Dennis Guck

According to our database, Dennis Guck authored at least 16 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Reliable systems: fault tree analysis via Markov reward automata.

Dennis Guck

PhD thesis, 2017

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

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

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Exploring Model Quality for ACAS X.

Dimitra Giannakopoulou, Dennis Guck, Johann Schumann

Proceedings of the FM 2016: Formal Methods, 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

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

Uncovering Dynamic Fault Trees.

Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Mariëlle Stoelinga

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

2015

Time Dependent Analysis with Dynamic Counter Measure Trees.

Rajesh Kumar, Dennis Guck, Mariëlle Stoelinga

CoRR, 2015

Sequential and Parallel Attack Tree Modelling.

Florian Arnold, Dennis Guck, Rajesh Kumar, Mariëlle Stoelinga

Proceedings of the Computer Safety, Reliability, and Security, 2015

DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper).

Dennis Guck, Jip Spel, Mariëlle Stoelinga

Proceedings of the Formal Methods and Software Engineering, 2015

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

Modelling and Analysis of Markov Reward Automata.

Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters, Mariëlle Stoelinga

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Modelling, Reduction and Analysis of Markov Automata (extended version)

Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer

CoRR, 2013

DFTCalc: A Tool for Efficient Fault Tree Analysis.

Florian Arnold, Axel Belinfante, Freark I. van der Berg, Dennis Guck, Mariëlle Stoelinga

Proceedings of the Computer Safety, Reliability, and Security, 2013

Modelling, Reduction and Analysis of Markov Automata.

Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

2012

A Tutorial on Interactive Markov Chains.

Florian Arnold, Daniel Gebler, Dennis Guck, Hassan Hatefi

Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012

Quantitative Timed Analysis of Interactive Markov Chains.

Dennis Guck, Tingting Han, Joost-Pieter Katoen, Martin R. Neuhäußer

Proceedings of the NASA Formal Methods, 2012