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)
|