12. EMSOFT 2012: Tampere, Finland

Keynotes

ESWEEK special session

Testing and characterization of embedded software

Theoretical aspects of embedded systems

Operating systems

Control theory

Hardware support

Invited session -- code-Level timing analysis

Timing analysis

Special session: an overview of the career of Paul Caspi

Languages, formal models and algorithms (1)

Languages, formal models and algorithms (2)

Tutorials

maintained by Schloss Dagstuhl LZI at University of Trier