Michael Petter
room:
MI 02.07.060
telephone:
+49 89 289 18150
fax (Chair):
+49 89 289 18161
email:
petter at cs dot tum dot edu (
PGP
)
address:
Institut für Informatik / Lst. II
Boltzmannstrasse 3
85748 Garching
Germany
Research
Publications
Michael Petter:
Berechnung von polynomiellen Invarianten
PDF
or
PS
2004
Helmut Seidl and Michael Petter
Inferring Polynomial Invariants with Polyinvar
Technical Report November 2005
PDF
Helmut Seidl and Michael Petter
Inferring polynomial program invariants with Polyinvar (
NSAD 2005
)
Presentation a>,
Paper
Markus Müller-Olm, Michael Petter, Helmut Seidl:
Interprocedurally Analyzing Polynomial Identities (
STACS 2006
)
preliminary Paper
Andrea Flexeder, Michael Petter, Helmut Seidl:
Interprocedurally Analyzing Linear Inequalities (
NWPT 2006
)
Paper
,
Presentation
Andrea Flexeder, Michael Petter, Helmut Seidl:
Interprocedurally Analyzing Linear Inequality Relations (
ESOP 2007
)
preliminary Paper
Andrea Flexeder, Michael Petter, Helmut Seidl:
Analysing All Polynomial Equations in Z
2
w
(
SAS 2008
)
preliminary Paper
Current projects
ES_PASS
CUP
Invar
Interests
Compiler construction
Program analysis and verification, abstract interpretation
Teaching
Seminars