| 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 | 79 | 2013 |
| Quantitative timed analysis of interactive Markov chains D Guck, T Han, JP Katoen, M Neuhäußer NASA Formal Methods, 8-23, 2012 | 64 | 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 | 60 | 2013 |
| Uncovering dynamic fault trees S Junges, D Guck, JP Katoen, M Stoelinga 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems …, 2016 | 53 | 2016 |
| Sequential and parallel attack tree modelling F Arnold, D Guck, R Kumar, M Stoelinga Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE …, 2015 | 51 | 2015 |
| 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 | 49 | 2016 |
| 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 | 46 | 2014 |
| 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 | 45 | 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, 651-703, 2017 | 33 | 2017 |
| 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 | 32 | 2016 |
| 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 | 29 | 2015 |
| 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 | 28 | 2014 |
| 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 | 23 | 2016 |
| Quantitative analysis of Markov automata D Guck Master's thesis, RWTH Aachen University, 2012 | 13 | 2012 |
| 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 | 10 | 2013 |
| Time dependent analysis with dynamic counter measure trees R Kumar, D Guck, M Stoelinga arXiv preprint arXiv:1510.00050, 2015 | 8 | 2015 |
| Exploring model quality for ACAS X D Giannakopoulou, D Guck, J Schumann FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016 | 7 | 2016 |
| Modelling and analysis of Markov reward automata (extended version) D Guck, M Timmer, H Hatefi, EJJ Ruijters, MIA Stoelinga Technical Report TR-CTIT-14-06, CTIT, University of Twente, Enschede, 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 | 4 | 2013 |
| A tutorial on interactive Markov chains F Arnold, D Gebler, D Guck, H Hatefi International Autumn School on Rigorous Dependability Analysis Using Model …, 2012 | 4 | 2012 |
