Wing Lok Yeung
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
1997–2008
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | APSCC | A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Service Orchestration. | Wing Lok Yeung |
| 2007 | COMPSAC | Generating User Acceptance Test Plans from Test Cases. | Karl R. P. H. Leung, Wing Lok Yeung |
| 2006 | COMPSAC | An Interface Theory Based Approach to Verification of Web Services. | Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung |
| 2005 | APSEC | Improvements Towards Formalizing UML State Diagrams in CSP. | Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong |
| 2004 | APSEC | 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 |
| 2003 | COMPSAC | A Synergistic Interweaving of Formal and Informal Methods. | Wing Lok Yeung, Karl R. P. H. Leung |
| 1997 | APSEC | Denotational Semantics for JSD. | Wing Lok Yeung |