| 1996 | Hardware/software cosynthesis: multiple constraint satisfaction and component retrieval. | R. Miller, Hal Carter, K. Davis, Satish Venkatesan |
| 1996 | Using TILCO for Specifying Real-Time Systems. | Riccardo Mattolini, Paolo Nesi |
| 1996 | An Engineering Design Process Supported by Knowledge Retrieval from a Spatial Database. | Mark L. Manwaring, Terry G. Glagowski, Kent L. Jones |
| 1996 | Developments in System Architecting. | Mark W. Maier |
| 1996 | Hardware Composition with Hardware Flowcharts and Process Algebras. | Juin-Yeu Joseph Lu, Jang Dae Kim, Shiu-Kai Chin |
| 1996 | Semi-automatic Transformation from Formal Specifications to Programs. | Shaoying Liu, Chris Ho-Stuart |
| 1996 | Design of a Communication System Capable of Supporting Real-Time RPC. | Junghoon Lee |
| 1996 | Formal verification for distributed real-time control: periodic Producer/Consumer. | Shawn Koppenhoefer, Jean-Dominique Decotignie |
| 1996 | Enhancement and real-time analysis of an adaptive impulsive noise removal method. | Haosong Kong, Ling Guan |
| 1996 | Alternative priority scheduling in dynamic priority systems. | Hyungill Kim, Sungyoung Lee, Jongwon Lee |
| 1996 | An Experimental Investigation of the Potential of BLF-driven Scheduling of Real-time Threads. | K. H. (Kane) Kim, Yuseok Kim |
| 1996 | Evaluation and Comparison of Task Allocation and Scheduling Methods for Distributed Real-Time Systems. | Jan Jonsson, Jonas Vasell |
| 1996 | Coupling-based Integration Testing. | Zhenyi Jin, A. Jefferson Offutt |
| 1996 | Deriving Mode Invariants from SCR Specifications. | Zhenyi Jin |
| 1996 | Improving Protocol Performance by Dynamic Control of Communication Resources. | Daniela Ivan-Rosu, Karsten Schwan |
| 1996 | An Algorithmic Semantics for Viewcharts. | Ayaz Isazadeh, David Alex Lamb |
| 1996 | On Real-Time Quasi-Durable Checkpointing. | Jiandong Huang, Peng-Jun Wan, Vicraj Thomas |
| 1996 | Telecommunication software development using SDL-92: practical experience. | Bahiya Hatim, Mirtn O'Droma |
| 1996 | Time Controlled Dynamic Scheduling of Aperiodic Real-Time Tasks. | Babak Hamidzadeh, Yacine Atif |
| 1996 | An Approach for Generating Executable Distributed Applications from Reusable Software Architectures. | Hassan Gomaa, Ghulam A. Farrukh |
| 1996 | Assessment and Optimization of System Architectures - Experience from Industrial Applications at Siemens. | Michael Gloger, Stefan Jockusch, Norbert Weber |
| 1996 | Indexing to Efficiently Support Fussy Queries on Range Specifications. | Terry G. Glagowski, William E. DeForeest |
| 1996 | Architecture and Language support for Fault-tolerance in Complex Real-Time Systems. | A. K. Ganesh, Thomas J. Marlowe, Alexander D. Stoyenko, Mohamed F. Younis, Jos Salinas |
| 1996 | IDEA: Integrated Design Environment for Assessment of ATM Networks. | Ricardo M. Fricks, Steven W. Hunter, Sachin Garg, Kishor S. Trivedi |
| 1996 | The Two Real-Time Solitudes: computerized control and telecommunications. | Paul Freedman, Daniel Gaudreau, Raouf Boutaba, Ahmed Mehaoua |