Andrea Flexeder

	address:	Technische Universität München Institut für Informatik Lehrstuhl II: Sprachen und Beschreibungsstrukturen Boltzmannstr. 3 85748 Garching
	e-mail:	flexeder [at] in.tum.de
	tel:	+49 89 289 18178
	fax:	+49 89 289 18161
	room:	02.07.059

Andrea Flexeder, Markus Müller-Olm, Michael Petter, Helmut Seidl : Fast Interprocedural Linear Two Variable Equalities (PDF) (to appear)
Andrea Flexeder, Helmut Seidl, Michael Petter: Improvements of the cache behaviour prediction by modular arithmetic (Technical Report 2009) (PDF) Paper
Andrea Flexeder, Helmut Seidl, Michael Petter: Analysis of Executables for WCET concerns (Technical Report 2008) (PDF) Paper
Michael Petter, Andrea Flexeder, Helmut Seidl: Analysing All Polynomial Equations in Z_2^w (SAS 2008) (PDF) Paper
Andrea Flexeder, Michael Petter, Helmut Seidl: Interprocedurally Analysing Linear Inequalities ( ESOP 2007 ) (PDF) Paper

Compiler construction:
GNU linux cross powerpc-eabi (tutorial)
Program analysis and verification:
verification and inference of program invariants (invar)
linear inequality relations (linrel)