| 2000 | Verification Criteria for a Compositional Model for Reactive Systems. | Pierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi |
| 2000 | Automated Result Verification with AWK. | Balkhis Abu Bakar, Tomasz Janowski |
| 2000 | Cost Models for Electronic Architecture Trade Studies. | Jakob Axelsson |
| 2000 | Managing Complexity in Real-Time Reactive Systems. | Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng |
| 2000 | Evaluation of Three Specification-Based Testing Criteria. | Aynur Abdurazik, Paul Ammann, Wei Ding, A. Jefferson Offutt |
| 1999 | A CORBA-Based Architecture for Integrating Distributed and Heterogeneous Databases. | Xuequn Wu |
| 1999 | Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models. | Jiacun Wang, Chun Jin, Yi Deng |
| 1999 | Implementing Large-Scale Systems Using COTS Software. | Mark R. Vigder, John C. Dean |
| 1999 | Formal Development and Validation of Java Dependable Distributed Systems. | Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo |
| 1999 | Using Design Patterns, Frameworks and CORBA to Reduce the Complexity of Developing Reusable Large-Scale Object-Oriented Concurrent Communication Components and Systems. | Douglas C. Schmidt |
| 1999 | UML + ROOM as a Standard ADL? | Bernhard Rumpe, M. Schoenmakers, Ansgar Radermacher, Andy Schrr |
| 1999 | A Realistic Architecture for Timed Testing. | Eric Petitjean, Hacne Fouchal |
| 1999 | Criteria for Generating Specification-Based Tests. | A. Jefferson Offutt, Yiwei Xiong, Shaoying Liu |
| 1999 | Developing More Reliable Software Faster and Cheaper. | John D. Musa |
| 1999 | Developing More Reliable Software Faster and Cheaper. | John D. Musa |
| 1999 | Securing Internet Sessions with Sorbet. | Fred Long, Robert C. Seacord, Scott A. Hissam, John E. Robert |
| 1999 | A CSCW Framework for the Flexible Coupling of Groupware Widgets. | Paul Leung, Shing-Chi Cheung |
| 1999 | Lessons Learned from Wrapping Systems. | Christopher Landauer, Kirstie L. Bellman |
| 1999 | A Realistic Commercially Robust Process for the Development of Object-Oriented Software. | Timothy D. Korson |
| 1999 | A General Purpose Virtual Collaboration Room. | Runhe Huang, Jianhua Ma |
| 1999 | A Framework for Analyzing Configurations of Deployable Software Systems. | Dennis Heimbigner, Richard S. Hall, Alexander L. Wolf |
| 1999 | Complexity in Human Centered Systems: The Case of Software Processes. | Carlo Ghezzi |
| 1999 | An Integrating Approach for Developing Distributed Software Systems -- Combining Formal Methods, Software Reuse, and the Experience Base. | Raimund L. Feldmann, Birgit Geppert, Frank Rler |
| 1999 | Practical Considerations in Protocol Verification: The E-2C Case Study. | Yifei Dong, Scott A. Smolka, Eugene W. Stark, Stephanie M. White |
| 1999 | Planning Complex Systems in a Business Context. | Alan Davis |