The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Wing Lok Yeung: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    APSEC, 2004, pp:430-437 [Conf]
  2. Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
    Improvements Towards Formalizing UML State Diagrams in CSP. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:176-184 [Conf]
  3. Wing Lok Yeung, Karl R. P. H. Leung
    A Synergistic Interweaving of Formal and Informal Methods. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2003, pp:257-262 [Conf]
  4. Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung
    An Interface Theory Based Approach to Verification of Web Services. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2006, pp:139-144 [Conf]
  5. Wing Lok Yeung
    Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services. [Citation Graph (0, 0)][DBLP]
    ECOWS, 2006, pp:297-305 [Conf]
  6. Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
    Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2006, pp:97-107 [Conf]
  7. Wing Lok Yeung, Karl R. P. H. Leung
    Deriving Test Cases from B Machines Using Class Vectors. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2005, pp:71-76 [Conf]
  8. Wing Lok Yeung, Steve Schneider
    Design and Verification of Distributed Recovery Blocks with CSP. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2003, v:22, n:3, pp:225-248 [Journal]
  9. Karl R. P. H. Leung, Joseph Kee-Yin Ng, Wing Lok Yeung
    Accessing embedded program in untestable mobile environment: Experience of a trustworthiness approach. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2006, v:79, n:7, pp:962-968 [Journal]
  10. Wing Lok Yeung
    Automated translation of JSD into CSP - a case study in methods integration. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2000, v:55, n:2, pp:193-202 [Journal]
  11. Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
    Modelling and model checking suspendible business processes via statechart diagrams and CSP. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:65, n:1, pp:14-29 [Journal]
  12. Karl R. P. H. Leung, W. L. Yeung
    Generating User Acceptance Test Plans from Test Cases. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2007, pp:737-742 [Conf]
  13. W. L. Yeung, Ji Wang, Wei Dong
    Verifying Choreographic Descriptions of Web Services Based on CSP. [Citation Graph (0, 0)][DBLP]
    SCW, 2006, pp:97-104 [Conf]

  14. A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Service Orchestration. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002