| 1995 | 16th IEEE Real-Time Systems Symposium, Palazzo dei Congressi, Via Matteotti, 1, Pisa, Italy, December 4-7, 1995, Proceedings |
| 1995 | A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems. Hanêne Ben-Abdallah, Insup Lee, Jin-Young Choi |
| 1995 | A Scalable Real-Time Synchronization Protocol for Distributed Systems. Injong Rhee, Graham R. Martin |
| 1995 | A Software Fault Injection Tool on Real-Time Mach. Scott Dawson, Farnam Jahanian, Todd Mitton |
| 1995 | ARTIFACT: A Platform for Evaluating Real-Time Window System Designs. John E. Sasinowski, Jay K. Strosnider |
| 1995 | An Approach To Handling Overloaded Systems That Allow Skips. Gilad Koren, Dennis E. Shasha |
| 1995 | Applicability of Simulated Annealing Methods to Real-Time Scheduling and Jitter Control. Marco Di Natale, John A. Stankovic |
| 1995 | Compiling Modechart Specifications. Carlos Puchol, Aloysius K. Mok, Douglas A. Stuart |
| 1995 | Compositional and Symbolic Model-Checking of Real-Time Systems. Kim Guldstrand Larsen, Paul Pettersson, Wang Yi |
| 1995 | Distributed Pinwheel Scheduling with End-to-End Timing Constraints. Chih-wen Hsueh, Kwei-Jay Lin, Nong Fan |
| 1995 | Dual Priority Scheduling. Robert I. Davis, Andy J. Wellings |
| 1995 | Dynamic Real-Time Channel Setup and Tear-Down in DQDB Networks. Chao-Ju Hou, Kar Shun Tsoi |
| 1995 | Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software. Yau-Tsun Steven Li, Sharad Malik, Andrew Wolfe |
| 1995 | Enhancing Real-Time Schedules to Tolerate Transient Faults. Sunondo Ghosh, Rami G. Melhem, Daniel Mossé |
| 1995 | Fairness in Periodic Real-Time Scheduling. Sanjoy K. Baruah |
| 1995 | Fault-tolerant Real-Time Communication in FDDI-Based Networks. Biao Chen, Sanjay Kamat, Wei Zhao |
| 1995 | HyTech: The Next Generation. Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi |
| 1995 | Integrating the Timing Analysis of Pipelining and Instruction Caching. Christopher A. Healy, David B. Whalley, Marion G. Harmon |
| 1995 | Joint Scheduling of Distributed Complex Periodic and Hard Aperiodic Tasks in Statically Scheduled Systems. Gerhard Fohler |
| 1995 | Kernel-Level Threads for Dynamic, Hard Real-Time Environments. Marty Humphrey, Gary Wallace, John A. Stankovic |
| 1995 | Managing Contention and Timing Constraints in a Real-Time Database System. Matthew R. Lehr, Young-Kuk Kim, Sang Hyuk Son |
| 1995 | MiThOS - A Real-Time Micro-Kernel Threads Operating System. Frank Mueller, Viresh Rustagi, Ted Baker |
| 1995 | Modeling Bus Scheduling Policies for Real-Time Systems. Kevin A. Kettler, Jay K. Strosnider |
| 1995 | Modelling a Real Time Control System Based on Distributed Objects. Nigel Baker, Wayne Harris, Chris Wallace, Richard McClatchey, Jean-Marie Le Goff |
| 1995 | On Slot Reuse for Isochronous Services in DQDB Networks. Ching-Chih Han, Chao-Ju Hou, Kang G. Shin |
| 1995 | Optimal Combined Task and Message Scheduling in Distributed Real-Time Systems. Tarek F. Abdelzaher, Kang G. Shin |
| 1995 | Proving Dynamic Properties in an Aerospace Application. Simin Nadjm-Tehrani, Jan-Erik Strömberg |
| 1995 | Real-Time Computing with Lock-Free Shared Objects. James H. Anderson, Srikanth Ramamurthy, Kevin Jeffay |
| 1995 | Robust Aperiodic Scheduling Under Dynamic Priority Systems. Marco Spuri, Giorgio C. Buttazzo, Fabrizio Sensini |
| 1995 | Some Performance Issues for Database Transactions with Firm Deadlines. Y. C. Tay |
| 1995 | The Design of Large Real-Time Systems: The Time-Triggered Approach. Hermann Kopetz, Martin Braun, Christian Ebner, Andreas Krüger, Dietmar Millinger, Roman Nossal, Anton V. Schedl |
| 1995 | The Specification and Schedulability Analysis of Real-Time Systems using ACSR. Jin-Young Choi, Insup Lee, Hong-liang Xie |
| 1995 | Two Examples of Verification of Multirate Timed Automata with Kronos. Conrado Daws, Sergio Yovine |
| 1995 | Value vs. Deadline Scheduling in Overload Conditions. Giorgio C. Buttazzo, Marco Spuri, Fabrizio Sensini |
| 1995 | Worst Case Timing Analysis of RISC Processors: R3000/R3010 Case Study. Yerang Hur, Young Hyun Bae, Sung-Soo Lim, Sung-Kwan Kim, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, Chong-Sang Kim |