• ARCADE: Aachen Rigorous Code Analysis and Debugging Environment
• artshop Modellrepository
• DFG-Graduiertenkolleg Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme
• DFG-Forschungsprojekt "Formale Anforderungsspezifikation und -analyse"
• CEVTES (in Kooperation mit TU Wien)
• Teilnahme am Carolo Cup
• ECLA-VENT
• AutoMock
• eNav - Navigationssystem für Elektrorollstühle
• MAVerix - Teilnahme an der IMAV (International Micro Air Vehicle Competition)
• The UMIC Software Quality Initiative

Eine Auflistung und Beschreibung bereits abgeschlossener Projekte, welche von unserer Gruppe in der Vergangenheit bearbeitet wurden, finden Sie an dieser Stelle.