| 2003 | Probabilistic Analysis of Multi-processor Scheduling of Tasks with Uncertain Parameters. | Amare Mengesha Leulseged, Nimal Nissanke |
| 2003 | RESS: Real-Time Embedded Software Synthesis and Prototyping Methodology. | Trong-Yen Lee, Pao-Ann Hsiung, I-Mu Wu, Feng-Shi Su |
| 2003 | System Support for Distributed Augmented Reality in Ubiquitous Computing Environments. | Makoto Kurahashi, Andrej van der Zee, Eiji Tokunaga, Masahiro Nemoto, Tatsuo Nakajima |
| 2003 | Scheduling-Aware Real-Time Garbage Collection Using Dual Aperiodic Servers. | Taehyoun Kim, Heonshik Shin |
| 2003 | XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment. | Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat |
| 2003 | Bounding the Execution Times of DMA I/O Tasks on Hard-Real-Time Embedded Systems. | Tai-Yi Huang, Chih-Chieh Chou, Po-Yuan Chen |
| 2003 | Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines. | Pao-Ann Hsiung, Cheng-Yi Lin, Trong-Yen Lee |
| 2003 | Constrained Energy Allocation for Mixed Hard and Soft Real-Time Tasks. | Yoonmee Doh, Daeyoung Kim, Yann-Hang Lee, C. Mani Krishna |
| 2003 | On Soft Real-Time Guarantees on Ethernet. | Min Gyu Cho, Kang G. Shin |
| 2003 | Real-Time Disk Scheduling with On-Disk Cache Conscious. | Hsung-Pin Chang, Ray-I Chang, Wei-Kuan Shih, Ruei-Chuan Chang |
| 2003 | Schedulability Analysis in EDF Scheduler with Cache Memories. | Antonio Mart Campoy, Sergio Sez, Angel Perles, J. V. Busquets |
| 2003 | Algorithms for Managing QoS for Real-Time Data Services Using Imprecise Computation. | Mehdi Amirijoo, Jrgen Hansson, Sang Hyuk Son |
| 2000 | Another formal proof for Deadline Driven Scheduler. | Naijun Zhan |
| 2000 | Probabilistic analysis of causal message ordering. | Li-Hsing Yen |
| 2000 | Integrating the fixed priority scheduling and the total bandwidth server for aperiodic tasks. | Song Wang, Yu-Chung Wang, Kwei-Jay Lin |
| 2000 | Verifying temporal constraints on data in multi-rate transactions using timed automata. | Anders Wall, Kristian Sandstrm, Jukka Mki-Turja, Christer Norstrm, Wang Yi |
| 2000 | Deadline dependent coding-a framework for wireless real-time communication. | Elisabeth Uhlemann, Per-Arne Wiberg, Tor Aulin, Lars K. Rasmussen |
| 2000 | Parametric verification of the IEEE 1394a Root Contention protocol using LPMC. | Hans Toetenel, Ronald F. Lutje Spelberg, G. Bandini |
| 2000 | Extracting safe and precise control flow from binaries. | Henrik Theiling |
| 2000 | Including user-defined timing exception support in FRTL. | Andrs Terrasa, Ana Garca-Fornes, Vicente J. Botti |
| 2000 | Space efficient wait-free buffer sharing in multiprocessor real-time systems based on timing information. | Hkan Sundell, Philippas Tsigas |
| 2000 | Debugging protocol for remote cross development environment. | Seungwoo Son, Chaedeok Lim, Heung-Nam Kim |
| 2000 | Finding the critical path in a time-constrained workflow. | Jin Hyun Son, Myoung-Ho Kim |
| 2000 | A new queue discipline for various delay and jitter requirements in real-time packet-switched networks. | Minseok Song, Naehyuck Chang, Heonshik Shin |
| 2000 | Chopping and versioning real-time transactions to avoid remote blocking. | LihChyun Shu, Michal Young |