| 2006 | Analysis of the zeroconf protocol using UPPAAL. | Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang |
| 2006 | Scratchpad memory management for portable systems with a memory management unit. | Bernhard Egger, Jaejin Lee, Heonshik Shin |
| 2006 | Incremental schedulability analysis of hierarchical real-time components. | Arvind Easwaran, Insik Shin, Oleg Sokolsky, Insup Lee |
| 2006 | New approach to architectural synthesis: incorporating QoS constraint. | Harsh Dhand, Basant Kumar Dwivedi, M. Balakrishnan |
| 2006 | Scheduling for multi-threaded real-time programs via path planning. | Thao Dang, Philippe Gerner |
| 2006 | Embedded system development for automotive applications: trends and challenges. | Werner Damm |
| 2006 | Mixing signals and modes in synchronous data-flow systems. | Jean-Louis Colao, Grgoire Hamon, Marc Pouzet |
| 2006 | Software partitioning for effective automated unit testing. | Arindam Chakrabarti, Patrice Godefroid |
| 2006 | A timing model for synchronous language implementations in simulink. | Timothy Bourke, Arcot Sowmya |
| 2006 | Communication by sampling in time-sensitive distributed systems. | Albert Benveniste, Benot Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis |
| 2006 | Multi-level software reconfiguration for sensor networks. | Rahul Balani, Chih-Chieh Han, Ram Kumar Rengaswamy, Ilias Tsigkogiannis, Mani B. Srivastava |
| 2006 | Implementing fault-tolerance in real-time systems by automatic program transformations. | Tolga Ayav, Pascal Fradet, Alain Girault |
| 2006 | An analysis framework for network-code programs. | Madhukar Anand, Sebastian Fischmeister, Insup Lee |
| 2005 | Distributing synchronous programs using bounded queues. | Marco Zennaro, Raja Sengupta |
| 2005 | A sink-n-hoist framework for leakage power reduction. | Yi-Ping You, Chung-Wen Huang, Jenq Kuen Lee |
| 2005 | Compiler-guided register reliability improvement against soft errors. | Jun Yan, Wei Zhang |
| 2005 | Minimizing expected energy in real-time embedded systems. | Ruibin Xu, Daniel Moss, Rami G. Melhem |
| 2005 | Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling. | Ernesto Wandeler, Lothar Thiele |
| 2005 | Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers. | Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi |
| 2005 | From multi-clocked synchronous processes to latency-insensitive modules. | Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benot Caillaud |
| 2005 | HAIL: a language for easy and correct device access. | Jun Sun, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam |
| 2005 | From statecharts to ESP: programming with events, states and predicates for embedded systems. | Vugranam C. Sreedhar, Maria-Cristina V. Marinescu |
| 2005 | Power consumption profile analysis for security attack simulation in smart cards at high abstraction level. | Klaus Rothbart, Ulrich Neffe, Christian Steger, Reinhold Weiss, Edgar Rieger, Andreas Mhlberger |
| 2005 | A UML 2.0 profile for SystemC: toward high-level SoC design. | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio |
| 2005 | Random testing of interrupt-driven software. | John Regehr |