BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
J.Katoen B.L.Kaminski T.N.0001 K.Batz C.Jansen F.Olmedo J.Katelaan F.Zuleger H.Arndt
Talks about:
program (4) reason (3) logic (3) probabilist (2) pointer (2) expect (2) separ (2) sampl (2) about (2) time (2)

Person: Christoph Matheja

DBLP DBLP: Matheja:Christoph

Contributed to:

ESOP 20162016
ESOP 20172017
ESOP 20182018
CAV (2) 20182018
POPL 20192019

Wrote 5 papers:

ESOP-2016-KaminskiKMO #probability #reasoning #source code
Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs (BLK, JPK, CM, FO), pp. 364–389.
ESOP-2017-JansenKMNZ #logic #reasoning #robust
Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic (CJ, JK, CM, TN0, FZ), pp. 611–638.
ESOP-2018-BatzKKM #how #network #program analysis
How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times (KB, BLK, JPK, CM), pp. 186–213.
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.
POPL-2019-BatzKKMN #logic #pointer #probability #reasoning #source code
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs (KB, BLK, JPK, CM, TN0), p. 29.
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.