Wing Lok Yeung - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2018

Efficiency of task allocation based on contract net protocol with audience restriction in a manufacturing control applicationWing Lok Yeung. ijcim, 31(10):1005-1017, 2018. [doi]

2009

Formalizing exception handling in WS-CDL and WS-BPEL for conformance verificationWing Lok Yeung. soca 2009: 1-8 [doi]

2008

A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Service OrchestrationWing Lok Yeung. apscc 2008: 524-529 [doi]

2007

Generating User Acceptance Test Plans from Test CasesKarl R. P. H. Leung, Wing Lok Yeung. compsac 2007: 737-742 [doi]

Modelling and model checking suspendible business processes via statechart diagrams and CSPWing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong. SCP, 65(1):14-29, 2007. [doi]

2006

2005

Deriving Test Cases from B Machines Using Class VectorsWing Lok Yeung, Karl R. P. H. Leung. vveis 2005: 71-76

Improvements Towards Formalizing UML State Diagrams in CSPWing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong. apsec 2005: 176-184 [doi]

2004

Embedded Program Testing in Untestable Mobile Environment: Embedded Program Testing in Untestable Mobile EnvironmentKarl R. P. H. Leung, Joseph Kee-Yin Ng, Wing Lok Yeung. apsec 2004: 430-437 [doi]

2003

A Synergistic Interweaving of Formal and Informal MethodsWing Lok Yeung, Karl R. P. H. Leung. compsac 2003: 257-262 [doi]

Design and Verification of Distributed Recovery Blocks with CSPWing Lok Yeung, Steve Schneider. fmsd, 22(3):225-248, 2003. [doi]

2000

Automated translation of JSD into CSP - a case study in methods integrationWing Lok Yeung. jss, 55(2):193-202, 2000. [doi]

1991

System development with communicating sequential processes : formalisation and related studiesWing Lok Yeung. PhD thesis, Staffordshire University, UK, 1991. [doi]

Sign in or sign up to see more results.

runs on WebDSL