Predator Shape Analysis Tool Suite. - Lukás Holík; Michal Kotoun; Petr Peringer; Veronika Soková; Marek Trtík; Tomás Vojnar (Haifa Verification Conference, 2016)

Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark - (Competition Contribution). - Michal Kotoun; Petr Peringer; Veronika Soková; Tomás Vojnar (TACAS, 2016)

PredatorHP Attacks Interval-Sized Regions. - Michal Kotoun; Petr Peringer; Veronika Soková; Tomás Vojnar (CoRR, 2019)