Heap Abstraction Beyond Context-Freeness. - Hannah Arndt; Christina Jansen; Christoph Matheja; Thomas Noll 001 (CoRR, 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)