| 1994 | Relating specified time tolerances to implementation performances. | Lorenzo Mezzalira, Angelo Morzenti |
| 1994 | Scheduling in a hard real-time system with shared resources. | P. Martineau, Maryline Silly |
| 1994 | Application objects and modularity in real time graphical modelling. | Mathieu Maranzana, J. J. Schwarz, Jacques J. Skubich, P. Szwed |
| 1994 | Supporting real-time update of an environment representation for autonomous mobile robots. | Gunter Magin, Achim Ru |
| 1994 | Pinwheel scheduling with three distinct numbers. | Shun-Shii Lin, Kwei-Jay Lin |
| 1994 | Semantic-based concurrency control for object-oriented database systems supporting real-time applications. | Juhnyoung Lee, Sang Hyuk Son |
| 1994 | On using epsilon serializable locking protocol for concurrency control in real-time databases. | Kam-yiu Lam, Sheung-lun Hung |
| 1994 | Simple and robust: fuzzy for antislip. | Klaus Knsl, Jrg-Michael Hasemann |
| 1994 | Animation in CONRAD: informal analysis of timing properties. | Tarmo Kaldma, Leo Motus, Toomas Tommingas, Rein Paluoja, Jaanus Tekko |
| 1994 | A resynchronization method for real-time supervision. | R. Iorgulescu, Rudolph E. Seviora |
| 1994 | Modular specification of real-time systems. | Recep Inal |
| 1994 | Algorithms for scheduling computations with secondary deadlines to minimize penalty. | Ching-Chih Han, Kwei-Jay Lin |
| 1994 | A software architecture for complex real-time systems. | Erik Gyllenswrd, Christer Eriksson |
| 1994 | Formal specification and verification of a real-time kernel. | Janusz Grski, Andrzej Wardzinski |
| 1994 | The modular multimicroprocessor system architecture for the power turbine control. | M. S. Fragin, S. V. Gorbachev, M. B. Ignatiev, S. U. Pomelov, Y. E. Sheinin |
| 1994 | Integration of RTL and precedence graphs with a static scheduler as verifier. | Gerhard Fohler, Christian Huber |
| 1994 | The derivation of scheduling algorithms from a timing model. | Mamoun Filali |
| 1994 | Clock synchronization in virtual rings. | Augusto Ciuffoletti, Federica Gattai, Roberta Golinelli |
| 1994 | Interprocessor-blocking independent static task allocation for shared-bus real-time multiprocessors. | Chang Yeol Choi, Heonshik Shin, Yookun Cho |
| 1994 | Guaranteed deadlines with dynamic recovery blocks in distributed systems. | Houssine Chetto |
| 1994 | Neural networks for multiprocessor real-time scheduling. | Carlos B. Cardeira, Zoubir Mammeri |
| 1994 | Implementing real-time applications with concurrent objects. | G. Caal, A. Divin |
| 1994 | Fixed priority scheduling with deadlines prior to completion. | Alan Burns, Ken Tindell, Andrew J. Wellings |
| 1994 | UltraSMART: a scalable multiprocessor architecture for real time. | Aaron Boxer, Dan Malek |
| 1994 | Can production systems be applied to hard real-time applications? | Franz Barachini, Gilles Verteneul |