Empirical Software Engineering Group
The Empirical Software Engineering Research Group wants to deliver contributions to software engineering which are applicable to the real world and also used in the real world. At the same time we do not ask external partners to apply software engineering procedures we do not follow ourselves daily. Thus we are our own, not always successful, laboratory animals.
Our research focuses on tools and techniques for building reliable, efficient, and secure software. To this end, we work on testing and analysis of complex software systems. As part of our research, we have contributed to techniques that detected thousands of bugs and critical vulnerabilities in widely used software.
Software Quality and Architecture Group
The Software Quality and Architecture Group focuses on the development of high-quality software systems. In particular, we focus on methods to develop trustworthy software systems, i.e. performant, scalable, elastic, cost-efficient, reliable, safe, and mantainable ones. We research into methods and tools to verify these properties on system models at design time and methods and tools to enforce these properties at runtime. Our research targets applications in various domains, e.g., information systems, web-scale systems, IoT-systems, avionic systems, mechatronic systems or systems doing high-performance computing.