Follow
Dennis Guck
Dennis Guck
TWT GmbH
Verified email at twt-gmbh.de - Homepage
Title
Cited by
Cited by
Year
DFTCalc: A Tool for Efficient Fault Tree Analysis
F Arnold, A Belinfante, F Van der Berg, D Guck, M Stoelinga
Computer Safety, Reliability, and Security: 32nd International Conference …, 2013
762013
Quantitative timed analysis of interactive Markov chains
D Guck, T Han, JP Katoen, M Neuhäußer
NASA Formal Methods, 8-23, 2012
642012
Modelling, reduction and analysis of Markov automata
D Guck, H Hatefi, H Hermanns, JP Katoen, M Timmer
International Conference on Quantitative Evaluation of Systems, 55-71, 2013
592013
Uncovering dynamic fault trees
S Junges, D Guck, JP Katoen, M Stoelinga
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems …, 2016
522016
Sequential and parallel attack tree modelling
F Arnold, D Guck, R Kumar, M Stoelinga
Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE …, 2015
502015
Fault maintenance trees: reliability centered maintenance via statistical model checking
E Ruijters, D Guck, P Drolenga, M Stoelinga
2016 Annual Reliability and Maintainability Symposium (RAMS), 1-6, 2016
492016
Modelling and analysis of Markov reward automata
D Guck, M Timmer, H Hatefi, E Ruijters, M Stoelinga
Automated Technology for Verification and Analysis: 12th International …, 2014
442014
Analysis of timed and long-run objectives for Markov automata
D Guck, H Hatefi, H Hermanns, JP Katoen, M Timmer
Logical Methods in Computer Science 10, 2014
432014
Fault trees on a diet: automated reduction by graph rewriting
S Junges, D Guck, JP Katoen, A Rensink, M Stoelinga
Formal aspects of computing 29, 651-703, 2017
322017
DFTCalc: Reliability centered maintenance via fault tree analysis (tool paper)
D Guck, J Spel, M Stoelinga
Formal Methods and Software Engineering: 17th International Conference on …, 2015
302015
Reliability-centered maintenance of the electrically insulated railway joint via fault tree analysis: a practical experience report
E Ruijters, D Guck, M Van Noort, M Stoelinga
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems …, 2016
282016
Smart railroad maintenance engineering with stochastic model checking
D Guck, JP Katoen, MIA Stoelinga, T Luiten, J Romijn
2nd International Conference on Railway Technology: Research, Development …, 2014
282014
Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor
E Ruijters, D Guck, P Drolenga, M Peters, M Stoelinga
Quantitative Evaluation of Systems: 13th International Conference, QEST 2016 …, 2016
232016
Quantitative analysis of Markov automata
D Guck
Master's thesis, RWTH Aachen University, 2012
132012
Dftcalc: a tool for efficient fault tree analysis (extended version)
F Arnold, A Belinfante, FI van der Berg, D Guck, MIA Stoelinga
Centre for Telematics and Information Technology (CTIT), 2013
92013
Exploring model quality for ACAS X
D Giannakopoulou, D Guck, J Schumann
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
72016
Time dependent analysis with dynamic counter measure trees
R Kumar, D Guck, M Stoelinga
arXiv preprint arXiv:1510.00050, 2015
72015
Modelling and analysis of Markov reward automata (extended version)
D Guck, M Timmer, H Hatefi, EJJ Ruijters, MIA Stoelinga
CTIT Technical Report Series, 2014
52014
Modelling, reduction and analysis of Markov automata (extended version)
D Guck, H Hatefi, H Hermanns, JP Katoen, M Timmer
arXiv preprint arXiv:1305.7050, 2013
42013
A tutorial on interactive Markov chains
F Arnold, D Gebler, D Guck, H Hatefi
International Autumn School on Rigorous Dependability Analysis Using Model …, 2012
32012
The system can't perform the operation now. Try again later.
Articles 1–20