| 1995 | 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA |
| 1995 | A case study on design for provability. Paul Curzon, Ian M. Leslie |
| 1995 | A combined functional and object-oriented approach to software design. Haifeng Qian, Eduardo B. Fernández, Jie Wu |
| 1995 | A constraint function classification for complex systems development. Matthew S. Harelick, Thomas J. Marlowe, Alexander D. Stoyenko, Purnendu Sinha |
| 1995 | A construction of neural-net based AI systems. Manabu Kawada, Xu Wu, Tadashi Ae |
| 1995 | A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study. Egon Börger, Giuseppe Del Castillo |
| 1995 | A graphical paradigm facilitating correct programming of complex computer control systems. Wolfgang A. Halang, Kim-Fung Man, Matjaz Colnaric |
| 1995 | A parallel control computer structure for complex high speed applications. Björn Bernhard Magnussen |
| 1995 | A performance oriented design methodology for large-scale distributed data intensive information systems. Daniel A. Menascé, Hassan Gomaa, Larry Kerschberg |
| 1995 | A requirements taxonomy for specifying complex systems. Stephanie M. White, Michael Edwards |
| 1995 | A software design for integrating DESTINATION with ACEIT. Thomas C. Choinski, Daniel J. Organ, Nila D. Patel, John J. McGahan |
| 1995 | A system engineering methodology for predicting scalability of very large real-time databases. Robert A. Basta, William H. Greene |
| 1995 | A time-sharing architecture for complex real-time systems. Jair Jehuda, Gilad Koren, Daniel M. Berry |
| 1995 | A tool for modeling and verifying real-time systems. Wael M. Elseaidy, Rance Cleaveland |
| 1995 | A unique tool set for engineering complex systems. E. M. Osman, Grace Baratta-Perez, Thomas J. Walsh, Kenneth J. Fowler |
| 1995 | Abstract and concrete components: an approach to complex systems engineering. Flavio De Paoli, Francesco Tisato |
| 1995 | Active integration frameworks. Christopher Landauer, Kirstie L. Bellman |
| 1995 | Advances in the design and deployment of human-machine interfaces. Paul A. Bennett |
| 1995 | An object-oriented approach to handle complex real-time industrial automation projects. Pablo Darscht, Carlos Eduardo Pereira |
| 1995 | An object-oriented modeling of real-time robotic assembly system. Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan |
| 1995 | Animation of heterogeneous prototypes of real-time systems. Alvaro Rendón, Juan C. Dueñas, Miguel A. de Miguel, Jyrki Leskela, Juan Antonio de la Puente, Gonzalo León, Alejandro Alonso |
| 1995 | Applying object-oriented technology in real-time systems with the OCTOPUS method. Jürgen Ziegler, Maher Awad, Juha Kuusela |
| 1995 | Architecture specifications for complex real-time dependable systems. Pam Binns, Steve Vestal |
| 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 | Bridging structural and software design of PLC-based system families. Flavio Bonfatti, Paola Daniela Monari, Gianni Gadda |
| 1995 | Command and control system requirements analysis. System requirements specification tactical system CUP CMT. Martin J. Diepstraten |
| 1995 | Complex Systems - The External Influences. Anita K. Jones |
| 1995 | Compositional reasoning about projected and infinite time. Ben C. Moszkowski |
| 1995 | Contribution of object-oriented methodologies to the specification of complex systems. Dunia Ramazani |
| 1995 | Control and supervision of a complex production process using hybrid systems techniques. Humberto E. Garcia |
| 1995 | Customizable notations for kernel formalisms. Luciano Baresi, Alessandro Orso, Mauro Pezzè |
| 1995 | Derivation of S-domain aircraft models. Thomas J. Redling |
| 1995 | Design and implementation of a distributed real-time image processing system. D. M. Wu, Ling Guan, G. Lau, D. Rahija |
| 1995 | Discrete event process controller synthesis using VDM Kevin Lano, Stephen J. Goldsack |
| 1995 | Dynamic task migration from SIMD to SPMD virtual machines. James B. Armstrong, Howard Jay Siegel |
| 1995 | Engineering baselines in system development: using ASCII files, two-column index piles, and system numbers, engineering tags, and change set numbers. Richard P. Evans, Sooyong Park, Mark Merriman |
| 1995 | Enhancing object modelling technique with timing analysis capabilities. Leo Motus, R. Kinksaar, Tonu Naks, M. Pall |
| 1995 | Ensuring the satisfaction of a temporal specification at run-time. Grace Tsai, Matt Insall, Bruce M. McMillin |
| 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 | Formal specification and verification of communication protocols using automated tools . Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour |
| 1995 | Formal specification of real-time dependable systems. Eduardo B. Fernández, Robert B. France |
| 1995 | General-purpose multiparadigm programming languages: an enabling technology for constructing complex systems. Timothy A. Budd, Timothy P. Justice, Rajeev K. Pandey |
| 1995 | Goal-oriented dynamic buffer pool management for data base systems. Jen-Yao Chwng, Donald F. Ferguson, George Wang, Christos Nikolaou, Jim Teng |
| 1995 | Hard real-time communications with weighted round robin service in ATM local area networks. Amitava Raha, Nicholas Malcolm, Wei Zhao |
| 1995 | Hybrid specification of control systems. Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel |
| 1995 | Integrating formal methods tools to support system design. Shiu-Kai Chin, John Faust, Joseph Giordano |
| 1995 | Knowledge-Based assistance for real-time systems. Robert T. Goettge, Eric W. Brehm, Charles Palczak, John A. Stankovic, Marty Humphrey |
| 1995 | Large complex system test: objectives and approaches. Mei-Chen Hsueh |
| 1995 | MULTIGRAPH: an architecture for model-integrated computing. Janos Sztipanovits, Gabor Karsai, Csaba Biegl, Ted Bapty, Ákos Lédeczi, Amit Misra |
| 1995 | Managing system technical risks using a process-based, integration infrastructure. J. Richard Newman, Sharon L. Rohde |
| 1995 | Model-based synthesis of a real-time image processing system. Michael S. Moore, Jim Nichols |
| 1995 | Model-embedded on-line problem solving environment for chemical engineering. Gabor Karsai, Janos Sztipanovits, Hubertus Franke, Samir Padalkar, Frank DeCaria |
| 1995 | Modeling and design of complex cooperative software. Max Mühlhäuser |
| 1995 | Multivariate assessment of complex software systems: a comparative study. Taghi M. Khoshgoftaar, Edward B. Allen |
| 1995 | On the integration of heterogeneous methods for complex applications. Faouzi Boufarès, Faïez Gargouri, Naoufel Kraïem |
| 1995 | On-line event reconstruction using a parallel in-memory database. Erco Argante, Peter van der Stok, Ian Willers |
| 1995 | POSD-a notation for presenting complex systems of processes. Peter Henderson, Graham D. Pratten |
| 1995 | PolyCARE: a tool for re-engineering multi-language program integrations. Panagiotis K. Linos |
| 1995 | Predictions for increasing confidence in the reliability of safety critical software. Norman F. Schneidewind |
| 1995 | RECAP: a requirements elicitation, capture and analysis process prototype tool for large complex systems. Michael L. Edwards, Matt Flanzer, Mark Terry, Joseph Landa |
| 1995 | Real-time computer controlled ultrasound therapy system for breast cancer treatment. L. E. Grossman, W. W. Foard, Everette Clif Burdette, P. L. Neubauer, G. K. Svensson |
| 1995 | Refinement of system-level designs using hybrid modeling. Robert M. McGraw, Moshe Meyassed, Robert H. Klenke, James H. Aylor, Ronald D. Williams |
| 1995 | Representing architectural designs: a central issue in the development of complex systems. Vassilka Kirova, Wilhelm R. Rossak |
| 1995 | Requirements for client/server performance modeling. Joseph J. Martinka |
| 1995 | SDT a tool for complex real-time systems. P. Blysa |
| 1995 | STADIUM: a new tool for high assurance in systems design. Rufus H. Cofer, T. J. Sanders |
| 1995 | Schedulability related issues in end-to-end systems. Ramesh Yerraballi, Ravi Mukkamala |
| 1995 | Specifying fault tolerance in large complex computing systems. Michelle M. Hugue, Richard C. Scalzo |
| 1995 | Specifying static analysis tools using formal methods. Kevin Lano |
| 1995 | Structured methodology+object-oriented methodology+formal methods: methodology of SOFL. Shaoying Liu, Yong Sun |
| 1995 | Target tracking: a real-time object oriented design experiment. George Krasovec, Mark Baker, Serban Gheorghe |
| 1995 | The DELPHI experiment control system. C. Gaspar, J. J. Schwarz |
| 1995 | The computational requirements of mobile machines. Swarup Acharya, Rafael Alonso |
| 1995 | The effect of preemptive queuing in a priority-based real-time network. Ronald D. Fellman, Robert Grygiel, Isaac Chu |
| 1995 | The role of secondary attributes in formal object modelling. Jin Song Dong, Gordon A. Rose, Roger Duke |
| 1995 | Tracing complexity through the software process. Christof Ebert |
| 1995 | Using speculative execution for fault tolerance in a real-time system. Mohamed F. Younis, Grace Tsai, Thomas J. Marlowe, Alexander D. Stoyenko |