Welcome

Table of Contents

Author Index

EMSOFT 2004 Foreword

EMSOFT 2004 Conference Organization

EMSOFT 2004 Reviewers

Session 1: Operating Systems
Chair: D. Mossé (University of Pittsburgh)

Session 2: Verification
Chair: T. Henzinger (University of California at Berkeley)

Session 3: Energy-aware Systems
Chair: L. Benini (University of Bologna)

Session 4: Scheduling
Chair: G. Lipari (Scuola Superiore Sant'Anna)

Session 5: Programming Languages
Chair: J. Sztipanovits (Vanderbilt University)

Session 6: Formal Methods I
Chair: A. Benveniste (IRISA/INRIA)

Session 7: System Design
Chair: L. Almeida (University of Aveiro)

Session 8: Distributed Systems
Chair: L. Lo Bello (University of Catania)

Session 9: Formal Methods II
Chair: S. Yovine (Verimag)

Session 10: Formal Languages
Chair: J. Sifakis (Verimag)

Session 11: Timing Analysis
Chair: G. Bernat (University of York)