ISTE

Research

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

Reliable Software Systems Research Group

The Reliable Software Systems Research 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 Reliable Software Systems Research 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

Dieses Bild zeigt Plödereder
Prof. Dr. rer. nat./Harvard Univ.

Erhard Plödereder

Head of the Programming Languages and Compilers Group

Dieses Bild zeigt Becker
Prof. Dr.-Ing.

Steffen Becker

Head of the Reliable Software Systems Group

[Photo: U. Regenscheit / University of Stuttgart]

Dieses Bild zeigt Wagner
Prof. Dr.

Stefan Wagner

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