Wing Lok Yeung

18 papers B 1C 4Journal 5Unranked 7
YearRankTypeTitle / Venue / Authors
2018 J jnl
Efficiency of task allocation based on contract net protocol with audience restriction in a manufacturing control application.
Int. J. Comput. Integr. Manuf.
Wing Lok Yeung
2009 — conf
Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification.
SOCA
Wing Lok Yeung
2008 C conf
A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Service Orchestration.
APSCC
Wing Lok Yeung
2007 — conf
Generating User Acceptance Test Plans from Test Cases.
COMPSAC (2)
Karl R. P. H. Leung, Wing Lok Yeung
2007 J jnl
Modelling and model checking suspendible business processes via statechart diagrams and CSP.
Sci. Comput. Program.
Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
2006 J jnl
Accessing embedded program in untestable mobile environment: Experience of a trustworthiness approach.
J. Syst. Softw.
Karl R. P. H. Leung, Joseph Kee-Yin Ng, Wing Lok Yeung
2006 — conf
An Interface Theory Based Approach to Verification of Web Services.
COMPSAC (2)
Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung
2006 — conf
Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services.
ECOWS
Wing Lok Yeung
2006 — conf
Model Checking Suspendible Business Processes via Statechart Diagrams and CSP.
MSVVEIS
Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
2006 — conf
Verifying Choreographic Descriptions of Web Services Based on CSP.
SCW
Wing Lok Yeung, Ji Wang, Wei Dong
2005 — conf
Deriving Test Cases from B Machines Using Class Vectors.
MSVVEIS
Wing Lok Yeung, Karl R. P. H. Leung
2005 C conf
Improvements Towards Formalizing UML State Diagrams in CSP.
APSEC
Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
2004 C conf
Embedded Program Testing in Untestable Mobile Environment: Embedded Program Testing in Untestable Mobile Environment.
APSEC
Karl R. P. H. Leung, Joseph Kee-Yin Ng, Wing Lok Yeung
2003 B conf
A Synergistic Interweaving of Formal and Informal Methods.
COMPSAC
Wing Lok Yeung, Karl R. P. H. Leung
2003 J jnl
Design and Verification of Distributed Recovery Blocks with CSP.
Formal Methods Syst. Des.
Wing Lok Yeung, Steve A. Schneider
2000 J jnl
Automated translation of JSD into CSP - a case study in methods integration.
J. Syst. Softw.
Wing Lok Yeung
1997 C conf
Denotational Semantics for JSD.
APSEC
Wing Lok Yeung
1991 — —
System development with communicating sequential processes : formalisation and related studies.
Wing Lok Yeung