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)

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

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