Christina Jansen

According to our database, Christina Jansen authored at least 13 papers between 2011 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

Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic.

Christina Jansen

PhD thesis, 2017

Heap Abstraction Beyond Context-Freeness.

Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll

CoRR, 2017

Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic.

Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger

Proceedings of the Programming Languages and Systems, 2017

2015

Verifying pointer programs using graph grammars.

Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll

Sci. Comput. Program., 2015

Juggrnaut: using graph grammars for abstracting unbounded heap structures.

Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll

Formal Methods Syst. Des., 2015

Tree-Like Grammars and Separation Logic.

Christoph Matheja, Christina Jansen, Thomas Noll

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

Generating Abstract Graph-Based Procedure Summaries for Pointer Programs.

Christina Jansen, Thomas Noll

Proceedings of the Graph Transformation - 7th International Conference, 2014

Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs.

Christina Jansen, Florian Göbe, Thomas Noll

Proceedings of the Graph Transformation - 7th International Conference, 2014

2013

Incremental Construction of Greibach Normal Form.

Markus Bals, Christina Jansen, Thomas Noll

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

2011

A Local Greibach Normal Form for Hyperedge Replacement Grammars.

Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll

Proceedings of the Language and Automata Theory and Applications, 2011

Juggrnaut - An Abstract JVM.

Jonathan Heinen, Henrik Barthels, Christina Jansen

Proceedings of the Formal Verification of Object-Oriented Software, 2011