Kontakt:

Foto von Michael Petter

Michael Petter, Dr. rer. nat.

Veröffentlichungen

..

Inter-procedural Two-Variable Herbrand Equalities.

mehr

..

Inter-procedural Two-Variable Herbrand Equalities.

mehr

..

Inter-procedural Two-Variable Herbrand Equalities.

mehr

..

Interprocedural Polynomial Invariants.

:
Interprocedural Polynomial Invariants. Technical University Munich , ISBN 978-3-86853-810-6, pp. 1-127
mehr

..

Fast interprocedural linear two-variable equalities.

mehr

..

Side-Effect Analysis of Assembly Code.

mehr

..

Interprocedural Control Flow Reconstruction.

mehr

..

Analysing All Polynomial Equations in .

mehr

..

Interprocedurally Analysing Linear Inequality Relations.

mehr

..

Interprocedurally Analyzing Polynomial Identities.

mehr