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)

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

Dfuzzer: A D-Bus Service Fuzzing Tool. - Matús Marhefka; Petr Müller (ICST Workshops, 2014)

CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution). - Petr Müller; Tomás Vojnar (TACAS, 2014)

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

Hammock: a hidden Markov model-based peptide clustering algorithm to identify protein-interaction consensus motifs in large datasets. - Adam Krejci; Ted R. Hupp; Matej Lexa; Borivoj Vojtesek; Petr Müller (Bioinform., 2016)

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