Petr Mller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2012–2015
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | TACAS | Predator Hunting Party (Competition Contribution). | Petr Mller, Petr Peringer, Toms Vojnar |
| 2014 | ICST | Dfuzzer: A D-Bus Service Fuzzing Tool. | Mats Marhefka, Petr Mller |
| 2014 | TACAS | CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution). | Petr Mller, Toms Vojnar |
| 2013 | TACAS | Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution). | Kamil Dudka, Petr Mller, Petr Peringer, Toms Vojnar |
| 2012 | TACAS | Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution). | Kamil Dudka, Petr Mller, Petr Peringer, Toms Vojnar |