Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Dr. Markus Müller-Olm

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

Projekte

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

© 2024 DFG Kontakt / Impressum / Datenschutz