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

DOIHannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Let this Graph be your Witness! An Attestor for Verifying Java Pointer Programs. Proc. CAV 2018, Part II, Volume 10982 of LNCS, pages 3–11, Springer, 2018.
DOIHannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll. Graph-Based Shape Analysis Beyond Context-Freeness. Proc. 16th Int. Conf. on Software Engineering and Formal Methods (SEFM 2018), Volume 10886 of LNCS, pages 271–286, Springer, 2018.
Show all