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.