11. EMSOFT 2011: Taipei, Taiwan

Keynote address

Modeling

Systems

Synchronization and allocation

Hybrid systems

Languages, analysis, and transformation

Verification and assurance

Networking

Certification

Real-time scheduling

Automotive control software

Verification

Control systems

WCET analysis & flash memory

Tutorials