Folgende Projekte wurden von unserem Lehrstuhl in der Vergangenheit bearbeitet und sind bereits abgeschlossen.

• Statische Analyse von C-Programmen für Mikrocontroller
• FAT-Projekt Zuverlässigkeit von Automotive Embedded Systems (2009\2010)
• Versuchsträger Automotive Software Design
• BMBF Projekt ZAMOMO
• FAT-Projekt Zuverlässigkeit von Automotive Embedded Systems (2007\2008)
• Evaluation von Matlab\Simulink-Modelcheckern
• Teilnahme am Carolo Cup 2008
• Sicherheitskritische Eingebettete Systeme
• Automotive Software Engineering
• Agile Methods for Embedded Systems
• EU-Projekt HYCON
• SmartECLA
• Sicherheitsanalyse und Regelung von Fahrzeugkolonnen
• Variabilitäts- und Komplexitätsmanagement in der modellbasierten Entwicklung von Software-Produktlinien
• The UMIC Software Quality Initiative
• MAVerix - Teilnahme an der IMAV (International Micro Air Vehicle Competition)
• artshop Modellrepository
• DFG-Graduiertenkolleg Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme
• DFG-Forschungsprojekt "Formale Anforderungsspezifikation und -analyse"
• CEVTES (in Kooperation mit TU Wien)
• ECLA-VENT