| 2000 | Checkpointing strategy for multiple real-time tasks. | Seong Woo Kwak, Byung-Jae Choi, Byung Kook Kim |
| 2000 | Real-time scheduling on multithreaded processors. | Jochen Kreuzinger, A. Schulz, Matthias Pfeffer, Theo Ungerer, Uwe Brinkschulte, C. Krakowski |
| 2000 | SPIRIT-μKernel for strongly partitioned real-time systems. | Daeyoung Kim, Yann-Hang Lee, Mohamed F. Younis |
| 2000 | An improved feasible shortest path real-time fault-tolerant scheduling algorithm. | Hyungill Kim, Sungyoung Lee, Byeong-Soo Jeong |
| 2000 | DC | Daeyoung Kim, Yann-Hang Lee |
| 2000 | Implementing real-time scheduling daemon in general purpose operating system Unix. | Jin-Ho Kim, Sang-Wook Kim, Dae-Yong Kim, Wan Choi |
| 2000 | Schedulability-aware mapping of real-time object-oriented models to multi-threaded implementations. | Saehwa Kim, Sukjae Cho, Seongsoo Hong |
| 2000 | A new method for testing real time systems. | Ahmed Khoumsi |
| 2000 | A comparative study of the realization of rate-based computing services in general purpose operating systems. | Kevin Jeffay, Gerardo Lamastra |
| 2000 | Dragon: soft real-time event delivering architecture for networked sensors and appliances. | Masayuki Iwai, Jin Nakazawa, Hideyuki Tokuda |
| 2000 | Minimizing the maximum end-to-end delay on tree structure using the distributed pinwheel model. | Yu-Sheng Huang, Chih-wen Hsueh |
| 2000 | On the verification of Wireless Transaction Protocol using SGM and RED. | Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen |
| 2000 | Imprecise task scheduling and overload management using OR-ULD. | Jrgen Hansson, Marcus Thuresson, Sang Hyuk Son |
| 2000 | A concurrency control protocol for read-only transactions in real-time secure database systems. | Heejun Han, Seog Park, Chanjung Park |
| 2000 | Eliminating annotations by automatic flow analysis of real-time programs. | Jan Gustafsson |
| 2000 | Multiprocessor algorithms for uniprocessor feasibility analysis. | Jol Goossens, Sanjoy K. Baruah |
| 2000 | Testing timed systems with timed purposes. | Hacne Fouchal, Eric Petitjean, Sbastien Salva |
| 2000 | Testing embedded real-time systems. | Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli |
| 2000 | Effect of scheduling jitter on end-to-end delay in TDMA protocols. | Libin Dong, Rami G. Melhem, Daniel Moss |
| 2000 | Task attribute assignment of fixed priority scheduled tasks to reenact off-line schedules. | Radu Dobrin, Yusuf zdemir, Gerhard Fohler |
| 2000 | Two-step backup mechanism for real-time main memory database recovery. | Miseon Choi, Hye-Sook Yoon, Eun-Mi Song, Young-Keol Kim, Young-Kuk Kim, Seong-Il Jin, Mi-kyong Han, Wan Choi |
| 2000 | Probabilistic approach to switched Ethernet for real-time control applications. | Baek-Young Choi, Sejun Song, Nigel Birch, Jim Huang |
| 2000 | Efficient resource management for hard real-time communication over differentiated services architectures. | Byung-Kyu Choi, Riccardo Bettati |
| 2000 | Holistic schedulability analysis of a fault-tolerant real-time distributed run-time support. | Pascal Chevochot, Isabelle Puaut |
| 2000 | From Hard to Soft Real-Time Systems: Predictability vs. Efficiency. | Giorgio C. Buttazzo |