Travelled to:1 × Italy
1 × Portugal
1 × Spain
1 × United Kingdom
Collaborated with:H.Seidl A.Flexeder S.S.Frielinghaus
Talks about:analys (2) interprocedur (1) procedur (1) polynomi (1) herbrand (1) variabl (1) assembl (1) analysi (1) linear (1) effect (1)
Person: Michael Petter
DBLP: Petter:Michael
Contributed to:
2015
201120082007Wrote 4 papers:
- ESOP-2015-FrielinghausPS #interprocedural
- Inter-procedural Two-Variable Herbrand Equalities (SSF, MP, HS), pp. 457–482.
- SAS-2011-FlexederPS #analysis #assembly
- Side-Effect Analysis of Assembly Code (AF, MP, HS), pp. 77–94.
- SAS-2008-SeidlFP #equation #polynomial
- Analysing All Polynomial Equations in ℤ₂ᵂ (HS, AF, MP), pp. 299–314.
- ESOP-2007-SeidlFP #difference #linear
- Interprocedurally Analysing Linear Inequality Relations (HS, AF, MP), pp. 284–299.