Direkt zur Hauptnavigation
Direkt zum Inhalt
Direkt zum Funktionsmenü (Sprache, Drucken, Social Media)
Direkt zur Fußleiste
Direkt zur Suche

Institute of Software Engineering and Programming Languages

Menü

SP
Institute
Teaching
Research
- Research
- Overview
- Projects
  - Projects
  - SafeSec
  - CodeInspector
  - flowR
  - CoreASM
  - Ensure
  - Flux
  - GENIAL
  - Inline
  - MENTOR
  - MICE
  - Feature-Model Counting
  - SORRIR
  - Quadcopter Lab
  - VariantSync
  - Super-Linear Speedup by Program Transformation
  - Embedding of Constraint Handling Rules
  - Waddle
- Publications
Team

SP
Schulungsstart
Forschungsprojekte

EN

Forschungsprojekte WS22/23

Ensure Projekt

Mentor Projekte 2022

Mentor Projekttreffen

DFG Projekte

Forschungsprojektaufbau 1

Themen der Forschungsprojekte

Thema 1	Thema 2	Thema 3

Service

Rechtliche Hinweise

Inhaltlich verantwortlich für diese Seite:
https://www.uni-ulm.de/index.php?id=127615
Prof. Dr. Matthias Tichy

Zuletzt bearbeitet:
28 . Februar 2025

© 2025 Universität Ulm | Ulm University