Collaborated with:B.L.Kaminski J.Katoen C.Matheja T.N.0001
Talks about:program (2) sampl (2) logic (2) probabilist (1) perspect (1) bayesian (1) quantit (1) pointer (1) network (1) analysi (1)
Person: Kevin Batz
DBLP: Batz:Kevin
Contributed to:
2018
2019Wrote 2 papers:
- 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.
- 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.