Hai Huang

According to our database, Hai Huang authored at least 20 papers between 1996 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2015

Mutual Embeddings.

Ilker Nadi Bozkurt, Hai Huang, Bruce M. Maggs, Andréa W. Richa, Maverick Woo

J. Interconnect. Networks, 2015

2006

Binary analysis and automated hot patching for Web-based applications.

Hai Huang, Wei-Tek Tsai, Yinong Chen

Inf. Softw. Technol., 2006

2005

Scheduling Simulation in a Distributed Wireless Embedded System.

Yinong Chen, Hai Huang, Wei-Tek Tsai

Simul., 2005

Dynamic Coverage in Ad-Hoc Sensor Networks.

Hai Huang, Andréa W. Richa, Michael Segal

Mob. Networks Appl., 2005

Automated Model Checking and Testing for Composite Web Services.

Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong Chen

Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Proof Slicing with Application to Model Checking Web Services.

Hai Huang, Wei-Tek Tsai, Raymond A. Paul

Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Developing and assuring trustworthy Web services.

Wei-Tek Tsai, Xiao Wei, Yinong Chen, Bingnan Xiao, Raymond A. Paul, Hai Huang

Proceedings of the 2005 International Symposium on Autonomous Decentralized Systems, 2005

Voting Multi-Dimensional Data with Deviations for Web Services under Group Testing.

Wei-Tek Tsai, Yinong Chen, Dawei Zhang, Hai Huang

Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005

Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services.

Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Hai Huang, Xinyu Zhou, Xiao Wei

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Autonomous Hot Patching for Web-Based Applications.

Hai Huang, Wei-Tek Tsai, Yinong Chen

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004

Approximation Algorithms for the Mobile Piercing Set Problem with Applications to Clustering in Ad-Hoc Networks.

Hai Huang, Andréa W. Richa, Michael Segal

Mob. Networks Appl., 2004

A software reliability model for web services.

Wei-Tek Tsai, Dawei Zhang, Yinong Chen, Hai Huang, Raymond A. Paul, Ning Liao

Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing.

Wei-Tek Tsai, Weiwei Song, Raymond A. Paul, Zhibin Cao, Hai Huang

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Cooperative and Group Testing in Verification of Dynamic Composite Web Services.

Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Ning Liao, Hai Huang

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Testing Web Services Using Progressive Group Testing.

Wei-Tek Tsai, Yinong Chen, Zhibin Cao, Xiaoying Bai, Hai Huang, Raymond A. Paul

Proceedings of the Content Computing, Advanced Workshop on Content Computing, 2004

1999

VSAM conversion for COBOL programs.

Hai Huang, Wei-Tek Tsai

J. Softw. Maintenance Res. Pract., 1999

1998

Business rule extraction techniques for COBOL programs.

Hai Huang, Wei-Tek Tsai, Sourav Bhattacharya, Xiaoping Chen, Yamin Wang, Jianhua Sun

J. Softw. Maintenance Res. Pract., 1998

1996

Generalized Program Slicing for Software Maintenance.

Hai Huang, Wei-Tek Tsai, Satish Subramanian

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Omega - an integrated environment for C++ program maintenance.

Xiaoping Chen, Wei-Tek Tsai, Hai Huang, Mustafa H. Poonawala, Sanjai Rayadurgam, Yamin Wang

Proceedings of the 1996 International Conference on Software Maintenance (ICSM '96), 1996

Business Rule Extraction from Legacy Code.

Hai Huang, Wei-Tek Tsai, Sourav Bhattacharya, Xiaoping Chen, Yamin Wang, Jianhua Sun

Proceedings of the COMPSAC '96, 1996