Christina Jansen


christina.jansen at
Room 4205
Ahornstra├če 55
D-52074 Aachen
+49 241 80 21212

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 for Christina Jansen

LinkHannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll. Heap Abstraction Beyond Context-Freeness. Technical report at arxiv number 1705.03754, 2017.
DOIChristina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger. Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic. Proc. ESOP 2017, Volume 10201 of LNCS, pages 611–638, Springer, 2017.
Show all