Michael Petter

According to our database, Michael Petter authored at least 13 papers between 2006 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Goblint: A Portfolio for Mixed Flow-Sensitive Abstract Interpretation - (Competition Contribution).

Simmo Saan, Ali Rasim Kocal, Michael Petter, Karoliine Holter, Julian Erhard, Michael Schwarz, Vesal Vojdani, Helmut Seidl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Goblint in SV-COMP 2026.

Simmo Saan, Ali Rasim Kocal, Michael Petter, Karoliine Holter, Julian Erhard, Michael Schwarz, Vesal Vojdani, Helmut Seidl

Dataset, November, 2025

Goblint in SV-COMP 2026.

Simmo Saan, Ali Rasim Kocal, Michael Petter, Karoliine Holter, Julian Erhard, Michael Schwarz, Vesal Vojdani, Helmut Seidl

Dataset, November, 2025

Goblint in SV-COMP 2026.

Simmo Saan, Ali Rasim Kocal, Michael Petter, Karoliine Holter, Julian Erhard, Michael Schwarz, Vesal Vojdani, Helmut Seidl

Dataset, November, 2025

Goblint in SV-COMP 2026.

Simmo Saan, Ali Rasim Kocal, Michael Petter, Karoliine Holter, Julian Erhard, Michael Schwarz, Vesal Vojdani, Helmut Seidl

Dataset, October, 2025

2015

Inter-procedural Two-Variable Herbrand Equalities.

Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl

Proceedings of the Programming Languages and Systems, 2015

2011

Interprocedural Polynomial Invariants.

Michael Petter

PhD thesis, 2011

Fast interprocedural linear two-variable equalities.

Andrea Flexeder, Markus Müller-Olm, Michael Petter, Helmut Seidl

ACM Trans. Program. Lang. Syst., 2011

Side-Effect Analysis of Assembly Code.

Andrea Flexeder, Michael Petter, Helmut Seidl

Proceedings of the Static Analysis - 18th International Symposium, 2011

2010

Interprocedural Control Flow Reconstruction.

Andrea Flexeder, Bogdan Mihaila, Michael Petter, Helmut Seidl

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2008

Analysing All Polynomial Equations in .

Helmut Seidl, Andrea Flexeder, Michael Petter

Proceedings of the Static Analysis, 15th International Symposium, 2008

2007

Interprocedurally Analysing Linear Inequality Relations.

Helmut Seidl, Andrea Flexeder, Michael Petter

Proceedings of the Programming Languages and Systems, 2007

2006

Interprocedurally Analyzing Polynomial Identities.

Markus Müller-Olm, Michael Petter, Helmut Seidl

Proceedings of the STACS 2006, 2006