| DFTCalc: A Tool for Efficient Fault Tree Analysis F Arnold, A Belinfante, F Van der Berg, D Guck, M Stoelinga International Conference on Computer Safety, Reliability, and Security, 293-301, 2013 | 53 | 2013 |
| Quantitative timed analysis of interactive Markov chains D Guck, T Han, JP Katoen, M Neuhäußer NASA Formal Methods, 8-23, 2012 | 53 | 2012 |
| 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 | 50 | 2013 |
| Modelling and analysis of Markov reward automata D Guck, M Timmer, H Hatefi, E Ruijters, M Stoelinga International Symposium on Automated Technology for Verification and …, 2014 | 36 | 2014 |
| Analysis of timed and long-run objectives for Markov automata D Guck, H Hatefi, H Hermanns, JP Katoen, M Timmer arXiv preprint arXiv:1407.7356, 2014 | 31 | 2014 |
| 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 | 26 | 2016 |
| Uncovering dynamic fault trees S Junges, D Guck, JP Katoen, M Stoelinga 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems …, 2016 | 24 | 2016 |
| Sequential and parallel attack tree modelling F Arnold, D Guck, R Kumar, M Stoelinga International Conference on Computer Safety, Reliability, and Security, 291-299, 2014 | 24 | 2014 |
| 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 (4), 651-703, 2017 | 22* | 2017 |
| Smart railroad maintenance engineering with stochastic model checking D Guck, JP Katoen, MIA Stoelinga, T Luiten, J Romijn Proceedings of RAILWAYS. Saxe-Coburg Publications, 950-953, 2014 | 20 | 2014 |
| 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 | 16 | 2016 |
| Maintenance analysis and optimization via statistical model checking E Ruijters, D Guck, P Drolenga, M Peters, M Stoelinga International Conference on Quantitative Evaluation of Systems, 331-347, 2016 | 13 | 2016 |
| DFTCalc: Reliability centered maintenance via fault tree analysis (tool paper) D Guck, J Spel, M Stoelinga International Conference on Formal Engineering Methods, 304-311, 2015 | 12 | 2015 |
| Quantitative analysis of Markov automata D Guck Master's thesis, RWTH Aachen University, 2012 | 12 | 2012 |
| Dftcalc: a tool for efficient fault tree analysis (extended version) F Arnold, A Belinfante, F Van Der Berg, FI van der Berg, D Guck, ... Centre for Telematics and Information Technology (CTIT), 2013 | 6 | 2013 |
| Time dependent analysis with dynamic counter measure trees R Kumar, D Guck, M Stoelinga arXiv preprint arXiv:1510.00050, 2015 | 5 | 2015 |
| Modelling and analysis of Markov reward automata (extended version) D Guck, M Timmer, H Hatefi, EJJ Ruijters, MIA Stoelinga CTIT Technical Report Series, 2014 | 5 | 2014 |
| 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 | 3 | 2013 |
| Exploring model quality for ACAS X D Giannakopoulou, D Guck, J Schumann International Symposium on Formal Methods, 274-290, 2016 | 2 | 2016 |
| A tutorial on interactive markov chains F Arnold, D Gebler, D Guck, H Hatefi International Autumn School on Rigorous Dependability Analysis Using Model …, 2012 | 2 | 2012 |
