Page Content
to Navigation
Current research projects
- SFAssist- Automatische Strukturverbesserungen von Stateflow-Automaten
- Aktionsplan Informatik
gefördert von der DFG im Rahmen des Emmy Noether-Programms - Effektive Komplexität von Software-Modellen (ECoSMo)
- VATES2 - Verification and Transformation of Embedded Systems
- ArtistDesign – Design for Embedded Systems
- Correct Model Transformations (CorMoran)
- Service-oriented Architectures for the Integration of Software-based Processes, exemplified by Health Care Systems and Medical Technology (SOAMED)
- Reliable Embedded System design based on Co-verification in a Unified Environment (RESCUE)