| 2008 |
|---|
| 37 | EE | Kenneth Man-Kin Chu,
Karl R. P. H. Leung,
Joseph Kee-Yin Ng,
Chun Hung Li:
A directional propagation model for locating mobile stations within a mobile phone network.
IJWMC 3(1/2): 12-21 (2008) |
| 2007 |
|---|
| 36 | EE | Karl R. P. H. Leung,
Wing Lok Yeung:
Generating User Acceptance Test Plans from Test Cases.
COMPSAC (2) 2007: 737-742 |
| 35 | EE | Zhili Wu,
Chun-hung Li,
Joseph Kee-Yin Ng,
Karl R. P. H. Leung:
Location Estimation via Support Vector Regression.
IEEE Trans. Mob. Comput. 6(3): 311-321 (2007) |
| 34 | EE | Wing Lok Yeung,
Karl R. P. H. Leung,
Ji Wang,
Wei Dong:
Modelling and model checking suspendible business processes via statechart diagrams and CSP.
Sci. Comput. Program. 65(1): 14-29 (2007) |
| 2006 |
|---|
| 33 | EE | Kenneth Man-Kin Chu,
Joseph Kee-Yin Ng,
Karl R. P. H. Leung:
A New Approach for Locating Mobile Stations under the Statistical Directional Propagation Model.
AINA (1) 2006: 932-940 |
| 32 | | Wing Lok Yeung,
Karl R. P. H. Leung,
Ji Wang,
Wei Dong:
Model Checking Suspendible Business Processes via Statechart Diagrams and CSP.
MSVVEIS 2006: 97-107 |
| 31 | EE | Karl R. P. H. Leung,
Joseph Kee-Yin Ng,
Wing Lok Yeung:
Accessing embedded program in untestable mobile environment: Experience of a trustworthiness approach.
Journal of Systems and Software 79(7): 962-968 (2006) |
| 2005 |
|---|
| 30 | EE | Wing Lok Yeung,
Karl R. P. H. Leung,
Ji Wang,
Wei Dong:
Improvements Towards Formalizing UML State Diagrams in CSP.
APSEC 2005: 176-184 |
| 29 | | Wing Lok Yeung,
Karl R. P. H. Leung:
Deriving Test Cases from B Machines Using Class Vectors.
MSVVEIS 2005: 71-76 |
| 28 | EE | W. K. Chan,
S. C. Cheung,
Karl R. P. H. Leung:
Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications.
QSIC 2005: 470-476 |
| 27 | EE | Joseph Kee-Yin Ng,
Karl R. P. H. Leung,
Calvin Kin-Cheung Hui:
A QoS-Enabled Transmission Scheme for MPEG Video Streaming.
Real-Time Systems 30(3): 217-256 (2005) |
| 2004 |
|---|
| 26 | EE | Kenneth Man-Kin Chu,
Karl R. P. H. Leung,
Joseph Kee-Yin Ng,
Chun Hung Li:
Locating Mobile Stations with Statistical Directional Propagation Model.
AINA (1) 2004: 230-235 |
| 25 | EE | 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.
APSEC 2004: 430-437 |
| 24 | EE | Karl R. P. H. Leung:
Using Hypergraph as Modeling Language for Generating Test Cases On Demand.
APSEC 2004: 519-526 |
| 23 | | Karl R. P. H. Leung:
An Experience of continuous development - formulating requirements concurrently with system implementation.
IASTED Conf. on Software Engineering 2004: 218-223 |
| 22 | EE | William Hak-Lim Wong,
Joseph Kee-Yin Ng,
Karl R. P. H. Leung:
Large-Scale Location Estimation over GSM Networks: The Gear Approach.
ICDCS Workshops 2004: 574-579 |
| 2003 |
|---|
| 21 | EE | Wing Lok Yeung,
Karl R. P. H. Leung:
A Synergistic Interweaving of Formal and Informal Methods.
COMPSAC 2003: 257-262 |
| 20 | EE | Hareton K. N. Leung,
Karl R. P. H. Leung:
Domain-Based COTS-Product Selection Method.
Component-Based Software Quality 2003: 40-63 |
| 19 | EE | Karl R. P. H. Leung,
Joseph Kee-Yin Ng,
Tim K. T. Chan,
Kenneth Man-Kin Chu,
Chun Hung Li:
Network Based Mobile Station Positioning in Metropolitan Area.
Euro-Par 2003: 1017-1026 |
| 18 | EE | Karl R. P. H. Leung,
Wai Wong,
Joseph Kee-Yin Ng:
Generating test cases from class vectors.
Journal of Systems and Software 66(1): 35-46 (2003) |
| 2002 |
|---|
| 17 | EE | Baowen Xu,
Yu Guan,
Zhenqiang Chen,
Karl R. P. H. Leung:
Parallel Genetic Algorithms with Schema Migration.
COMPSAC 2002: 879-886 |
| 16 | | Karl R. P. H. Leung,
Hareton K. N. Leung:
On the efficiency of domain-based COTS product selection method.
Information & Software Technology 44(12): 703-715 (2002) |
| 2001 |
|---|
| 15 | EE | Calvin Kin-Cheung Hui,
Joseph Kee-Yin Ng,
Wai Wong,
Karl R. P. H. Leung:
The Implementation of a Multi-Server Distributed MPEG Video System.
IEEE Real Time Technology and Applications Symposium 2001: 111-113 |
| 14 | EE | Karl R. P. H. Leung,
Lucas Chi Kwong Hui:
Handling signature purposes in workflow systems.
Journal of Systems and Software 55(3): 245-259 (2001) |
| 2000 |
|---|
| 13 | EE | Karl R. P. H. Leung,
Wai Wong:
Towards a More Efficient Way of Generating Test Cases: Class Graphs.
APAQS 2000: 285-296 |
| 12 | EE | Karl R. P. H. Leung,
Wai Wong:
Deriving test cases using class vectors.
APSEC 2000: 146-153 |
| 11 | EE | Karl R. P. H. Leung:
Extending Statecharts with ad lib and multi-thread features.
APSEC 2000: 330- |
| 10 | EE | Karl R. P. H. Leung,
Lucas Chi Kwong Hui,
Siu-Ming Yiu,
Ricky W. M. Tang:
Modeling Web Navigation by Statechart.
COMPSAC 2000: 41-47 |
| 9 | EE | Karl R. P. H. Leung,
Lucas Chi Kwong Hui:
Multiple Signature Handling in Workflow Systems.
HICSS 2000 |
| 1999 |
|---|
| 8 | EE | Karl R. P. H. Leung,
Lucas Chi Kwong Hui:
Signature Management in Workflow Systems.
COMPSAC 1999: 424-429 |
| 7 | EE | Karl R. P. H. Leung,
Jojo M. L. Chung:
The Liaison Workflow Engine Architecture.
HICSS 1999 |
| 6 | | Karl R. P. H. Leung,
Lucas Chi Kwong Hui,
Ricky W. M. Tang:
Integrating Different Signature Purposes in Workflow Systems - A Case Study.
ICSC 1999: 360-366 |
| 1998 |
|---|
| 5 | EE | Daniel K. C. Chan,
Karl R. P. H. Leung,
Ching Ying Yan,
Keith C. C. Chan:
Liaison: A Workflow Model for Novel Applications.
APSEC 1998: 144- |
| 1997 |
|---|
| 4 | EE | Daniel K. C. Chan,
Karl R. P. H. Leung:
Software Development as a Workflow Process.
APSEC 1997: 282-291 |
| 3 | | Daniel K. C. Chan,
Karl R. P. H. Leung:
Software Development as a Workflow Process.
DEXA Workshop 1997: 62-67 |
| 1996 |
|---|
| 2 | EE | Karl R. P. H. Leung,
Daniel K. C. Chan:
Extending Statecharts with Duration.
COMPSAC 1996: 246- |
| 1995 |
|---|
| 1 | EE | Karl R. P. H. Leung,
Daniel K. C. Chan:
Prototyping the Structured Specification as Logic Programs.
APSEC 1995: 380-389 |
