| 2002 | Hardware/Software Partitioning in Verilog. | Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang |
| 2002 | Specification of an Asynchronous On-chip Bus. | Juha Plosila, Tiberiu Seceleanu |
| 2002 | Towards a Refinement Calculus for Concurrent Real-Time Programs. | Sibylle Peuker, Ian J. Hayes |
| 2002 | A Formal Methodology to Specify E-commerce Systems. | Adriano C. M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Srgio Vale Aguiar Campos |
| 2002 | Analysis of a Security Protocol in CRL. | Jun Pang |
| 2002 | Tool Support for Visualizing CSP in UML. | Muan Yong Ng, Michael J. Butler |
| 2002 | Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications. | David R. Musser, Zhiqing Shao |
| 2002 | A Specification and Validation Technique Based on STATEMATE and FNLOG. | Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray |
| 2002 | Research on Ontology-Oriented Domain Analysis on MIS. | Zhong Ming, Shixian Li, Xiu-rong Fang |
| 2002 | Model-Based Specification Animation Using Testgraphs. | Tim Miller, Paul A. Strooper |
| 2002 | Formalizing UML Models with Object-Z. | Huaikou Miao, Ling Liu, Li Li |
| 2002 | ABC/ADL: An ADL Supporting Component Composition. | Hong Mei, Feng Chen, Qianxiang Wang, Yao-Dong Feng |
| 2002 | On Concept-Based Definition of Domain-Specific Languages. | Ying Liu, Naixiao Zhang |
| 2002 | Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra. | Yuan Liu, Baowen Xu, Zhenqiang Chen |
| 2002 | A Specification-Based Software Construction Framework for Reuse. | Jing Liu, Huaikou Miao, Xiaolei Gao |
| 2002 | Using Transition Systems to Unify UML Models. | Zhiming Liu, Xiaoshan Li, Jifeng He |
| 2002 | Developing Quality Software Systems Using the SOFL Formal Engineering Method. | Shaoying Liu |
| 2002 | Modelling Real-Time Systems with Continuous-Time Temporal Logic. | Guangyuan Li, Zhisong Tang |
| 2002 | A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z. | Soon-Kyeong Kim, David A. Carrington |
| 2002 | Formal Methods in Enterprise Computing. | Richard Jllig |
| 2002 | On the Formalized Semantics of Static Modeling Elements in UML. | Yan-Bing Jiang, Wei-Zhong Shao, Zhi-Yi Ma, Yao-Dong Feng |
| 2002 | Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. | Huibiao Zhu, Jonathan P. Bowen, Jifeng He |
| 2002 | A Calculus for Mobile Network Systems. | Jinfeng Huang, Ad Verschueren, Henri Aalderink, Johan J. Lukkien |
| 2002 | Toward a Formal Model of Software Components. | Maritta Heisel, Thomas Santen, Jeanine Souquires |
| 2002 | From a B Specification to UML StateChart Diagrams. | Ahmed Hammad, Bruno Tatibout, Jean-Christophe Voisinet, Weiping Wu |