Karl R. P. H. Leung

44 papers B 5C 11Journal 9Unranked 18
YearRankTypeTitle / Venue / Authors
2012 — ed.
19th Asia-Pacific Software Engineering Conference - Workshops, APSEC 2012, Hong Kong, China, December 4-7, 2012
APSEC Workshops
Karl R. P. H. Leung, Pornsiri Muenchaisri
2012 C ed.
19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4-7, 2012
APSEC
Karl R. P. H. Leung, Pornsiri Muenchaisri
2011 C ed.
18th Asia Pacific Software Engineering Conference, APSEC 2011, Ho Chi Minh, Vietnam, December 5-8, 2011
APSEC
Tran Dan Thu, Karl R. P. H. Leung
2008 J jnl
A Train-Once Approach for Location Estimation Using the Directional Propagation Model.
IEEE Trans. Veh. Technol.
Joseph Kee-Yin Ng, Junyang Zhou, Kenneth Man-Kin Chu, Karl R. P. H. Leung
2008 J jnl
A directional propagation model for locating mobile stations within a mobile phone network.
Int. J. Wirel. Mob. Comput.
Kenneth Man-Kin Chu, Karl R. P. H. Leung, Joseph Kee-Yin Ng, Chun Hung Li
2008 — conf
Data scheduling for multi-item requests in multi-channel on-demand broadcast environments.
MobiDE
Kai Liu, Victor C. S. Lee, Karl R. P. H. Leung
2007 — conf
Generating User Acceptance Test Plans from Test Cases.
COMPSAC (2)
Karl R. P. H. Leung, Wing Lok Yeung
2007 J jnl
Location Estimation via Support Vector Regression.
IEEE Trans. Mob. Comput.
Zhili Wu, Chun-hung Li, Joseph Kee-Yin Ng, Karl R. P. H. Leung
2007 J jnl
Modelling and model checking suspendible business processes via statechart diagrams and CSP.
Sci. Comput. Program.
Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
2006 — conf
A New Approach for Locating Mobile Stations under the Statistical Directional Propagation Model.
AINA (1)
Kenneth Man-Kin Chu, Joseph Kee-Yin Ng, Karl R. P. H. Leung
2006 J jnl
Accessing embedded program in untestable mobile environment: Experience of a trustworthiness approach.
J. Syst. Softw.
Karl R. P. H. Leung, Joseph Kee-Yin Ng, Wing Lok Yeung
2006 — conf
Model Checking Suspendible Business Processes via Statechart Diagrams and CSP.
MSVVEIS
Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
2005 J jnl
A QoS-Enabled Transmission Scheme for MPEG Video Streaming.
Real Time Syst.
Joseph Kee-Yin Ng, Karl R. P. H. Leung, Calvin Kin-Cheung Hui
2005 — conf
Deriving Test Cases from B Machines Using Class Vectors.
MSVVEIS
Wing Lok Yeung, Karl R. P. H. Leung
2005 C conf
Improvements Towards Formalizing UML State Diagrams in CSP.
APSEC
Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
2005 — conf
Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications.
QSIC
W. K. Chan, Shing-Chi Cheung, Karl R. P. H. Leung
2004 — conf
An Experience of continuous development - formulating requirements concurrently with system implementation.
IASTED Conf. on Software Engineering
Karl R. P. H. Leung
2004 C conf
Embedded Program Testing in Untestable Mobile Environment: Embedded Program Testing in Untestable Mobile Environment.
APSEC
Karl R. P. H. Leung, Joseph Kee-Yin Ng, Wing Lok Yeung
2004 — conf
Large-Scale Location Estimation over GSM Networks: The Gear Approach.
ICDCS Workshops
William Hak-Lim Wong, Joseph Kee-Yin Ng, Karl R. P. H. Leung
2004 — conf
Locating Mobile Stations with Statistical Directional Propagation Model.
AINA (1)
Kenneth Man-Kin Chu, Karl R. P. H. Leung, Joseph Kee-Yin Ng, Chun Hung Li
2004 C conf
Using Hypergraph as Modeling Language for Generating Test Cases On Demand.
APSEC
Karl R. P. H. Leung
2003 B conf
A Synergistic Interweaving of Formal and Informal Methods.
COMPSAC
Wing Lok Yeung, Karl R. P. H. Leung
2003 — conf
Domain-Based COTS-Product Selection Method.
Component-Based Software Quality
Hareton K. N. Leung, Karl R. P. H. Leung
2003 J jnl
Generating test cases from class vectors.
J. Syst. Softw.
Karl R. P. H. Leung, Wai Wong, Joseph Kee-Yin Ng
2003 — conf
Network Based Mobile Station Positioning in Metropolitan Area.
Euro-Par
Karl R. P. H. Leung, Joseph Kee-Yin Ng, Tim K. T. Chan, Kenneth Man-Kin Chu, Chun Hung Li
2002 J jnl
On the efficiency of domain-based COTS product selection method.
Inf. Softw. Technol.
Karl R. P. H. Leung, Hareton K. N. Leung
2002 B conf
Parallel Genetic Algorithms with Schema Migration.
COMPSAC
Baowen Xu, Yu Guan, Zhenqiang Chen, Karl R. P. H. Leung
2001 J jnl
Handling signature purposes in workflow systems.
J. Syst. Softw.
Karl R. P. H. Leung, Lucas Chi Kwong Hui
2001 — conf
The Implementation of a Multi-Server Distributed MPEG Video System.
IEEE Real Time Technology and Applications Symposium
Calvin Kin-Cheung Hui, Joseph Kee-Yin Ng, Wai Wong, Karl R. P. H. Leung
2000 C conf
Deriving test cases using class vectors.
APSEC
Karl R. P. H. Leung, Wai Wong
2000 C conf
Extending Statecharts with ad lib and multi-thread features.
APSEC
Karl R. P. H. Leung
2000 B conf
Modeling Web Navigation by Statechart.
COMPSAC
Karl R. P. H. Leung, Lucas Chi Kwong Hui, Siu-Ming Yiu, Ricky W. M. Tang
2000 — conf
Multiple Signature Handling in Workflow Systems.
HICSS
Karl R. P. H. Leung, Lucas Chi Kwong Hui
2000 — conf
Towards a More Efficient Way of Generating Test Cases: Class Graphs.
APAQS
Karl R. P. H. Leung, Wai Wong
1999 — conf
Integrating Different Signature Purposes in Workflow Systems - A Case Study.
ICSC
Karl R. P. H. Leung, Lucas Chi Kwong Hui, Ricky W. M. Tang
1999 B conf
Signature Management in Workflow Systems.
COMPSAC
Karl R. P. H. Leung, Lucas Chi Kwong Hui
1999 — conf
The Liaison Workflow Engine Architecture.
HICSS
Karl R. P. H. Leung, Jojo M. L. Chung
1998 C conf
Liaison: A Workflow Model for Novel Applications.
APSEC
Daniel Kim Chung Chan, Karl R. P. H. Leung, Ching Ying Yan, Keith C. C. Chan
1998 — conf
Valmont: A Language for Workflow Programming.
HICSS (7)
Daniel Kim Chung Chan, Karl R. P. H. Leung
1997 C conf
Software Development as a Workflow Process.
APSEC
Daniel Kim Chung Chan, Karl R. P. H. Leung
1997 — conf
Software Development as a Workflow Process.
DEXA Workshop
Daniel Kim Chung Chan, Karl R. P. H. Leung
1996 B conf
Extending Statecharts with Duration.
COMPSAC
Karl R. P. H. Leung, Daniel Kim Chung Chan
1995 C conf
Prototyping the Structured Specification as Logic Programs.
APSEC
Karl R. P. H. Leung, Daniel Kim Chung Chan
1994 C conf
Reversing concurrent systems into formal specifications.
APSEC
Karl R. P. H. Leung, Clement F. S. Yim
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling