| 1995 | Ensuring the satisfaction of a temporal specification at run-time. | Grace Tsai, Matt Insall, Bruce M. McMillin |
| 1995 | MULTIGRAPH: an architecture for model-integrated computing. | Janos Sztipanovits, Gabor Karsai, Csaba Biegl, Ted Bapty, kos Ldeczi, Amit Misra |
| 1995 | Predictions for increasing confidence in the reliability of safety critical software. | Norman F. Schneidewind |
| 1995 | Animation of heterogeneous prototypes of real-time systems. | Alvaro Rendn, Juan C. Dueas, Miguel A. de Miguel, Jyrki Leskela, Juan Antonio de la Puente, Gonzalo Len, Alejandro Alonso |
| 1995 | Derivation of S-domain aircraft models. | Thomas J. Redling |
| 1995 | Contribution of object-oriented methodologies to the specification of complex systems. | Dunia Ramazani |
| 1995 | Hard real-time communications with weighted round robin service in ATM local area networks. | Amitava Raha, Nicholas Malcolm, Wei Zhao |
| 1995 | A combined functional and object-oriented approach to software design. | Haifeng Qian, Eduardo B. Fernndez, Jie Wu |
| 1995 | Abstract and concrete components: an approach to complex systems engineering. | Flavio De Paoli, Francesco Tisato |
| 1995 | A unique tool set for engineering complex systems. | E. M. Osman, Grace Baratta-Perez, Thomas J. Walsh, Kenneth J. Fowler |
| 1995 | Managing system technical risks using a process-based, integration infrastructure. | J. Richard Newman, Sharon L. Rohde |
| 1995 | Modeling and design of complex cooperative software. | Max Mhlhuser |
| 1995 | Enhancing object modelling technique with timing analysis capabilities. | Leo Motus, R. Kinksaar, Tonu Naks, M. Pall |
| 1995 | Compositional reasoning about projected and infinite time. | Ben C. Moszkowski |
| 1995 | Model-based synthesis of a real-time image processing system. | Michael S. Moore, Jim Nichols |
| 1995 | A performance oriented design methodology for large-scale distributed data intensive information systems. | Daniel A. Menasc, Hassan Gomaa, Larry Kerschberg |
| 1995 | Refinement of system-level designs using hybrid modeling. | Robert M. McGraw, Moshe Meyassed, Robert H. Klenke, James H. Aylor, Ronald D. Williams |
| 1995 | Requirements for client/server performance modeling. | Joseph J. Martinka |
| 1995 | A parallel control computer structure for complex high speed applications. | Bjrn Bernhard Magnussen |
| 1995 | Structured methodology+object-oriented methodology+formal methods: methodology of SOFL. | Shaoying Liu, Yong Sun |
| 1995 | PolyCARE: a tool for re-engineering multi-language program integrations. | Panagiotis K. Linos |
| 1995 | Automatic analytical tools for reliability and dynamic adaptation of complex distributed systems. | Alvin S. Lim |
| 1995 | Automation of analysis and simulation for understanding of large real-time Ada software. | Moon Lee, Noah S. Prywes, Insup Lee |
| 1995 | Discrete event process controller synthesis using VDM | Kevin Lano, Stephen J. Goldsack |
| 1995 | Specifying static analysis tools using formal methods. | Kevin Lano |