Petr Müller

According to our database, Petr Müller authored at least 7 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Algorithmic Details behind the Predator Shape Analyser.

Kamil Dudka, Petr Müller, Petr Peringer, Veronika Soková, Tomás Vojnar

CoRR, 2024

2016

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

2015

Predator Hunting Party (Competition Contribution).

Petr Müller, Petr Peringer, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014

CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution).

Petr Müller, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Dfuzzer: A D-Bus Service Fuzzing Tool.

Matús Marhefka, Petr Müller

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013

Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution).

Kamil Dudka, Petr Müller, Petr Peringer, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012

Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution).

Kamil Dudka, Petr Müller, Petr Peringer, Tomás Vojnar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012