| 1993 | RTSL: a language for real-time schedulability analysis. | Andre N. Fredette, Rance Cleaveland |
| 1993 | Object-Based Semantic Real-Time Concurrency Control. | Lisa Cingiser DiPippo, Victor Fay Wolfe |
| 1993 | Scheduling slack time in fixed priority pre-emptive systems. | Robert I. Davis, Ken Tindell, Alan Burns |
| 1993 | Real-time issues in computer music. | Roger B. Dannenberg, David H. Jameson |
| 1993 | Queuing spin lock algorithms to support timing predictability. | Travis S. Craig |
| 1993 | MT: A Toolset for Specifying and Analyzing Real-Time Systems. | Paul C. Clements, Constance L. Heitmeyer, Bruce G. Labaw, A. T. Rose |
| 1993 | HARTIK: A real-time kernel for robotics applications. | Giorgio C. Buttazzo |
| 1993 | A new Petri net based formalism for specification, design and analysis of real-time systems. | Giorgio Bruno, Andrea Castella, I. Pavesio, Mario P. Pescarmona |
| 1993 | Implementation of a synchronous execution machine on Chorus micro-kernel. | Raphael Bernhard, Laurent Hazard, Franois Horn, Jean-Bernard Stefani |
| 1993 | The use of preemptive priority-based scheduling for space applications. | C. M. Bailey, E. Fyfe, Tullio Vardanega, Andy J. Wellings |
| 1993 | Automatic Symbolic Verification of Embedded Systems. | Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho |
| 1992 | Adaptive threshold-based scheduling for real-time and non-real-time traffic. | W. Zhu, Samuel T. Chanson |
| 1992 | Performance Effects of Information Sharing in a Distributed Multiprocessor Real-Time Scheduler. | Hongyi Zhou, Karsten Schwan, Ian F. Akyildiz |
| 1992 | A proof theory for asynchronously communicating real-time systems. | Ping Zhou, Jozef Hooman |
| 1992 | Bounds on the performance of heuristic algorithms for multiprocessor scheduling of hard real-time tasks. | Fuxing Wang, Krithi Ramamritham, John A. Stankovic |
| 1992 | Provable transient recovery for frame-based, fault-tolerant computing systems. | Ben L. Di Vito, Ricky W. Butler |
| 1992 | A small real-time kernel proven correct. | R. M. Tol |
| 1992 | A priority forwarding scheme for real-time multistage interconnection networks. | Kenji Toda, Kenji Nishida, Shuichi Sakai, Toshio Shimada |
| 1992 | Mode Changes In Priority Pre-Emptively Scheduled Systems. | Ken Tindell, Alan Burns, Andy J. Wellings |
| 1992 | Real-time monitoring and diagnosing of robotic assembly with self-organizing neural maps. | A. Syed, Hoda A. ElMaraghy, N. Chagneux |
| 1992 | On-line scheduling of imprecise computations to minimize error. | Wei-Kuan Shih, Jane W.-S. Liu |
| 1992 | Scheduling real-time communication on dual-link networks. | Lui Sha, Shirish S. Sathaye, Jay K. Strosnider |
| 1992 | A simple assertional proof system for real-time systems. | A. Udaya Shankar |
| 1992 | Monitoring Timing Constraints in Distributed Real-Time Systems. | Sitaram C. V. Raju, Ragunathan Rajkumar, Farnam Jahanian |
| 1992 | Bounds on the time to detect failures using bounded-capacity message links. | Stephen Ponzio |