Research Projects

Current Projects

Former Projects

• AVACS
  Automatic Verification and Analysis of Complex Systems
• ArtistDesign
  Network of Excellence on Embedded System Design
• ES_PASS
  Embedded Systems Product Based Ensurance
• Predator
  Design for predictability and efficiency
• ARTIST2
  Network of Excellence on Embedded System Design
• CGiS
  Design and implementation of a data-parallel language on GPUs and CPUs
• Shape-Analysis for Languages with Destructive Updating
• PAG/WWW
• Joses (compiling Java for embedded systems)
• Transferbereich 14 (WCET/BCET determination)
• the Daedalus Project (Validation of critical avionics software)
• The GANIMAL Project
• ULI - Universitärer Lehrverbund Informatik