BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
C.Matheja C.Jansen J.Katoen J.Katelaan F.Zuleger H.Arndt D.Schemmel J.Büning O.S.Dustmann K.Wehrle K.Batz B.L.Kaminski
Talks about:
logic (3) program (2) pointer (2) symbol (2) reason (2) separ (2) about (2) probabilist (1) properti (1) attestor (1)

Person: Thomas Noll 0001

DBLP DBLP: 0001:Thomas_Noll

Contributed to:

ESOP 20172017
CAV (2) 20182018
POPL 20192019

Wrote 4 papers:

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.
CAV-2018-SchemmelBDNW #analysis #liveness
Symbolic Liveness Analysis of Real-World Software (DS, JB, OSD, TN0, KW), pp. 447–466.
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.