Dennis Guck
发表
Mariëlle Stoelinga,
Florian Arnold,
Dennis Guck,
2013
.
Daniel Gebler,
Florian Arnold,
Dennis Guck,
2012,
ROCKS.
Dennis Guck,
Dennis Guck,
2017
.
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).
Mariëlle Stoelinga,
Dennis Guck,
Enno Ruijters,
2016,
QEST.
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.