BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: M=uuml=ller:Petr

Contributed to:

TACAS 20152015
TACAS 20142014
TACAS 20132013
TACAS 20122012

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.