| 2002 | Maintaining Referential Integrity on the Web. | Mark A. Hale |
| 2002 | Machine Code Type Safety. | Fan Guo, Yiyun Chen, RongGui Hu |
| 2002 | µ-Chart-Based Specification and Refinement. | Doug Goldson, Greg Reeve, Steve Reeves |
| 2002 | A Requirements Description Model Based on Conditional Directed Graphs. | Zaobin Gan, Chuanbo Chen, Xiandeng Pei |
| 2002 | Refinement Algebra for Formal Bytecode Generation. | Adolfo Duran, Ana Cavalcanti, Augusto Sampaio |
| 2002 | Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows. | Yuyue Du, Changjun Jiang |
| 2002 | Z Approach to Semantic Web. | Jin Song Dong, Jing Sun, Hai H. Wang |
| 2002 | XML-Based Static Type Checking and Dynamic Visualization for TCOZ. | Jin Song Dong, Yuan-Fang Li, Jing Sun, Jun Sun, Hai H. Wang |
| 2002 | A Formal Definition of Function Points for Automated Measurement of B Specifications. | Hassan B. Diab, Marc Frappier, Richard St-Denis |
| 2002 | Developing a Spell-Checker for Tajik Using RAISE. | Gafurov Davrondjon, Tomasz Janowski |
| 2002 | Formal Modelling of Java GUI Event Handling. | Jessica Chen |
| 2002 | Specifying a Component Model for Building Dynamically Reconfigurable Distributed Systems. | Xuejun Chen |
| 2002 | Modeling the Architecture for Component-Based E-commerce System. | Jiayue Chang, Huadong Ma |
| 2002 | Theorem Prover Support for Precondition and Correctness Calculation. | Orieta Celiku, Joakim von Wright |
| 2002 | A New Algorithm for Service Interaction Detection. | Ana R. Cavalli, Stphane Maag |
| 2002 | Component Specification and Wrapper/Glue Code Generation with Two-Level Grammar Using Domain Specific Knowledge. | Fei Cao, Barrett R. Bryant, Rajeev R. Raje, Mikhail Auguston, Andrew M. Olson, Carol C. Burt |
| 2002 | A UML Approach to the Design of Open Distributed Systems. | Behzad Bordbar, John Derrick, A. Gill Waters |
| 2002 | SFI: A Refinement Based Layered Software Architecture. | Ralph-Johan Back |
| 2002 | Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS. | J. Christian Attiogb |
| 2002 | An Abstract Model for Scheduling Real-Time Programs. | Alvaro E. Arenas |
| 2002 | Abstract Interpretation with a Theorem Prover. | Hugh Anderson |
| 2002 | Three-Tiered Specification of Micro-architectures. | Vangalur S. Alagar, Ralf Lmmel |
| 2002 | Enabling Hardware Verification through Design Changes. | Amr Talaat Abdel-Hamid, Sofine Tahar, John Harrison |
| 2000 | Composing Specifications in VSPEC. | Arun Venkataraman, Murali Rangarajan, Perry Alexander |
| 2000 | A Case Study in Partial Specification: Consistency and Refinement for Object-Z. | Chris Taylor, John Derrick, Eerke A. Boiten |