Travelled to:1 × Spain
1 × United Kingdom
Collaborated with:T.Noll J.Katoen C.Matheja T.N.0001 F.Göbe J.Heinen J.Katelaan F.Zuleger H.Arndt
Talks about:program (3) pointer (3) generat (2) symbol (2) graph (2) properti (1) procedur (1) hyperedg (1) greibach (1) attestor (1)
Person: Christina Jansen
DBLP: Jansen:Christina
Contributed to:
2014
2011
2017
2018Wrote 5 papers:
- ICGT-2014-JansenGN #execution #generative #induction #pointer #source code #symbolic computation
- Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs (CJ, FG, TN), pp. 65–80.
- ICGT-2014-JansenN #generative #graph #pointer #source code #summary
- Generating Abstract Graph-Based Procedure Summaries for Pointer Programs (CJ, TN), pp. 49–64.
- LATA-2011-JansenHKN #normalisation
- A Local Greibach Normal Form for Hyperedge Replacement Grammars (CJ, JH, JPK, TN), pp. 323–335.
- ESOP-2017-JansenKMNZ #logic #reasoning #robust
- Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic (CJ, JK, CM, TN0, FZ), pp. 611–638.
- CAV-2018-ArndtJKMN #exclamation #graph #java #pointer #source code #verification
- Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs (HA, CJ, JPK, CM, TN0), pp. 3–11.