Research Projects
Current Projects
No Current ProjectsFormer 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