Stephan Thesing's Home Page
Overview
Research Interests
- Real-Time Systems
- Scheduling for hard Real-Time Systems
- Analysis of hard Real-Time Systems
- Compiler Construction
- Data Flow Analysis
- Incremental Analyses
- Analyses with external data
- Abstract Interpretation
- Functional Programming
- Java
- Analyzing Java
- Compiling Java to native code
- Term Rewriting Systems
- Logic Functional Languages
Projects
- DFG Project AIM
Abstrakte Inferenz Maschine
1993-1995
Teaching