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)

Incremental Construction of Greibach Normal Form. - Markus Bals; Christina Jansen; Thomas Noll 001 (TASE, 2013)

Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs. - Christina Jansen; Florian Göbe; Thomas Noll 001 (ICGT, 2014)

Generating Abstract Graph-Based Procedure Summaries for Pointer Programs. - Christina Jansen; Thomas Noll 001 (ICGT, 2014)

Tree-Like Grammars and Separation Logic. - Christoph Matheja; Christina Jansen; Thomas Noll 001 (APLAS, 2015)

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)

Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic. - Christina Jansen; Jens Katelaan; Christoph Matheja; Thomas Noll 001; Florian Zuleger (ESOP, 2017)

Heap Abstraction Beyond Context-Freeness. - Hannah Arndt; Christina Jansen; Christoph Matheja; Thomas Noll 001 (CoRR, 2017)

Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic. - Christina Jansen (2017)

Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs. - Hannah Arndt; Christina Jansen; Joost-Pieter Katoen; Christoph Matheja; Thomas Noll 001 (CAV (2), 2018)

Graph-Based Shape Analysis Beyond Context-Freeness. - Hannah Arndt; Christina Jansen; Christoph Matheja; Thomas Noll 001 (SEFM, 2018)