Institut für Softwaretechnik und Programmiersprachen
Menü
SP
Institute
Institute
Homepage
News
Vacancies
Contact
Teaching
Teaching
Overview
Summer Semester 2020
Summer Semester 2020
Compilerbau
Paradigmen der Programmierung
Programmierung von Systemen
Software-Produktlinien
Softwaretechnik II
Proseminar: Logikbasierte Programmiersprachen
Seminar: Features of Programming Languages
Projekt: Development of Eclipse Plug-Ins
Softwaregrundprojekt (Sopra)
Anwendungsprojekte Software Engineering
Abschlussarbeiten und Praktika
Abschlussarbeiten und Praktika
An interactive Augmented Reality interface for quadcopters
Self-Healing Software Architectures
Constraint-Programmierung und CHR
Evaluating the Usability of State Chart Tools
Comparison of the creation of models by hand to the creation of models using tools
Supervised Theses
Research
Research
Overview
Projects
Projects
ActiveCharts
ActiveCharts
Constraint Handling Rules
Constraint Handling Rules
Projekte
Mitglieder
Publikationen
Mehr Information
ConMEq
CoreASM
Ensure
Flux
FormalCog
GENIAL
Inline
MICE
Planspiel Softwareprojektmanagement
Planspiel Softwareprojektmanagement
Brettspiel
SORRIR
VariantSync
Publications
Team
Team
Overview
Prof. Dr. Matthias Tichy
Prof. Dr. Thom Frühwirth
Prof. Dr. Thomas Thüm
Carolin Göhring
Kathrin Deißler
Paul Maximilian Bittner
Alexander Breckel
Florian Ege
Alexander Hinz
Raffaela Groner
Katharina Juhnke
Jakob Pietron
Dr. Alexander Raschke
Sascha Rechenberger
Michael Stegmaier
Chico Sundermann
Thomas Witte
External Doctorands
Supervised Dissertations
Former Employees and Doctorands
Former Employees and Doctorands
Stefan Kögel
Jeffrey Young
Hariolf Betz
Markus Brenner
Armin Bolz
Marcel Dausend
Khalil Djelloul
Dietmar Ernst
Dr. Wolfgang Gehring
Dominik Gessenharter
Dr. Walter Guttmann
Dr. Walter Guttmann
Algebra of Computing
Veröffentlichungen
Lehre
Dr. Tobias Häberlein
Carolin Hürster
Dr. Niko Kleiner
Dr. Jens Kohlmeyer
Dr. Marc Meister
Dr. Frank Raiser
Dr. Stefan Sarstedt
Jairson Vitorino
Amira Zaki
Prof. Dr. Helmuth Partsch
Prof. Dr. Helmuth Partsch
Werdegang
Betreute Dissertationen
Publikationen
Tobias Weck
Daniel Gall
Daniel Gall
WFLP 2018: Online Appendix
EN
Links
Web-CHR
CHR Webseite an der K.U. Leuven
Buch: Essentials of Constraint Programming
Lehre
Fördermittel
(auf Englisch)
