 | 2011 |
|---|
| 5 |       | Andrea Flexeder,
Michael Petter,
Helmut Seidl:
Side-Effect Analysis of Assembly Code.
SAS 2011: 77-94 |
| 4 | | Andrea Flexeder,
Markus Müller-Olm,
Michael Petter,
Helmut Seidl:
Fast interprocedural linear two-variable equalities.
ACM Trans. Program. Lang. Syst. 33(6): 21 (2011) |
| 2010 |
|---|
| 3 | | Andrea Flexeder,
Bogdan Mihaila,
Michael Petter,
Helmut Seidl:
Interprocedural Control Flow Reconstruction.
APLAS 2010: 188-203 |
| 2008 |
|---|
| 2 | | Helmut Seidl,
Andrea Flexeder,
Michael Petter:
Analysing All Polynomial Equations in .
SAS 2008: 299-314 |
| 2007 |
|---|
| 1 | | Helmut Seidl,
Andrea Flexeder,
Michael Petter:
Interprocedurally Analysing Linear Inequality Relations.
ESOP 2007: 284-299 |
Data released under the ODC-BY 1.0 license — See also our legal information page