Christina Jansen

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 5

Top Venues

CoRR

ICGT

CAV (2)

TASE

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Hannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll
Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs. CAV (2) (2018)
Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll
Graph-Based Shape Analysis Beyond Context-Freeness. SEFM (2018)
Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger
Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic. ESOP (2017)
Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll
Heap Abstraction Beyond Context-Freeness. CoRR (2017)
Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger
Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic. CoRR (2016)
Christoph Matheja, Christina Jansen, Thomas Noll
Tree-Like Grammars and Separation Logic. APLAS (2015)
Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll
Verifying pointer programs using graph grammars. Sci. Comput. Program. 97 (2015)
Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll
Juggrnaut: using graph grammars for abstracting unbounded heap structures. Formal Methods Syst. Des. 47 (2) (2015)
Christina Jansen, Thomas Noll
Generating Abstract Graph-Based Procedure Summaries for Pointer Programs. ICGT (2014)
Christina Jansen, Florian Göbe, Thomas Noll
Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs. ICGT (2014)
Markus Bals, Christina Jansen, Thomas Noll
Incremental Construction of Greibach Normal Form. TASE (2013)
Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll
A Local Greibach Normal Form for Hyperedge Replacement Grammars. LATA (2011)
Jonathan Heinen, Henrik Barthels, Christina Jansen
Juggrnaut - An Abstract JVM. FoVeOOS (2011)

Christina Jansen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christina Jansen