| 2002 | iBistro: A Learning Environment for Knowledge Construction in Distributed Software Engineering Courses. | Andreas Braun, Allen H. Dutoit, Andreas Harrer, Bernd Brgge |
| 2002 | Symbolic Simulation of Hybrid Systems. | Ralph-Johan Back, Cristina Cerschi Seceleanu, Jan Westerholm |
| 2002 | A Virtual File System for Source Program Editing. | Yoshida Atsushi, Fukuyasu Naoki |
| 2002 | Using Components to Increase Maintainability in a Large Telecommunication System. | Henrik Algestam, Marcus Offesson, Lars Lundberg |
| 2002 | Feature Logics and Refinement. | Marc Aiguier, Christophe Gaston, Pascale Le Gall |
| 2002 | A Measurement Based Comparative Evaluation of Effectiveness of Object-Oriented Versus Conventional Procedural Programming Techniques and Languages. | Aftab Ahmad, Muhammad Talha |
| 2001 | Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements. | Didar Zowghi, Vincenzo Gervasi, Andrew McRae |
| 2001 | A Framework for Migrating Procedural Code to Object-Oriented Platforms. | Ying Zou, Kostas Kontogiannis |
| 2001 | Deriving Operational Semantics from Denotational Semantics for Verilog. | Huibiao Zhu, Jonathan P. Bowen, Jifeng He |
| 2001 | A Component-Based Framework and Reusability in Garment. | Naixiao Zhang, Ying Liu |
| 2001 | Tailoring and Verifying Software Process. | Il-Chul Yoon, Sang-Yoon Min, Doo-Hwan Bae |
| 2001 | An Effective Testing Technique for Component Composition in EJBs. | Hoijin Yoon, Byoungju Choi |
| 2001 | The Steam Boiler in a Unified Theory of Z and CSP. | Jim Woodcock, Ana Cavalcanti |
| 2001 | Formalizing Models and Meta-models for System Development. | R. Venkatesh, Purandar Bhaduri, Mathai Joseph |
| 2001 | Development of Session Management Mechanism for Cellular Phone with WWW Connection. | Satoru Uehara, Osamu Mizuno, Tohru Kikuno |
| 2001 | A Probabilistic Approach to Automatic Verification of Concurrent Systems. | Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli |
| 2001 | A Theory of Combinational Programs. | Van Dung Tran, Jifeng He |
| 2001 | Expert Maintainers' Strategies and Needs when Understanding Software: A Case Study Approach. | Christos Tjortjis, Paul J. Layzell |
| 2001 | Aspect-Oriented Implementation of Software Health Indicators. | James Thai, Barry R. Pekilis, Alexander Lau, Rudolph E. Seviora |
| 2001 | An XML/XSL Approach to Visualize and Animate TCOZ. | Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang |
| 2001 | On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing. | Jinhui Shan, Ji Wang, Zhichang Qi |
| 2001 | The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs. | Heui-Seok Seo, In Sang Chung, Byeong Man Kim, Yong Rae Kwon |
| 2001 | Trading-Assisting Service Discovery Architecture. | Twittie Senivongse, Worawut Suphasanthitikul |
| 2001 | Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language. | Gwen Salan, Michel Allemand, J. Christian Attiogb |
| 2001 | Partitioning Program into Hardware and Software. | Shengchao Qin, Jifeng He |