CoreASM - Ulm University

Skip to main navigation
Skip to content
Skip to footer
Skip to search

Institute of Software Engineering and Programming Languages

Menu

Institute of Software Engineering and Programming Languages
Institute
- Institute
- Homepage
- News
- Vacancies
- Contact
Teaching
- Teaching
- Overview
- Topics for Theses and Projects
- Supervised final theses
Research
- Research
- Overview
- Projects
  - Projects
  - SafeSec
  - Constraint Handling Rules
    - Constraint Handling Rules
    - Projects
    - People
    - Publications
    - More information
  - ConMEq
  - CoreASM
  - Ensure
  - Flux
  - GENIAL
  - Inline
  - MICE
  - OBDDimal
  - Planspiel Softwareprojektmanagement
    - Planspiel Softwareprojektmanagement
    - Brettspiel
  - SORRIR
  - Quadcopter Lab
  - VariantSync
- Publications
Team
- Team
- Overview
- SoftVarE Working Group
- Prof. Dr. Matthias Tichy
- Prof. Dr. Thom Frühwirth
- Prof. Dr. Thomas Thüm
- Carolin Göhring
- Kathrin Deißler
- Paul Maximilian Bittner
- Florian Ege
- Raffaela Groner
- Tobias Heß
- Dr. Katharina Juhnke
- Denis Neumüller
- 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
  - Prof. Dr. Helmuth Partsch
    - Prof. Dr. Helmuth Partsch
    - Academic CV
    - Supervised dissertations
    - Publications
  - Alexander Breckel
  - Daniel Gall
    - Daniel Gall
    - WFLP 2018: Online Appendix
  - Dr. Walter Guttmann
    - Dr. Walter Guttmann
    - Algebra of Computing
    - Publications
    - Teaching
  - Jens Kohlmeyer
  - Tobias Weck
  - Dr. Jeffrey M. Young

You are here:

SP
Research
Projects
CoreASM

DE

Ulm University

Legal information

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