Christina Jansen

Available identifiers

zbMath Open jansen.christinaMaRDI QIDQ746780

List of research outcomes

Publication	Date of Publication	Type
Graph-based shape analysis beyond context-freeness	2023-05-05	Paper
Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic	2017-05-19	Paper
Tree-Like Grammars and Separation Logic	2016-01-08	Paper
Juggrnaut: using graph grammars for abstracting unbounded heap structures	2015-10-20	Paper
Generating Abstract Graph-Based Procedure Summaries for Pointer Programs	2014-09-26	Paper
Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs	2014-09-26	Paper
A Local Greibach Normal Form for Hyperedge Replacement Grammars	2011-06-03	Paper

Research outcomes over time

This page was built for person: Christina Jansen