Wing Lok Yeung

ORCID

Publication Activity (10 Years)

Years Active: 1997-2018
Publications (10 Years): 1

Top Venues

Int. J. Comput. Integr. Manuf.

Staffordshire University, UK (PHD)

Education History

Staffordshire University, UK

PHD

Publications

Wing Lok Yeung
Efficiency of task allocation based on contract net protocol with audience restriction in a manufacturing control application. Int. J. Comput. Integr. Manuf. 31 (10) (2018)
Wing Lok Yeung
Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification. SOCA (2009)
Wing Lok Yeung
A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Service Orchestration. APSCC (2008)
Karl R. P. H. Leung, Wing Lok Yeung
Generating User Acceptance Test Plans from Test Cases. COMPSAC (2) (2007)
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) (2007)
Wing Lok Yeung
Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services. ECOWS (2006)
Wing Lok Yeung, Ji Wang, Wei Dong
Verifying Choreographic Descriptions of Web Services Based on CSP. SCW (2006)
Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. MSVVEIS (2006)
Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung
An Interface Theory Based Approach to Verification of Web Services. COMPSAC (2) (2006)
Karl R. P. H. Leung, Joseph Kee-Yin Ng, Wing Lok Yeung
Accessing embedded program in untestable mobile environment: Experience of a trustworthiness approach. J. Syst. Softw. 79 (7) (2006)
Wing Lok Yeung, Karl R. P. H. Leung
Deriving Test Cases from B Machines Using Class Vectors. MSVVEIS (2005)
Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
Improvements Towards Formalizing UML State Diagrams in CSP. APSEC (2005)
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)
Wing Lok Yeung, Karl R. P. H. Leung
A Synergistic Interweaving of Formal and Informal Methods. COMPSAC (2003)
Wing Lok Yeung, Steve A. Schneider
Design and Verification of Distributed Recovery Blocks with CSP. Formal Methods Syst. Des. 22 (3) (2003)
Wing Lok Yeung
Automated translation of JSD into CSP - a case study in methods integration. J. Syst. Softw. 55 (2) (2000)
Wing Lok Yeung
Denotational Semantics for JSD. APSEC (1997)

Wing Lok Yeung.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wing Lok Yeung