Michael Petter, Dr. rer. nat.
- Tel.: +49 (89) 289 - 18150
- Raum: 5607.02.060
- michael.petter@tum.de
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
2017
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)
mehr
Inter-procedural Two-Variable Herbrand Equalities. Log. Methods Comput. Sci. 13(2) (2017)
2015
Inter-procedural Two-Variable Herbrand Equalities.
Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl:
Inter-procedural Two-Variable Herbrand Equalities. ESOP 2015: 457-482
mehr
Inter-procedural Two-Variable Herbrand Equalities. ESOP 2015: 457-482
2014
Inter-procedural Two-Variable Herbrand Equalities.
Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl:
Inter-procedural Two-Variable Herbrand Equalities. CoRR abs/1410.4416 (2014)
mehr
Inter-procedural Two-Variable Herbrand Equalities. CoRR abs/1410.4416 (2014)
2011
Interprocedural Polynomial Invariants.
Michael Petter:
Interprocedural Polynomial Invariants. Technical University Munich, 2011, ISBN 978-3-86853-810-6, pp. 1-127
mehr
Interprocedural Polynomial Invariants. Technical University Munich, 2011, ISBN 978-3-86853-810-6, pp. 1-127
2011
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)
mehr
Fast interprocedural linear two-variable equalities. ACM Trans. Program. Lang. Syst. 33(6): 21:1-21:33 (2011)
2011
Side-Effect Analysis of Assembly Code.
Andrea Flexeder, Michael Petter, Helmut Seidl:
Side-Effect Analysis of Assembly Code. SAS 2011: 77-94
mehr
Side-Effect Analysis of Assembly Code. SAS 2011: 77-94
2010
Interprocedural Control Flow Reconstruction.
Andrea Flexeder, Bogdan Mihaila, Michael Petter, Helmut Seidl:
Interprocedural Control Flow Reconstruction. APLAS 2010: 188-203
mehr
Interprocedural Control Flow Reconstruction. APLAS 2010: 188-203
2008
Analysing All Polynomial Equations in .
Helmut Seidl, Andrea Flexeder, Michael Petter:
Analysing All Polynomial Equations in . SAS 2008: 299-314
mehr
Analysing All Polynomial Equations in . SAS 2008: 299-314
2007
Interprocedurally Analysing Linear Inequality Relations.
Helmut Seidl, Andrea Flexeder, Michael Petter:
Interprocedurally Analysing Linear Inequality Relations. ESOP 2007: 284-299
mehr
Interprocedurally Analysing Linear Inequality Relations. ESOP 2007: 284-299
2006
Interprocedurally Analyzing Polynomial Identities.
Markus Müller-Olm, Michael Petter, Helmut Seidl:
Interprocedurally Analyzing Polynomial Identities. STACS 2006: 50-67
mehr
Interprocedurally Analyzing Polynomial Identities. STACS 2006: 50-67