Hannah Arndt

According to our database, Hannah Arndt authored at least 3 papers between 2017 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Graph-Based Shape Analysis Beyond Context-Freeness.

Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs.

Hannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Heap Abstraction Beyond Context-Freeness.

Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll

CoRR, 2017