Dennis Guck

发表

Daniel Gebler, Florian Arnold, Dennis Guck, 2012, ROCKS.

Mariëlle Stoelinga, Mark Timmer, Dennis Guck, 2014, ATVA.

Mariëlle Stoelinga, Mark Timmer, Dennis Guck, 2014 .

Dennis Guck, Dennis Guck, 2012 .

Joost-Pieter Katoen, Tingting Han, Martin R. Neuhäußer, 2012, NASA Formal Methods.

Sebastian Junges, Joost-Pieter Katoen, Arend Rensink, 2015, Formal Aspects of Computing.

Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, 2016, 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

Marielle Stoelinga, Dennis Guck, Enno Ruijters, 2016, 2016 Annual Reliability and Maintainability Symposium (RAMS).

Martijn van Noort, Mariëlle Stoelinga, Dennis Guck, 2016, 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

A. Rensink, J. Katoen, M. Stoelinga, 2017, Formal Aspects of Computing.

Mariëlle Stoelinga, Dennis Guck, Jip Spel, 2015, ICFEM.

Joost P. Katoen, Mariëlle Stoelinga, Judi Romijn, 2014 .

Mariëlle Stoelinga, Florian Arnold, Dennis Guck, 2013 .

Johann Schumann, Dimitra Giannakopoulou, Dennis Guck, 2016, FM.

Joost-Pieter Katoen, Holger Hermanns, Mark Timmer, 2013, QEST.

Rajesh Kumar, Mariëlle Stoelinga, Florian Arnold, 2015, SAFECOMP Workshops.