Shing-Chi Cheung

IEEE Trans. Software Eng., 2020

Understanding and Detecting Fragmentation-Induced Compatibility Issues for Android Apps.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2020

ContractGuard: Defend Ethereum Smart Contracts with Embedded Intrusion Detection.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2020

SemMT: A Semantic-based Testing Approach for Machine Translation Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Metamorphic Testing: A New Approach for Generating Next Test Cases.

[BibT_eX]

[DOI]

Tsong Yueh Chen

Siu-Ming Yiu

CoRR, 2020

Detecting numerical bugs in neural network architectures.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

MockSniffer: Characterizing and Recommending Mocking Decisions for Unit Tests.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

FlashRegex: Deducing Anti-ReDoS Regexes from Examples.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Boosting automated program repair with bug-inducing commits.

[BibT_eX]

[DOI]

Ming Wen

Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

Watchman: monitoring dependency conflicts for Python library ecosystem.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

EvalDNN: a toolbox for evaluating deep neural network models.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

2019

File-level socio-technical congruence and its relationship with bug proneness in OSS projects.

[BibT_eX]

[DOI]

J. Syst. Softw., 2019

Analyzing and Disentangling Interleaved Interrupt-Driven IoT Programs.

[BibT_eX]

[DOI]

IEEE Internet Things J., 2019

Disclosing and Locating Concurrency Bugs of Interrupt-Driven IoT Programs.

[BibT_eX]

[DOI]

IEEE Internet Things J., 2019

DroidLeaks: a comprehensive database of resource leaks in Android apps.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2019

Testing Deep Learning Models for Image Analysis Using Object-Relevant Metamorphic Relations.

[BibT_eX]

[DOI]

CoRR, 2019

Exploring and exploiting the correlations between bug-inducing and bug-fixing commits.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

SGUARD: A Feature-Based Clustering Tool for Effective Spreadsheet Defect Detection.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Exposing library API misuses via mutation analysis.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering, 2019

Pivot: learning API-device correlations to facilitate Android compatibility issue detection.

[BibT_eX]

[DOI]

Lili Wei

Proceedings of the 41st International Conference on Software Engineering, 2019

Could I have a stack trace to examine the dependency conflict issue?

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

ChangeLocator: locate crash-inducing changes based on crash reports.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2018

Do the dependency conflicts in my project matter?

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Which generated test failures are fault revealing? prioritizing failures based on inferred precondition violations using PAF.

[BibT_eX]

[DOI]

Mijung Kim

Sunghun Kim

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Understanding and detecting callback compatibility issues for Android applications.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

A tale of two cities: how WebView induces bugs to Android applications.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

An empirical study on TensorFlow program bugs.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Synthesizing relation-aware entity transformation by examples.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Context-aware patch generation for better automated program repair.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

CACheck: Detecting and Repairing Cell Arrays in Spreadsheets.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2017

How effectively can spreadsheet anomalies be detected: An empirical study.

[BibT_eX]

[DOI]

J. Syst. Softw., 2017

An Empirical Analysis of the Influence of Fault Space on Search-Based Automated Program Repair.

[BibT_eX]

[DOI]

CoRR, 2017

OASIS: prioritizing static analysis warnings for Android apps based on app user reviews.

[BibT_eX]

[DOI]

Lili Wei

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016

Hybrid CPU-GPU constraint checking: Towards efficient context consistency.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2016

DroidLeaks: Benchmarking Resource Leak Bugs for Android Applications.

[BibT_eX]

[DOI]

CoRR, 2016

Understanding and detecting wake lock misuses for Android applications.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Detecting table clones and smells in spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Casper: an efficient approach to call trace collection.

[BibT_eX]

[DOI]

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Locus: locating bugs from software changes.

[BibT_eX]

[DOI]

Ming Wen

Rongxin Wu

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Taming Android fragmentation: characterizing and detecting compatibility issues for Android apps.

[BibT_eX]

[DOI]

Lili Wei

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

CSNIPPEX: automated synthesis of compilable code snippets from Q&A sites.

[BibT_eX]

[DOI]

Valerio Terragni

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Coverage-driven test code generation for concurrent classes.

[BibT_eX]

[DOI]

Valerio Terragni

Proceedings of the 38th International Conference on Software Engineering, 2016

VEnron: a versioned spreadsheet corpus and related evolution analysis.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

CUSTODES: automatic spreadsheet cell clustering and smell detection using strong and weak features.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Cina: Suppressing the Detection of Unstable Context Inconsistency.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

Diagnosing Energy Efficiency and Performance for Mobile Internetware Applications.

[BibT_eX]

[DOI]

IEEE Softw., 2015

ACM SIGSOFT FSE 2014 Conference Summary.

[BibT_eX]

[DOI]

Alessandro Orso

Margaret-Anne D. Storey

ACM SIGSOFT Softw. Eng. Notes, 2015

A survey on dependability improvement techniques for pervasive computing systems.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2015

RECONTEST: Effective Regression Testing of Concurrent Programs.

[BibT_eX]

[DOI]

Valerio Terragni

Charles Zhang

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2014

Scaling Up Symbolic Analysis by Removing Z-Equivalent States.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2014

CHECKERDROID : Automated Quality Assurance for Smartphone Applications.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2014

Symbolic state validation through runtime data.

[BibT_eX]

[DOI]

Yueqi Li

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

CrashLocator: locating crashing faults based on crash stacks.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Characterizing and detecting performance bugs for smartphone applications.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

Is spreadsheet ambiguity harmful? detecting and repairing spreadsheet smells due to ambiguous computation.

[BibT_eX]

[DOI]

Wensheng Dou

Jun Wei

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

AFChecker: Effective model checking for context-aware adaptive applications.

[BibT_eX]

[DOI]

J. Syst. Softw., 2013

Detecting Faults in Context-Aware Adaptation.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2013

Towards context consistency by concurrent checking for Internetware applications.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2013

A cost-effectiveness criterion for applying software defect prediction models.

[BibT_eX]

[DOI]

Hongyu Zhang

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Where has my battery gone? Finding sensor related energy black holes in smartphone applications.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications, 2013

2012

Adam: Identifying defects in context-aware adaptation.

[BibT_eX]

[DOI]

J. Syst. Softw., 2012

Human and program factors affecting the maintenance of programs with deployed design patterns.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2012

Mixed-reality simulation of RFID systems using iterated learning.

[BibT_eX]

[DOI]

Int. J. RF Technol. Res. Appl., 2012

Dynamic fault detection in context-aware adaptation.

[BibT_eX]

[DOI]

Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

2011

Which Crashes Should I Fix First?: Predicting Top Crashes at an Early Stage to Prioritize Debugging Efforts.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2011

Read More with Less: An Adaptive Approach to Energy-Efficient RFID Systems.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 2011

Service Composition and Interaction in a SOC Middleware Supporting Separation of Concerns with Flows and Views.

[BibT_eX]

[DOI]

J. Database Manag., 2011

ReLink: recovering links between bugs and changes.

[BibT_eX]

[DOI]

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Refactoring and Publishing WS-BPEL Processes to Obtain More Partners.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2011

Understanding a developer social network and its evolution.

[BibT_eX]

[DOI]

Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

2010

Partial constraint checking for context consistency in pervasive computing.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2010

Engineering e-Collaboration Services with a Multi-Agent System Approach.

[BibT_eX]

[DOI]

Int. J. Syst. Serv. Oriented Eng., 2010

Sequential Event Pattern Based Design of Context-Aware Adaptive Application.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2010

Enhancing E-Service Collaboration with Enforcement and Relationship Management: A Methodology from Requirements to Event Driven Realization.

[BibT_eX]

[DOI]

Int. J. Organ. Collect. Intell., 2010

Data-driven testing methodology for RFID systems.

[BibT_eX]

[DOI]

Frontiers Comput. Sci. China, 2010

The Impact of Reader to Tag Collision on RFID Tag Identification.

[BibT_eX]

[DOI]

Proceedings of the Wireless Algorithms, 2010

Factors for Effective Use of Deployed Design Patterns.

[BibT_eX]

[DOI]

T. H. Ng

Yuen-Tak Yu

Proceedings of the 10th International Conference on Quality Software, 2010

Sequential event pattern based context-aware adaptation.

[BibT_eX]

[DOI]

Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

Detecting atomic-set serializability violations in multithreaded programs through active randomized testing.

[BibT_eX]

[DOI]

Zhifeng Lai

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

LocaToR: Locating Passive RFID Tags with the Relative Neighborhood Graph.

[BibT_eX]

[DOI]

Yiyang Zhao

Lionel M. Ni

Proceedings of the IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, 2010

Preserving Data Flow Correctness in Process Adaptation.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

2009

Interactive Visual Optimization and Analysis for RFID Benchmarking.

[BibT_eX]

[DOI]

IEEE Trans. Vis. Comput. Graph., 2009

Atomicity Analysis of Service Composition across Organizations.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2009

Preface for the ICEBE 2007 special section.

[BibT_eX]

[DOI]

Hui Lei

Michael R. Lyu

Serv. Oriented Comput. Appl., 2009

PAT: A pattern classification approach to automatic reference oracles for the testing of mesh simplification programs.

[BibT_eX]

[DOI]

J. Syst. Softw., 2009

Alerts in Healthcare Applications: Process and Data Integration.

[BibT_eX]

[DOI]

Int. J. Heal. Inf. Syst. Informatics, 2009

Semantic Sensor Net: an extensible framework.

[BibT_eX]

[DOI]

Int. J. Ad Hoc Ubiquitous Comput., 2009

Guest Editorial to the Special Issue on Automation of Software Testing.

[BibT_eX]

[DOI]

Comput. J., 2009

A study on the replaceability of context-aware middleware.

[BibT_eX]

[DOI]

Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

Constructing and testing privacy-aware services in a cloud computing environment: challenges and opportunities.

[BibT_eX]

[DOI]

Lin Gu

Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009

2008

The Use of Digital Watermarking for Intelligence Multimedia Document Distribution.

[BibT_eX]

[DOI]

Cedric Ho

J. Theor. Appl. Electron. Commer. Res., 2008

A Workflow Engine-Driven SOA-Based Cooperative Computing Paradigm in Grid Environments.

[BibT_eX]

[DOI]

Int. J. High Perform. Comput. Appl., 2008

A context- and role-driven scientific workflow development pattern.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2008

Inter-context control-flow and data-flow test adequacy criteria for nesC applications.

[BibT_eX]

[DOI]

Zhifeng Lai

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Heuristics-Based Strategies for Resolving Context Inconsistencies in Pervasive Computing Applications.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), 2008

2007

On design, verification, and dynamic modification of the problem-based scientific workflow model.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2007

Ubiquitous enterprise service adaptations based on contextual user behavior.

[BibT_eX]

[DOI]

Inf. Syst. Frontiers, 2007

Knowledge flow management supporting complex problem solving: learning spectrum and its infrastructure.

[BibT_eX]

[DOI]

Int. J. Knowl. Learn., 2007

Detection and resolution of atomicity violation in service composition.

[BibT_eX]

[DOI]

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

On impact-oriented automatic resolution of pervasive context inconsistency.

[BibT_eX]

[DOI]

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Developing a Distributed e-Monitoring System for Enterprise Website and Web Services: An Experience Report with Free Libraries and Tools.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Process Evolution with Atomicity Consistency.

[BibT_eX]

[DOI]

Chunyang Ye

Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007

Goal-Directed Context Validation for Adaptive Ubiquitous Systems.

[BibT_eX]

[DOI]

Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007

Do Maintainers Utilize Deployed Design Patterns Effectively?.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Teaching embedded systems software: The HKUST experience.

[BibT_eX]

[DOI]

Jogesh K. Muppala

Zonghua Gu

Proceedings of the 13th International Conference on Parallel and Distributed Systems, 2007

Towards Ubiquitous Government Services through Adaptations with Context and Views in a Three-Tier Architecture.

[BibT_eX]

[DOI]

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2007

2006

Automatic goal-oriented classification of failure behaviors for testing XML-based multimedia software applications: An experimental case study.

[BibT_eX]

[DOI]

J. Syst. Softw., 2006

Performance Aware Service Pool in Dependable Service Oriented Architecture.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2006

Cooperative Cognition and Its Implementation under Web Environment.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Semantics, 2006

Local analysis of atomicity sphere for B2B collaboration.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Work experience versus refactoring to design patterns: a controlled experiment.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework.

[BibT_eX]

[DOI]

Zhifeng Lai

Yunfei Jiang

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Flows and views for scalable scientific process integration.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Scalable Information Systems, 2006

The first international workshop on automation of software test.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Publishing and composition of atomicity-equivalent services for B2B collaboration.

[BibT_eX]

[DOI]

Chunyang Ye

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Incremental consistency checking for pervasive context.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Toward effective deployment of design patterns for software extension: a case study.

[BibT_eX]

[DOI]

Proceedings of the 2006 international workshop on Software quality, 2006

An Entity-Relationship Model based Conceptual Framework for Model Driven Development.

[BibT_eX]

Proceedings of the IASTED International Conference on Software Engineering, 2006

Adapting Ubiquitous Enterprise Services with Context and Views.

[BibT_eX]

[DOI]

Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

Distinguishing between Automatic and Manual Aspects of Model Driven Development.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

Reference Models and Automatic Oracles for the Testing of Mesh Simplification Software for Graphics Rendering.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2005

BLOSSOMS: Building Lightweight Optimized Sensor Systems on a Massive Scale.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2005

Enhancing class commutability in the deployment of design patterns.

[BibT_eX]

[DOI]

T. H. Ng

Inf. Softw. Technol., 2005

Use of cryptographic technologies for privacy protection of watermarks in internet retails of digital contents.

[BibT_eX]

[DOI]

Int. J. High Perform. Comput. Netw., 2005

Integrating Legacy Sites into Web Services with WebXcript.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2005

Developing e-Negotiation support with a meta-modeling approach in a Web services environment.

[BibT_eX]

[DOI]

Decis. Support Syst., 2005

Inconsistency detection and resolution for context-aware middleware support.

[BibT_eX]

[DOI]

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

A Metamodel Based Model Transformation Approach.

[BibT_eX]

[DOI]

Proceedings of the Third ACIS International Conference on Software Engineering, 2005

Fault-Based Testing of Database Application Programs with Conceptual Data Model.

[BibT_eX]

[DOI]

T. H. Tse

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications.

[BibT_eX]

[DOI]

Karl R. P. H. Leung

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Semantic Sensor Net: An Extensible Framework.

[BibT_eX]

[DOI]

Proceedings of the Networking and Mobile Computing, Third International Conference, 2005

A Multi-Agent Infrastructure for Mobile Workforce Management in a Service Oriented Enterprise.

[BibT_eX]

[DOI]

Ho-fung Leung

Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

Facilitating e-Negotiation Processes with Semantic Web Technologies.

[BibT_eX]

[DOI]

Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

A Hybrid Workflow Paradigm for Integrating Self-managing Domain-Specific Applications.

[BibT_eX]

[DOI]

Proceedings of the Grid and Cooperative Computing - GCC 2005, 4th International Conference, Beijing, China, November 30, 2005

Certificate-Driven Grid Workflow Paradigm Based on Service Computing.

[BibT_eX]

[DOI]

Proceedings of the Grid and Cooperative Computing - GCC 2005, 4th International Conference, Beijing, China, November 30, 2005

2004

Applying generic timing tests for distributed multimedia software systems.

[BibT_eX]

[DOI]

Zhendong Xu

IEEE Trans. Reliab., 2004

Alerts in Mobile Healthcare Applications: Requirements and Pilot Study.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Technol. Biomed., 2004

Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment.

[BibT_eX]

[DOI]

Inf. Technol. Manag., 2004

Towards the Application of Classification Techniques to Test and Identify Faults in Multimedia Systems.

[BibT_eX]

[DOI]

M. Y. Cheng

T. H. Tse

Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

Cabot: On the Ontology for the Middleware Support of Context-Aware Pervasive Applications.

[BibT_eX]

[DOI]

Proceedings of the Network and Parallel Computing, IFIP International Conference, 2004

Alerts for Healthcare Process and Data Integration.

[BibT_eX]

[DOI]

Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004

Alert-Driven E-Service Management.

[BibT_eX]

[DOI]

Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004

Constraint-Based Negotiation in a Multi-Agent Information System with Multiple Platform Support.

[BibT_eX]

[DOI]

Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004

A Commutative Encrypted Protocol for the Privacy Protection of Watermarks in Digital Contents.

[BibT_eX]

[DOI]

Ho-fung Leung

Changjie Wang

Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004

Semantic Interpretation and Matching of Web Services.

[BibT_eX]

[DOI]

Xiangye Xiao

Proceedings of the Conceptual Modeling, 2004

Grammar Based Interface Processing in Web Service Composition.

[BibT_eX]

[DOI]

Xiaoling Wang

Proceedings of the Conceptual Modeling for Advanced Application Domains, 2004

2003

A three-tier view-based methodology for M-services adaptation.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part A, 2003

Digital Rights Management in Web Services.

[BibT_eX]

[DOI]

Electron. Mark., 2003

Integration of digital rights management into the Internet Open Trading Protocol.

[BibT_eX]

[DOI]

Decis. Support Syst., 2003

Alert-Driven Process Integration in a Web Services Environment.

[BibT_eX]

Eleanna Kafeza

Proceedings of the International Conference on Web Services, ICWS '03, June 23, 2003

Developing e-Negotiation Process Support by Web Services.

[BibT_eX]

Patrick C. K. Hung

Proceedings of the International Conference on Web Services, ICWS '03, June 23, 2003

Implementing Watermark Token in WS-Security for Digital Content Distribution.

[BibT_eX]

Proceedings of the International Conference on Web Services, ICWS '03, June 23, 2003

A Three-Layer Architecture for E-Contract Enforcement in an E-Service Environment.

[BibT_eX]

[DOI]

Sven Till

Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

An Event Driven Approach to Customer Relationship Management in e-Brokerage Industry.

[BibT_eX]

[DOI]

Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

On the e-Negotiation of Unmatched Logrolling Views.

[BibT_eX]

[DOI]

Patrick C. K. Hung

Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

Data-driven Methodology to Extending Workflows to E-services over the Internet.

[BibT_eX]

[DOI]

Sven Till

Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

A Watermarking Infrastructure for Enterprise Document Management.

[BibT_eX]

[DOI]

Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution.

[BibT_eX]

[DOI]

Tsz Hin Ng

Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

Integrating Heterogeneous Web Services with WebXcript.

[BibT_eX]

[DOI]

Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

A Three-Tier View-Based Methodology for Adapting Human-Agent Collaboration Systems.

[BibT_eX]

[DOI]

Ho-fung Leung

Proceedings of the Advanced Information Systems Engineering, 15th International Conference, 2003

2002

Automated test case generation for the stress testing of multimedia systems.

[BibT_eX]

[DOI]

Jian Zhang

Softw. Pract. Exp., 2002

A CSP and Z combined modeling of document exchange processes in e-commerce protocols.

[BibT_eX]

[DOI]

Xu Wang

Jun Wei

Inf. Softw. Technol., 2002

Workflow View Driven Cross-Organizational Interoperability in a Web-Service Environment.

[BibT_eX]

[DOI]

Proceedings of the Web Services, 2002

A Three-Layer Framework for Cross-Organizational e-Contract Enactment.

[BibT_eX]

[DOI]

Sven Till

Proceedings of the Web Services, 2002

A Meta-model for e-Contract Template Variable Dependencies Facilitating e-Negotiation.

[BibT_eX]

[DOI]

Patrick C. K. Hung

Proceedings of the Conceptual Modeling, 2002

Rights Protection for Digital Contents Redistribution Over the Internet.

[BibT_eX]

[DOI]

Hanif Curreem

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

Modeling and Verifying Strong Cache Consistency for Mobile Data Access .

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

Toward Generic Timing Tests for Distributed Multimedia Software Systems.

[BibT_eX]

[DOI]

Zhendong Xu

Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

Automatic Generation of Database Instances for White-box Testing.

[BibT_eX]

[DOI]

Jian Zhang

Chen Xu

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

Exploiting Automatic Analysis of E-Commerce Protocols.

[BibT_eX]

[DOI]

Jun Wei

Xu Wang

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

On the Modelling of Document Exchange Processes in E-Commerce Protocols.

[BibT_eX]

[DOI]

X. Wang

J. Wei

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

1999

Checking Safety Properties Using Compositional Reachability Analysis.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1999

A model-based authorware for the construction of distributed multimedia systems.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 1999

Behaviour Analysis of Distributed Systems Using the Tracta Approach.

[BibT_eX]

[DOI]

Dimitra Giannakopoulou

Autom. Softw. Eng., 1999

A CSCW Framework for the Flexible Coupling of Groupware Widgets.

[BibT_eX]

[DOI]

Paul Leung

Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), 1999

Stress Testing of Distributed Multimedia Software Systems.

[BibT_eX]

Jian Zhang

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

Testing Database Applications with SQL Semantics.

[BibT_eX]

Man-yee Chan

Proceedings of the Proceedings of the Second International Symposium on Cooperative Database Systems for Advanced Applications, 1999

1998

Towards a Framework for Testing Distributed Multimedia Software Systems.

[BibT_eX]

[DOI]

Jelena V. Misic

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998

Construction of Distributed Multimedia Applications using Multiple Views.

[BibT_eX]

[DOI]

Kam-Keung Wong

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998

A Two-Tier Technique for Authoring Distributed Multimedia Applications.

[BibT_eX]

[DOI]

Kam-Keung Wong

Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1998

1997

A Framework for Distributed Object-Oriented Testing.

[BibT_eX]

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

Verification of Liveness Properties Using Compositional Reachability Analysis.

[BibT_eX]

[DOI]

Dimitra Giannakopoulou

Proceedings of the Software Engineering, 1997

1996

Context Constraints for Compositional Reachability Analysis.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1996

Checking Subsystem Safety Properties in Compositional Reachability Analysis.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Software Engineering, 1996

1995

Contextual Local Analysis in the Design of Distributed Systems.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 1995

Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints.

[BibT_eX]

[DOI]

Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, 1995

1994

Tractable Dataflow Analysis for Distributed Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1994

An Integrated Method for Effective Behaviour Analysis of Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Software Engineering, 1994

1993

Enhancing Compositional Reachability Analysis with Context Constraints.

[BibT_eX]

[DOI]

Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, 1993

Tractable Flow Analysis for Anomaly Detection in Distributed Programs.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering, 1993

1991

Parallel Algorithm Design for Workstation Clusters.

[BibT_eX]

[DOI]

Jeff Magee