Christina Jansen

Address: Room 4205
Ahornstraße 55
D-52074 Aachen

I am a Postdoc at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen.
My research interests include:

static program analysis and verification (focus: heap-manipulating programs)
graph grammars and graph transformation
separation logic
heap abstraction
concurrency

Publications

2018
DOI	Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll. Graph-Based Shape Analysis Beyond Context-Freeness, Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings / Einar Broch Johnsen, Ina Schaefer (eds.), 271-286, Springer, 2018.
DOI	Hannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Let this Graph Be Your Witness! : An Attestor for Verifying Java Pointer Programs, Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / edited by Hana Chockler, Georg Weissenbacher, 3-11, Springer, 2018.
2017
DOI	Christina Jansen. Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic, 1 Online-Ressource (xi, 286 Seiten) : Diagramme, 2017.
DOI	Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger. Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic, Programming languages and systems : 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings / Hongseok Yang (ed.), 611-638, Springer, 2017.
DOI	Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll. Heap Abstraction Beyond Context-Freeness, 44 Seiten, 2017.
2016
DOI	Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger. Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic, 115 Seiten, 2016.
2015
DOI	Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll. Verifying pointer programs using graph grammars, 157-162, Elsevier, 2015.
DOI	Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll. Juggrnaut: using graph grammars for abstracting unbounded heap structures, 159-203, Springer Science + Business Media B.V, 2015.
DOI	Christoph Matheja, Christina Jansen, Thomas Noll. Tree-Like Grammars and Separation Logic, Programming languages and systems : 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings / edited by Xinyu Feng, Sungwoo Park, 90-108, Springer International Publishing, 2015.
2014
DOI	Christina Jansen, Thomas Noll. Generating Abstract Graph-Based Procedure Summaries for Pointer Programs, Graph transformation : 7th international conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22 - 24, 2014 ; proceedings / Holger Giese; Barbara König (eds.), 49-64, Springer, 2014.
2013
DOI	Markus Bals, Christina Jansen, Thomas Noll. Incremental Construction of Greibach Normal Form for Context-Free Grammars, Proceedings : 2013 International Symposium on Theoretical Aspects of Software Engineering : 1-3 July 2013, Birmingham, United Kingdom, 165-168, IEEE Computer Society, 2013.
2012
DOI	Jonathan Heinen, Christina Jansen, Henrik Barthels. Juggrnaut - An Abstract JVM, Formal verification of object-oriented software : international conference, FoVeOOS 2011, Turin, Italy, October 5 - 7, 2011 ; revised selected papers / Bernhard Beckert ... (eds.), 142-159, Springer [u.a.], 2012.
2011
DOI	Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll. A Local Greibach Normal Form for Hyperedge Replacement Grammars, Language and automata theory and applications : 5th international conference, LATA 2011, Tarragona, Spain, May 26-31, 2011 ; proceedings / Adrian-Horia Dediu ... (eds.), 323-335, Springer, 2011.
	Jonathan Heinen, Christina Jansen. Juggrnaut - An Abstract JVM, Formal Verification of Object-Oriented Software. Papers presented at the 2nd International Conference, October 5-7, 2011, Turin, Italy, 226-243, Karlsruhe Institute of Technology, 2011.