Michael Petter

Publication Activity (10 Years)

Years Active: 2006-2017
Publications (10 Years): 1

Top Topics

Function Symbols

Linear Inequalities

Top Venues

Log. Methods Comput. Sci.

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl
Inter-procedural Two-Variable Herbrand Equalities. Log. Methods Comput. Sci. 13 (2) (2017)
Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl
Inter-procedural Two-Variable Herbrand Equalities. ESOP (2015)
Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl
Inter-procedural Two-Variable Herbrand Equalities. CoRR (2014)
Andrea Flexeder, Michael Petter, Helmut Seidl
Side-Effect Analysis of Assembly Code. SAS (2011)
Andrea Flexeder, Markus Müller-Olm, Michael Petter, Helmut Seidl
Fast interprocedural linear two-variable equalities. ACM Trans. Program. Lang. Syst. 33 (6) (2011)
Andrea Flexeder, Bogdan Mihaila, Michael Petter, Helmut Seidl
Interprocedural Control Flow Reconstruction. APLAS (2010)
Helmut Seidl, Andrea Flexeder, Michael Petter
Analysing All Polynomial Equations in . SAS (2008)
Helmut Seidl, Andrea Flexeder, Michael Petter
Interprocedurally Analysing Linear Inequality Relations. ESOP (2007)
Markus Müller-Olm, Michael Petter, Helmut Seidl
Interprocedurally Analyzing Polynomial Identities. STACS (2006)