Wing Lok Yeung

According to our database, Wing Lok Yeung authored at least 27 papers between 1991 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Efficiency of task allocation based on contract net protocol with audience restriction in a manufacturing control application.

Wing Lok Yeung

Int. J. Comput. Integr. Manuf., 2018

2016

Prototyping the Machine-Human Dialogues in a Smartphone Voice Call Application With Task Resumption Support.

W. Lok Yeung, Simon Y. W. Li

Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, 2016

2014

Applications of data mining in online retailing: A case for mining prefix-ordered web site navigation paths.

W. Lok Yeung

Proceedings of the 2nd International Conference on Systems and Informatics, 2014

2013

Short paper adapting the contract net protocol for publish/subscribe messaging.

W. Lok Yeung

Proceedings of the International Conference on High Performance Computing & Simulation, 2013

2011

Behavioral modeling and verification of multi-agent systems for manufacturing control.

W. Lok Yeung

Expert Syst. Appl., 2011

A formal and visual modeling approach to choreography based web services composition and conformance verification.

W. Lok Yeung

Expert Syst. Appl., 2011

2009

Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification.

Wing Lok Yeung

Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2009

2008

A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Service Orchestration.

Wing Lok Yeung

Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, 2008

2007

CSP-Based Verification for Web Service Orchestration and Choreography.

W. Lok Yeung

Simul., 2007

Modelling and model checking suspendible business processes via statechart diagrams and CSP.

Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong

Sci. Comput. Program., 2007

Generating User Acceptance Test Plans from Test Cases.

Karl R. P. H. Leung, Wing Lok Yeung

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Accessing embedded program in untestable mobile environment: Experience of a trustworthiness approach.

Karl R. P. H. Leung, Joseph Kee-Yin Ng, Wing Lok Yeung

J. Syst. Softw., 2006

Model Checking Suspendible Business Processes via Statechart Diagrams and CSP.

Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong

Proceedings of the Modelling, 2006

Verifying Choreographic Descriptions of Web Services Based on CSP.

Wing Lok Yeung, Ji Wang, Wei Dong

Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 2006

Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services.

Wing Lok Yeung

Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006

An Interface Theory Based Approach to Verification of Web Services.

Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2005

Deriving Test Cases from B Machines Using Class Vectors.

Wing Lok Yeung, Karl R. P. H. Leung

Proceedings of the Modelling, 2005

Improvements Towards Formalizing UML State Diagrams in CSP.

Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004

Gaining Competitive Advantages through a Functionality Grid for Website Evaluation.

W. Lok Yeung, Ming-te Lu

J. Comput. Inf. Syst., 2004

Functional characteristics of commercial web sites: a longitudinal study in Hong Kong.

W. Lok Yeung, Ming-te Lu

Inf. Manag., 2004

Embedded Program Testing in Untestable Mobile Environment: Embedded Program Testing in Untestable Mobile Environment.

Karl R. P. H. Leung, Joseph Kee-Yin Ng, Wing Lok Yeung

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003

Design and Verification of Distributed Recovery Blocks with CSP.

Wing Lok Yeung, Steve A. Schneider

Formal Methods Syst. Des., 2003

A Synergistic Interweaving of Formal and Informal Methods.

Wing Lok Yeung, Karl R. P. H. Leung

Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

2000

Automated translation of JSD into CSP - a case study in methods integration.

Wing Lok Yeung

J. Syst. Softw., 2000

1998

A framework for effective commercial Web application development.

Ming-te Lu, W. Lok Yeung

Internet Res., 1998

1997

Denotational Semantics for JSD.

Wing Lok Yeung

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

1991

System development with communicating sequential processes : formalisation and related studies.

Wing Lok Yeung

PhD thesis, 1991