Tighter Loop Bound Analysis. - Pavel Cadek; Jan Strejcek; Marek Trtík (ATVA, 2016)

Tighter Loop Bound Analysis (Technical report). - Pavel Cadek; Jan Strejcek; Marek Trtík (CoRR, 2016)

Using Loop Bound Analysis For Invariant Generation. - Pavel Cadek; Clemens Danninger; Moritz Sinn; Florian Zuleger (FMCAD, 2018)