Shing-Chi Cheung

S. C. Cheung

張成志

	2012
130		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)
	2011
129		Dickson K. W. Chiu, Ladjel Bellatreche, Hideyasu Sasaki, Ho-fung Leung, Shing-Chi Cheung, Haiyang Hu, Jie Shao: 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 Springer 2011
128		Qiaona Hong, Sunghun Kim, S. C. Cheung, Christian Bird: Understanding a developer social network and its evolution. ICSM 2011: 323-332
127		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
126		Rongxin Wu, Hongyu Zhang, Sunghun Kim, Shing-Chi Cheung: ReLink: recovering links between bugs and changes. SIGSOFT FSE 2011: 15-25
125		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)
124		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)
123		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)
	2010
122		Yiyang Zhao, S. C. Cheung, Lionel M. Ni: LocaToR: Locating Passive RFID Tags with the Relative Neighborhood Graph. EUC 2010: 154-161
121		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
120		Wei Song, Xiaoxing Ma, S. C. Cheung, Hao Hu, Jian Lu: Preserving Data Flow Correctness in Process Adaptation. IEEE SCC 2010: 9-16
119		T. H. Ng, Y. T. Yu, S. C. Cheung: Factors for Effective Use of Deployed Design Patterns. QSIC 2010: 112-121
118		Yiyang Zhao, Weijun Hong, S. C. Cheung, Shufang Li: The Impact of Reader to Tag Collision on RFID Tag Identification. WASA 2010: 115-119
117		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)
116		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)
115		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)
114		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)
113		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)
	2009
112		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
111		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
110		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)
109		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)
108		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)
107		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)
106		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)
105		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)
104		S. C. Cheung, Hui Lei, Michael R. Lyu: Preface for the ICEBE 2007 special section. Service Oriented Computing and Applications 3(2): 127 (2009)
	2008
103		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
102		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
101		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)
100		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)
99		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)
	2007
98		S. C. Cheung, Yinsheng Li, Kuo-Ming Chao, Muhammad Younas, Jen-Yao Chung: 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
97		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
96		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
95		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
94		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
93		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
92		Jogesh K. Muppala, Zonghua Gu, S. C. Cheung: Teaching embedded systems software: The HKUST experience. ICPADS 2007: 1-6
91		T. H. Ng, S. C. Cheung, W. K. Chan, Y. T. Yu: Do Maintainers Utilize Deployed Design Patterns Effectively?. ICSE 2007: 168-177
90		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
89		Chang Xu, Shing-Chi Cheung, Wing Kwong Chan: Goal-Directed Context Validation for Adaptive Ubiquitous Systems. SEAMS 2007: 17
88		Chunyang Ye, Shing-Chi Cheung, Wing Kwong Chan: Process Evolution with Atomicity Consistency. SEAMS 2007: 19
87		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)
86		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)
85		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)
	2006
84		Hong Zhu, Joseph R. Horgan, Shing-Chi Cheung, J. Jenny Li: Proceedings of the 2006 International Workshop on Automation of Software Test, AST 2006, Shanghai, China, May 23-23, 2006. ACM 2006
83		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
82		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
81		Dickson K. W. Chiu, Dan Hong, S. C. Cheung, Eleanna Kafeza: Adapting Ubiquitous Enterprise Services with Context and Views. EDOC 2006: 391-394
80		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
79		Hong Zhu, Joseph Robert Horgan, S. C. Cheung, J. Jenny Li: The first international workshop on automation of software test. ICSE 2006: 1028-1029
78		Chang Xu, Shing-Chi Cheung, W. K. Chan: Incremental consistency checking for pervasive context. ICSE 2006: 292-301
77		Chunyang Ye, S. C. Cheung, W. K. Chan: Publishing and composition of atomicity-equivalent services for B2B collaboration. ICSE 2006: 351-360
76		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
75		Zhifeng Lai, S. C. Cheung, Yunfei Jiang: Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework. QSIC 2006: 410-417
74		T. H. Ng, S. C. Cheung, W. K. Chan, Y. T. Yu: Work experience versus refactoring to design patterns: a controlled experiment. SIGSOFT FSE 2006: 12-22
73		Chunyang Ye, S. C. Cheung, W. K. Chan, Chang Xu: Local analysis of atomicity sphere for B2B collaboration. SIGSOFT FSE 2006: 186-196
72		Wan-Chun Dou, Guihai Chen, S. C. Cheung, Shijie Cai: Cooperative Cognition and Its Implementation under Web Environment. SKG 2006: 46
71		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)
70		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)
	2005
69		Chang Xu, Shing-Chi Cheung: Inconsistency detection and resolution for context-aware middleware support. ESEC/SIGSOFT FSE 2005: 336-345
68		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
67		Wan-Chun Dou, S. C. Cheung, Guihai Chen, Shijie Cai: Certificate-Driven Grid Workflow Paradigm Based on Service Computing. GCC 2005: 155-160
66		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
65		Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung, Ho-fung Leung: Facilitating e-Negotiation Processes with Semantic Web Technologies. HICSS 2005
64		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
63		W. K. Chan, S. C. Cheung, T. H. Tse: Fault-Based Testing of Database Application Programs with Conceptual Data Model. QSIC 2005: 187-196
62		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
61		Yucong Duan, Shing-Chi Cheung, Xiaolan Fu, Yuqing Gu: A Metamodel Based Model Transformation Approach. SERA 2005: 184-191
60		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)
59		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)
58		T. H. Ng, S. C. Cheung: Enhancing class commutability in the deployment of design patterns. Information & Software Technology 47(12): 797-804 (2005)
57		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)
56		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)
	2004
55		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
54		Chang Xu, Shing-Chi Cheung, Xiangye Xiao: Semantic Interpretation and Matching of Web Services. ER 2004: 542-554
53		Xiaoling Wang, Shing-Chi Cheung: Grammar Based Interface Processing in Web Service Composition. ER (Workshops) 2004: 323-334
52		Shing-Chi Cheung, Ho-fung Leung, Changjie Wang: A Commutative Encrypted Protocol for the Privacy Protection of Watermarks in Digital Contents. HICSS 2004
51		Dickson K. W. Chiu, Benny W. C. Kwok, Ray L. S. Wong, Shing-Chi Cheung, Eleanna Kafeza: Alert-Driven E-Service Management. HICSS 2004
50		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
49		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
48		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
47		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
46		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)
45		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)
	2003
44		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
43		Tsz Hin Ng, Shing-Chi Cheung: Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution. COMPSAC 2003: 242-
42		Dickson K. W. Chiu, Danny Kok, Alex K. C. Lee, Shing-Chi Cheung: Integrating Heterogeneous Web Services with WebXcript. COMPSAC 2003: 272-277
41		Shing-Chi Cheung, Dickson K. W. Chiu: A Watermarking Infrastructure for Enterprise Document Management. HICSS 2003: 105
40		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
39		Shing-Chi Cheung, Dickson K. W. Chiu, Sven Till: Data-driven Methodology to Extending Workflows to E-services over the Internet. HICSS 2003: 202
38		Shing-Chi Cheung, Patrick C. K. Hung, Dickson K. W. Chiu: On the e-Negotiation of Unmatched Logrolling Views. HICSS 2003: 29
37		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
36		Eleanna Kafeza, Dickson K. W. Chiu, Shing-Chi Cheung: Alert-Driven Process Integration in a Web Services Environment. ICWS 2003: 145-151
35		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
34		Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung: Developing e-Negotiation Process Support by Web Services. ICWS 2003: 97-103
33		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)
32		Sai Ho Kwok, Siu Man Lui, S. C. Cheung, Kar Yan Tam: Digital Rights Management in Web Services. Electronic Markets 13(2): (2003)
31		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)
	2002
30		Shing-Chi Cheung, Hanif Curreem: Rights Protection for Digital Contents Redistribution Over the Internet. COMPSAC 2002: 105-110
29		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
28		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
27		Shing-Chi Cheung, Dickson K. W. Chiu, Sven Till: A Three-Layer Framework for Cross-Organizational e-Contract Enactment. WES 2002: 78-92
26		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)
25		Jian Zhang, S. C. Cheung: Automated test case generation for the stress testing of multimedia systems. Softw., Pract. Exper. 32(15): 1411-1435 (2002)
	2001
24		Jian Zhang, Chen Xu, S. C. Cheung: Automatic Generation of Database Instances for White-box Testing. COMPSAC 2001: 161-165
23		Jun Wei, Shing-Chi Cheung, Xu Wang: Exploiting Automatic Analysis of E-Commerce Protocols. COMPSAC 2001: 55-
22		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
21		Shing-Chi Cheung, Samuel T. Chanson, Zhendong Xu: Toward Generic Timing Tests for Distributed Multimedia Software Systems. ISSRE 2001: 210-221
	1999
20		Man-yee Chan, Shing-Chi Cheung: Testing Database Applications with SQL Semantics. CODAS 1999: 364-376
19		Jian Zhang, Shing-Chi Cheung, Samuel T. Chanson: Stress Testing of Distributed Multimedia Software Systems. FORTE 1999: 119-133
18		Paul Leung, Shing-Chi Cheung: A CSCW Framework for the Flexible Coupling of Groupware Widgets. ICECCS 1999: 9-20
17		Shing-Chi Cheung, Jeff Kramer: Checking Safety Properties Using Compositional Reachability Analysis. ACM Trans. Softw. Eng. Methodol. 8(1): 49-78 (1999)
16		Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Cheung: Behaviour Analysis of Distributed Systems Using the Tracta Approach. Autom. Softw. Eng. 6(1): 7-35 (1999)
15		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)
	1998
14		Shing-Chi Cheung, Kam-Keung Wong, Samuel T. Chanson: A Two-Tier Technique for Authoring Distributed Multimedia Applications. ICMCS 1998: 368-371
13		Shing-Chi Cheung, Kam-Keung Wong: Construction of Distributed Multimedia Applications using Multiple Views. PDSE 1998: 166-175
12		Jelena V. Misic, Samuel T. Chanson, Shing-Chi Cheung: Towards a Framework for Testing Distributed Multimedia Software Systems. PDSE 1998: 72-
	1997
11		Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer: Verification of Liveness Properties Using Compositional Reachability Analysis. ESEC / SIGSOFT FSE 1997: 227-243
10		Alan C. Y. Wong, Samuel T. Chanson, Shing-Chi Cheung, Holger Fuchs: A Framework for Distributed Object-Oriented Testing. FORTE 1997: 39-56
	1996
9		Shing-Chi Cheung, Jeff Kramer: Checking Subsystem Safety Properties in Compositional Reachability Analysis. ICSE 1996: 144-154
8		Shing-Chi Cheung, Jeff Kramer: Context Constraints for Compositional Reachability Analysis. ACM Trans. Softw. Eng. Methodol. 5(4): 334-377 (1996)
	1995
7		Shing-Chi Cheung, Jeff Kramer: Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints. SIGSOFT FSE 1995: 140-150
6		Shing-Chi Cheung, Jeff Kramer: Contextual Local Analysis in the Design of Distributed Systems. Autom. Softw. Eng. 2(1): 5-32 (1995)
	1994
5		Shing-Chi Cheung, Jeff Kramer: An Integrated Method for Effective Behaviour Analysis of Distributed Systems. ICSE 1994: 309-320
4		Shing-Chi Cheung, Jeff Kramer: Tractable Dataflow Analysis for Distributed Systems. IEEE Trans. Software Eng. 20(8): 579-593 (1994)
	1993
3		Shing-Chi Cheung, Jeff Kramer: Tractable Flow Analysis for Anomaly Detection in Distributed Programs. ESEC 1993: 283-300
2		Shing-Chi Cheung, Jeff Kramer: Enhancing Compositional Reachability Analysis with Context Constraints. SIGSOFT FSE 1993: 115-125
	1991
1		Jeff Magee, Shing-Chi Cheung: Parallel Algorithm Design for Workstation Clusters. Softw., Pract. Exper. 21(3): 235-250 (1991)

Coauthor Index

1	Ladjel Bellatreche	[129]
2	Christian Bird	[128]
3	Shijie Cai	[67] [68] [72] [85] [87]
4	Man-yee Chan	[20]
5	Wesley C. W. Chan	[40]
6	Wing Kwong Chan (W. K. Chan)	[62] [63] [70] [73] [74] [77] [78] [83] [88] [89] [91] [94] [95] [96] [97] [102] [103] [105] [109] [112] [117] [121] [130]
7	Samuel T. Chanson	[10] [12] [14] [15] [19] [21] [45]
8	Kuo-Ming Chao	[98]
9	Guihai Chen	[67] [68] [72] [87] [100]
10	Jinjun Chen	[85] [100] [101]
11	Tsong Yueh Chen	[97]
12	M. Y. Cheng	[47] [70]
13	Frank K. W. Cheong	[90]
14	Dickson K. W. Chiu	[27] [28] [29] [31] [34] [35] [36] [37] [38] [39] [40] [41] [42] [44] [46] [49] [50] [51] [57] [60] [65] [66] [76] [81] [86] [90] [93] [99] [106] [114] [115] [123] [129]
15	Sherina Y. Y. Chiu	[60]
16	Andriy K. K. Chung	[60]
17	Jen-Yao Chung	[98]
18	Ka-Kei Chung	[108]
19	Li Cui	[56]
20	Hanif Curreem	[30] [35]
21	Wan-Chun Dou (Wanchun Dou)	[67] [68] [72] [85] [87] [100] [101] [111]
22	Yucong Duan	[61] [80] [82]
23	Shaokun Fan	[85] [100] [101]
24	Wenbin Fang	[116]
25	Matthias Farwick	[123]
26	Yulin Feng	[22]
27	Xiaolan Fu	[61] [80] [82]
28	Holger Fuchs	[10]
29	Chushu Gao	[113]
30	Wen Gao	[56]
31	Dimitra Giannakopoulou	[11] [16]
32	Lin Gu	[125]
33	Yuqing Gu	[61] [80] [82]
34	Zonghua Gu	[92]
35	Cedric Ho	[99]
36	Jeffrey C. F. Ho	[83] [105]
37	Dan Hong	[81] [86] [93]
38	Qiaona Hong	[128]
39	Weijun Hong	[118]
40	Joseph Robert Horgan (Joseph R. Horgan)	[79] [84] [110]
41	Haiyang Hu	[114] [129]
42	Hao Hu	[120] [127]
43	Hua Hu	[114]
44	Qingwu Hu	[82]
45	Gang Huang	[71]
46	Patrick C. K. Hung	[29] [34] [35] [38] [49] [60] [65] [76] [90] [106] [114] [115] [123]
47	Yunfei Jiang	[75]
48	Eleanna Kafeza	[31] [36] [46] [50] [51] [81] [86] [93] [106] [114]
49	Marina Kafeza	[46] [50] [106]
50	Kamalakar Karlapalem	[28]
51	Dongsun Kim	[124]
52	Sunghun Kim	[124] [126] [128]
53	Danny Kok	[42] [57]
54	Jeff Kramer (Jeffrey Kramer)	[2] [3] [4] [5] [6] [7] [8] [9] [11] [16] [17]
55	Benny W. C. Kwok	[50] [51] [106]
56	Sai Ho Kwok	[32] [33]
57	Zhifeng Lai	[75] [102] [121]
58	Gary K. W. Lam	[40]
59	Alex K. C. Lee	[42] [57]
60	Hui Lei	[104]
61	Ho-fung Leung (Ho-Fung Leung)	[31] [44] [49] [52] [55] [59] [65] [66] [114] [129]
62	K. C. Leung	[48]
63	Karl R. P. H. Leung	[62]
64	Paul Leung	[18]
65	J. Jenny Li	[79] [84] [110]
66	Jing Li	[22]
67	Minglu Li	[64] [107]
68	Qing Li	[28] [76] [123]
69	Shufang Li	[118]
70	Yinsheng Li	[98]
71	Jianxun Liu	[100]
72	Xiping Liu	[85] [87]
73	Xuanzhe Liu	[71]
74	Yu Liu	[116]
75	Yunhao Liu	[64] [107]
76	Cindy Lo	[48]
77	An Lu	[116]
78	Jian Lu (Jian Lü)	[111] [120] [127]
79	Siu Man Lui	[32] [33]
80	Franklin T. Luk	[40]
81	Qiong Luo	[56] [64] [107]
82	Michael R. Lyu	[104]
83	Jian Ma	[64] [107]
84	Xiaoxing Ma	[111] [120] [127]
85	Jeff Magee (Jeff N. Magee)	[1]
86	Hong Mei	[71]
87	Jelena V. Misic	[12]
88	Jogesh K. Muppala	[92]
89	Lalita Narupiyakul	[115]
90	T. H. Ng	[58] [74] [91] [119] [130]
91	Tsz Hin Ng	[43]
92	Lionel M. Ni	[56] [64] [107] [122]
93	Sooyong Park	[124]
94	Huamin Qu	[108]
95	Hideyasu Sasaki	[129]
96	Zhe Shan	[76] [123]
97	Jie Shao	[129]
98	Vincent Yun Shen (Vincent Y. Shen)	[86]
99	Wei Song	[111] [120] [127]
100	Kar Yan Tam	[32] [33]
101	Sven Till	[27] [28] [37] [39] [115]
102	K. F. Tsang	[33]
103	T. H. Tse	[47] [63] [70] [83] [97] [105]
104	Changjie Wang	[52] [55] [59]
105	Jianping Wang	[125]
106	Jie Wang	[68]
107	Jing Wang	[82]
108	Minhong Wang	[114]
109	Xiaoling Wang	[53]
110	Xinming Wang	[112] [124]
111	Xu Wang	[22] [23] [26]
112	Yumin Wang	[55] [59]
113	Jun Wei	[22] [23] [26] [48] [113]
114	Alan C. Y. Wong	[10]
115	K. C. Wong	[33]
116	Kam-Keung Wong	[13] [14]
117	Ray L. S. Wong	[50] [51] [106]
118	Min-You Wu	[107]
119	Rongxin Wu	[126]
120	Yingcai Wu	[108]
121	Xiangye Xiao	[54]
122	Guoliang Xing	[125]
123	Chang Xu	[48] [54] [69] [73] [78] [89] [94] [95] [96] [103] [109] [113] [116] [117]
124	Chen Xu	[24]
125	Xunteng Xu	[125]
126	Zhendong Xu	[21] [45]
127	Zhiwei Xu (Zhiwei (Tommy) Xu)	[56]
128	Qiang Yang	[64] [107]
129	Qiliang Yang	[127]
130	Yu Yang	[123]
131	Chunyang Ye	[73] [77] [88] [94] [95] [96] [103] [109] [117]
132	Muhammad Younas	[98]
133	Y. T. Yu	[74] [91] [119]
134	Yuen Tak Yu	[130]
135	Xiaoru Yuan	[108]
136	Andreas Zeller	[124]
137	Hongyu Zhang	[126]
138	Zhenyu Zhang	[97] [112]
139	Jian Zhang	[19] [24] [25]
140	Yiyang Zhao	[118] [122]
141	Huan Zhou	[22]
142	Li Zhou	[71]
143	Hong Zhu	[79] [84] [110]
144	Yanmin Zhu	[64] [107]
145	Yi Zhuang	[114]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page