Christina Jansen

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