Institute of Software Engineering and Programming Languages
Ulm University logo
Menu
  • Institute of Software Engineering and Programming Languages
  • Institute
    • Institute
    • Homepage
    • News
    • Vacancies
    • Contact
  • Teaching
    • Teaching
    • Overview
    • Topics for Theses and Internships
      • Topics for Theses and Internships
      • An interactive Augmented Reality interface for quadcopters
      • Self-Healing Software Architectures
      • CP and CHR
      • 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
    • Projects
      • Projects
      • 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 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 Ph.D. Students
    • Supervised dissertations
    • Former Staff and Ph.D. Students
      • Former Staff and Ph.D. Students
      • Stefan Kögel
      • Jeffrey Young
      • 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
      • Jairson Vitorino
      • Amira Zaki
      • Prof. Dr. Helmuth Partsch
        • Prof. Dr. Helmuth Partsch
        • Academic CV
        • Supervised dissertations
        • Publications
      • Tobias Weck
      • Daniel Gall
        • Daniel Gall
        • WFLP 2018: Online Appendix
    • FB
    • T
    • G+
    • @
  • DE
  • Print
  • Top
  • Ulm University

    • A–Z
    • Campus maps
    • Press releases
    • Job opportunities
    • Events calendar
    • Phone Directory
  • Legal information

    • About this Website
    • Privacy Policy
    • Website accessibility statement (German only)
  • Responsible for the content of this page:
    https://www.uni-ulm.de/index.php?id=40338
    Prof. Dr. Matthias Tichy
    Last modified:
    26. August 2019
    FB T YT I
Logo: Certificate since 2008 - audit family-friendly university Logo: Universities for openness, tolerance and against xenophobia
© 2020 Universität Ulm | Ulm University