Michael Petter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2006–2026
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | 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 |
| 2015 | ESOP | Inter-procedural Two-Variable Herbrand Equalities. | Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl |
| 2011 | SAS | Side-Effect Analysis of Assembly Code. | Andrea Flexeder, Michael Petter, Helmut Seidl |
| 2010 | APLAS | Interprocedural Control Flow Reconstruction. | Andrea Flexeder, Bogdan Mihaila, Michael Petter, Helmut Seidl |
| 2008 | SAS | Analysing All Polynomial Equations in . | Helmut Seidl, Andrea Flexeder, Michael Petter |
| 2007 | ESOP | Interprocedurally Analysing Linear Inequality Relations. | Helmut Seidl, Andrea Flexeder, Michael Petter |
| 2006 | STACS | Interprocedurally Analyzing Polynomial Identities. | Markus Mller-Olm, Michael Petter, Helmut Seidl |