Menu

Institute of Software Engineering and Programming Languages
Institute
Teaching
- Teaching
- Overview
- Topics for Theses and Projects
- Supervised Theses
Research
- Research
- Overview
- Projects
  - Projects
  - SafeSec
  - CodeInspector
  - flowR
  - CoreASM
  - Ensure
  - Flux
  - GENIAL
  - Inline
  - MENTOR
  - MICE
  - Feature-Model Counting
  - SORRIR
  - Quadcopter Lab
  - VariantSync
  - Super-Linear Speedup by Program Transformation
  - Embedding of Constraint Handling Rules
  - Waddle
- Publications
Team