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: 0001:Thomas_Noll
Contributed to:
2017
2018
2019Wrote 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.