Wing Lok Yeung

2007
13	EE	Karl R. P. H. Leung, Wing Lok Yeung: Generating User Acceptance Test Plans from Test Cases. COMPSAC (2) 2007: 737-742
12	EE	Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong: Modelling and model checking suspendible business processes via statechart diagrams and CSP. Sci. Comput. Program. 65(1): 14-29 (2007)
2006
11	EE	Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung: An Interface Theory Based Approach to Verification of Web Services. COMPSAC (2) 2006: 139-144
10	EE	Wing Lok Yeung: Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services. ECOWS 2006: 297-305
9		Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong: Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. MSVVEIS 2006: 97-107
8	EE	Wing Lok Yeung, Ji Wang, Wei Dong: Verifying Choreographic Descriptions of Web Services Based on CSP. SCW 2006: 97-104
7	EE	Karl R. P. H. Leung, Joseph Kee-Yin Ng, Wing Lok Yeung: Accessing embedded program in untestable mobile environment: Experience of a trustworthiness approach. Journal of Systems and Software 79(7): 962-968 (2006)
2005
6	EE	Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong: Improvements Towards Formalizing UML State Diagrams in CSP. APSEC 2005: 176-184
5		Wing Lok Yeung, Karl R. P. H. Leung: Deriving Test Cases from B Machines Using Class Vectors. MSVVEIS 2005: 71-76
2004
4	EE	Karl R. P. H. Leung, Joseph Kee-Yin Ng, Wing Lok Yeung: Embedded Program Testing in Untestable Mobile Environment: Embedded Program Testing in Untestable Mobile Environment. APSEC 2004: 430-437
2003
3	EE	Wing Lok Yeung, Karl R. P. H. Leung: A Synergistic Interweaving of Formal and Informal Methods. COMPSAC 2003: 257-262
2	EE	Wing Lok Yeung, Steve Schneider: Design and Verification of Distributed Recovery Blocks with CSP. Formal Methods in System Design 22(3): 225-248 (2003)
2000
1	EE	Wing Lok Yeung: Automated translation of JSD into CSP - a case study in methods integration. Journal of Systems and Software 55(2): 193-202 (2000)

Coauthor Index

1	Zhenbang Chen	[11]
2	Wei Dong	[6] [8] [9] [11] [12]
3	Karl R. P. H. Leung	[3] [4] [5] [6] [7] [9] [12] [13]
4	Joseph Kee-Yin Ng	[4] [7]
5	Zhichang Qi (Zhi-Chang Qi)	[11]
6	Steve A. Schneider (Steve Schneider)	[2]
7	Ji Wang	[6] [8] [9] [11] [12]

Colors in the list of coauthors