Skip to main navigation
Skip to content
Skip to footer
Skip to search
Institute of Software Engineering and Programming Languages
Search
Menu
Institute of Software Engineering and Programming Languages
Institute
Institute
Homepage
News
Vacancies
Contact
Teaching
Teaching
Overview
Topics for Theses and Projects
Supervised Theses
Research
Research
Overview
Projects
Projects
SafeSec
CoreASM
Ensure
Flux
GENIAL
Inline
MENTOR
MICE
OBDDimal
Feature Model Counting
SORRIR
Quadcopter Lab
VariantSync
Super-Linear Speedup by Program Transformation
Embedding of Constraint Handling Rules
Publications
Team
Team
Overview
Team
Paul Maximilian Bittner
Florian Ege
Raffaela Groner
Tobias Heß
Denis Neumüller
Sebastian Krieter
Jakob Pietron
Dr. Alexander Raschke
Sascha Rechenberger
Michael Stegmaier
Chico Sundermann
Thomas Witte
Prof. Dr. Matthias Tichy
Prof. Dr. Thom Frühwirth
Prof. Dr. Thomas Thüm
Kathrin Deißler
Simon Hutter
SoftVarE Working Group
CHR Research Group
External PhD Students
Supervised dissertations
Former Team Members
You are here:
SP
Research
Projects
CoreASM
DE
