Contact:

Foto von Michael Petter

Michael Petter, Dr. rer. nat.

Veröffentlichungen

..

Inter-procedural Two-Variable Herbrand Equalities.

more

..

Inter-procedural Two-Variable Herbrand Equalities.

more

..

Inter-procedural Two-Variable Herbrand Equalities.

more

..

Interprocedural Polynomial Invariants.

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

..

Fast interprocedural linear two-variable equalities.

more

..

Side-Effect Analysis of Assembly Code.

more

..

Interprocedural Control Flow Reconstruction.

more

..

Analysing All Polynomial Equations in .

more

..

Interprocedurally Analysing Linear Inequality Relations.

more

..

Interprocedurally Analyzing Polynomial Identities.

more