• ARCADE.PLC: Aachen Rigorous Code Analysis and Debugging Environment for PLCs
• artshop model repository
• DFG-Graduiertenkolleg Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme
• CEVTES (cooperating with Vienna Technical University)
• Carolo Cup
• ECLA-VENT
• eNav
• MAVerix - Participation in the IMAV (International Micro Air Vehicle Competition)
• RTAndroid - Real-Time Extension for the Android Platform and its Application in Industrial Automation
• The UMIC Software Quality Initiative
• Variability and Complexity Management in the Model-based Development of Software Product Lines

A list of already completed projects can be found here