Foto von Michael Petter

Michael Petter, Dr. rer. nat.

Latest news

due to the current COVID-19 issues, you may find, that I am in home office, instead of at the university. However, You may still contact me, and schedule a video call with me.

Veröffentlichungen

Sun, 01 Jan 2017 00:00:00 +0100

Inter-procedural Two-Variable Herbrand Equalities.

Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl:
Inter-procedural Two-Variable Herbrand Equalities. Log. Methods Comput. Sci. 13(2) (2017)text to speech
more

Thu, 01 Jan 2015 00:00:00 +0100

Inter-procedural Two-Variable Herbrand Equalities.

Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl:
Inter-procedural Two-Variable Herbrand Equalities. ESOP 2015: 457-482text to speech
more

Wed, 01 Jan 2014 00:00:00 +0100

Inter-procedural Two-Variable Herbrand Equalities.

Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl:
Inter-procedural Two-Variable Herbrand Equalities. CoRR abs/1410.4416 (2014)text to speech
more

Sat, 01 Jan 2011 00:00:00 +0100

Interprocedural Polynomial Invariants.

Michael Petter:
Interprocedural Polynomial Invariants. Technical University Munich, 2011, ISBN 978-3-86853-810-6, pp. 1-127text to speech
more

Sat, 01 Jan 2011 00:00:00 +0100

Fast interprocedural linear two-variable equalities.

Andrea Flexeder, Markus Müller-Olm, Michael Petter, Helmut Seidl:
Fast interprocedural linear two-variable equalities. ACM Trans. Program. Lang. Syst. 33(6): 21:1-21:33 (2011)text to speech
more

Sat, 01 Jan 2011 00:00:00 +0100

Side-Effect Analysis of Assembly Code.

Andrea Flexeder, Michael Petter, Helmut Seidl:
Side-Effect Analysis of Assembly Code. SAS 2011: 77-94text to speech
more

Fri, 01 Jan 2010 00:00:00 +0100

Interprocedural Control Flow Reconstruction.

Andrea Flexeder, Bogdan Mihaila, Michael Petter, Helmut Seidl:
Interprocedural Control Flow Reconstruction. APLAS 2010: 188-203text to speech
more

Tue, 01 Jan 2008 00:00:00 +0100

Analysing All Polynomial Equations in .

Helmut Seidl, Andrea Flexeder, Michael Petter:
Analysing All Polynomial Equations in . SAS 2008: 299-314text to speech
more

Mon, 01 Jan 2007 00:00:00 +0100

Interprocedurally Analysing Linear Inequality Relations.

Helmut Seidl, Andrea Flexeder, Michael Petter:
Interprocedurally Analysing Linear Inequality Relations. ESOP 2007: 284-299text to speech
more

Sun, 01 Jan 2006 00:00:00 +0100

Interprocedurally Analyzing Polynomial Identities.

Markus Müller-Olm, Michael Petter, Helmut Seidl:
Interprocedurally Analyzing Polynomial Identities. STACS 2006: 50-67text to speech
more