Home
Lectures
Abstracts available
Author Hints
Slides
Picture Book
Application Form
Deadline February 27, 2004
2003
2005
2006

With a click on the button above, your browser will establish a connection to Facebook. See the Impressum for more information.
Prof. Dr. Ralph-Johan Back
Department of Computer Science
Abo Akademi
Finland
Talk: Incremental Software Construction (pdf)
Dr. Tom Ball
Testing Verification and Measurement
Microsoft Research
USA
Talk: Software Model Checking via Counterexample-driven Refinement (pdf)
Prof. Dr. David Basin
IFW C 45.1
ETH Zentrum
Switzerland
Talk: Model Driven Security (pdf)
Prof. Dr. Manfred Broy
Institut für Informatik
Technische Universität München
Germany
Talk: Services, Components, Interfaces, and Layered Architectures
Specification, Composition, and Refinement (pdf)
Prof. Dr. David Harel
Faculty of Mathematics and Computer Science
The Weizmann Institute of Science
Israel
Talk: Some Challenges for System Development: Layout, Olfaction and Reactive Animation (pdf)
Prof. Thomas A. Henzinger, PhD
Electrical Engineering and Computer Sciences
University of California at Berkeley
USA
Talk: Interface-based Design (ps)
Prof. Dr. C.A.R. Hoare
Microsoft Research Ltd.
Cambridge
United Kingdom
Talk: Unifying Theories of Concurrency (pdf)
Prof. Dr. Bertrand Meyer
Department of Computer Science
ETH-Zentrum
Switzerland
Talk: Building Very High Quality Components: Issues and Solutions (pdf)
Prof. Dr. Jayadev Misra
Department of Computer Sciences
The University of Texas at Austin
USA
Talk: Transaction Orchestration (pdf)
Prof J. Strother Moore
Department of Computer Sciences
The University of Texas at Austin
USA
Talk: Little (but Hard) Theorems about Big Systems: some Case Studies (ps)
Further Reading, Working Material and Exercises
Prof. Dr. Amir Pnueli
Faculty of Mathematics and Computer Science
The Weizmann Institute of Science
Israel
Talk: Abstraction-Aided Verification (pdf)
Prof. Dr. Shmuel Sagiv
The School of Computer Science
Tel-Aviv University
Israel
Talk: TVLA: A System for Generating Abstract Interpreters (pdf)
Feel free to contact us via e-mail. 

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