Jia Mei

According to our database, Jia Mei authored at least 8 papers between 2000 and 2013.

Collaborative distances:

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

2013

An algorithm on fairness verification of mobile sink routing in wireless sensor network.

Guangquan Xu, Weisheng Li, Rui Xu, Yingyuan Xiao, Honghao Gao, Xiaohong Li, Zhiyong Feng, Jia Mei

Pers. Ubiquitous Comput., 2013

2011

Probabilistic Timed Model Checking for Atomic Web Service.

Honghao Gao, Huaikou Miao, Shengbo Chen, Jia Mei

Proceedings of the World Congress on Services, 2011

2010

Verifying Web Services Composition Based on Interface Automata Using SPIN.

Jia Mei, Huaikou Miao, Yihai Chen, Honghao Gao

J. Digit. Content Technol. its Appl., 2010

An Improved Algorithm for Building the Characterizing Set.

Huaikou Miao, Pan Liu, Jia Mei

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Modeling and Verifying Web Service Applications with Time Constraints.

Jia Mei, Huaikou Miao, Qingguo Xu, Pan Liu

Proceedings of the 9th IEEE/ACIS International Conference on Computer and Information Science, 2010

2009

A Novel Approach for On-the-Fly Test Cases Synthesis.

Jia Mei, Huaikou Miao, Pan Liu

Proceedings of the 10th ACIS International Conference on Software Engineering, 2009

A New Approach to Automated Redundancy Reduction for Test Sequences.

Huaikou Miao, Pan Liu, Jia Mei, Hongwei Zeng

Proceedings of the 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, 2009

2000

Design and Implementation of Java Just-in-Time Compiler.

Yuxin Ding, Jia Mei, Hu Cheng

J. Comput. Sci. Technol., 2000