| 2002 | Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System. | Stavros Tripakis |
| 2002 | ILP-Based Interprocedural Path Analysis. | Henrik Theiling |
| 2002 | Upgrading Embedded Software in the Field: Dependability and Survivability. | Lui Sha |
| 2002 | Physical Programming: Beyond Mere Logic. | Bran Selic |
| 2002 | Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems. | Douglas C. Schmidt |
| 2002 | Decreasing Memory Overhead in Hard Real-Time Garbage Collection. | Tobias Ritzau, Peter Fritzson |
| 2002 | Design Tools for Application Specific Embedded Processors. | Wei Qin, Subramanian Rajagopalan, Manish Vachharajani, Hangsheng Wang, Xinping Zhu, David I. August, Kurt Keutzer, Sharad Malik, Li-Shiuan Peh |
| 2002 | Embedded Systems: Challenges in Specification and Verification. | Amir Pnueli |
| 2002 | Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems. | Aloysius K. Mok, Alex Xiang Feng |
| 2002 | An Approach to Designing Safe Embedded Software. | Nancy G. Leveson |
| 2002 | Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems. | Tak-John Koo, Judith Liebman, Cedric Ma, Benjamin Horowitz, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry |
| 2002 | A Giotto-Based Helicopter Control System. | Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree |
| 2002 | Principles of Real-Time Programming. | Christoph M. Kirsch |
| 2002 | Time-Safety Checking for Embedded Programs. | Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic |
| 2002 | Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?). | David Harel |
| 2002 | Synchronous Modelling of Asynchronous Systems. | Nicolas Halbwachs, Siwar Baghdadi |
| 2002 | Compositional Modeling in Metropolis. | Gregor Gler, Alberto L. Sangiovanni-Vincentelli |
| 2002 | Automatic Production of Globally Asynchronous Locally Synchronous Systems. | Alain Girault, Clment Mnier |
| 2002 | Processor Pipelines and Their Properties for Static WCET Analysis. | Jakob Engblom, Bengt Jonsson |
| 2002 | A New Facility for Dynamic Control of Program Execution: DELI. | Giuseppe Desoli, Nikolay Mateev, Evelyn Duesterwald, Paolo Faraboschi, Josh Fisher |
| 2002 | JCOD: A Lightweight Modular Compilation Technology for Embedded Java. | Bertrand Delsart, Vania Joloboff, Eric Paire |
| 2002 | Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS. | Darren D. Cofer, Murali Rangarajan |
| 2002 | Toward an Approximation Theory for Computerised Control. | Paul Caspi, Albert Benveniste |
| 2002 | Scalable Applications for Energy-Aware Processors. | Giorgio C. Buttazzo |
| 2002 | FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors. | Valrie Bertin, Jean-Marc Daveau, Philippe Guillaume, Thierry Lepley, Denis Pilat, Claire Richard, Miguel Santana, Thomas Thery |