| 2003 | Pre-Scheduling: Integrating Offline and Online Scheduling Techniques. | Weirong Wang, Aloysius K. Mok, Gerhard Fohler |
| 2003 | Generating Heap-Bounded Programs in a Functional Setting. | Walid Taha, Stephan Ellner, Hongwei Xi |
| 2003 | Event Correlation: Language and Semantics. | Csar Snchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna |
| 2003 | Eliminating Stack Overflow by Abstract Interpretation. | John Regehr, Alastair Reid, Kirk Webb |
| 2003 | Constraint-Based Design-Space Exploration and Model Synthesis. | Sandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts |
| 2003 | Energy-Conscious Memory Allocation and Deallocation for Pointer-Intensive Applications. | Victor De La Luz, Mahmut T. Kandemir, Guangyu Chen, Ibrahim Kolcu |
| 2003 | Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems. | Joseph P. Loyall |
| 2003 | Resource-Efficient Scheduling for Real Time Systems. | Kim Guldstrand Larsen |
| 2003 | A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications. | Christos Kloukinas, Chaker Nakhli, Sergio Yovine |
| 2003 | Energy-Efficient Multi-processor Implementation of Embedded Software. | Shaoxiong Hua, Gang Qu, Shuvra S. Bhattacharyya |
| 2003 | Schedule-Carrying Code. | Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic |
| 2003 | Reasoning about Abstract Open Systems with Generalized Module Checking. | Patrice Godefroid |
| 2003 | Clock-Driven Automatic Distribution of Lustre Programs. | Alain Girault, Xavier Nicollin |
| 2003 | Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs. | Janosch Fauster, Raimund Kirner, Peter P. Puschner |
| 2003 | Space Reductions for Model Checking Quasi-Cyclic Systems. | Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff |
| 2003 | Clocks as First Class Abstract Types. | Jean-Louis Colao, Marc Pouzet |
| 2003 | Resource Interfaces. | Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marille Stoelinga |
| 2003 | Minimizing Variables' Lifetime in Loop-Intensive Applications. | Noureddine Chabini, Wayne H. Wolf |
| 2003 | Translating Discrete-Time Simulink to Lustre. | Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis |
| 2003 | Rate Monotonic vs. EDF: Judgment Day. | Giorgio C. Buttazzo |
| 2003 | A Probabilistic Framework for Schedulability Analysis. | Alan Burns, Guillem Bernat, Ian Broster |
| 2003 | HOKES/POKES: Light-Weight Resource Sharing. | Herbert Bos, Bart Samwel |
| 2003 | Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. | Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli |
| 2002 | Enhancing Compiler Techniques for Memory Energy Optimizations. | Joseph Zambreno, Mahmut T. Kandemir, Alok N. Choudhary |
| 2002 | Speedup Prediction for Selective Compilation of Embedded Java Programs. | Vincent Colin de Verdire, Sbastien Cros, Christian Fabre, Romain Guider, Sergio Yovine |