| 1997 | Exploiting skips in periodic tasks for enhancing aperiodic responsiveness. | Marco Caccamo, Giorgio C. Buttazzo |
| 1997 | On-the-fly symbolic model checking for real-time systems. | Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine |
| 1997 | Combining ( | Guillem Bernat, Alan Burns |
| 1997 | Jitter concerns in periodic task systems. | Sanjoy K. Baruah, Deji Chen, Aloysius K. Mok |
| 1997 | Wait-free object-sharing schemes for real-time uniprocessors and multiprocessors. | James H. Anderson, Rohit Jain, Srikanth Ramamurthy |
| 1996 | Scheduling transactions with temporal constraints: exploiting data semantics. | Ming Xiong, Rajendran M. Sivasankaran, John A. Stankovic, Krithi Ramamritham, Donald F. Towsley |
| 1996 | Correctness of vehicle control systems-a case study. | Henri B. Weinberg, Nancy A. Lynch |
| 1996 | Tool support for the construction of statically analysable hard real-time Ada systems. | Tullio Vardanega |
| 1996 | On supporting time-constrained communications in WDMA-based star-coupled optical networks. | Hung-Ying Tyan, Chao-Ju Hou, Bin Wang, Ching-Chih Han |
| 1996 | Bounding completion times of jobs with arbitrary release times and variable execution times. | Jun Sun, Jane W.-S. Liu |
| 1996 | A proportional share resource allocation algorithm for real-time, time-shared systems. | Ion Stoica, Hussein M. Abdel-Wahab, Kevin Jeffay, Sanjoy K. Baruah, Johannes Gehrke, C. Greg Plaxton |
| 1996 | Operating system extensions for dynamic real-time application. | Steven Sommer, John Potter |
| 1996 | On task schedulability in real-time control systems. | Danbing Seto, John P. Lehoczky, Lui Sha, Kang G. Shin |
| 1996 | Multirate scheduling for guaranteed and predictive services in ATM networks. | Debanjan Saha, Sarit Mukherjee, Satish K. Tripathi |
| 1996 | Optimizing a FIFO, scalable spin lock using consistent memory. | Injong Rhee |
| 1996 | High availability in the real-time publisher/subscriber inter-process communication model. | Ragunathan Rajkumar, Michael Gagliardi |
| 1996 | Optimizing Interprocess Communication for Embedded Real-Time Systems. | Stefan Poledna |
| 1996 | Predictability of real-time systems: a process-algebraic approach. | V. Natarajan, Rance Cleaveland |
| 1996 | The MSP.RTL real-time scheduler synthesis tool. | Aloysius K. Mok, Duu-Chung Tsou, Ruud C. M. de Rooij |
| 1996 | A multiframe model for real-time tasks. | Aloysius K. Mok, Deji Chen |
| 1996 | Middleware for Distributed Industrial Real-Time Systems on ATM Networks. | Ichiro Mizunuma, Chia Shen, Morikazu Takegaki |
| 1996 | Structuring communication software for quality-of-service guarantees. | Ashish Mehra, Atri Indiresan, Kang G. Shin |
| 1996 | Cache modeling for real-time software: beyond direct mapped instruction caches. | Yau-Tsun Steven Li, Sharad Malik, Andrew Wolfe |
| 1996 | Real-Time Queueing Theory. | John P. Lehoczky |
| 1996 | Analysis of cache-related preemption delay in fixed-priority preemptive scheduling. | Chang-Gun Lee, Joosun Hahn, Sang Lyul Min, Rhan Ha, Seongsoo Hong, Chang Yun Park, Minsuk Lee, Chong-Sang Kim |