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)

Symbiotic 7: Integration of Predator and More - (Competition Contribution). - Marek Chalupa; Tomás Jasek; Lukás Tomovic; Martin Hruska; Veronika Soková; Paulína Ayaziová; Jan Strejcek; Tomás Vojnar (TACAS (2), 2020)

PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution). - Petr Peringer; Veronika Soková; Tomás Vojnar (TACAS (2), 2020)

PredatorHP. - Veronika Soková; Petr Peringer; Tomás Vojnar (Zenodo, 2020)

Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution). - Marek Chalupa; Tomás Jasek; Jakub Novák; Anna Rechtácková; Veronika Soková; Jan Strejcek (TACAS (2), 2021)

Low-Level Bi-Abduction. - Lukás Holík; Petr Peringer; Adam Rogalewicz; Veronika Soková; Tomás Vojnar; Florian Zuleger (ECOOP, 2022)

Low-Level Bi-Abduction (Artifact). - Lukás Holík; Petr Peringer; Adam Rogalewicz; Veronika Soková; Tomás Vojnar; Florian Zuleger (Dagstuhl Artifacts Ser., 2022)

PredatorHP. - Veronika Soková; Petr Peringer; Tomás Vojnar (Zenodo, 2023)

PredatorHP. - Veronika Soková; Petr Peringer; Tomás Vojnar; Ondrej Kinst (Zenodo, 2023)

Algorithmic Details behind the Predator Shape Analyser. - Kamil Dudka; Petr Müller; Petr Peringer; Veronika Soková; Tomás Vojnar (CoRR, 2024)