Publications

Publications for Hannah Arndt

2018

[bibtex]
Hannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Let this Graph be your Witness! An Attestor for Verifying Java Pointer Programs. CAV 2018, Volume of LNCS, Springer, 2018.

[bibtex]
Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll. Graph-Based Shape Analysis Beyond Context-Freeness. Proc. of the 16th International Conference on Software Engineering and Formal Methods (SEFM 2018) [to appear], Volume of LNCS, Springer, 2018.
2017
Link
[bibtex]
Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll. Heap Abstraction Beyond Context-Freeness. Technical report at arxiv number 1705.03754, 2017.
Show all