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