The following projects have been completed.

• eNav
• Static analysis of C based Programs for Microcontrollers
• Applying Formal Methods for QoS Provisioning in Mobile Architectures
• Reliable Automotive Embedded Systems (2009\2010)
• Experimental Vehicle for Automotive Software Design
• BMBF Projekt ZAMOMO
• Reliable Automotive Embedded Systems (2007\2008)
• Evaluation of Model Checkers for Matlab/Simulink
• Participation in the Carolo Cup 2008
• Safety-Critical Embedded Systems
• Automotive Software Engineering
• Agile Methods for Embedded Systems
• EU-Projekt HYCON
• SmartECLA
• Control of a Vehicular Platoon
• artshop model repository
• DFG-Graduiertenkolleg Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme
• CEVTES (cooperating with Vienna Technical University)
• 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
• ECLA-VENT