Publications

Publications for Christina Jansen

2018
DOI
[bibtex]
Hannah 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.
DOI
[bibtex]
Hannah 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