Andrea Flexeder

According to our database, Andrea Flexeder authored at least 7 papers between 2007 and 2012.

Collaborative distances:

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

2012

Support vector machines for program analysis.

Andrea Flexeder, Matthias Putz, Thomas A. Runkler

Proceedings of the 2012 International Joint Conference on Neural Networks (IJCNN), 2012

2011

Interprocedural analysis of low-level code.

Andrea Flexeder

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