Groups

Divisions

• Division of Computer Science and Networks
• Division of Embedded Systems
• Division of Software Engineering

Research groups

• Complex Real-Time Embedded Systems
• Dependability
• Formal Modelling and Analysis of Embedded Systems
• Industrial Software Engineering
• Model-Based Engineering of Embedded Systems
• Programming Languages
• Real-Time Systems Design group
• Safety-critical Engineering
• Software Testing Laboratory
• Wireless Communication