1. Rigorous embedded design: challenges and perspectives

   • Saddek Bensalem
   • Axel Legay
   • Marius Bozga

   Introduction 31 March 2013 Pages: 149 - 154

2. Component-based system design: analytic real-time interfaces for state-based component implementations

   • Kai Lampka
   • Simon Perathoner
   • Lothar Thiele

   EUROSYS 09 August 2012 Pages: 155 - 170

   

3. Compositional performance analysis with improved analysis techniques for obtaining viable end-to-end latencies in distributed embedded systems

   • Jonas Rox
   • Rolf Ernst

   EUROSYS 25 September 2012 Pages: 171 - 187

   

4. Temporal isolation in real-time systems: the VBS approach

   • Silviu S. Craciunas
   • Christoph M. Kirsch
   • Ana Sokolova

   Eurosys 01 July 2012 Pages: 189 - 209

5. Timed-automata based schedulability analysis for distributed firm real-time systems: a case study

   • Thi Thieu Hoa Le
   • Luigi Palopoli
   • Yusi Ramadian

   Eurosys 06 July 2012 Pages: 211 - 228

6. Tradeoff exploration between reliability, power consumption, and execution time for embedded systems

   • Ismail Assayad
   • Alain Girault
   • Hamoudi Kalla

   Eurosys 16 November 2012 Pages: 229 - 245

   

7. Monitoring properties of analog and mixed-signal circuits

   • Oded Maler
   • Dejan Ničković

   EUROSYS 11 July 2012 Pages: 247 - 268

8. Modeling task systems using parameterized partial orders

   • Fred Houben
   • Georgeta Igna
   • Frits Vaandrager

   EUROSYS 13 November 2012 Pages: 269 - 286