Abstract is missing.
- Automatic Symbolic Verification of Embedded SystemsRajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho. 2-11
- MT: A Toolset for Specifying and Analyzing Real-Time SystemsPaul C. Clements, Constance L. Heitmeyer, Bruce G. Labaw, A. T. Rose. 12-22
- Symbolic Model Checking for Event-Driven Real-Time SystemsJin Yang, Aloysius K. Mok, Farn Wang. 23-33
- Performance Evaluation of a Bandwidth Allocation Scheme for Guaranteeing Synchronous Messages with Arbitrary Deadlines in an FDDI NetworkSanjay Kamat, Nicholas Malcolm, Wei Zhao. 34-43
- A Bandwidth Allocation Scheme for Time Constrained Message Transmission on a Slotted Ring LANSarit Mukherjee, Debanjan Saha, Manas Saksena, Satish K. Tripathi. 44-55
- How to Get Serializability for Real-Time Transactions Without Having to Pay for ItMarc H. Graham. 56-65
- SSP: A Semantics-Based Protocol for Real-Time Data AccessTei-Wei Kuo, Aloysius K. Mok. 76-86
- The Spring Scheduling Co-Processor: Design, Use, and PerformanceDouglas Niehaus, Krithi Ramamritham, John A. Stankovic, Gary Wallace, Charles C. Weems, Wayne Burleson, Jason Ko. 106-111
- Acquisition and Service of Temporal Data for Real-Time Plant MonitoringHiromitsu Shimakawa, H. Ohnishi, Ichiro Mizunuma, Morikazu Takegaki. 112-119
- Integrated Management of Priority Inversion in Real-Time MachTatsuo Nakajima, Takuro Kitayama, Hiroshi Arakawa, Hideyuki Tokuda. 120-130
- The Non-Blocking Write Protocol NBW: A Solution to a Real-Time Synchronisation ProblemHermann Kopetz, J. Reisinger. 131-137