Home
Lectures
 
Application Form

Deadline
March 10, 2010
2003
2004
2005
2006
2007
2008
2009
2010
 
With a click on the button above, your browser will establish a connection to Facebook. See the Impressum for more information.
Ed Brinksma
University of Twente
Netherlands
Talk: Model-based Testing (abstract/slides)
Manfred Broy
Technische Universität München
Germany
Talk: Model-Driven Development of Reliable Services (abstract/slides)
William Cook
Department of Computer Sciences
The University of Texas at Austin
USA
Talk: Reflective Access Control in Model-Based Information Systems (abstract/slides)
Carlo Ghezzi
Politecnico di Milano
Italy
Talk: Issues of Adaptable Software for Open-World Requirements (abstract/slides)
Susanne Graf
Laboratoire Verimag
France
Talk: Abstraction for System Verification (abstract/slides)
John Harrison
Intel Corporation
USA
Talk: Formal Verification (abstract/slides)
Connie Heitmeyer
Naval Research Laboratory
USA
Talk: Requirements Models for System Safety and Security (abstract/slides)
Holger Hermanns
Universität des Saarlandes
Germany
Talk: From Concurrency Models to Numbers: Performance, Dependability, Energy (abstract/slides)
Tony Hoare
Microsoft Research
Cambridge
UK
Talk: Unifying Models of Data Flow (abstract/slides)
Kim Larsen
Aalborg University
Denmark
Talk: Model-based Verification and Analysis for Real-Time Systems (abstract/slides)
Doron Peled
Bar Ilan University
Israel
Talk: Model Checking (abstract/slides)
John Rushby
SRI International
USA
Talk: Formal Methods and Argument-based Safety Cases (abstract/slides)
Feel free to contact us via e-mail. 

Phone: +49 (89) 289 - 17829
Fax: +49 (89) 289 - 17824
 
 Postal address:
K. Spies / Summer School
Institut für Informatik
Technische Universität München
Boltzmannstr. 3
85748 Garching (München)
Impressum