Institute of Software Engineering and Programming Languages
Menu
Institute of Software Engineering and Programming Languages
Institute
Institute
Homepage
News
Vacancies
Contact
Teaching
Teaching
Overview
Sommersemester 2020
Sommersemester 2020
Compilerbau
Programming paradigms
Programmierung von Systemen
Software-Produktlinien
Software engineering II
Logic-based Programming Languages (Proseminar)
Seminar: Features of Programming Languages
Projekt: Development of Eclipse Plug-Ins
Software construction
Anwendungsprojekte Software Engineering
Wintersemester 2019/20
Wintersemester 2019/20
Functional Programming
Management von Softwareprojekten
Model Driven Software Engineering
Principles of Program Analysis
Rule-based Programming
Softwaretechnik I
Proseminar: Softwaretechnik
Seminar: Forschungstrends der Softwaretechnik
Seminar: Regelbasierte und Constraint-Programmierung
Projekt: Compilerbau
Project: Rule-based and Constraint Programming
Software construction
Anwendungsprojekte Software Engineering
Abschlussarbeiten und Praktika
Abschlussarbeiten und Praktika
An interactive Augmented Reality interface for quadcopters
Self-Healing Software Architectures
CP and CHR
Extending and Evaluating a Tool for Visual and Stepwise Evaluation of Functional Programming Expressions (ClickyEvaluation)
Developing an Automatic Validator for Cisco ASA IOS Configurations at ScanPlus
Evaluating the Usability of State Chart Tools
Comparison of the creation of models by hand to the creation of models using tools
Supervised final theses
Research
Research
Overview
Projekte
Projekte
ActiveCharts
ActiveCharts
Constraint Handling Rules
Constraint Handling Rules
Projects
People
Publications
More 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 Bittner
Alexander Breckel
Florian Ege
Alexander Hinz
Raffaela Groner
Katharina Juhnke
Stefan Kögel
Jakob Pietron
Dr. Alexander Raschke
Sascha Rechenberger
Michael Stegmaier
Thomas Witte
Jeffrey Young
External Ph.D. Students
Supervised dissertations
Former Staff and Ph.D. Students
Former Staff and Ph.D. Students
Hariolf Betz
Markus Brenner
Armin Bolz
Marcel Dausend
Khalil Djelloul
Dietmar Ernst
Wolfgang Gehring
Dominik Gessenharter
Dr. Walter Guttmann
Dr. Walter Guttmann
Algebra of Computing
Publications
Teaching
Tobias Häberlein
Carolin Hürster
Niko Kleiner
Jens Kohlmeyer
Marc Meister
Frank Raiser
Stefan Sarstedt
Leonie Slave
Jairson Vitorino
Amira Zaki
Prof. Dr. Helmuth Partsch
Prof. Dr. Helmuth Partsch
Academic CV
Supervised dissertations
Publications
Christina Knecht
Peter Nothelfer
Tobias Weck
Daniel Gall
Daniel Gall
WFLP 2018: Online Appendix
DE
