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
Projects:
SuReal
: Sicherheitsgarantien unter Realzeitanforderungen
sureal-projekt
Publications:
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
Andrea Flexeder, Michael Petter, Helmut Seidl: Interprocedurally Analyzing Linear Inequalities (
NWPT 2006
)
(PDF) Paper
Modell und Wirklichkeit 2006
(PDF) Paper
Interests:
Compiler construction:
GNU linux cross powerpc-eabi
(tutorial)
Program analysis and verification:
verification and inference of program invariants
(invar)
linear inequality relations
(linrel)