Shing-Chi Cheung Home Page Coauthor index DBLP Vis pubzone.org

S. C. Cheung

張成志

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinming 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
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei 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
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChunyang 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)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYingcai 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)
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLionel 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)
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWing 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)
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLS. C. Cheung, Hui Lei, Michael R. Lyu: Preface for the ICEBE 2007 special section. Service Oriented Computing and Applications 3(2): 127 (2009)
2008
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChang Xu, Shing-Chi Cheung, Wing Kwong Chan, Chunyang Ye: Heuristics-Based Strategies for Resolving Context Inconsistencies in Pervasive Computing Applications. ICDCS 2008: 713-721
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhifeng 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
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWan-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)
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWanchun 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)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-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
95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLS. 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
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLW. 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
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChunyang Ye, S. C. Cheung, W. K. Chan, Chang Xu: Detection and resolution of atomicity violation in service composition. ESEC/SIGSOFT FSE 2007: 235-244
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChang Xu, S. C. Cheung, W. K. Chan, Chunyang Ye: On impact-oriented automatic resolution of pervasive context inconsistency. ESEC/SIGSOFT FSE 2007: 569-572
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChang 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
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDickson 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
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJogesh K. Muppala, Zonghua Gu, S. C. Cheung: Teaching embedded systems software: The HKUST experience. ICPADS 2007: 1-6
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. H. Ng, S. C. Cheung, W. K. Chan, Y. T. Yu: Do Maintainers Utilize Deployed Design Patterns Effectively?. ICSE 2007: 168-177
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank 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
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan 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)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWan-Chun Dou, Xiping Liu, Guihai Chen, S. C. Cheung, Shijie Cai: Knowledge flow management supporting complex problem solving: learning spectrum and its infrastructure. Int. J. Knowledge Learning 3(1): 88-105 (2007)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiping 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
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLW. 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
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYucong 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
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDickson K. W. Chiu, Dan Hong, S. C. Cheung, Eleanna Kafeza: Adapting Ubiquitous Enterprise Services with Context and Views. EDOC 2006: 391-394
80no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYucong 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
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHong Zhu, Joseph Robert Horgan, S. C. Cheung, J. Jenny Li: The first international workshop on automation of software test. ICSE 2006: 1028-1029
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChang Xu, Shing-Chi Cheung, W. K. Chan: Incremental consistency checking for pervasive context. ICSE 2006: 292-301
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChunyang Ye, S. C. Cheung, W. K. Chan: Publishing and composition of atomicity-equivalent services for B2B collaboration. ICSE 2006: 351-360
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQing 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
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhifeng Lai, S. C. Cheung, Yunfei Jiang: Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework. QSIC 2006: 410-417
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. 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
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChunyang Ye, S. C. Cheung, W. K. Chan, Chang Xu: Local analysis of atomicity sphere for B2B collaboration. SIGSOFT FSE 2006: 186-196
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWan-Chun Dou, Guihai Chen, S. C. Cheung, Shijie Cai: Cooperative Cognition and Its Implementation under Web Environment. SKG 2006: 46
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGang 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)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLW. 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
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChang Xu, Shing-Chi Cheung: Inconsistency detection and resolution for context-aware middleware support. ESEC/SIGSOFT FSE 2005: 336-345
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWan-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
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWan-Chun Dou, S. C. Cheung, Guihai Chen, Shijie Cai: Certificate-Driven Grid Workflow Paradigm Based on Service Computing. GCC 2005: 155-160
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDickson K. W. Chiu, Shing-Chi Cheung, Ho-fung Leung: A Multi-Agent Infrastructure for Mobile Workforce Management in a Service Oriented Enterprise. HICSS 2005
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung, Ho-fung Leung: Facilitating e-Negotiation Processes with Semantic Web Technologies. HICSS 2005
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLionel 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
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLW. K. Chan, S. C. Cheung, T. H. Tse: Fault-Based Testing of Database Application Programs with Conceptual Data Model. QSIC 2005: 187-196
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLW. K. Chan, S. C. Cheung, Karl R. P. H. Leung: Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications. QSIC 2005: 470-476
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYucong Duan, Shing-Chi Cheung, Xiaolan Fu, Yuqing Gu: A Metamodel Based Model Transformation Approach. SERA 2005: 184-191
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDickson 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)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChangjie 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)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. H. Ng, S. C. Cheung: Enhancing class commutability in the deployment of design patterns. Information & Software Technology 47(12): 797-804 (2005)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDickson 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)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWen 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
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChangjie 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
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChang Xu, Shing-Chi Cheung, Xiangye Xiao: Semantic Interpretation and Matching of Web Services. ER 2004: 542-554
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaoling Wang, Shing-Chi Cheung: Grammar Based Interface Processing in Web Service Composition. ER (Workshops) 2004: 323-334
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Ho-fung Leung, Changjie Wang: A Commutative Encrypted Protocol for the Privacy Protection of Watermarks in Digital Contents. HICSS 2004
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDickson K. W. Chiu, Benny W. C. Kwok, Ray L. S. Wong, Shing-Chi Cheung, Eleanna Kafeza: Alert-Driven E-Service Management. HICSS 2004
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDickson 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
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDickson 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
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChang 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
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. 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
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEleanna 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)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLS. 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
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDickson 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
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTsz Hin Ng, Shing-Chi Cheung: Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution. COMPSAC 2003: 242-
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDickson K. W. Chiu, Danny Kok, Alex K. C. Lee, Shing-Chi Cheung: Integrating Heterogeneous Web Services with WebXcript. COMPSAC 2003: 272-277
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Dickson K. W. Chiu: A Watermarking Infrastructure for Enterprise Document Management. HICSS 2003: 105
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDickson 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
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Dickson K. W. Chiu, Sven Till: Data-driven Methodology to Extending Workflows to E-services over the Internet. HICSS 2003: 202
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Patrick C. K. Hung, Dickson K. W. Chiu: On the e-Negotiation of Unmatched Logrolling Views. HICSS 2003: 29
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDickson K. W. Chiu, Shing-Chi Cheung, Sven Till: A Three-Layer Architecture for E-Contract Enforcement in an E-Service Environment. HICSS 2003: 74
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEleanna Kafeza, Dickson K. W. Chiu, Shing-Chi Cheung: Alert-Driven Process Integration in a Web Services Environment. ICWS 2003: 145-151
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-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
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung: Developing e-Negotiation Process Support by Web Services. ICWS 2003: 97-103
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSai 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)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSai Ho Kwok, Siu Man Lui, S. C. Cheung, Kar Yan Tam: Digital Rights Management in Web Services. Electronic Markets 13(2): (2003)
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDickson 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
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Hanif Curreem: Rights Protection for Digital Contents Redistribution Over the Internet. COMPSAC 2002: 105-110
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-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
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDickson 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
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Dickson K. W. Chiu, Sven Till: A Three-Layer Framework for Cross-Organizational e-Contract Enactment. WES 2002: 78-92
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXu 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)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJian Zhang, S. C. Cheung: Automated test case generation for the stress testing of multimedia systems. Softw., Pract. Exper. 32(15): 1411-1435 (2002)
2001
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJian Zhang, Chen Xu, S. C. Cheung: Automatic Generation of Database Instances for White-box Testing. COMPSAC 2001: 161-165
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Wei, Shing-Chi Cheung, Xu Wang: Exploiting Automatic Analysis of E-Commerce Protocols. COMPSAC 2001: 55-
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Samuel T. Chanson, Zhendong Xu: Toward Generic Timing Tests for Distributed Multimedia Software Systems. ISSRE 2001: 210-221
1999
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMan-yee Chan, Shing-Chi Cheung: Testing Database Applications with SQL Semantics. CODAS 1999: 364-376
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJian Zhang, Shing-Chi Cheung, Samuel T. Chanson: Stress Testing of Distributed Multimedia Software Systems. FORTE 1999: 119-133
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Leung, Shing-Chi Cheung: A CSCW Framework for the Flexible Coupling of Groupware Widgets. ICECCS 1999: 9-20
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Jeff Kramer: Checking Safety Properties Using Compositional Reachability Analysis. ACM Trans. Softw. Eng. Methodol. 8(1): 49-78 (1999)
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDimitra Giannakopoulou, Jeff Kramer, Shing-Chi Cheung: Behaviour Analysis of Distributed Systems Using the Tracta Approach. Autom. Softw. Eng. 6(1): 7-35 (1999)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Kam-Keung Wong, Samuel T. Chanson: A Two-Tier Technique for Authoring Distributed Multimedia Applications. ICMCS 1998: 368-371
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Kam-Keung Wong: Construction of Distributed Multimedia Applications using Multiple Views. PDSE 1998: 166-175
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJelena V. Misic, Samuel T. Chanson, Shing-Chi Cheung: Towards a Framework for Testing Distributed Multimedia Software Systems. PDSE 1998: 72-
1997
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer: Verification of Liveness Properties Using Compositional Reachability Analysis. ESEC / SIGSOFT FSE 1997: 227-243
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan C. Y. Wong, Samuel T. Chanson, Shing-Chi Cheung, Holger Fuchs: A Framework for Distributed Object-Oriented Testing. FORTE 1997: 39-56
1996
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Jeff Kramer: Checking Subsystem Safety Properties in Compositional Reachability Analysis. ICSE 1996: 144-154
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Jeff Kramer: Context Constraints for Compositional Reachability Analysis. ACM Trans. Softw. Eng. Methodol. 5(4): 334-377 (1996)
1995
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Jeff Kramer: Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints. SIGSOFT FSE 1995: 140-150
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Jeff Kramer: Contextual Local Analysis in the Design of Distributed Systems. Autom. Softw. Eng. 2(1): 5-32 (1995)
1994
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Jeff Kramer: An Integrated Method for Effective Behaviour Analysis of Distributed Systems. ICSE 1994: 309-320
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Jeff Kramer: Tractable Dataflow Analysis for Distributed Systems. IEEE Trans. Software Eng. 20(8): 579-593 (1994)
1993
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Jeff Kramer: Tractable Flow Analysis for Anomaly Detection in Distributed Programs. ESEC 1993: 283-300
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShing-Chi Cheung, Jeff Kramer: Enhancing Compositional Reachability Analysis with Context Constraints. SIGSOFT FSE 1993: 115-125
1991
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Magee, Shing-Chi Cheung: Parallel Algorithm Design for Workstation Clusters. Softw., Pract. Exper. 21(3): 235-250 (1991)

Coauthor Index

1Shijie Cai [67] [68] [72] [84] [85]
2Man-yee Chan [20]
3Wesley C. W. Chan [40]
4Wing Kwong Chan (W. K. Chan) [62] [63] [70] [73] [74] [77] [78] [83] [88] [91] [92] [93] [94] [99] [100] [102] [105] [107]
5Samuel T. Chanson [10] [12] [14] [15] [19] [21] [45]
6Kuo-Ming Chao [95]
7Guihai Chen [67] [68] [72] [85] [97]
8Jinjun Chen [84] [97] [98]
9Tsong Yueh Chen [94]
10M. Y. Cheng [47] [70]
11Frank K. W. Cheong [87]
12Dickson 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] [87] [90] [96]
13Sherina Y. Y. Chiu [60]
14Andriy K. K. Chung [60]
15Jen-Yao Chung [95]
16Ka-Kei Chung [104]
17Li Cui [56]
18Hanif Curreem [30] [35]
19Wan-Chun Dou [67] [68] [72] [85] [98]
20Wanchun Dou [84] [97] [106]
21Yucong Duan [61] [80] [82]
22Shaokun Fan [84] [97] [98]
23Yulin Feng [22]
24Xiaolan Fu [61] [80] [82]
25Holger Fuchs [10]
26Wen Gao [56]
27Dimitra Giannakopoulou [11] [16]
28Yuqing Gu [61] [80] [82]
29Zonghua Gu [89]
30Cedric Ho [96]
31Jeffrey C. F. Ho [83] [102]
32Dan Hong [81] [86] [90]
33Joseph Robert Horgan (Joseph R. Horgan) [79]
34Qingwu Hu [82]
35Gang Huang [71]
36Patrick C. K. Hung [29] [34] [35] [38] [49] [60] [65] [76] [87]
37Yunfei Jiang [75]
38Eleanna Kafeza [31] [36] [46] [50] [51] [81] [86] [90]
39Marina Kafeza [46] [50]
40Kamalakar Karlapalem [28]
41Danny Kok [42] [57]
42Jeff Kramer [2] [3] [4] [5] [6] [7] [8] [9] [11] [16] [17]
43Benny W. C. Kwok [50] [51]
44Sai Ho Kwok [32] [33]
45Zhifeng Lai [75] [99]
46Gary K. W. Lam [40]
47Alex K. C. Lee [42] [57]
48Hui Lei [101]
49Ho-fung Leung (Ho-Fung Leung) [31] [44] [49] [52] [55] [59] [65] [66]
50K. C. Leung [48]
51Karl R. P. H. Leung [62]
52Paul Leung [18]
53J. Jenny Li [79]
54Jing Li [22]
55Minglu Li [64] [103]
56Qing Li [28] [76]
57Yinsheng Li [95]
58Jianxun Liu [97]
59Xiping Liu [84] [85]
60Xuanzhe Liu [71]
61Yunhao Liu [64] [103]
62Cindy Lo [48]
63Jian Lu [106]
64Siu Man Lui [32] [33]
65Franklin T. Luk [40]
66Qiong Luo [56] [64] [103]
67Michael R. Lyu [101]
68Jian Ma [64] [103]
69Xiaoxing Ma [106]
70Jeff Magee (Jeff N. Magee) [1]
71Hong Mei [71]
72Jelena V. Misic [12]
73Jogesh K. Muppala [89]
74T. H. Ng [58] [74] [88]
75Tsz Hin Ng [43]
76Lionel M. Ni [56] [64] [103]
77Huamin Qu [104]
78Zhe Shan [76]
79Vincent Y. Shen [86]
80Wei Song [106]
81Kar Yan Tam [32] [33]
82Sven Till [27] [28] [37] [39]
83K. F. Tsang [33]
84T. H. Tse [47] [63] [70] [83] [94] [102]
85Changjie Wang [52] [55] [59]
86Jie Wang [68]
87Jing Wang [82]
88Xiaoling Wang [53]
89Xinming Wang [107]
90Xu Wang [22] [23] [26]
91Yumin Wang [55] [59]
92Jun Wei [22] [23] [26] [48]
93Alan C. Y. Wong [10]
94K. C. Wong [33]
95Kam-Keung Wong [13] [14]
96Ray L. S. Wong [50] [51]
97Min-You Wu [103]
98Yingcai Wu [104]
99Xiangye Xiao [54]
100Chang Xu [48] [54] [69] [73] [78] [91] [92] [93] [100] [105]
101Chen Xu [24]
102Zhendong Xu [21] [45]
103Zhiwei Xu [56]
104Qiang Yang [64] [103]
105Chunyang Ye [73] [77] [91] [92] [93] [100] [105]
106Muhammad Younas [95]
107Y. T. Yu [74] [88]
108Xiaoru Yuan [104]
109Jian Zhang [19] [24] [25]
110Zhenyu Zhang [94] [107]
111Huan Zhou [22]
112Li Zhou [71]
113Hong Zhu [79]
114Yanmin Zhu [64] [103]

Colors in the list of coauthors

Copyright © Fri Nov 20 16:48:08 2009 by Michael Ley (ley@uni-trier.de)