| 1995 | An object-oriented approach to handle complex real-time industrial automation projects. | Pablo Darscht, Carlos Eduardo Pereira |
| 1995 | A case study on design for provability. | Paul Curzon, Ian M. Leslie |
| 1995 | STADIUM: a new tool for high assurance in systems design. | Rufus H. Cofer, T. J. Sanders |
| 1995 | Goal-oriented dynamic buffer pool management for data base systems. | Jen-Yao Chwng, Donald F. Ferguson, George Wang, Christos Nikolaou, Jim Teng |
| 1995 | A software design for integrating DESTINATION with ACEIT. | Thomas C. Choinski, Daniel J. Organ, Nila D. Patel, John J. McGahan |
| 1995 | Integrating formal methods tools to support system design. | Shiu-Kai Chin, John Faust, Joseph Giordano |
| 1995 | General-purpose multiparadigm programming languages: an enabling technology for constructing complex systems. | Timothy A. Budd, Timothy P. Justice, Rajeev K. Pandey |
| 1995 | Hybrid specification of control systems. | Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel |
| 1995 | On the integration of heterogeneous methods for complex applications. | Faouzi Boufars, Faez Gargouri, Naoufel Kraem |
| 1995 | A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study. | Egon Brger, Giuseppe Del Castillo |
| 1995 | Bridging structural and software design of PLC-based system families. | Flavio Bonfatti, Paola Daniela Monari, Gianni Gadda |
| 1995 | SDT a tool for complex real-time systems. | P. Blysa |
| 1995 | Architecture specifications for complex real-time dependable systems. | Pam Binns, Steve Vestal |
| 1995 | Evolvable real-time C3 systems. | Edward H. Bensley, Lawrence Fisher, Mike Gates, James Houchens, Arkady Kanevsky, Soohee Kim, Peter C. Krupp, Alice Schafer, Bhavani Thuraisingham |
| 1995 | Advances in the design and deployment of human-machine interfaces. | Paul A. Bennett |
| 1995 | A system engineering methodology for predicting scalability of very large real-time databases. | Robert A. Basta, William H. Greene |
| 1995 | Formal specification and verification of communication protocols using automated tools . | Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour |
| 1995 | Customizable notations for kernel formalisms. | Luciano Baresi, Alessandro Orso, Mauro Pezz |
| 1995 | Dynamic task migration from SIMD to SPMD virtual machines. | James B. Armstrong, Howard Jay Siegel |
| 1995 | On-line event reconstruction using a parallel in-memory database. | Erco Argante, Peter van der Stok, Ian Willers |
| 1995 | An object-oriented modeling of real-time robotic assembly system. | Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan |
| 1995 | The computational requirements of mobile machines. | Swarup Acharya, Rafael Alonso |