| 2001 | Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks. | Pao-Ann Hsiung, Win-Bin See, Trong-Yen Lee, Jih-Ming Fu, Sao-Jie Chen |
| 2001 | On the Implementation of Catalysis Frameworks in COM. | Shui Ming Ho, Kung-Kiu Lau |
| 2001 | Compilation of Specifications. | Colin J. Fidge |
| 2001 | Knowledge Scouts: Reducing Communication Barriers in a Distributed Software Development Project. | Allen H. Dutoit, Joyce Johnstone, Bernd Brgge |
| 2001 | Architectural Issues in Mobile Augmented Reality Systems: A Prototyping Case Study. | Allen H. Dutoit, Oliver Creighton, Gudrun Klinker, Rafael Kobylinski, Christoph Vilsmeier, Bernd Brgge |
| 2001 | Model Checking UML Statecharts. | Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi |
| 2001 | Operational Semantics for Verilog. | Jordan Dimitrov |
| 2001 | An Empirical Study of Requirements Engineering in Distributed Software Projects: Is Distance Negotiation More Effective? | Daniela E. Damian |
| 2001 | Formal Specification of Mixed Components with Korrigan. | Christine Choppy, Pascal Poizat, Jean-Claude Royer |
| 2001 | Component Metrics to Measure Component Quality. | Eun Sook Cho, Min Sun Kim, Soo Dong Kim |
| 2001 | Applying Mutation Analysis for Object-Oriented Programs Using a Reflective Approach. | Philippe Chevalley |
| 2001 | Formalization and 'Literate' Programming. | Hugh Anderson |
| 2001 | A Rigorous Method for Testing Real-Time Reactive Systems. | Vangalur S. Alagar, Mao Zheng |
| 2000 | CIMO - Component Integration MOdel. | Yan Xia, Anthony Tung Shuen Ho, YuCheng Zhang |
| 2000 | Survivability Analysis of Networked Systems . | Jeannette M. Wing |
| 2000 | A framework of requirements tracing using UML. | Toshihiko Tsumaki, Yoshitomi Morisawa |
| 2000 | A semantic model of a small typed functional language using Object-Z. | WoonKiong Tan |
| 2000 | Translating descriptions of a viewpoint among different representations. | Nigel Stanger |
| 2000 | Verification of a wireless ATM medium-access protocol. | Natalia Sidorova, Martin Steffen |
| 2000 | Combining case-based and model-based reasoning: a formal specification. | Shuguang Li, Qing Jiang, Chris George |
| 2000 | Tailoring test process by using the component-based development paradigm and the XML technology. | Jooyoung Seo, Byoungju Choi |
| 2000 | PMF/GRIP a framework for the development and implementation of reuse models. | Volker H. Schroeter |
| 2000 | Predicting class libraries interface evolution: an investigation into machine learning approaches. | Houari A. Sahraoui, Mounir Boukadoum, Hakim Lounis, Frdric Ethve |
| 2000 | Behavioral specification of GOF design patterns with LOTOS. | Motoshi Saeki |
| 2000 | A framework for risk analysis in software engineering. | Geoffrey G. Roy, Terence L. Woodings |