| 1996 | 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 21-25 October 1996, Montreal, Canada |
| 1996 | A Cyclic Scheduling for Relative Timing Requirements. Sheng-Tzong Cheng, Chia-Mei Chen |
| 1996 | A Distributed Architecture for Autonomous Robots. Maurizio Piaggio, Antonio Sgorbissa, Renato Zaccaria |
| 1996 | A Framework for Dependability Specification. Richard C. Scalzo, Michelle M. Hugue |
| 1996 | A Generalized Methodology for Evaluating and Optimizing System Design Factors. Jaffar Rehman, Evan D. Lock, Cuong Nguyen |
| 1996 | A Join Algorithm Utilizing Multiple Path Indexes in Object-Oriented Database Systems. Wan-Sup Cho, Seung-Sun Lee, Yong-Ik Yoon, Kyu-Young Whang |
| 1996 | A Process for Specifying Black Box Behavior, Demonstrated in a Case Study. Stephanie White, Herbert Warner |
| 1996 | A Progressive Software Development Lifecycle. Russell Turpin |
| 1996 | A Software Architecture Approach for Designing CASE Systems. Mauro Pezzè, Sergio Silva |
| 1996 | A Theory of Lexicographic Multi-Criteria Optimization. Mark J. Rentmeesters, Wei K. Tsai, Kwei-Jay Lin |
| 1996 | A Z-based Approach to Specifying and Analyzing Complex Systems. Jean-Michel Bruel, Robert B. France, Abdelmalek Benzekri |
| 1996 | A comparative assessment of some reengineering techniques. Mark L. Wilson |
| 1996 | A knowledge-based approach to object-oriented legacy code reuse. Letha H. Etzkorn, Carl G. Davis, Lisa L. Bowen, David B. Etzkorn, L. W. Lewis, Bradley L. Vinz, Janet C. Wolf |
| 1996 | A task graph model for design and implementation of real-time systems. Ami Silberman, Thomas J. Marlowe |
| 1996 | Adaptability in cooperative systems: merging flexibility and performance. Faouzi Daoud |
| 1996 | Adaptive Parallel Algorithms for the Synthesis of Real-Time Computer Systems. Ahmad Z. Abualsamid |
| 1996 | Alternative priority scheduling in dynamic priority systems. Hyungill Kim, Sungyoung Lee, Jongwon Lee |
| 1996 | An Algorithmic Semantics for Viewcharts. Ayaz Isazadeh, David Alex Lamb |
| 1996 | An Approach for Generating Executable Distributed Applications from Reusable Software Architectures. Hassan Gomaa, Ghulam A. Farrukh |
| 1996 | An Engineering Design Process Supported by Knowledge Retrieval from a Spatial Database. Mark L. Manwaring, Terry G. Glagowski, Kent L. Jones |
| 1996 | An Experimental Investigation of the Potential of BLF-driven Scheduling of Real-time Threads. K. H. (Kane) Kim, Yuseok Kim |
| 1996 | An Iterative Method of Task Temporal Parameter Adjustment in Hard Real-Time Systems. Francis Cottet, Jean-Philippe Babau |
| 1996 | An architectural framework for interoperation of distributed heterogeneous database systems. Xuequn Wu |
| 1996 | Animating Real-Time Reactive Systems. Vangalur S. Alagar, D. Muthiayen, Ramesh Achuthan |
| 1996 | Application of Security Principles to Integration of Enterprise, System and Software Engineering Methods. Dennis A. Weiss, Samuel E. Moore, James A. Robbins |
| 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 | Assessing Complex Computer Based Systems using the Goal Structuring Notation. Stephen P. Wilson, John A. McDermid, Clive H. Pygott, David J. Tombs |
| 1996 | Assessment and Optimization of System Architectures - Experience from Industrial Applications at Siemens. Michael Gloger, Stefan Jockusch, Norbert Weber |
| 1996 | Autonomous Navigation Based On a Dynamic Representation. Maurizio Piaggio, Renato Zaccaria |
| 1996 | Building Reusable Software Architectures with Ada 95. Alejandro Alonso, Juan Antonio de la Puente |
| 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 | Conformance Testing of Time-Dependent Protocols. José Salinas, Nohpill Park, U. Arunkumar, Fabrizio Lombardi |
| 1996 | Coupling-based Integration Testing. Zhenyi Jin, A. Jefferson Offutt |
| 1996 | Deriving Mode Invariants from SCR Specifications. Zhenyi Jin |
| 1996 | Design Synthesis Using Adaptive Search Techniques and Multi-Criteria Decision Analysis. Mark Nicholson, Divya Prasad |
| 1996 | Design of a Communication System Capable of Supporting Real-Time RPC. Junghoon Lee |
| 1996 | Designing a Non-intrusive Monitoring Tool for Developing Complex Distributed Applications. Wanqing Wu, Rajiv Gupta, Madalene Spezialetti |
| 1996 | Development of a Systems Architecting Process for Computer Based Systems. David Rowe, John Leaney, David B. Lowe |
| 1996 | Developments in System Architecting. Mark W. Maier |
| 1996 | Dynamically Reconfigurable Embedded Software - Does It Make Sense? David B. Stewart, Gaurav Arora |
| 1996 | Engineering of component-based systems. Alan W. Brown, Kurt C. Wallnau |
| 1996 | Enhancement and real-time analysis of an adaptive impulsive noise removal method. Haosong Kong, Ling Guan |
| 1996 | Evaluation and Comparison of Task Allocation and Scheduling Methods for Distributed Real-Time Systems. Jan Jonsson, Jonas Vasell |
| 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 | Formal Methods Applied to Secure Network Engineering. Shiu-Kai Chin, John Faust, Joseph Giordano |
| 1996 | Formal verification for distributed real-time control: periodic Producer/Consumer. Shawn Koppenhoefer, Jean-Dominique Decotignie |
| 1996 | Graphical Programming of Time-Deterministic Real-Time Systems. Per-Arne Wiberg |
| 1996 | Hardware Composition with Hardware Flowcharts and Process Algebras. Juin-Yeu Joseph Lu, Jang Dae Kim, Shiu-Kai Chin |
| 1996 | Hardware/software cosynthesis: multiple constraint satisfaction and component retrieval. R. Miller, Hal Carter, K. Davis, Satish Venkatesan |
| 1996 | IDEA: Integrated Design Environment for Assessment of ATM Networks. Ricardo M. Fricks, Steven W. Hunter, Sachin Garg, Kishor S. Trivedi |
| 1996 | Improving Protocol Performance by Dynamic Control of Communication Resources. Daniela Ivan-Rosu, Karsten Schwan |
| 1996 | Indexing to Efficiently Support Fussy Queries on Range Specifications. Terry G. Glagowski, William E. DeForeest |
| 1996 | Integrating Petri Nets With Design Methods for Concurrent and Real-Time Systems. Robert G. Pettit IV, Hassan Gomaa |
| 1996 | Interactive Consistency in Quasi-Asynchronous Systems. André Postma, Thijs Krol |
| 1996 | Layering in Object-Oriented Control Systems. Jan Bosch, Christer Lundberg, Anders Hultgren |
| 1996 | Modeling and analysis of complex computer systems-the MTCCS approach. Hans Toetenel, Ronald F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk |
| 1996 | On Real-Time Quasi-Durable Checkpointing. Jiandong Huang, Peng-Jun Wan, Vicraj Thomas |
| 1996 | On the specification of complex software systems. Frederick I. Moxley |
| 1996 | Progressive Scheduling for Real-Time Artificial Intelligence Tasks. Abdel-Illah Mouaddib |
| 1996 | Providing Generalized Rate Monotonic Scheduling Theory to I/O Abstractions over Timed Token Protocol MAC Networks. Juan Echagüe, Joan Vila i Carbó, Alfons Crespo |
| 1996 | Real-Time Commit Protocol For Distributed Real-Time Database Systems. Yong-Ik Yoon, Mikyung Han, Ju-Hyun Cho |
| 1996 | Recovery of Communications Protocol Design from Run Time Protocol Traces. Kassem Saleh, M. Ilangovan, Robert L. Probert |
| 1996 | Recovery of Software Design, State-Machines, and Specifications from Source Code. Noah Pywes, Paul Rehmet |
| 1996 | Resource Conscious Design of Distributed Real-Time Systems: An End-to-End Approach. Manas Saksena, Seongsoo Hong |
| 1996 | Semi-automatic Transformation from Formal Specifications to Programs. Shaoying Liu, Chris Ho-Stuart |
| 1996 | Subscription as a Model for the Architecture of Embedded Systems. Maarten Boasson |
| 1996 | System Dependability Assessment Tool. Eric W. Brehm |
| 1996 | System Refinement in VDM-SL. Paul Mukherjee |
| 1996 | Telecommunication software development using SDL-92: practical experience. Bahiya Hatim, Máirtín O'Droma |
| 1996 | Teledesic network and space infrastructure architecture and design. James R. Stuart |
| 1996 | Temporal Causal Networks for Simulation and Diagnosis. Maroua Bouzid, Antoni Ligeza |
| 1996 | The Allocation and Scheduling Precedence and Timing-Constrained Tasks with communication Delays. Bo-Chao Cheng, Thomas J. Marlowe, Alexander D. Stoyenko, Sanjoy K. Baruah |
| 1996 | The Two Real-Time Solitudes: computerized control and telecommunications. Paul Freedman, Daniel Gaudreau, Raouf Boutaba, Ahmed Mehaoua |
| 1996 | Three-dimensional DCT video compression technique based on adaptive quantizers. Raymond Westwater, Borko Furht |
| 1996 | Time Controlled Dynamic Scheduling of Aperiodic Real-Time Tasks. Babak Hamidzadeh, Yacine Atif |
| 1996 | Toward Compiler Optimization of Distributed Real-Time Processes. Mohamed F. Younis, Thomas J. Marlowe, Grace Tsai, Alexander D. Stoyenko |
| 1996 | Toward a Recommended Practice for Architectural Description. Walter J. Ellis, Richard F. Hilliard II, Thomas F. Saunders, Peter T. Poon, David Rayford, B. Sherlund, Ronald L. Wade |
| 1996 | Understanding Large-Scale Behavior Patterns in Complex systems. Raymond J. A. Buhr |
| 1996 | Using TILCO for Specifying Real-Time Systems. Riccardo Mattolini, Paolo Nesi |
| 1996 | Using a discrete event simulation to test a generic architecture for complex real-time systems. Ilham Benyahia |
| 1996 | Virtual Reality - An Approach to Improve the Generation of Fault-Free Software for Programmable Logic Controllers (PLC). Dieter Spath, Ulf Osmers |