Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. - Kamil Dudka; Petr Peringer; Tomás Vojnar (CAV, 2011)

An Easy to Use Infrastructure for Building Static Analysis Tools. - Kamil Dudka; Petr Peringer; Tomás Vojnar (EUROCAST (1), 2011)

Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution). - Kamil Dudka; Petr Müller; Petr Peringer; Tomás Vojnar (TACAS, 2012)

Byte-Precise Verification of Low-Level List Manipulation. - Kamil Dudka; Petr Peringer; Tomás Vojnar (SAS, 2013)

Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution). - Kamil Dudka; Petr Müller; Petr Peringer; Tomás Vojnar (TACAS, 2013)

Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution). - Kamil Dudka; Petr Peringer; Tomás Vojnar (TACAS, 2014)

Predator Hunting Party (Competition Contribution). - Petr Müller; Petr Peringer; Tomás Vojnar (TACAS, 2015)

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)

From Low-Level Pointers to High-Level Containers. - Kamil Dudka; Lukás Holík; Petr Peringer; Marek Trtík; Tomás Vojnar (VMCAI, 2016)

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

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)

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)