Menu

Institute of Software Engineering and Programming Languages
Institute
- Institute
- Homepage
- News
- Human-Centered Software Engineering Research Group
- SoftVarE Working Group
- CHR Research Group
- Vacancies
- Contact
Teaching
- Teaching
- Overview
- Topics for Theses and Projects
- Supervised Theses
Research
- Research
- Overview
- Projects
  - Projects
  - SafeSec
  - CodeInspector
  - 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
- Publications
Team

Books

All publications