Shing-Chi Cheung

Yepang Liu, Chang Xu, S. C. Cheung: AFChecker: Effective model checking for context-aware adaptive applications. Journal of Systems and Software 86(3): 854-867 (2013)

Hong Cheng, Yu Liu, Shing-Chi Cheung, Junfang Zeng, Jie Tan, Yiping Yang: Mixed-reality simulation of RFID systems using iterated learning. I. J. RF Technol.: Res. and Appl. 3(4): 219-242 (2012)

T. H. Ng, Yuen-Tak Yu, S. C. Cheung, W. K. Chan: Human and program factors affecting the maintenance of programs with deployed design patterns. Information & Software Technology 54(1): 99-118 (2012)

Chang Xu, S. C. Cheung, Xiaoxing Ma, Chun Cao, Jian Lu: Adam: Identifying defects in context-aware adaptation. Journal of Systems and Software 85(12): 2812-2828 (2012)

Dickson K. W. Chiu, Qing Li, Patrick C. K. Hung, Zhe Shan, S. C. Cheung, Yu Yang, Matthias Farwick: Service Composition and Interaction in a SOC Middleware Supporting Separation of Concerns with Flows and Views. J. Database Manag. 22(2): 32-63 (2011)

Xunteng Xu, Lin Gu, Jianping Wang, Guoliang Xing, Shing-Chi Cheung: Read More with Less: An Adaptive Approach to Energy-Efficient RFID Systems. IEEE Journal on Selected Areas in Communications 29(8): 1684-1697 (2011)

Dongsun Kim, Xinming Wang, Sunghun Kim, Andreas Zeller, Shing-Chi Cheung, Sooyong Park: Which Crashes Should I Fix First?: Predicting Top Crashes at an Early Stage to Prioritize Debugging Efforts. IEEE Trans. Software Eng. 37(3): 430-447 (2011)

Qiaona Hong, Sunghun Kim, S. C. Cheung, Christian Bird: Understanding a developer social network and its evolution. ICSM 2011: 323-332

Wei Song, Xiaoxing Ma, S. C. Cheung, Hao Hu, Qiliang Yang, Jian Lü: Refactoring and Publishing WS-BPEL Processes to Obtain More Partners. ICWS 2011: 129-136

Rongxin Wu, Hongyu Zhang, Sunghun Kim, Shing-Chi Cheung: ReLink: recovering links between bugs and changes. SIGSOFT FSE 2011: 15-25

Dickson K. W. Chiu, Ladjel Bellatreche, Hideyasu Sasaki, Ho-fung Leung, Shing-Chi Cheung, Haiyang Hu, Jie Shao (Eds.): Web Information Systems Engineering - WISE 2010 Workshops - WISE 2010 International Symposium WISS, and International Workshops CISE, MBC, Hong Kong, China, December 12-14, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6724, Springer 2011, isbn 978-3-642-24395-0

An Lu, Wenbin Fang, Chang Xu, Shing-Chi Cheung, Yu Liu: Data-driven testing methodology for RFID systems. Frontiers of Computer Science in China 4(3): 354-364 (2010)

Dickson K. W. Chiu, Shing-Chi Cheung, Sven Till, Lalita Narupiyakul, Patrick C. K. Hung: Enhancing E-Service Collaboration with Enforcement and Relationship Management: A Methodology from Requirements to Event Driven Realization. IJOCI 1(1): 15-43 (2010)

Chushu Gao, Jun Wei, Chang Xu, S. C. Cheung: Sequential Event Pattern Based Design of Context-Aware Adaptive Application. Int. J. Software and Informatics 4(3): 419-436 (2010)

Dickson K. W. Chiu, S. C. Cheung, Ho-fung Leung, Patrick C. K. Hung, Eleanna Kafeza, Hua Hu, Minhong Wang, Haiyang Hu, Yi Zhuang: Engineering e-Collaboration Services with a Multi-Agent System Approach. IJSSOE 1(1): 1-25 (2010)

Chang Xu, S. C. Cheung, W. K. Chan, Chunyang Ye: Partial constraint checking for context consistency in pervasive computing. ACM Trans. Softw. Eng. Methodol. 19(3) (2010)

Wei Song, Xiaoxing Ma, S. C. Cheung, Hao Hu, Jian Lu: Preserving Data Flow Correctness in Process Adaptation. IEEE SCC 2010: 9-16

Yiyang Zhao, S. C. Cheung, Lionel M. Ni: LocaToR: Locating Passive RFID Tags with the Relative Neighborhood Graph. EUC 2010: 154-161

Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan: Detecting atomic-set serializability violations in multithreaded programs through active randomized testing. ICSE (1) 2010: 235-244

T. H. Ng, Yuen-Tak Yu, S. C. Cheung: Factors for Effective Use of Deployed Design Patterns. QSIC 2010: 112-121

Yiyang Zhao, Weijun Hong, S. C. Cheung, Shufang Li: The Impact of Reader to Tag Collision on RFID Tag Identification. WASA 2010: 115-119

Hong Zhu, S. C. Cheung, Joseph Robert Horgan, J. Jenny Li: Guest Editorial to the Special Issue on Automation of Software Testing. Comput. J. 52(5): 513 (2009)

Lionel M. Ni, Yanmin Zhu, Jian Ma, Qiong Luo, Yunhao Liu, S. C. Cheung, Qiang Yang, Minglu Li, Min-You Wu: Semantic Sensor Net: an extensible framework. IJAHUC 4(3/4): 157-167 (2009)

Dickson K. W. Chiu, Benny W. C. Kwok, Ray L. S. Wong, Marina Kafeza, S. C. Cheung, Eleanna Kafeza, Patrick C. K. Hung: Alerts in Healthcare Applications: Process and Data Integration. IJHISI 4(2): 36-56 (2009)

Wing Kwong Chan, Shing-Chi Cheung, Jeffrey C. F. Ho, T. H. Tse: PAT: A pattern classification approach to automatic reference oracles for the testing of mesh simplification programs. Journal of Systems and Software 82(3): 422-434 (2009)

S. C. Cheung, Hui Lei, Michael R. Lyu: Preface for the ICEBE 2007 special section. Service Oriented Computing and Applications 3(2): 127 (2009)

Chunyang Ye, Shing-Chi Cheung, Wing Kwong Chan, Chang Xu: Atomicity Analysis of Service Composition across Organizations. IEEE Trans. Software Eng. 35(1): 2-28 (2009)

Yingcai Wu, Ka-Kei Chung, Huamin Qu, Xiaoru Yuan, S. C. Cheung: Interactive Visual Optimization and Analysis for RFID Benchmarking. IEEE Trans. Vis. Comput. Graph. 15(6): 1335-1342 (2009)

Wei Song, Xiaoxing Ma, S. C. Cheung, Wanchun Dou, Jian Lu: A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions. IEEE SCC 2009: 427-434

Xinming Wang, Shing-Chi Cheung, Wing Kwong Chan, Zhenyu Zhang: Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization. ICSE 2009: 45-55

Wan-Chun Dou, Jinjun Chen, Shaokun Fan, S. C. Cheung: A context- and role-driven scientific workflow development pattern. Concurrency and Computation: Practice and Experience 20(15): 1741-1757 (2008)

Wanchun Dou, Jinjun Chen, Jianxun Liu, S. C. Cheung, Guihai Chen, Shaokun Fan: A Workflow Engine-Driven SOA-Based Cooperative Computing Paradigm in Grid Environments. IJHPCA 22(3): 284-300 (2008)

Shing-Chi Cheung, Dickson K. W. Chiu, Cedric Ho: The Use of Digital Watermarking for Intelligence Multimedia Document Distribution. JTAER 3(3): 103-118 (2008)

Chang Xu, Shing-Chi Cheung, Wing Kwong Chan, Chunyang Ye: Heuristics-Based Strategies for Resolving Context Inconsistencies in Pervasive Computing Applications. ICDCS 2008: 713-721

Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan: Inter-context control-flow and data-flow test adequacy criteria for nesC applications. SIGSOFT FSE 2008: 94-104

Wan-Chun Dou, Xiping Liu, Guihai Chen, S. C. Cheung, Shijie Cai: Knowledge flow management supporting complex problem solving: learning spectrum and its infrastructure. IJKL 3(1): 88-105 (2007)

Dan Hong, Dickson K. W. Chiu, Vincent Y. Shen, S. C. Cheung, Eleanna Kafeza: Ubiquitous enterprise service adaptations based on contextual user behavior. Information Systems Frontiers 9(4): 343-358 (2007)

Xiping Liu, Wanchun Dou, Jinjun Chen, Shaokun Fan, Shing-Chi Cheung, Shijie Cai: On design, verification, and dynamic modification of the problem-based scientific workflow model. Simulation Modelling Practice and Theory 15(9): 1068-1088 (2007)

W. K. Chan, Tsong Yueh Chen, S. C. Cheung, T. H. Tse, Zhenyu Zhang: Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks. Ada-Europe 2007: 84-99

Dickson K. W. Chiu, Dan Hong, S. C. Cheung, Eleanna Kafeza: Towards Ubiquitous Government Services through Adaptations with Context and Views in a Three-Tier Architecture. HICSS 2007: 94

Jogesh K. Muppala, Zonghua Gu, S. C. Cheung: Teaching embedded systems software: The HKUST experience. ICPADS 2007: 1-6

Chang Xu, Shing-Chi Cheung, Wing Kwong Chan: Goal-Directed Context Validation for Adaptive Ubiquitous Systems. SEAMS 2007: 17

Chunyang Ye, Shing-Chi Cheung, Wing Kwong Chan: Process Evolution with Atomicity Consistency. SEAMS 2007: 19

T. H. Ng, S. C. Cheung, W. K. Chan, Yuen-Tak Yu: Do Maintainers Utilize Deployed Design Patterns Effectively?. ICSE 2007: 168-177

Frank K. W. Cheong, Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung: Developing a Distributed e-Monitoring System for Enterprise Website and Web Services: An Experience Report with Free Libraries and Tools. ICWS 2007: 1008-1015

Chunyang Ye, S. C. Cheung, W. K. Chan, Chang Xu: Detection and resolution of atomicity violation in service composition. ESEC/SIGSOFT FSE 2007: 235-244

Chang Xu, S. C. Cheung, W. K. Chan, Chunyang Ye: On impact-oriented automatic resolution of pervasive context inconsistency. ESEC/SIGSOFT FSE 2007: 569-572

Chang Xu, Shing-Chi Cheung, Wing Kwong Chan, Chunyang Ye: On impact-oriented automatic resolution of pervasive context inconsistency. ESEC/SIGSOFT FSE (Companion) 2007: 569-572

S. C. Cheung, Yinsheng Li, Kuo-Ming Chao, Muhammad Younas, Jen-Yao Chung (Eds.): Proceedings of ICEBE 2007, IEEE International Conference on e-Business Engineering and the Workshops SOAIC 2007, SOSE 2007, SOKM 2007, 24-26 October, 2007, Hong Kong, China. IEEE Computer Society 2007, isbn 0-7695-3003-6

Gang Huang, Li Zhou, Xuanzhe Liu, Hong Mei, Shing-Chi Cheung: Performance Aware Service Pool in Dependable Service Oriented Architecture. J. Comput. Sci. Technol. 21(4): 565-573 (2006)

W. K. Chan, M. Y. Cheng, S. C. Cheung, T. H. Tse: Automatic goal-oriented classification of failure behaviors for testing XML-based multimedia software applications: An experimental case study. Journal of Systems and Software 79(5): 602-612 (2006)

W. K. Chan, S. C. Cheung, Jeffrey C. F. Ho, T. H. Tse: Reference Models and Automatic Oracles for the Testing of Mesh Simplification Software for Graphics Rendering. COMPSAC (1) 2006: 429-438

Yucong Duan, Yuqing Gu, Xiaolan Fu, Shing-Chi Cheung, Jing Wang, Qingwu Hu: Distinguishing between Automatic and Manual Aspects of Model Driven Development. ECBS 2006: 487-488

Dickson K. W. Chiu, Dan Hong, S. C. Cheung, Eleanna Kafeza: Adapting Ubiquitous Enterprise Services with Context and Views. EDOC 2006: 391-394

Yucong Duan, Xiaolan Fu, Shing-Chi Cheung, Yuqing Gu: An Entity-Relationship Model based Conceptual Framework for Model Driven Development. IASTED Conf. on Software Engineering 2006: 200-205

Chang Xu, Shing-Chi Cheung, W. K. Chan: Incremental consistency checking for pervasive context. ICSE 2006: 292-301

Chunyang Ye, S. C. Cheung, W. K. Chan: Publishing and composition of atomicity-equivalent services for B2B collaboration. ICSE 2006: 351-360

Hong Zhu, Joseph Robert Horgan, S. C. Cheung, J. Jenny Li: The first international workshop on automation of software test. ICSE 2006: 1028-1029

Qing Li, Zhe Shan, Patrick C. K. Hung, Dickson K. W. Chiu, S. C. Cheung: Flows and views for scalable scientific process integration. Infoscale 2006: 30

Zhifeng Lai, S. C. Cheung, Yunfei Jiang: Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework. QSIC 2006: 410-417

T. H. Ng, S. C. Cheung, W. K. Chan, Yuen-Tak Yu: Work experience versus refactoring to design patterns: a controlled experiment. SIGSOFT FSE 2006: 12-22

Chunyang Ye, S. C. Cheung, W. K. Chan, Chang Xu: Local analysis of atomicity sphere for B2B collaboration. SIGSOFT FSE 2006: 186-196

Wan-Chun Dou, Guihai Chen, S. C. Cheung, Shijie Cai: Cooperative Cognition and Its Implementation under Web Environment. SKG 2006: 46

Hong Zhu, Joseph R. Horgan, Shing-Chi Cheung, J. Jenny Li (Eds.): Proceedings of the 2006 International Workshop on Automation of Software Test, AST 2006, Shanghai, China, May 23-23, 2006. ACM 2006, isbn 1-59593-408-1

Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung, Sherina Y. Y. Chiu, Andriy K. K. Chung: Developing e-Negotiation support with a meta-modeling approach in a Web services environment. Decision Support Systems 40(1): 51-69 (2005)

Dickson K. W. Chiu, Danny Kok, Alex K. C. Lee, Shing-Chi Cheung: Integrating Legacy Sites into Web Services with WebXcript. Int. J. Cooperative Inf. Syst. 14(1): 25-44 (2005)

Changjie Wang, Ho-fung Leung, S. C. Cheung, Yumin Wang: Use of cryptographic technologies for privacy protection of watermarks in internet retails of digital contents. IJHPCN 3(5/6): 385-394 (2005)

T. H. Ng, S. C. Cheung: Enhancing class commutability in the deployment of design patterns. Information & Software Technology 47(12): 797-804 (2005)

Wen Gao, Lionel M. Ni, Zhiwei Xu, S. C. Cheung, Li Cui, Qiong Luo: BLOSSOMS: Building Lightweight Optimized Sensor Systems on a Massive Scale. J. Comput. Sci. Technol. 20(1): 105-177 (2005)

Wan-Chun Dou, S. C. Cheung, Guihai Chen, Shijie Cai: Certificate-Driven Grid Workflow Paradigm Based on Service Computing. GCC 2005: 155-160

Wan-Chun Dou, Shing-Chi Cheung, Guihai Chen, Jie Wang, Shijie Cai: A Hybrid Workflow Paradigm for Integrating Self-managing Domain-Specific Applications. GCC 2005: 1084-1095

Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung, Ho-fung Leung: Facilitating e-Negotiation Processes with Semantic Web Technologies. HICSS 2005

Dickson K. W. Chiu, Shing-Chi Cheung, Ho-fung Leung: A Multi-Agent Infrastructure for Mobile Workforce Management in a Service Oriented Enterprise. HICSS 2005

Lionel M. Ni, Yanmin Zhu, Jian Ma, Minglu Li, Qiong Luo, Yunhao Liu, S. C. Cheung, Qiang Yang: Semantic Sensor Net: An Extensible Framework. ICCNMC 2005: 1144-1153

W. K. Chan, S. C. Cheung, T. H. Tse: Fault-Based Testing of Database Application Programs with Conceptual Data Model. QSIC 2005: 187-196

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

Yucong Duan, Shing-Chi Cheung, Xiaolan Fu, Yuqing Gu: A Metamodel Based Model Transformation Approach. SERA 2005: 184-191

Chang Xu, Shing-Chi Cheung: Inconsistency detection and resolution for context-aware middleware support. ESEC/SIGSOFT FSE 2005: 336-345

Dickson K. W. Chiu, S. C. Cheung, Sven Till, Kamalakar Karlapalem, Qing Li, Eleanna Kafeza: Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment. Information Technology and Management 5(3-4): 221-250 (2004)

Eleanna Kafeza, Dickson K. W. Chiu, Shing-Chi Cheung, Marina Kafeza: Alerts in Mobile Healthcare Applications: Requirements and Pilot Study. IEEE Transactions on Information Technology in Biomedicine 8(2): 173-181 (2004)

S. C. Cheung, Samuel T. Chanson, Zhendong Xu: Applying generic timing tests for distributed multimedia software systems. IEEE Transactions on Reliability 53(3): 329-341 (2004)

Changjie Wang, Ho-fung Leung, Shing-Chi Cheung, Yumin Wang: Use of Cryptographic Technologies for Privacy Protection of Watermarks in Internet Retails of Digital Contents. AINA (1) 2004: 414-419

Xiaoling Wang, Shing-Chi Cheung: Grammar Based Interface Processing in Web Service Composition. ER (Workshops) 2004: 323-334

Chang Xu, Shing-Chi Cheung, Xiangye Xiao: Semantic Interpretation and Matching of Web Services. ER 2004: 542-554

Shing-Chi Cheung, Ho-fung Leung, Changjie Wang: A Commutative Encrypted Protocol for the Privacy Protection of Watermarks in Digital Contents. HICSS 2004

Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung, Ho-fung Leung: Constraint-Based Negotiation in a Multi-Agent Information System with Multiple Platform Support. HICSS 2004

Dickson K. W. Chiu, Benny W. C. Kwok, Ray L. S. Wong, Shing-Chi Cheung, Eleanna Kafeza: Alert-Driven E-Service Management. HICSS 2004

Dickson K. W. Chiu, Benny W. C. Kwok, Ray L. S. Wong, Shing-Chi Cheung, Eleanna Kafeza, Marina Kafeza: Alerts for Healthcare Process and Data Integration. HICSS 2004

Chang Xu, Shing-Chi Cheung, Cindy Lo, K. C. Leung, Jun Wei: Cabot: On the Ontology for the Middleware Support of Context-Aware Pervasive Applications. NPC 2004: 568-575

M. Y. Cheng, S. C. Cheung, T. H. Tse: Towards the Application of Classification Techniques to Test and Identify Faults in Multimedia Systems. QSIC 2004: 32-40

Sai Ho Kwok, S. C. Cheung, K. C. Wong, K. F. Tsang, Siu Man Lui, Kar Yan Tam: Integration of digital rights management into the Internet Open Trading Protocol. Decision Support Systems 34(4): 413-425 (2003)

Sai Ho Kwok, Siu Man Lui, S. C. Cheung, Kar Yan Tam: Digital Rights Management in Web Services. Electronic Markets 13(2) (2003)

Dickson K. W. Chiu, Shing-Chi Cheung, Eleanna Kafeza, Ho-fung Leung: A three-tier view-based methodology for M-services adaptation. IEEE Transactions on Systems, Man, and Cybernetics, Part A 33(6): 725-741 (2003)

Dickson K. W. Chiu, Shing-Chi Cheung, Ho-fung Leung: A Three-Tier View-Based Methodology for Adapting Human-Agent Collaboration Systems. CAiSE 2003: 226-241

Tsz Hin Ng, Shing-Chi Cheung: Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution. COMPSAC 2003: 242-

Dickson K. W. Chiu, Danny Kok, Alex K. C. Lee, Shing-Chi Cheung: Integrating Heterogeneous Web Services with WebXcript. COMPSAC 2003: 272-277

Shing-Chi Cheung, Patrick C. K. Hung, Dickson K. W. Chiu: On the e-Negotiation of Unmatched Logrolling Views. HICSS 2003: 29

Dickson K. W. Chiu, Shing-Chi Cheung, Sven Till: A Three-Layer Architecture for E-Contract Enforcement in an E-Service Environment. HICSS 2003: 74

Shing-Chi Cheung, Dickson K. W. Chiu: A Watermarking Infrastructure for Enterprise Document Management. HICSS 2003: 105

Dickson K. W. Chiu, Wesley C. W. Chan, Gary K. W. Lam, Shing-Chi Cheung, Franklin T. Luk: An Event Driven Approach to Customer Relationship Management in e-Brokerage Industry. HICSS 2003: 182

Shing-Chi Cheung, Dickson K. W. Chiu, Sven Till: Data-driven Methodology to Extending Workflows to E-services over the Internet. HICSS 2003: 202

Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung: Developing e-Negotiation Process Support by Web Services. ICWS 2003: 97-103

Eleanna Kafeza, Dickson K. W. Chiu, Shing-Chi Cheung: Alert-Driven Process Integration in a Web Services Environment. ICWS 2003: 145-151

Shing-Chi Cheung, Hanif Curreem, Dickson K. W. Chiu, Patrick C. K. Hung: Implementing Watermark Token in WS-Security for Digital Content Distribution. ICWS 2003: 415-419

Xu Wang, Shing-Chi Cheung, Jun Wei: A CSP and Z combined modeling of document exchange processes in e-commerce protocols. Information & Software Technology 44(14): 875-889 (2002)

Jian Zhang, S. C. Cheung: Automated test case generation for the stress testing of multimedia systems. Softw., Pract. Exper. 32(15): 1411-1435 (2002)

Shing-Chi Cheung, Hanif Curreem: Rights Protection for Digital Contents Redistribution Over the Internet. COMPSAC 2002: 105-110

Shing-Chi Cheung, Patrick C. K. Hung, Dickson K. W. Chiu: A Meta-model for e-Contract Template Variable Dependencies Facilitating e-Negotiation. ER 2002: 50-64

Dickson K. W. Chiu, Shing-Chi Cheung, Kamalakar Karlapalem, Qing Li, Sven Till: Workflow View Driven Cross-Organizational Interoperability in a Web-Service Environment. WES 2002: 41-56

Shing-Chi Cheung, Dickson K. W. Chiu, Sven Till: A Three-Layer Framework for Cross-Organizational e-Contract Enactment. WES 2002: 78-92

Jun Wei, Shing-Chi Cheung, Xu Wang: Exploiting Automatic Analysis of E-Commerce Protocols. COMPSAC 2001: 55-

Jian Zhang, Chen Xu, S. C. Cheung: Automatic Generation of Database Instances for White-box Testing. COMPSAC 2001: 161-165

Jun Wei, Shing-Chi Cheung, Huan Zhou, Xu Wang, Jing Li, Yulin Feng: Modeling and Verifying Strong Cache Consistency for Mobile Data Access . ISSRE 2001: 103-111

Shing-Chi Cheung, Samuel T. Chanson, Zhendong Xu: Toward Generic Timing Tests for Distributed Multimedia Software Systems. ISSRE 2001: 210-221

Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Cheung: Behaviour Analysis of Distributed Systems Using the Tracta Approach. Autom. Softw. Eng. 6(1): 7-35 (1999)

Shing-Chi Cheung, Samuel T. Chanson: A model-based authorware for the construction of distributed multimedia systems. Information & Software Technology 41(11-12): 715-727 (1999)

Shing-Chi Cheung, Jeff Kramer: Checking Safety Properties Using Compositional Reachability Analysis. ACM Trans. Softw. Eng. Methodol. 8(1): 49-78 (1999)

Man-yee Chan, Shing-Chi Cheung: Testing Database Applications with SQL Semantics. CODAS 1999: 364-376

Jian Zhang, Shing-Chi Cheung, Samuel T. Chanson: Stress Testing of Distributed Multimedia Software Systems. FORTE 1999: 119-133

Paul Leung, Shing-Chi Cheung: A CSCW Framework for the Flexible Coupling of Groupware Widgets. ICECCS 1999: 9-20

Shing-Chi Cheung, Kam-Keung Wong, Samuel T. Chanson: A Two-Tier Technique for Authoring Distributed Multimedia Applications. ICMCS 1998: 368-371

Jelena V. Misic, Samuel T. Chanson, Shing-Chi Cheung: Towards a Framework for Testing Distributed Multimedia Software Systems. PDSE 1998: 72-

Shing-Chi Cheung, Kam-Keung Wong: Construction of Distributed Multimedia Applications using Multiple Views. PDSE 1998: 166-175

Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer: Verification of Liveness Properties Using Compositional Reachability Analysis. ESEC / SIGSOFT FSE 1997: 227-243

Alan C. Y. Wong, Samuel T. Chanson, Shing-Chi Cheung, Holger Fuchs: A Framework for Distributed Object-Oriented Testing. FORTE 1997: 39-56

Shing-Chi Cheung, Jeff Kramer: Context Constraints for Compositional Reachability Analysis. ACM Trans. Softw. Eng. Methodol. 5(4): 334-377 (1996)

Shing-Chi Cheung, Jeff Kramer: Checking Subsystem Safety Properties in Compositional Reachability Analysis. ICSE 1996: 144-154

Shing-Chi Cheung, Jeff Kramer: Contextual Local Analysis in the Design of Distributed Systems. Autom. Softw. Eng. 2(1): 5-32 (1995)

Shing-Chi Cheung, Jeff Kramer: Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints. SIGSOFT FSE 1995: 140-150

Shing-Chi Cheung, Jeff Kramer: Tractable Dataflow Analysis for Distributed Systems. IEEE Trans. Software Eng. 20(8): 579-593 (1994)

Shing-Chi Cheung, Jeff Kramer: An Integrated Method for Effective Behaviour Analysis of Distributed Systems. ICSE 1994: 309-320

Shing-Chi Cheung, Jeff Kramer: Tractable Flow Analysis for Anomaly Detection in Distributed Programs. ESEC 1993: 283-300

Shing-Chi Cheung, Jeff Kramer: Enhancing Compositional Reachability Analysis with Context Constraints. SIGSOFT FSE 1993: 115-125

Jeff Magee, Shing-Chi Cheung: Parallel Algorithm Design for Workstation Clusters. Softw., Pract. Exper. 21(3): 235-250 (1991)