Travelled to:1 × Estonia
1 × France
1 × Italy
1 × United Kingdom
Collaborated with:T.Vojnar P.Peringer K.Dudka
Talks about:contribut (4) competit (4) predat (3) verif (2) tool (2) structur (1) program (1) manipul (1) checker (1) analyz (1)
Person: Petr Müller
DBLP: M=uuml=ller:Petr
Contributed to:
2015201420132012Wrote 4 papers:
- TACAS-2015-MullerPV #contest
- Predator Hunting Party (Competition Contribution) (PM, PP, TV), pp. 443–446.
- TACAS-2014-MullerV #contest #named
- CPAlien: Shape Analyzer for CPAChecker — (Competition Contribution) (PM, TV), pp. 395–397.
- TACAS-2013-DudkaMPV #contest #low level #named #verification
- Predator: A Tool for Verification of Low-Level List Manipulation — (Competition Contribution) (KD, PM, PP, TV), pp. 627–629.
- TACAS-2012-DudkaMPV #contest #data type #linked data #named #open data #source code #verification
- Predator: A Verification Tool for Programs with Dynamic Linked Data Structures — (Competition Contribution) (KD, PM, PP, TV), pp. 545–548.