| 2001 | Using a Model Checker to Test Safety Properties. | Paul Ammann, Wei Ding, Daling Xu |
| 2001 | Design Method for Conceptual Design of By-Wire Control: Two Case Studies. | Kristina Ahlstrm, Jan Torin, Per Johannessen |
| 2001 | Verification of Hybrid Systems: Formalization and Proof Rules in PVS. | Erika brahm-Mumm, Martin Steffen, Ulrich Hannemann |
| 2000 | Reduction of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommuncation Services. | Tae Yoneda, Tadashi Ohta |
| 2000 | Interworking among Intelligent Networks and Different Networks: Service Control Interfaces and Their Applications. | Ryo Takeuchi, Akira Miura, Masanobu Yoshimi |
| 2000 | Distributed Development of Complex Software Systems with Object Make. | Yasuhiro Sugiyama |
| 2000 | Experience Using Formal Methods for Specifying a Multi-Agent System. | Christopher A. Rouff, James L. Rash, Michael G. Hinchey |
| 2000 | Concurrent Programming Made Easy. | Rafael Ramrez, Andrew E. Santosa, Roland H. C. Yap |
| 2000 | An Intelligent-Agent Based Decision Support System for a Complex Command and Control Application. | Plamen V. Petrov, Alexander D. Stoyen |
| 2000 | An Analysis Tool for Coupling-Based Integration Testing. | A. Jefferson Offutt, Aynur Abdurazik, Roger T. Alexander |
| 2000 | Dynamically Detecting Relevant Program Invariants. | David Notkin |
| 2000 | A Flexible Scheduling for Automobile Control Using Imprecise Computation and Its Fundamental Evaluation. | Fuminori Nakanishi, Shinnya Hiraike, Shinji Inoue, Yoshiaki Kakuda, Kenji Toda |
| 2000 | Complexity: Concept, Causes and Control. | John Alexander McDermid |
| 2000 | Overcoming Software Complexity by Constructing Abstraction Hierarchies - The Principles and Applications. | Tosiyasu L. Kunii, Masayuki Hisada |
| 2000 | Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles. | Takuya Katayama |
| 2000 | Dependability Engineering of Complex Computing Systems. | Mohamed Kaniche, Jean-Claude Laprie, Jean-Paul Blanquart |
| 2000 | New Measure and Experimental Evaluation for Multiagent-Based Reservation of Backup Virtual Paths in ATM Networks. | Shinji Inoue, Yoshiaki Kakuda, Masahiro Terabe |
| 2000 | Multiple Backup Virtual Paths Reservation Problem and Its Solution. | Shinji Inoue, Yoshiaki Kakuda |
| 2000 | Mobile IP Route Optimization Method for a Carrier-Scale IP Network. | Takeshi Ihara, Hiroyuki Ohnishi, Yasushi Takagi |
| 2000 | A Test Class Framework for Generating Test Cases from Z Specifications. | Huaikou Miao, Ling Liu |
| 2000 | Using the Right Tool for the Job. | William G. Howerton, Michael G. Hinchey |
| 2000 | Scalable Data Mining with Log Based Consistency DSM for High Performance Distributed Computing. | Hideaki Hirayama, Hiroki Honda, Toshitsugu Yuba |
| 2000 | Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language. | Hassan Gomaa, Shaoying Liu, Michael E. Shin |
| 2000 | Domain Modeling of Software Process Models. | Hassan Gomaa, Larry Kerschberg, Ghulam A. Farrukh |
| 2000 | Definitions of Equivalence for Transformational Synthesis of Embedded Systems. | Luis Alejandro Corts, Petru Eles, Zebo Peng |