Folgen
Dennis Guck
Dennis Guck
TWT GmbH
Bestätigte E-Mail-Adresse bei twt-gmbh.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
782013
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
532016
Sequential and parallel attack tree modelling
F Arnold, D Guck, R Kumar, M Stoelinga
Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE …, 2015
512015
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
482016
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
462014
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
442014
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
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
302016
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
292015
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
102013
Time dependent analysis with dynamic counter measure trees
R Kumar, D Guck, M Stoelinga
arXiv preprint arXiv:1510.00050, 2015
82015
Exploring model quality for ACAS X
D Giannakopoulou, D Guck, J Schumann
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
72016
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
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
42012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20