`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:

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