Andrea Flexeder
address:
Technische Universität München
Institut für Informatik
Lehrstuhl II: Sprachen und Beschreibungsstrukturen
Boltzmannstr. 3
85748 Garching
e-mail:
flexeder@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:
Andrea Flexeder, Michael Petter, Helmut Seidl: Interprocedurally Analysing Linear Inequalities 2006 (
ESOP 2007
)
(PDF) Paper
Andrea Flexeder, Michael Petter, Helmut Seidl: Interprocedurally Analyzing Linear Inequalities 2006 (
NWPT 2006
)
(PDF) Paper
Modell und Wirklichkeit 2006
(PDF) Paper
Talks:
AbsInt 2005
(PDF) Presentation
Modell und Wirklichkeit 2006
(PDF) Presentation
Diploma thesis:
(PDF) Interprozedurale Analyse linearer Ungleichungen
Interests:
Compiler construction:
GNU linux cross powerpc-eabi
(tutorial)
Program analysis and verification:
verification and inference of program invariants
(invar)
linear inequality relations
(linrel)