| 2000 | Low-level analysis of a portable Java byte code WCET analysis framework. | Iain Bate, Guillem Bernat, G. Murphy, Peter P. Puschner |
| 2000 | Control tasks delay reduction under static and dynamic scheduling policies. | Patricia Balbastre, Ismael Ripoll, Alfons Crespo |
| 2000 | Optimal scheduling of imprecise computation tasks in the presence of multiple faults. | Hakan Aydin, Rami G. Melhem, Daniel Moss |
| 2000 | Fixed-priority preemptive multiprocessor scheduling: to partition or not to partition. | Bjrn Andersson, Jan Jonsson |
| 2000 | Pfair scheduling: beyond periodic task systems. | James H. Anderson, Anand Srinivasan |
| 2000 | Efficient pure-buffer algorithms for real-time systems. | James H. Anderson, Philip Holman |
| 2000 | Automatic code generation for real-time reactive systems in TROMLAB environment. | Vangalur S. Alagar, L. Zhang |
| 2000 | Towards a mechanical verification of real-time reactive systems modeled in UML. | Vangalur S. Alagar, D. Muthiayen |
| 2000 | Support for dynamic QoS in the HARTIK kernel. | Luca Abeni, Giorgio C. Buttazzo |
| 1999 | Efficient Global Allocation of Synchronous Bandwidths for Hard Real-Time Communication with the Timed Token MAC Protocol. | Sijing Zhang, E. Stewart Lee |
| 1999 | Adaptive Data Broadcast Strategy for Transactions with Multiple Data Requests in Mobile Computing Environments. | Joe Chun-Hung Yuen, Edward Chan, Kam-yiu Lam |
| 1999 | Real-Time Scheduling of CPU-Bound and I/O-Bound Processes. | Jun Wu, Tei-Wei Kuo |
| 1999 | A Priority-Based Weighted Fair Queuing Scheduler for Real-Time Network. | Song Wang, Yu-Chung Wang, Kwei-Jay Lin |
| 1999 | Scheduling Fixed-Priority Tasks with Preemption Threshold. | Yun Wang, Manas Saksena |
| 1999 | Non-Blocking Data Sharing in Multiprocessor Real-Time Systems. | Philippas Tsigas, Yi Zhang |
| 1999 | Handling Interrupts in Testing of Distributed Real-Time Systems. | Henrik Thane, Hans Hansson |
| 1999 | Real-Time Synchronization Between Hard and Soft Tasks in RT-Linux. | Andrs Terrasa, Ana Garca-Fornes |
| 1999 | Real-Time Symbolic Model Checking for Hard Real-Time Systems. | Y. Tachi, Satoshi Yamane |
| 1999 | Interval Diagrams: Increasing Efficiency of Symbolic Real-Time Verification. | Karsten Strehl |
| 1999 | No-Log Recovery Mechanism Using Stable Memory For Real-Time Main Memory Database Systems. | Eun-Mi Song, Chanho Ryu, Mi-Sun Choi, Young-Kuk Kim, Seong-Il Jin, Young-Keol Kim, Mi-kyong Han, Wan Choi |
| 1999 | Statistical Delay Analysis with Self-Similar Input Traffic in ATM Networks. | Shibin Song, Joseph Kee-Yin Ng, Bihai Tang |
| 1999 | On the Self-Similarity Property of the Output Process from a Network Server with Self-Similar Input Traffic. | Shibin Song, Joseph Kee-Yin Ng, Bihai Tang |
| 1999 | Synchronous Composition of Discretized Control Actions: Design, Verification and Implementation with ORCCAD . | Daniel Simon, Roger Pissard-Gibollet, Konstantinos Kapellos, Bernard Espiau |
| 1999 | Hard Real-Time Garbage-Collection in the Jamaica Virtual Machine. | Fridtjof Siebert |
| 1999 | State Restoration in Real-Time Systems. | LihChyun Shu, Chang-Ming Tsai |