Monday, October 7, 2002
8:00 - 9:00 Registration
9:00 - 10:30 Amir Pnueli (Weizmann Institute)
        Embedded Systems: Challenges in Specification and Verification pdf

Nancy Leveson (MIT)
        An Approach to Designing Safe Embedded Software

David Harel (Weizmann Institute)
         Can Behavioral Requirements be Executed? (And why would we want to do so?)
10:30 - 11:00 Coffee break
11:00 - 12:30 T. John Koo, Judith Liebman, Cedric Ma, Benjamin Horowitz, Alberto Sangiovanni-Vincentelli, Shankar Sastry (University of California, Berkeley)
        Platform-based Embedded Software Design for Multi-Vehicle Multi-Modal System    pdf

Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger (University of California, Berkeley), Wolfgang Pree (University of Salzburg, Austria)
         A Giotto-based Helicopter Control System   pdf

Christoph M. Kirsch (University of California, Berkeley)
        Principles of Real-Time Programming   pdf
12:30 - 14:00 Lunch
14:00 - 15:30 Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic (University of California, Berkeley)
        Time Safety Checking for Embedded Programs   ppt

Gregor Goessler, Alberto Sangiovanni-Vincentelli (University of California, Berkeley)
        Compositional Modeling in Metropolis

Luca de Alfaro (University of California, Santa Cruz),
Thomas A. Henzinger (University of California, Berkeley),
Marielle Stoelinga (University of California, Santa Cruz),
        Timed Interfaces   ppt
15:30 - 16:00 Coffee break
16:00 -17:00 Stavros Tripakis, Verimag
        Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System   ppt

Darren Cofer, Murali Rangarajan (Honeywell)
        Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS   pdf
18:00 - Cocktail and visit at Grenoble Museum
Tuesday, October 8, 2002
9:00 - 10:30 Giorgio Buttazzo (University of Pavia)
        Scalable Applications for Energy-aware Processors    pdf

Lui Sha (University of Illinois, Urbana-Champaign)
        Upgrading Embedded Software in the Field: Dependability and Survivability   ppt

Al Mok (University of Texas, Austin)
        Real-Time Virtual Resource: a Timely Abstraction for Embedded Systems   ppt
10:30 - 11:00 Coffee break
11:00 - 12:30 Bertrand Delsart, Vania Joloboff, Eric Paire (Silicomp)
        JCOD: A Leightweight Modular Compilation Technology for Embedded Java  ppt

Tobias Ritzau, Peter Fritzson (Linköping University)
         Decreasing Memory Overhead in Hard Real-Time Garbage Collection   ppt

Vincent Colin de Verdière, Sebastien Cros, Christian Fabre, Romain Guider (Silicomp), Sergio Yovine (Verimag)
        Speedup Prediction for Selective Compilation of Embedded Java Programs    ppt   pdf
12:30 - 14:00 Lunch
14:00-15:30

Nicolas Halbwachs (Verimag)
        Synchronous Modeling of Asynchronous Systems

Albert Benveniste (IRISA/INRIA),
Paul Caspi (Verimag),
Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin (IRISA/INRIA),
Stavros Tripakis (Verimag),

        A Protcol for Loosely Time-Triggered Architectures   pdf

Alain Girault (INRIA Rhône-Alpes), Clément Menier (ENS Lyon)
        Automatic Production of GALS Systems   pdf

15:30 - 16:00 Coffee break
16:00-17:00 Douglas C. Schmidt (DARPA/IXO)
      Adaptive and Reflective Middleware for Distributed, Real-time, and Embedded Systems    ppt

Paul Caspi (Verimag), Albert Benveniste (IRISA/INRIA)
        Toward an Approximation Theory for Computerised Control   pdf
20:00 - Gala Banquet
Wednesday, October 9, 2002
9:00 - 10:30 Paolo Faraboschi (Hewlett Packard Laboratories)
         A New Facility for Dynamic Control of Program Execion: DELI   pdf

Sharad Malik (Princeton University)
        Design Tools for Application Specific Embedded Processors  pdf

Jakob Engblom and Bengt Jonsson (Uppsala University)
        Processor Pipelines and Their Properties for Static WCET Analysis    pdf
10:30 - 11:00 Coffee break
11:00-12:30 Henrik Theiling (Universität des Saarlandes)
        ILP-based Interprocedural Path Analysis

Joseph A. Zambreno (Northwestern University)
Mahmut Taylan Kandemir (Pennsylvania State University)
Alok Choudhary (Northwestern University)
        Enhancing Compiler Techniques for Memory Energy Optimizations

Valérie Bertin, Jean-Marc Daveau, Philippe Guillaume, Thierry Lepley, Denis Pilat, Claire Richard, Miguel Santana and Thomas Thery (ST Microelectronics)
        FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors   ppt
12:30 - 14:00 Lunch
14:00-15:30 Giovanni De Micheli (Stanford University) - joint talk EMSOFT'02 - CASES'02

John Rayfield (ARM Ltd.) - joint talk EMSOFT'02 - CASES'02
15:30 - 16:00 Coffee break
16:00-17:30 Bran Selic (Rational)
        Physical Programming: Beyond Mere Logic   pdf

Luciano Lavagno (Politecnico di Torino and Cadence Labs)
        Processes, interfaces and platforms. Embedded software modeling in Metropolis   ppt

Jens Palsberg (Purdue University) - joint talk EMSOFT'02 - CASES'02