14. RTSS 1993: Raleigh-Durham, NC, USA

• Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho: Automatic Symbolic Verification of Embedded Systems. 2-11
• Paul C. Clements, Constance L. Heitmeyer, Bruce G. Labaw, A. T. Rose: MT: A Toolset for Specifying and Analyzing Real-Time Systems. 12-22
• Jin Yang, Aloysius K. Mok, Farn Wang: Symbolic Model Checking for Event-Driven Real-Time Systems. 23-33
• Sanjay Kamat, Nicholas Malcolm, Wei Zhao: Performance Evaluation of a Bandwidth Allocation Scheme for Guaranteeing Synchronous Messages with Arbitrary Deadlines in an FDDI Network. 34-43
• Sarit Mukherjee, Debanjan Saha, Manas Saksena, Satish K. Tripathi: A Bandwidth Allocation Scheme for Time Constrained Message Transmission on a Slotted Ring LAN. 44-55
• Marc H. Graham: How to Get Serializability for Real-Time Transactions Without Having to Pay for It. 56-65
• Juhnyoung Lee, Sang Hyuk Son: Using Dynamic Adjustment of Serialization Order for Real-Time Database Systems. 66-75
• Tei-Wei Kuo, Aloysius K. Mok: SSP: A Semantics-Based Protocol for Real-Time Data Access. 76-86
• Lisa Cingiser DiPippo, Victor Fay Wolfe: Object-Based Semantic Real-Time Concurrency Control. 87-97
• Minsuk Lee, Sang Lyul Min, Chang Yun Park, Young Hyun Bae, Heonshik Shin, Chong-Sang Kim: A Dual-Mode Instruction Prefetch Scheme for Improved Worst Case and Average Case Program Execution Times. 98-105
• Douglas Niehaus, Krithi Ramamritham, John A. Stankovic, Gary Wallace, Charles C. Weems, Wayne Burleson, Jason Ko: The Spring Scheduling Co-Processor: Design, Use, and Performance. 106-111
• Hiromitsu Shimakawa, H. Ohnishi, Ichiro Mizunuma, Morikazu Takegaki: Acquisition and Service of Temporal Data for Real-Time Plant Monitoring. 112-119
• Tatsuo Nakajima, Takuro Kitayama, Hiroshi Arakawa, Hideyuki Tokuda: Integrated Management of Priority Inversion in Real-Time Mach. 120-130
• Hermann Kopetz, J. Reisinger: The Non-Blocking Write Protocol NBW: A Solution to a Real-Time Synchronisation Problem. 131-137