Information about our research can be found on the individual department websites.

Programming Languages and Compilers Group

The focus of research is program analyses that serve the purpose of understanding program code, recognizing and avoiding errors, and preserving the software architecture during maintenance. At present the research is geared towards the analysis of parallel software, above all towards the recognition of thread communication and possible synchronization errors (data races). Furthermore we work on the infrastructure of analysis tool suites and on guidelines for the prevention of vulnerabilities in software systems.

Research of the Programming Languages and Compilers Group

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.

Research of the Software Quality and Architecture Group

Software Engineering Group

The 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.

Research of the Software Engineering Group

Contacts for ISTE

This picture showsSteffen Becker
Prof. Dr.-Ing.

Steffen Becker

Head of the Software Quality and Architecture Group

[Photo: U. Regenscheit / University of Stuttgart]

This picture showsMichael Pradel
Prof. Dr. sc.

Michael Pradel

Head of Software Lab

This picture showsStefan Wagner
Prof. Dr.

Stefan Wagner

Head of the Empirical Software Engineering Group, Executive Director of the Institute of Software Engineering

To the top of the page