BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Jansen:Christina

Contributed to:

ICGT 20142014
LATA 20112011
ESOP 20172017
CAV (2) 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.