Software Engineering and Programming Languages

The Software Technologies Research Group focusses on mathematical techniques for the specification, modelling and analysis of complex and frequently embedded and concurrent software systems. The focus lies on modern methods and tools for requirements engineering, model-driven software development and software verification.

Current and recent research topics:

• Interface theories and heterogeneous specification languages for concurrent systems
• Model-driven development of embedded software using synchronous languages
• Heap analysis and verification for C programs and object code
• LET (Logical Execution Time) semantics for real-time software on multi-core processors