Andrea Flexeder

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Top Venues

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Andrea Flexeder, Matthias Putz, Thomas A. Runkler
Support vector machines for program analysis. IJCNN (2012)
Andrea Flexeder, Michael Petter, Helmut Seidl
Side-Effect Analysis of Assembly Code. SAS (2011)
Andrea Flexeder, Markus Müller-Olm, Michael Petter, Helmut Seidl
Fast interprocedural linear two-variable equalities. ACM Trans. Program. Lang. Syst. 33 (6) (2011)
Andrea Flexeder, Bogdan Mihaila, Michael Petter, Helmut Seidl
Interprocedural Control Flow Reconstruction. APLAS (2010)
Helmut Seidl, Andrea Flexeder, Michael Petter
Analysing All Polynomial Equations in . SAS (2008)
Helmut Seidl, Andrea Flexeder, Michael Petter
Interprocedurally Analysing Linear Inequality Relations. ESOP (2007)