Lecturers

The topic of this year's Summer School will be addressed by the following lecturers:

• Rajeev Alur:

• Regular Functions: Foundations and Application to Quantitative Policies over Streaming Data Abstract

• Manfred Broy:

• An Integrated Service-Oriented Modeling Approach of Functionality and Architecture of Multifunctional Systems Abstract

• Bernd Finkbeiner:

• Reactive Synthesis Abstract

• Radu Grosu:

• Logical Foundations of Cyber-Physical Systems Abstract

• Connie Heitmeyer:

• Formal Requirements Models for System Safety and Security Abstract

• Kim Larsen:

• From Timed Automata to Stochastic Hybrid Games -- Model Checking, Synthesis, Performance Analysis and Machine Learning Abstract

• Peter Müller:

• Modular Program Verification Abstract

• Doron Peled:

• Model Checking and Runtime Verification Abstract

• Alexander Pretschner:

• Defect-Based Testing Abstract

• Grigore Rosu:

• K -- a semantic framework for programming languages and formal analysis tools Abstract

• John Rushby:

• Assurance Cases for Dependable Software Systems Abstract

• Mark Ryan:

• Security-focussed protocols, and verification challenges Abstract