| 1995 | Property decomposition to speed up analysis. | Francesco Calzolari, Mauro Pezz |
| 1995 | Using TOOMS/TROL for specifying a cellular phone. | Giacomo Bucci, Paolo Nesi |
| 1995 | Stochastic Petri net evaluation techniques in plant automation: tuning performance indices for distributed applications. | Oliver Botti, Lorenzo Capra, Carlo Bergomi |
| 1995 | Real-time recursive procedures. | Johann Blieberger, Roland Lieger |
| 1995 | One solution for the non-determinism problem in the SCEPTRE 2 fault tolerance technique. | Soraya Bestaoui |
| 1995 | Kernel services approach to fault-masking in real-time applications. | Manga J. P. Bekambo, Johan Vounckx, Geert Deconinck, R. Cuyvers, Rudy Lauwereins, J. A. Peperstraete |
| 1995 | Fuzzy-control with a PEARL-based multi-loop controller. | H. J. Beestermller, Georg Thiele, J. Becker |
| 1995 | Analysis and improvement of task schedulability in hardware/software codesign. | Jakob Axelsson |
| 1995 | Dynamic replacement of software in hard real-time systems: practical assessment. | Alejandro Alonso, Ignacio Casillas, Juan Antonio de la Puente |
| 1995 | IDERS: an integrated environment for the development of hard real-time systems. | Alejandro Alonso, Hanne Christensen, Luciano Baresi, Marko Heikkinen |
| 1995 | MMS and time. | Justin N. Akazan, Zoubir Mammeri |
| 1995 | HyperReal One: the implementation, the environment and an example. | Marco Agnoli, Alessandro Poli, Antonella Verdino, Francesco Tisato |
| 1995 | A dedicated digital unit for event recognition and centroiding in photon counting intensified CCDs. | Paolo Achdjian, Sergio D'Angelo, Egidio Quadrini, Giacomo R. Sechi, Enrico G. Tanzi |
| 1994 | Realtime-learning on an autonomous mobile robot with neural networks. | Uwe R. Zimmer, Ewald von Puttkamer |
| 1994 | Determining the worst-case blocking sequences for distributed real-time programs. | Horst F. Wedde, Bogdan Korel |
| 1994 | On-line sporadic task scheduling in hard real-time systems. | Sibelius Lellis Vieira, Maurcio F. Magalhes |
| 1994 | IRTC: integration of knowledge engineering with real-time control. | Tapio Taipale, Douglas Foxvog |
| 1994 | A dynamic scheduling algorithm for semi-hard real-time environments. | Maryline Silly |
| 1994 | Object-oriented enhancement of real-time software using a heterogeneous re-engineering approach. | Reijo Savola, Tuomas Ihme, Marko Heikkinen, Marko Salmela, Petri Pulli |
| 1994 | The sequencing of data flow tasks in SIGNAL: application to active vision in robotics. | ric Rutten, ric Marchand, Franois Chaumette |
| 1994 | A software architecture for telerobotics. | Erwan Le Rest, Lionel Marc |
| 1994 | Modeling and scheduling real-time control systems with relative consistency constraints. | Prasad Raja, Luis Ruiz, Jean-Dominique Decotignie |
| 1994 | Object-based design of embedded software using real-time operating systems. | Pekka Pesonen, Veikko Seppnen |
| 1994 | Enhancing real-time object-oriented analysis methods. | Carlos Eduardo Pereira |
| 1994 | Timing analysis and conditional scheduling in a real-time system design environment. | Zebo Peng, Anders Trne |