Home
Lectures
 
Application closed

2003
2004
2005
2006
2007
2008
2009
2010
2011
 

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: Requirements Engineering: From Goals and Informal Requirements to System Specification (abstract / slides)
Michael Butler
School of Electronics&Computer Science, Southampton
UK
Talk: Abstraction, Refinement and Decomposition for Systems Engineering (abstract / slides)
Ernie Cohen
Microsoft Research, Redmond
USA
Talk: How to Verify Your Software? (abstract / slides)
Stefania Gnesi
ISTI-CNR, Pisa
Italy
Talk: Families of Dependable Systems: A Model Checking Approach (abstract / slides)
Klaus Havelund
NASA's Jet Propulsion Lab, Pasadena CA
USA
Talk: Verifying Execution Traces (abstract / slides)
Joost-Pieter Katoen
RWTH Aachen
Germany
Talk: Performace Analysis by Model Checking (abstract / slides)
Axel van Lamsweerde
Université Catholique de Louvain
Belgium
Talk: Risk-driven Engineering of Requirements for Dependable Systems (abstract / slides)
Kim Larsen
Aalborg University
Denmark
Talk: Model-based Verification and Analysis for Real-Time Systems (abstract / slides)
Richard Paige
University of York
UK
Talk: Model-Driven Engineering and Model Transformation: for Fun and Profit (abstract / slides)
Corina Pasareanu
NASA Ames Research Center, Moffet Field CA
USA
Talk: Symbolic Execution and Software Testing (abstract / slides)
Doron Peled
Bar Ilan University, Ramat Gan
Israel
Talk: Model Checking and Synthesis (abstract / slides)
Feel free to contact us via e-mail. 

Phone: +49 (0)89 289 - 17829
Fax: +49 (0)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