| 2000 | Efficient Scheduling of Sporadic, Aperiodic, and Periodic Tasks with Complex Constraints. | Damir Isovic, Gerhard Fohler |
| 2000 | Adding PEP to Real-Time Distributed Commit Processing. | Jayant R. Haritsa, Krithi Ramamritham |
| 2000 | Modeling Complex Flows for Worst-Case Execution Time Analysis. | Jakob Engblom, Andreas Ermedahl |
| 2000 | Formal Analysis of the Priority Ceiling Protocol. | Bruno Dutertre |
| 2000 | Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems. | Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka |
| 2000 | CReMeS: A CORBA Compliant Reflective Memory Communication Service. | Sun-Tae Chung, Oscar Gonzlez, Krithi Ramamritham, Chia Shen |
| 2000 | Capacity Sharing for Overrun Control. | Marco Caccamo, Giorgio C. Buttazzo, Lui Sha |
| 2000 | An Integrated Approach to Real-Time System Design and On-Line Performance Visualization with Steering. | Aleksandar M. Bakic, Matt W. Mutka |
| 1999 | Hierarchical Scheduling of Periodic Messages in Open System. | Lynn Y. Zhang, Jane W.-S. Liu, Zhong Deng, Ian R. Philp |
| 1999 | Deriving Deadlines and Periods for Real-Time Update Transactions. | Ming Xiong, Krithi Ramamritham |
| 1999 | Testing the Temporal Behavior of Real-Time Tasks Using Extended Evolutionary Algorithms. | Joachim Wegener, Harmen Sthamer, Hartmut Pohlheim |
| 1999 | Implementing a General Real-Time Scheduling Framework in the RED-Linux Real-Time Kernel. | Yu-Chung Wang, Kwei-Jay Lin |
| 1999 | A Framework for Provisioning of Temporal QoS in Core-Based Multicast Routing. | Hung-Ying Tyan, Chao-Ju Hou, Bin Wang |
| 1999 | On the Efficient Scheduling of Non-Periodic Tasks in Hard Real-Time Systems. | Michael E. Thomadakis, Jyh-Charn Liu |
| 1999 | Towards Systematic Testing of Distributed Real-Time Systems. | Henrik Thane, Hans Hansson |
| 1999 | It's Time to Get Physical. | David L. Tennenhouse |
| 1999 | Efficient Delay Computation Methods for an ATM Network with Real-Time Video Traffic. | Shibin Song, Joseph Kee-Yin Ng, Bihai Tang |
| 1999 | On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols. | Purnendu Sinha, Neeraj Suri |
| 1999 | Real-Time Garbage Collection in Multi-Threaded Systems on a Single Processor. | Fridtjof Siebert |
| 1999 | Cooperative Scheduling of Multiple Resources. | Saowanee Saewong, Ragunathan Rajkumar |
| 1999 | FARACost: An Adaptation Cost Model Aware of Pending Constraints. | Daniela Rosu, Karsten Schwan |
| 1999 | Priority Inheritance and Ceilings for Distributed Mutual Exclusion. | Frank Mueller |
| 1999 | Pfair Scheduling of Fixed and Migrating Periodic Tasks on Multiple Resources. | Mark Moir, Srikanth Ramamurthy |
| 1999 | Remote Controlled Mobile Imaging in a High Temperature Tunnel Environment. | Georg F. Mauer, Chanaka Fernando |
| 1999 | Design and Evaluation of a Feedback Control EDF Scheduling Algorithm. | Chenyang Lu, John A. Stankovic, Gang Tao, Sang Hyuk Son |