Michael Petter

According to our database, Michael Petter authored at least 8 papers between 2006 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Inter-procedural Two-Variable Herbrand Equalities.

Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl

Log. Methods Comput. Sci., 2017

2011

Interprocedural Polynomial Invariants.

Michael Petter

PhD thesis, 2011

Fast interprocedural linear two-variable equalities.

Andrea Flexeder, Markus Müller-Olm, Michael Petter, Helmut Seidl

ACM Trans. Program. Lang. Syst., 2011

Side-Effect Analysis of Assembly Code.

Andrea Flexeder, Michael Petter, Helmut Seidl

Proceedings of the Static Analysis - 18th International Symposium, 2011

2010

Interprocedural Control Flow Reconstruction.

Andrea Flexeder, Bogdan Mihaila, Michael Petter, Helmut Seidl

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2008

Analysing All Polynomial Equations in .

Helmut Seidl, Andrea Flexeder, Michael Petter

Proceedings of the Static Analysis, 15th International Symposium, 2008

2007

Interprocedurally Analysing Linear Inequality Relations.

Helmut Seidl, Andrea Flexeder, Michael Petter

Proceedings of the Programming Languages and Systems, 2007

2006

Interprocedurally Analyzing Polynomial Identities.

Markus Müller-Olm, Michael Petter, Helmut Seidl

Proceedings of the STACS 2006, 2006