| 1996 | Modeling and analysis of complex computer systems-the MTCCS approach. | Hans Toetenel, Ronald F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk |
| 1996 | Evolvable Real-Time C3 Systems-II: Real-Time Infrastructure Requirements. | Bhavani Thuraisingham, Arkady Kanevsky, Peter C. Krupp, Alice Schafer, Mike Gates, Thomas Wheeler, Edward H. Bensley, Ruth Ann Sigel, Michael Squadrito |
| 1996 | Teledesic network and space infrastructure architecture and design. | James R. Stuart |
| 1996 | Dynamically Reconfigurable Embedded Software - Does It Make Sense? | David B. Stewart, Gaurav Arora |
| 1996 | Virtual Reality - An Approach to Improve the Generation of Fault-Free Software for Programmable Logic Controllers (PLC). | Dieter Spath, Ulf Osmers |
| 1996 | A task graph model for design and implementation of real-time systems. | Ami Silberman, Thomas J. Marlowe |
| 1996 | A Framework for Dependability Specification. | Richard C. Scalzo, Michelle M. Hugue |
| 1996 | Conformance Testing of Time-Dependent Protocols. | Jos Salinas, Nohpill Park, U. Arunkumar, Fabrizio Lombardi |
| 1996 | Recovery of Communications Protocol Design from Run Time Protocol Traces. | Kassem Saleh, M. Ilangovan, Robert L. Probert |
| 1996 | Resource Conscious Design of Distributed Real-Time Systems: An End-to-End Approach. | Manas Saksena, Seongsoo Hong |
| 1996 | Development of a Systems Architecting Process for Computer Based Systems. | David Rowe, John Leaney, David Lowe |
| 1996 | Certification of reusable software components: summary of work in progress. | Sharon L. Rohde, Karen A. Dyson, Pamela T. Geriner, Deborah A. Cerino |
| 1996 | Certification of Reusable Software Components: Summary of Work In Progress. | Sharon L. Rohde, Karen A. Dyson, Pamela T. Geriner, Deborah A. Cerino |
| 1996 | A Theory of Lexicographic Multi-Criteria Optimization. | Mark J. Rentmeesters, Wei K. Tsai, Kwei-Jay Lin |
| 1996 | A Generalized Methodology for Evaluating and Optimizing System Design Factors. | Jaffar Rehman, Evan D. Lock, Cuong Nguyen |
| 1996 | Recovery of Software Design, State-Machines, and Specifications from Source Code. | Noah Pywes, Paul Rehmet |
| 1996 | Interactive Consistency in Quasi-Asynchronous Systems. | Andr Postma, Thijs Krol |
| 1996 | Autonomous Navigation Based On a Dynamic Representation. | Maurizio Piaggio, Renato Zaccaria |
| 1996 | A Distributed Architecture for Autonomous Robots. | Maurizio Piaggio, Antonio Sgorbissa, Renato Zaccaria |
| 1996 | A Software Architecture Approach for Designing CASE Systems. | Mauro Pezz, Sergio Silva |
| 1996 | Integrating Petri Nets With Design Methods for Concurrent and Real-Time Systems. | Robert G. Pettit IV, Hassan Gomaa |
| 1996 | Design Synthesis Using Adaptive Search Techniques and Multi-Criteria Decision Analysis. | Mark Nicholson, Divya Prasad |
| 1996 | System Refinement in VDM-SL. | Paul Mukherjee |
| 1996 | On the specification of complex software systems. | Frederick I. Moxley |
| 1996 | Progressive Scheduling for Real-Time Artificial Intelligence Tasks. | Abdel-Illah Mouaddib |