Detailseite

Professor Dr. Javier Esparza

Adresse Technische Universität München
TUM School of Computation, Information and Technology
Lehrstuhl für Theoretische Informatik
Boltzmannstraße 3
85748 Garching

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Algorithms for Software Model Checking (Sachbeihilfen) bis 3/2007
  - Computergestützte Verifikation von Automatenkonstruktionen für Model Checking (Sachbeihilfen)
  - Polynomielle Systeme über Semiringen: Grundlagen, Algorithmen, Anwendungen (Sachbeihilfen)
  - Skalierbare saturation-basierte Verfahren für die Verifikation von Programmen höherer Ordnung (Sachbeihilfen)
  - Negotiations: Ein Modell für nebenläufige Systeme mit niedriger Komplexität (Sachbeihilfen)
  - Group-by-Ziele bei der probabilistichen Verifikation (Sachbeihilfen)
Als beteiligter Wissenschaftler
- laufende Projekte
  - GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems (Graduiertenkollegs)
- abgeschlossene Projekte
  - GRK 1480: PUMA Programm- und Modell-Analyse (Graduiertenkollegs)
Als Teilprojektleiter
- abgeschlossene Projekte
  - Formale Methoden für die Modellierung und Analyse von mobilen kontextbezogenen Systemen (Sonderforschungsbereiche)
Als Mitverantwortlich
- abgeschlossene Projekte
  - Verifizierte Model Checker (Sachbeihilfen)

Servicenavigation

Hauptnavigation

Professor Dr. Javier Esparza

Zusatzinformationen

Servicenavigation

Hauptnavigation

Professor Dr. Javier Esparza

Zusatzinformationen

Textvergrößerung und Kontrastanpassung