Professor Dr. Markus Müller-Olm

Adresse Universität Münster
Institut für Informatik
Einsteinstraße 62
48149 Münster

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Optimale Interprozeduale Analyse von Programmen mit dynamischer Thread-Erzeugung (Sachbeihilfen)
  - Informationsflusskontrolle für mobile Komponenten mittels präziser Analyse paralleler Programme (Schwerpunktprogramme)
  - Model-Checking von Navigationslogiken (MoNaLog) (Sachbeihilfen)