Dennis Guck
Dennis Guck
TWT GmbH
Geverifieerd e-mailadres voor twt-gmbh.de - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
532013
Quantitative timed analysis of interactive Markov chains
D Guck, T Han, JP Katoen, M Neuhäußer
NASA Formal Methods, 8-23, 2012
532012
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
502013
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
362014
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
312014
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
262016
Uncovering dynamic fault trees
S Junges, D Guck, JP Katoen, M Stoelinga
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems …, 2016
242016
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
242014
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
202014
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
162016
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
132016
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
122015
Quantitative analysis of Markov automata
D Guck
Master's thesis, RWTH Aachen University, 2012
122012
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
62013
Time dependent analysis with dynamic counter measure trees
R Kumar, D Guck, M Stoelinga
arXiv preprint arXiv:1510.00050, 2015
52015
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
32013
Exploring model quality for ACAS X
D Giannakopoulou, D Guck, J Schumann
International Symposium on Formal Methods, 274-290, 2016
22016
A tutorial on interactive markov chains
F Arnold, D Gebler, D Guck, H Hatefi
International Autumn School on Rigorous Dependability Analysis Using Model …, 2012
22012
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20