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

Detailseite

Person

Druckansicht

Professor Dr. Andreas Podelski

Adresse Albert-Ludwigs-Universität Freiburg
Technische Fakultät
Institut für Informatik
Georges-Köhler-Allee 106
79110 Freiburg

Projekte

Als Antragsteller
- laufende Projekte
  - Inkrementelle Entwicklung, kontinuierliche Überprüfung: Software Model Checking von temporären HAL- Schnittstellenspezifikationen für eingebettete Systeme mit Hardware-Abstraktionsschicht (Sachbeihilfen)
  - Ein Framework für die Modellierung und Analyse von Clinical Guidelines (Sachbeihilfen)
- abgeschlossene Projekte
  - Abstrakte Kognitive Modelle (Sachbeihilfen)
Als beteiligter Wissenschaftler
- abgeschlossene Projekte
  - GRK 623: Leistungsgarantien für Rechnersysteme (Graduiertenkollegs)
Als Teilprojektleiter
- abgeschlossene Projekte
  - Über Realzeitautomaten hinaus (Transregios)
  - Heuristisches Suchen und abstraktes Modell-Checking für Realzeit-Systeme (Transregios)
  - Automatische Stabilitätsbeweisführung für Hybride Systeme (Transregios)
  - Dynamische Kommunikationssysteme (Transregios)

© 2024 DFG Kontakt / Impressum / Datenschutz