LASER Summer School on Software Engineering

» Software engineering for concurrent and real-time systems « 

September 11 - 17, 2005
Elba, Italy

Director: Bertrand Meyer (ETH Zürich)

  Home | Topics | Speakers | Lectures | Schedule | Other activities | Visitor Information | Contacts | Registration | Pictures | Previous LASER school  
 

Topics

  • A process-algebra for web computing
    Jayadev Misra

  • Szumo: a compositional contract model for safe multi-threaded applications
    Laura Dillon

  • Temporal verification of reactive programs
    Amir Pnueli

  • Object technology for concurrent and real-time programs
    Bertrand Meyer

  • Component-based modeling of real-time systems
    Joseph Sifakis

  • Transparent distribution of real-time software components based on logical execution time
    Wolfgang Pree

  

Chair of Software Engineering - ETH Zürich Last update: 1-September-2005