Consequently, both the likelihood of errors and their potential damage increases. More research is needed to make today's and tomorrow's software systems less costly, and yet more reliable, reusable, and secure. Formal methods offer concepts, methods, and tools that are firmly grounded in mathematics and aim at specifying, analyzing and verifying program behaviour. Juergen's research interests span the theory and application of formal methods to the design, analysis and verification of complex software systems. Research Projects Formalization and analysis of architectural styles.
Architectural styles are common idioms for building software systems.
The research is aimed at a better understanding of the high-level properties of various style and the development of corresponding analysis techniques. Program transformation and refinement. We investigate the use of transformational approaches for the development and verification of software systems. Bridging the High-Level Architecture. An incomplete list can be found here .