CoreASM - Ulm University

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
- Alexander Breckel
- Florian Ege
- Raffaela Groner
- Tobias Heß
- Dr. Katharina Juhnke
- Jakob Pietron
- Dr. Alexander Raschke
- Sascha Rechenberger
- Michael Stegmaier
- Chico Sundermann
- Thomas Witte
- External Ph.D. Students
- Supervised dissertations
- Former Employees and Doctorands
  - Former Employees and Doctorands
  - Dr. Jeffrey M. Young
  - Dr. Walter Guttmann
    - Dr. Walter Guttmann
    - Algebra of Computing
    - Publications
    - Teaching
  - Jens Kohlmeyer
  - Prof. Dr. Helmuth Partsch
    - Prof. Dr. Helmuth Partsch
    - Academic CV
    - Supervised dissertations
    - Publications
  - Tobias Weck
  - Daniel Gall
    - Daniel Gall
    - WFLP 2018: Online Appendix

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