compositional definition and implementation of complex software systems

New concepts and techniques for the compositional definition and implementation of complex software systems, notably involving crosscutting concerns that cannot be handled modularly using traditional software development approaches.

Programming techniques and algorithms for resource management in mutualized environments

New programming techniques and algorithms for resource management in mutualized environments. We provide language abstractions and implementation techniques for large-scale applications in cloud- and grid-based systems, both on the level of (service-based) applications and (virtualized) infrastructures. We develop solutions, in particular, for the optimization of the energy consumption in such environments (data centers …)

Formal theories for and apply formal methods to the correctness of software systems

Enterprise information systems, the Cloud, and pervasive systems

Finally, we apply and validate our results based on real-world applications from numerous domains, notably enterprise information systems, the Cloud, and pervasive systems. We pursue, in particular, applications in the domains of smart manufacturing, health and societies.