Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures. - Jonathan Heinen; Thomas Noll 001; Stefan Rieger (TTSS, 2009)

Juggrnaut - An Abstract JVM. - Jonathan Heinen; Henrik Barthels; Christina Jansen (FoVeOOS, 2011)

A Local Greibach Normal Form for Hyperedge Replacement Grammars. - Christina Jansen; Jonathan Heinen; Joost-Pieter Katoen; Thomas Noll 001 (LATA, 2011)

Juggrnaut: using graph grammars for abstracting unbounded heap structures. - Jonathan Heinen; Christina Jansen; Joost-Pieter Katoen; Thomas Noll 001 (Formal Methods Syst. Des., 2015)

Verifying pointer programs using graph grammars. - Jonathan Heinen; Christina Jansen; Joost-Pieter Katoen; Thomas Noll 001 (Sci. Comput. Program., 2015)

Verifying Java Programs - A Graph Grammar Approach. - Jonathan Heinen (Verlag Dr. Hut, 2015)