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.
Inter-procedural Two-Variable Herbrand Equalities. Logical Methods in Computer Science 13(2) (2017)
..
Inter-procedural Two-Variable Herbrand Equalities.
Inter-procedural Two-Variable Herbrand Equalities. ESOP 2015: 457-482
..
Inter-procedural Two-Variable Herbrand Equalities.
Inter-procedural Two-Variable Herbrand Equalities. CoRR abs/1410.4416 (2014)
..
Interprocedural Polynomial Invariants.
Interprocedural Polynomial Invariants. Technical University Munich 2011, ISBN 978-3-86853-810-6, pp. 1-127
..
Fast interprocedural linear two-variable equalities.
Fast interprocedural linear two-variable equalities. ACM Trans. Program. Lang. Syst. 33(6): 21:1-21:33 (2011)
..
Side-Effect Analysis of Assembly Code.
Side-Effect Analysis of Assembly Code. SAS 2011: 77-94
..
Interprocedural Control Flow Reconstruction.
Interprocedural Control Flow Reconstruction. APLAS 2010: 188-203
..
Analysing All Polynomial Equations in .
Analysing All Polynomial Equations in . SAS 2008: 299-314
..
Interprocedurally Analysing Linear Inequality Relations.
Interprocedurally Analysing Linear Inequality Relations. ESOP 2007: 284-299
..
Interprocedurally Analyzing Polynomial Identities.
Interprocedurally Analyzing Polynomial Identities. STACS 2006: 50-67