Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Andreas Podelski

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

Projects

As Applicant
- Current projects
  - Incremental Development, Incremental Checking: Software Model Checking of Temporal HAL Interface Specifications for Embedded Systems with a Hardware Abstraction Layer (Research Grants)
  - A Modeling and Analysis Framework for Clinical Guidelines (Research Grants)
- Completed projects
  - Abstract Cognitive Models (Research Grants)
As Participating Researcher
- Completed projects
  - GRK 623: Quality Guarantees for Computer Systems (Research Training Groups)
As Project Head
- Completed projects
  - Beyond Timed Automata (CRC/Transregios)
  - Heuristic Search and Abstract Model Checking (CRC/Transregios)
  - Automatic Verification of Hybrid System Stability (CRC/Transregios)
  - Dynamic Communication Systems (CRC/Transregios)

© 2024 DFG Disclaimer / Copyright / Privacy Policy