4. EMSOFT 2004: Pisa, Italy

Keynote Addresses

Operating Systems

Verification

Energy-aware systems

Scheduling

Programming languages

Formal methods I

System design

Distributed systems

Formal methods II

Formal languages

Timing analysis