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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Christina Jansen