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

Detailseite

Person

Druckansicht

Professor Dr. Reiner Hähnle

Adresse Technische Universität Darmstadt
Fachbereich Informatik
Fachgebiet Software Engineering
Hochschulstraße 10
64289 Darmstadt

Projekte

Als Antragsteller
- laufende Projekte
  - KeY - Ein deduktives Software-Analyse-Werkzeug für die Forschungsgemeinschaft (Sachbeihilfen)
- abgeschlossene Projekte
  - Hybride statisch/dynamische Datenflussanalyse über Prozessgrenzen hinweg (Schwerpunktprogramme)
  - Constraint-Basierte operationelle Konsistenz evolvierender Software Systeme (Sachbeihilfen)
Als Beteiligte Person
- abgeschlossene Projekte
  - Fully Automatic Logic-Based Information Flow Analysis (Schwerpunktprogramme)
Als Gastgeber
- abgeschlossene Projekte
  - Feature-orientierte Verifikation von Softwareproduktlinien (Forschungsstipendien)

© 2024 DFG Kontakt / Impressum / Datenschutz