论文

一、国际顶级期刊会议

1. Bin Cui, Lijiang Chen, Linhao Xu, Hua Lu, Guojie Song, Quanqing Xu. Efficient Skyline Computation in Structured Peer-to-Peer Systems. IEEE Transaction on Data and Knowledge Engineering. 21(7): 1059-1072 (2009)

2. Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, and Jiasu Sun, Locating Need-to-Translate Constant Strings for Software Internationalization, Proceedings of 31st International Conference on Software Engineering (ICSE 2009), 16-24 May 2009, pp. 353-363.

3. Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei. Supporting Automatic Model Inconsistency Fixing. In Proceedings of 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE‘09), August 2009, pp. 315-324.

4. Bishan Yang, Jiantao Sun, Tengjiao Wang and Zheng Chen. Effective Multi-label Active Learning for Text Classification. Proceedings of the 15th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 917-926.

5. Hao Zhong, Lu Zhang, Tao Xie and Hong Mei, Inferring Resource Specifications from Natural Language API Documentation, Proceedings of IEEE/ACM International Conference on Automated Software Engineering, November 2009.

6. Hao Zhong, Tao Xie, Lu Zhang, Jian Pei, and Hong Mei, MAPO: Mining and Recommending API Usage Patterns, Proceedings of 23rd European Conference on Object-Oriented Programming (ECOOP 2009), LNCS 5653, 6-10 July 2009, pp. 318-343.

7. Yanhong Zhou, Gao Cong, Bin Cui, Christian S. Jensen, Junjie Yao. Routing Questions to the Right Users in Online Communities. ICDE 2009: 700-711

二、国际期刊

1. Lei Chang, Tengjiao Wang, Dongqing Yang, Hua Luan, Shiwei Tang, Efficient Algorithms for Incremental Maintenance of Closed Sequential Patterns in Large Databases, DKE (Data & Knowledge Engineering), 68 (2009), pp68–106

2. Zhen Cheng, Jin Xu, Yufang Huang, Xuncai Zhang, Kang Zhou. Algorithm for Solving the Subset-product Problem Based on DNA Tile Self-assembly. Journal of Computational and Theoretical Nanoscience. 2009, 6(5): 1161- 1169

3. Bin Cui, Lijiang Chen, Linhao Xu, Hua Lu, Guojie Song, Quanqing Xu. Efficient Skyline Computation in Structured Peer-to-Peer Systems. IEEE Trans. Knowl. Data Eng. 21(7): 1059-1072 (2009)

4. Wangsen Feng, Li'ang Zhang, Hanpin Wang: Approximation algorithm for maximum edge coloring. Theoretical Computer Science (TCS) 410(11):1022-1029,2009

5. Dan Hao, Lu Zhang, Ming-Hao Liu, He Li, and Jia-Su Sun, Test-Data Generation Guided by Static Defect Detection, Journal of Computer Science and Technology, Vol. 24, No. 2, March 2009, pp. 284-293.

6. Dan Hao, Lu Zhang, Tao Xie, Hong Mei, Jia-Su Sun. Interactive Fault Localization Using Test Information, Journal of Computer Science and Technology, Vol. 24, No. 5, September 2009, pp. 962-974.

7. Wenpin Jiao. Multiagent Cooperation via Reasoning about the Behavior of Others. Computational Intelligence.

8. Yan Li, Lu Zhang, Bing Xie, Jiasu Sun, Refining Component Description by Leveraging User Query Logs, Journal of Systems and Software, Vol. 82, No. 5, May 2009, pp. 751-758.

9. Xuanzhe Liu, Gang Huang, Hong Mei. Discovering Homogeneous Web Service Community in the User-Centric Web Environment. IEEE Transactions on Service Computing. VOL. 2, NO. 2, APRIL-JUNE 2009, 167-181.

10. Kedian Mu, Weiru Liu, Zhi Jin, Ruqian Lu, Anbu Yue and David A. Bell, Handling Inconsistency in Distributed Software Requirements Specifications Based on Prioritized Merging, Fundamenta Informaticae, 91(3-4): 631-670, 2009

11. Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang, Variable forgetting in reasoning about knowledge, Journal of Artificial Intelligence Research, 35: 677-716, 2009.

12. Xi Sun, Li Zhou, Lei Zhuang, Wenpin Jiao, Hong Mei. An Approach to Constructing High-available Decentralized Systems via Self-adaptive Components. International Journal of Software Engineering and Knowledge Engineering, 19(4): 553-571, 2009.

13. Qianxiang Wang, Jin Shao, Fang Deng, Yonggang Liu, Min Li, Jun Han, and Hong Mei, An Online Monitoring Approach for Web Service Requirements, IEEE Transactions on Services Computing, 2009.

14. Yunni Xia, Qingsheng Zhu, Yu Huang, Zizhen Wang. A novel reduction approach to analyzing QoS of workflow processes. Concurrency and Computation: Practice and Experience 21(2): 205-223 (2009).

15. Jie YANG, Gang HUANG, Wenhui ZHU, Xiaofeng CUI, Hong MEI. Quality Attribute Tradeoff Through adaptive architectures at Runtime. Journal of Systems and Software, Elsevier. Volume 82, Issue 2, February 2009, Pages 319-332

16. Zhang XC, Wang YF, Cui GZ, Ying Niu, Jin Xu. Application of a novel IWO to the design of encoding sequences of DNA computing. Computers and Mathematics with Application, 2009, 57(11-12): 2001-2008

17. Zhang Xuncai, Niu Ying, Cui Guangzhao, Xu Jin. Application of DNA Self-assembly on Graph Coloring Problem. Journal of Computational and Theoretical Nanoscience, 2009, 6(5): 1067–1074

18. Xuncai Zhang,Yanfeng Wang,Zhihua Chen,Jin Xu,Guangzhao Cui. Arithmetic Computation using Self-Assembly of DNA Tiles: Subtraction and Division. Progress in Natural Science, 2009, 19(3): 377-388


三、国际会议


1. Sibo Cai, Yanzhen Zou, Bing Xie, Weizhong Shao. Leveraging Robust Service Evaluation by Introducing the Web of Trust. CLOUD 2009.

2. Donggang Cao, Zan Xiao, Weizhong Shao, A Service-oriented Programming Platform for Internet-based Virtual Computing Environment, iVCE 2009

3. L. Chen, B. Cui, H. T. Shen, W. Lu and X. Zhou: Efficient Information Retrieval in Mobile Peer-to-Peer Networks. The 18th ACM Conference on Information and Knowledge Management.

4. Yifeng Chen and Jeff W. Sanders, Unifying Probability with Nondeterminism, World Congree Formal Methods (FM'09), Lecture Notes in Computer Science 5850 Springer, 2009, pp. 467-482.

5. Bin Cui, Bei Pan, Heng Tao Shen, Ying Wang, Ce Zhang: Video Annotation System Based on Categorizing and Keyword Labelling. DASFAA 2009: 764-767

6. Xiang Cui, Yifeng Chen, Hong Mei Improving Performance of Matrix Multiplication and FFT on GPU, The Fifteenth International Conference on Parallel and Distributed Systems (ICPADS'09), 2009.

7. Xiaofeng Cui, Yanchun Sun, Sai Xiao, Hong Mei. Architecture Design for the Large-Scale Software-Intensive Systems: A Decision-Oriented Approach and the Experience. In the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009), Potsdam, Germany, June 2-4, 2009.

8. Lei Chang, Tengjiao Wang, Dongqing Yang, Hua Luan:SeqStream: Mining Closed Sequential Patterns over Stream Sliding Windows, In Proceedings of the 8th IEEE International Conference on Data Mining , Pisa, Italy, on December 15 thru 19, 2008. (ICDM 2008).

9. Guanhua Chen, Xiuli Ma, Dongqing Yang, Shiwei Tang, Meng Shuai, A Bipartite Graph Framework for Summarizing High-Dimensional Binary, Categorical and Numeric Data, 21st International Conference on Scientific and Statistical Database Management (SSDBM09), New Orleans, Louisiana USA, June 2009

10. Yifeng Chen and Jeff W. Sanders, Unifying Probability with Nondeterminism, World Congress Formal Methods (FM’09), Lecture Notes in Computer Sceince 5850: 467-482, Springer, 2009.

11. Zhen Cheng, Yufang Huang, Jin Xu. Algorithm for Elliptic Curve Diffie-Hellman Key Exchange Based on DNA Tile Self-assembly. BIC-TA 2008 IEEE Proceeding. Adelaide, Australia, 2008, 31 – 36

12. Fang Deng, Qianxiang Wang, Jin Shao, Toward Middleware based Online Application Migration. the 33rd IEEE International Computer Software and Applications Conference (COMPSAC 2009), Seattle, USA.

13. Wangsen Feng, Hao Ma, Bei Zhang and Hanpin Wang. Approximating Bounded Degree Maximum Spanning Subgraphs. ISORA 2009: 83-89

14. Liang Gu, Yueqiang Cheng, Xuhua Ding, Robert H. Deng, Yao Guo and Weizhong Shao, "Remote Attestation on Function Execution", INTRUST 2009.

15. Liang Gu, Anbang Ruan, Yao Guo, Qingni Shen, Xiangqun Chen, Practical Property-based Attestation on Free Software (Poster), 2009 Annual Computer Security Applications Conference (ACSAC'09), Honolulu, Hawaii, December 2009.

16. Heng Guo, Hanpin Wang, Zhongyuan Xu, Yongzhi Cao. On model checking boolean BI. In: Erich Gradel and Reinhard Kahle (Eds.) CSL 2009, LNCS, vol.5771, pp. 302-316. Springer, Heidelberg (2009)

17. Yao Guo, Ziwen Chen, Xiangqun Chen, A lightweight Monitoring framework for Embedded systems, Proc. of the 2009 International Conference on Embedded Software and Systems (ICESS’09), May 2009, pp.256-262.

18. Dan Hao, Lingming Zhang, Lu Zhang, Jiasu Sun and Hong Mei, VIDA: Visual Interactive Debugging, Proceedings of 31st International Conference on Software Engineering (ICSE 2009), (Formal Tool Demonstration), 16-24 May 2009, pp. 583-586.

19. Xiao He, Zhiyi Ma. On Model Transformation Reuse. COMPSAC 2009 33rd Annual IEEE International Computer Software and Applications Conference.

20. Xiao-yang He, Ya-sha Wang, Jin-gang Guo, Wu Zhou and Jia-kuan Ma, Weaving Process Patterns into Software Process Models, International Conference on Software Engineering and Knowledge Engineering (SEKE), 2009

21. Xiaoyang He, Jingang Guo, Yasha Wang, Guoying, An Automatic Compliance Checking Approach for Software Processes, Asia Pacific Software Engineering Conference (APSEC), 2009

22. Shan-Shan Hou, Lu Zhang, Qian Lan, Hong Mei, Jia-Su Sun, Generating Effective Test Sequences for BPEL Testing, Proceedings of 9th International Conference on Quality Software (QSIC 2009), 24-25 August, 2009, pp.

23. Gang Huang, Hui Song, Hong Mei. SM@RT: Towards Architecture-based Runtime Management of Internetware Systems. Asia-Pacific Symposium on Internetware, 2009.

24. Gang Huang, Qi Zhao, Jiyu Huang, Xuanzhe Liu, Teng Teng, Yong Zhang, Honggang Yuan. Towards Service Composition Middleware Embedded in Web Browser. CyberC 2009: 93-100, Best Paper Award

25. Yufang Huang, Jin Xu, Zhen Cheng, Zhihua Chen, Xuncai Zhang.Deterministic Algorithm for the Reordering Problem Using Tile Assembly. Proceedings 2009 Fourthe International Conference on Bio-Inspired Computing: Theories and Applications. 2009,125-136

26. Zhi Jin, Xiaohong Chen and Didar Zowghi, Performing Projection in Problem Frames Using Scenarios, Proceedings of the 16th Asia Pacific Software Engineering Conference (APSEC2009): 249-256, 2009

27. Yang Jing, Zhang Cheng, Xu Jin. Molecular Computations of the Maximal Clique Problem Using DNA Self-assembly. Proceedings 2009 Fourthe International Conference on Bio-Inspired Computing: Theories and Applications. 2009,230-234

28. Junguo Li, Gang Huang, Xingrun Chen, Franck Chauvel, and Hong Mei. Supporting Reconfigurable Fault Tolerance on Application Servers. ISPA 2009: 263-271.

29. Junguo Li, Xiangping Chen, Gang Huang, Hong Mei and Franck Chauvel. Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support, International SIGSOFT Symposium on Component-based Software Engineering (CBSE), 2009, 69-86 (Best Paper Award)

30. X. Lin, X. Peng, H. Yan, W. Jiang, T. Liu, H. Guo, An Implementation of Post-Processing Software in Quantum Key Distribution, Proceedings of the 2009 World Congress on Computer Science and Information Engineering (CSIE 2009), Vol.3, 243-247, IEEE CS, 2009

31. Chun Liu, Yue Wang and Zhi Jin, Elicit the Requirements on Software Dependability: A Knowledge-Based Approach, Proceedings of the 16th Asia Pacific Software Engineering Conference (APSEC2009), 2009

32. Hui Liu, Limei Yang, Zhendong Niu, Zhiyi Ma and Weizhong Shao。Facilitating Software Refactoring with Appropriate Resolution Order of Bad Smells, FSE 09.

33. Jia-kuan Ma, Lei Shi, Ya-sha Wang, Hong Mei,Process Aspect: Handling Crosscutting Concerns during Software Process Improvement,International Conference on Software Process (ICSP), 2009

34. Kedian Mu, Qi Zhang and Zhi Jin, Verifying Software Requirements Based on Answer Set Programming, Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management (KSEM 2009): 263-274, 2009

35. Lingshuang Shao, Junfeng Zhao, Tao Xie, Lu Zhang; Bing Xie, Hong Mei, User-Perceived Service Availability: A Metric and an Estimation Approach, Web Services, 2009. ICWS 2009. IEEE International Conference on 6-10 July 2009 Page(s):647 – 654

36. Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Hong Mei. Generating Synchronization Engines between Running Systems and Their Model-Based Views. In Proceedings of the 4th Workshop on Models@run.time, held at the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS'09), Denver, USA, October 5th, 2009. pages 11-20., October 2009.

37. Yanchun Sun, Hui Song, Wenpin Jiao. Towards Architecture-centric Collaborative Software Development. In the 21th International Conference on Software Engineering and Knowledge Engineering (SEKE'2009), Bosten, USA. July 1 - July 3, 2009.

38. Cong Tang, Ruichuan Chen, Zhuhua Cai, Anmin Xie, Jianbin Hu, Liyong Tang, Zhong Chen, Securing Key Issuing in Peer-to-Peer Networks,SAC'09, March 8-12, 2009, Honolulu, Hawaii, U.S.A.

39. Bo Wang, Wei Zhang, Haiyan Zhao, Zhi Jin, and Hong Mei, A Use Case Based Approach to Feature Models’ Construction, in Proceedings of 17th IEEE International Requirements Engineering Conference (ICRE2009), pp.121-130.

40. Hua Wang, Yao Guo, Xiangqun Chen, Semantic Attestation of Software Configuration, ATC’09, July 2009.

41. Hua Wang, Yao Guo, Xiangqun Chen, FPValidator: Validating Type Equivalence of Function Pointers On The Fly, Proceedings of 2009 Annual Computer Security Applications Conference (ACSAC'09), Honolulu, Hawaii, December 2009.

42. Lijie Wang, Fei Liu, Ge Li, Liang Gu, Liangjie Zhang, Bing Xie. Assisting Trustworthiness based Web Services Selection Using the Fidelity of Websites, ICSOC 2009

43. Qianxiang Wang, An Intuitive Approach for Specifying Interface Constraint, the 9th International Conference on Quality Software (QSIC 2009).

44. Tengjiao Wang, Bishan Yang, Jun Gao, Dongqing Yang, Shiwei Tang, Haoyu Wu, Kedong Liu, Jian Pei, MobileMiner: A Real World Case Study of Data Mining in Mobile Communication, Demo, ACM SIGMOD 2009, Phode Island, USA, June 2009

45. Tengjiao Wang, Bishan Yang, Allen Huang, Qi Zhang, Jun Gao, Dongqing Yang, Shiwei Tang, Jinzhong Niu: Dynamic Data Migration Policies for Query-Intensive Distributed Data Environments. APWeb/WAIM 2009: 63-75

46. Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, and Jiasu Sun, Locating Need-to-Translate Constant Strings for Software Internationalization, Proceedings of 31st International Conference on Software Engineering (ICSE 2009), 16-24 May 2009, pp. 353-363.

47. Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, and Jiasu Sun, TranStrL: An Automatic Need-to-Translate String Locator for Software Internationalization, Proceedings of 31st International Conference on Software Engineering (ICSE 2009), (Formal Tool Demonstration), 16-24 May 2009, pp. 555-558.

48. Xiaoyin Wang, David Lo, Jiang Jing, Lu Zhang, and Hong Mei. Extracting Paraphrases of Technical Terms from Noisy Parallel Software Corpora, Proceedings of the Joint conference of the 47th Annual Meeting of the Association for Computational Linguistics and the 4th International Joint Conference on Natural Language Processing of the Asian Federation of Natural Language Processing (ACL-IJCNLP), 2-7 August 2009, pp. 197-200.

49. X. Wang, L. Qian, J. Wu, T. Liu, An Energy and Distance Based Clustering Protocol for Wireless Sensor Networks, Proceedings of the 4th International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CIS2E 2008), Vol. 1, Springer, 2009

50. Xiao Zan, Donggang Cao, Chao You, Minghui Zhou, Hong Mei, Extracting Behavioral Models from WS-BPEL Processes for Service Discovery, International Conference on Services Computing 2009, September 21-25, 2009, Bangalore, India

51. Zan Xiao, Donggang Cao, Chao You, Haiyan Zhao, Hong Mei, Towards Dynamic Component Updating: A Flexible and Lightweight Approach, COMPSAC 2009, Jul 20-24, 2009, Seattle, USA

52. Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei, Supporting Automatic Model Inconsistency Fixing, The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (ESEC/FSE 2009), Amsterdam, The Netherlands, August 24-28 2009. pp.315-324.

53. Chunxiang Xu, Hanpin Wang, Wanling Qu, Mingxia Zhu, Yu Huang, A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics, 2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2009,P203-211.

54. Yanyan Xu, Weiya Yue, Kaile Su: The BDD-Based Dynamic A* Algorithm for Real-Time Replanning. FAW 2009: 271-282

55. H. Yan, X. Peng, X. Lin, W. Jiang, T. Liu, H. Guo, Efficiency of Winnow Protocol in Secret Key Reconciliation, Proceedings of the 2009 World Congress on Computer Science and Information Engineering (CSIE 2009), Vol.3, 238-242, IEEE CS, 2009

56. Hua Yan and Wei Zhang and Haiyan Zhao and Hong Mei, An Optimization Strategy to Feature Models' Verification by Eliminating Verification-Irrelevant Features and Constraints, Proceedings of 11th International Conference on Software Reuse, LNCS 5791, pp.65-75, 2009.

57. Bishan Yang, Jiantao Sun, Tengjiao Wang and Zheng Chen. Effective Multi-label Active Learning for Text Classification. In proceedings of the 15th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (SIGKDD 2009).

58. J. Yao, Y. Huang and B. Cui: Constructing Evolutionary Taxonomy of Collaborative Tagging Systems. The 18th ACM Conference on Information and Knowledge Management (CIKM 2009, Demo)

59. Wei Ye, Wenhui Hu, Wen Zhao, Xin Gao, Shikun Zhang, Lifu Wang. Towards Lightweight Application Integration Based on Mashup. The 4th IEEE Congress on Services, 2009.

60. Wei Ye, Wenhui Hu, Wen Zhao, Xin Gao, Shikun Zhang, Lifu Wang. A Mashup Platform for Lightweight Application Integration. Third International Conference on New Trends in Information and Service Science, 2009.

61. Wei Ye, Wen Zhao, Yu Huang, Wenhui Hu, Shikun Zhang, Lifu Wang.Towards Passive RFID Event. 33rd Annual IEEE International Computer Software and Applications Conference, 2009.

62. Wei Ye, Wen Zhao, Yu Huang, Wenhui Hu, Shikun Zhang, Lifu Wang. Formal Definition and Detection Algorithm for Composite Event in RFID Middleware. 12th International Conferences on Asia-Pacific Web Conference, 2009.

63. Ye Wei, Zhao Wen, Zhang Shikun. Research on Composite Event Detection Based on Synchronized Net and C_net. The 13rd National Conference on Petri Net, 2009

64. Chao You, Minghui Zhou, Zan Xiao, Hong Mei. Towards A Well Structured and Dynamic Application Server. In: 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 09. July 2009, pp 427-434.

65. Lian Yu, Wei Zhao, Xiaofeng Di, Changzhu Kong, Wenbo Zhao, Qianxiang Wang, Jun Zhu, Towards Call for Testing: An Application to User Acceptance Testing of Web Applications, the 33rd IEEE International Computer Software and Applications Conference (COMPSAC 2009), Seattle, USA.

66. Lian Yu, Wei Zhao, Xiangdong Fan, Jun Zhu, Exploring Topological Structure of Boolean Expressions for Test Data, the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2009).

67. Lian Yu, Le Zhang, Hui Ru Xiang, A Framework of Testing as a Service, ISM(Information and System Management) 2009, Special track of The 2009 International Conference on Engineering Management and Service Sciences (EMS 2009).

68. Lian Yu, Jun Zhou, Yue Yi, Jianchu Fan, Qianxiang Wang, A Hybrid Approach to Detecting Security Defects in Programs, in the 9th International Conference on Quality Software (QSIC 2009).

69. Lian Yu, Wei-Tek Tsai, Wei Zhao, Jun Zhu, Qianxiang Wang, Towards Selecting Test Data Using Topological Structure of Boolean, the 9th International Conference on Quality Software (QSIC 2009).

70. Lian Yu, Yang Yang, Yongchao Gu, Xu Liang, Shan Luo, Applying Context-Awareness to Service-Oriented Architecture, the 2009 IEEE International Conference on e-Business Engineering (ICEBE 2009).

71. Chun Yuan, Shiqi Zhang, Zhao Wang, An Handwritten Character Recognition System Based on Acceleration, The Fourth IASTED International Conference on Human-Computer Interaction, 2009 November 22-24, 2009,St. Thomas, US Virgin Islands

72. Ce Zhang, Bin Cui, Gao Cong, Yu-Jing Wang: A Revisit of Query Expansion with Different Semantic Levels. DASFAA 2009: 662-676

73. Hongyu Zhang, An investigation of the relationships between lines of code and defects, Proceedings of the 25th International Conference on Software Maintenance (ICSM 2009), 20-26 September 2009, pp. 274-283.

74. Kai Zhang, Xiaoli Qiang, Dongming Zhao, Jin Xu. General Nucleic Acid Sequence Design Using Implicit Emumeration. Proceedings 2009 Fourth International Conference on Bio-Inspired Computing:Theories and Applications, 2009, 352-362

75. Lingming Zhang, Ji Zhou, Dan Hao, Lu Zhang and Hong Mei, Prioritizing JUnit Test Cases in Absence of Coverage Information, Proceedings of the 25th International Conference on Software Maintenance (ICSM 2009), 20-26 September 2009, pp. 19-28.

76. Lingming Zhang, Ji Zhou, Dan Hao, Lu Zhang and Hong Mei, Jtop: Managing JUnit Test Cases in Absence of Coverage Information, Proceedings of IEEE/ACM International Conference on Automated Software Engineering, (Formal Tool Demonstration), November 2009, pp. 673-675.

77. Lu Zhang, Shan-Shan Hou, Chao Guo, Tao Xie, Hong Mei, Time-Aware Test-Case Prioritization using Integer Linear Programming, Proceedings of International Symposium on Software Testing and Analysis (ISSTA 2009), 19-23 July, 2009, pp. 213-224.

78. Xiaowei Zhang, Donggang Cao, Hong Mei, Improve the Portability of J2ME Applications: An Architecture-Driven Approach, The 5th International Workshop on Mobile Commerce and Services (WMCS2009), Jun 4-6, 2009, Qingdao, China

79. Ying Zhang, Gang Huang, Nuyun Zhang, Hong Mei, SmartTutor: Create IDE-based Interactive Tutorials via Editable Replay, Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), Formal Research Demo Track, 559-562.

80. Haiyan Zhao, Li Yi, Wei Zhang, Hong Mei, A Problem-driven Scenario-based Approach to Collaborative Requirement Elicitation, Proceedings of the First Asia-Pacific Symposium on Internetware,2009.

81. Junfeng Zhao, Yasha Wang, Bing Xie,User Perceived Response-time Optimization Method for Composite Web Services,Twenty-First International Conference on Software Engineering and Knowledge Engineering, (SEKE'09), July 2009, Page(s):356-363

82. Qi Zhao, Jiyu Huang, Xiangping Chen, Gang Huang, Feature Interaction Problems in Web-based Service Composition. 10th International Conference on Feature Interactions (ICFI 2009), Portugal, 234 - 241.

83. Wen Zhao; Dianxing Liu; Xueyang Liu; Kaimu Huang; Lifu Wang. Routing Protocol of Semantics-Based Publish/Subscribe Systems over Kademlia Network. 2009 International Conference on Communications and Mobile Computing, Volume 3, 6-8 Jan. 2009 Page(s):189–196

84. Xia Zhao, Yao Guo, Xiangqun Chen, Transaction-based Adaptive Dynamic Voltage Scaling for Interactive Applications, Proc. of International Symposium on Low Power Electronics and Design (ISLPED'09), Aug 2009.

85. Hao Zhong, Tao Xie, Lu Zhang, Jian Pei, and Hong Mei, MAPO: Mining and Recommending API Usage Patterns, Proceedings of 23rd European Conference on Object-Oriented Programming (ECOOP 2009), LNCS 5653, 6-10 July 2009, pp. 318-343.

86. Hao Zhong, Lu Zhang, Tao Xie and Hong Mei, Inferring Resource Specifications from Natural Language API Documentation, Proceedings of IEEE/ACM International Conference on Automated Software Engineering, November 2009, pp. 307-318.

87. M. Zhou, A. Mockus, and D. Weiss. Learning in offshored and legacy software projects: How product structure shapes organization. ICSE Workshop on Socio-Technical Congruence, Vancouver, Canada, May 19, 2009.

88. Yanhong Zhou, Gao Cong, Bin Cui, Christian S. Jensen, Junjie Yao. Routing Questions to the Right Users in Online Communities. ICDE 2009: 700-711

89. Jiaqi Zhu, Yu Huang, Hanpin Wang. A Formal Description Language and an Automated Detection Method for Complex Events in RFID, Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (COMSAC 2009), 543-553, Seattle, Washington, USA ,July 20-July 24

90. Wenhui Zhu, Yanchun Sun, Gang Huang, Hong Mei. Documenting Quality Attributes of SoftwareComponents. 21th International Conference on Software Engineering and Knowledge Engineering (SEKE 2009), Bosten, USA. July 1 - July 3, 2009.


四、国内期刊

1. 高昕, 赵文, 叶蔚, 张世琨, 王立福. 一种基于时间序列的RFID供应链数据分析方法, 电子学报(中文版),2009年12期

2. 何啸, 麻志毅, 邵维忠.一个面向图形化建模语言表示法的元模型,软件学报,2009年第8期

3. 黄雨,高昕,胡文蕙. 基于Petri网的WSCI形式化模型分析,计算机工程与科学,第31卷第10期,2009,pp60-64

4. 黄雨,胡文蕙,张世琨. 基于扩展库所网的工作流过程规约和模式描述. 北京大学学报(自然科学版) 2009(4):572-578

5. 李信鹏,赵文,王立福. 基于RFID发现服务的一种供应链建模技术, 电子学报(中文版)2009年12期

6. 刘辉, 麻志毅, 邵维忠.一种基于图转换的模型重构描述语言. 软件学报,Vol.20, No.8, August 2009, pp.2087−2101

7. 刘锋,张伟,赵海燕,梅宏,企业信息系统中基于场景的协同式需求获取方法,电子学报,P.51-56,第37卷,第4A 期,2009 年4 月

8. 梅宏,王千祥,张路,王戟,软件分析技术进展,计算机学报,2009年9月。

9. 邵凌霜,周立,赵俊峰,谢冰,梅宏,一种Web Service的服务质量预测方法,一种Web服务质量预测方法,软件学报,20(8):2062-2073,2009

10. 史小红,许进,殷志祥,崔觉梅,最小Hamilton路算法在蛋白质结构预测中的应用,生物数学学报,2009, 1

11. 孙艳春,王立福,梅宏,软件工程本科教学的探索与实践,计算机教育,2009第16期

12. 王昭,李翔宇,胡建斌, "一种基于多维属性的网络攻击分类方法", 微计算机应用,30(6):24-29, 2009

13. 尤朝, 周明辉, 林泊, 曹东刚, 梅宏.一种在线的动态网页分块缓存方法. 电子学报. 2009,37(5):1087-1091.

14. 袁崇义,黄雨,赵文,程序:物理对象上的操作表达式。计算机科学与探索,3(2):32-41,2009.

15. 张岩、梅宏. UML类图中面向非功能属性的描述和检验. 软件学报,2009,20(6):1457-1469

16. 赵文, 李信鹏, 刘殿兴,张世琨, 王立福. 供应链环境下一种分布式RFID发现服务, 电子学报(中文版)2009年12期


五、 国内会议

1. 蔡斯博,邹艳珍,邵凌霜,谢冰,邵维忠,一种支持软件资源可信评估的框架. 全国软件与应用技术会议(NASAC 2009)

2. 陈一峯,崔翔,梅宏,众核加速的工作站集群软件问题初探,HPCChina'2009 (长沙).

3. 程志文,赵俊峰,李田,邵凌霜,孙家骕,Web服务QoS数据多源采集方法及实现,计算机科学,第36卷,第8期,2009.9,全国软件与应用技术会议(NASAC 2009):189-193

4. 黄艺燕,王立杰,古亮,李戈,赵俊峰,一个面向遗产代码的复用代码集合抽取工具的实现,计算机科学,第36卷,第9期,2009.9,全国软件与应用技术会议(NASAC 2009):264-268

5. 敬丹,赵俊峰,邵凌霜,谢冰,基于QoS信息的Web服务的检索机制及其实现,计算机科学,第36卷,第9期,2009.9,全国软件与应用技术会议(NASAC 2009):212-217

6. 刘飞,王立杰,李戈,赵俊峰,谢冰,一种构件标签自动提取方法及其实现,全国软件与应用技术会议(NASAC 2009):285-290

7. 刘晗、郭耀、陈向群,一种面向移动平台的用户可定制服务模型,全国软件与应用技术会议(NASAC 2009),发表于《计算机科学》2009.

8. 马剑竹,焦文品,黄冀渝。基于规则注入的自主构件协作框架的设计与实现,NASAC 2009 论文集,《计算机科学》,2009.9。

9. 孙艳春,梅宏,北京大学软件工程本科教学的探索与实践,第二届全国高等学校计算机实验与实践教学研讨会,山东省威海市,2009年7月24-26日

10. 肖赛 崔晓峰 孙艳春 黄罡 . 一种软件体系结构设计决策的建模工具. 国软件与应用技术会议(NASAC 2009),发表于《计算机科学》, 2009, 36 (08): 161-165

11. 郑晓霞,赵俊峰,程志文,谢冰,一种Web Service 响应时间的动态预测方法,全国软件与应用技术会议(NASAC 2009):247-253