发表论文
[1] 汪涛, 陈伟, 刘力玮, 吴国全, 魏峻, 黄涛. Detecting Smart Home Automation Application Interferences with Domain Knowledge. 38th IEEE/ACM International Conference on Automated Software Engineering. 2023, 第 6 作者[2] Dong Wang, Wensheng Dou, Yu Gao, Chenao Wu, Jun Wei, Tao Huang. Model Checking Guided Testing for Distributed Systems. 18th European Conference on Computer Systems (EuroSys). 2023, 第 6 作者[3] Yu Gao, Wensheng Dou, Dong Wang, Wenhang Feng, Jun Wei, Hua Zhong, Tao Huang. Coverage Guided Fault Injection for Cloud Systems. 45th IEEE/ACM International Conference on Software Engineering (ICSE). 2023, 第 7 作者 通讯作者 [4] 常晓宁, 梁哲恒, 吴国全, 高钰, 陈伟, 魏峻, 龙震岳, 崔磊, 黄涛. Characterizing Flaky Tests in Node.js Applications. 38th IEEE/ACM International Conference on Automated Software Engineering. 2023, 第 9 作者[5] 常晓宁, 梁哲恒, 张翼飞, 崔磊, 龙震岳, 吴国全, 高钰, 陈伟, 魏峻, 黄涛. A Reinforcement Learning Approach to Generating Test Cases for Web Applications. IEEE/ACM International Conference on Automation of Software Test. 2023, 第 10 作者[6] 汪钇丞, 曾鸿斌, 许利杰, 王伟, 魏峻, 黄涛. 面向大数据处理框架的JVM优化技术综述. 软件学报[J]. 2023, 第 6 作者34(1): 463-488, http://sciencechina.cn/gw.jsp?action=detail.jsp&internal_id=7435226&detailType=1.[7] Wensheng Dou, Ziyu Cui, Qianwang Dai, Jiansen Song, Dong Wang, Yu Gao, Wei Wang, Jun Wei, Lei Chen, Hanmo Wang, Hua Zhong, Tao Huang. Detecting Isolation Bugs via Transaction Oracle Construction. 45th IEEE/ACM International Conference on Software Engineering (ICSE). 2023, 第 12 作者[8] Hui Li, Shuping Ji, Hua Zhong, Wei Wang, Lijie Xu, Zhen Tang, Jun Wei, Tao Huang. LPW: An Efficient Data-Aware Cache Replacement Strategy for Apache Spark. Science China Information Sciences[J]. 2023, 第 8 作者66(1): [9] Jiansen Song, Wensheng Dou, Ziyu Cui, Qianwang Dai, Wei Wang, Jun Wei, Hua Zhong, Tao Huang. Testing Database Systems via Differential Query Execution. 45th IEEE/ACM International Conference on Software Engineering (ICSE). 2023, 第 8 作者[10] Wang Tao, Zhang Kangkang, Chen Wei, Dou Wensheng, Zhu Jiaxin, Jun Wei, Huang Tao. Understanding Device Integration Bugs in Smart Home System. 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). 2022, 第 7 作者[11] Tao Wang, Qingxin Xu, Xiaoning Chang, Wensheng Dou, Jiaxin Zhu, Jun Wei, Tao Huang. Characterizing and Detecting Bugs in WeChat Mini-Programs. 44th ACM/IEEE International Conference on Software Engineering (ICSE). 2022, 第 7 作者[12] 汪钇丞, 曾鸿斌, 许利杰, 王伟, 魏峻, 黄涛. 面向大数据处理框架的JVM优化技术综述. 软件学报[J]. 2021, 第 6 作者[13] Yuanjia Xu, Heng Wu, Wenbo Zhang, Chen Yang, Yuewen Wu, Heran Gao, Tao Wang. Talos: A Weighted Speedup-Aware Device Placement of Deep Learning Models. IEEE International Conference on Application-Specific Systems, Architectures, and Processors (ASAP 2021). 2021, [14] Xiaoning Chang, Wensheng Dou, Jun Wei, Tao Huang, Jinhui Xie, Yuetang Deng, Jianbo Yang, Jiaheng Yang. Race Detection for Event-Driven Node.js Applications. 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021). 2021, 第 4 作者 通讯作者 [15] 黄涛. Hermes: Efficient Cache Management for Container-based Serverless Computing. Internetware 2020. 2020, 第 1 作者[16] 黄涛. 一种基于分片复用的多版本容器镜像加载方法. 软件学报. 2020, 第 1 作者[17] 唐震, 王伟, 黄宇, 李艳林, 纪树平, 宋傲, 魏峻, 黄涛. 面向大规模集群的柔性配置更新推送方法. 中国科学:信息科学[J]. 2020, 第 8 作者50(11): 1645-1664, http://lib.cqvip.com/Qikan/Article/Detail?id=7103485527.[18] Lu, Zhigang, Xu, Jiwei, Wu, Yuewen, Wang, Tao, Huang, Tao. An Empirical Case Study on the Temporary File Smell in Dockerfiles. IEEE ACCESS[J]. 2019, 第 5 作者7: 63650-63659, https://doaj.org/article/a794457920cc4053b602523a92c8f46a.[19] Wu, Heng, Zhang, Wenbo, Xu, Yuanjia, Xiang, Hao, Huang, Tao, Ding, Haiyang, Zhang, Zheng, IEEE. Aladdin: Optimized Maximum Flow Management for Shared Production Clusters. 2019 IEEE 33RD INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2019). 2019, 第 5 作者696-707, [20] Xu, Liang, Dou, Wensheng, Zhu, Jiaxin, Gao, Chushu, Wei, Jun, Huang, Tao. How Are Spreadsheet Templates Used in Practice: A Case Study on Enron. 26TH ACM JOINT EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE NIER). 2018, 第 6 作者734-738, http://dx.doi.org/10.1145/3236024.3264834.[21] 佘艺, 唐弘胤, 吴国全, 陈伟, 魏峻, 黄涛. 基于测试例生成的Android应用数据竞争验证方法. 计算机科学[J]. 2017, 第 6 作者44(11): 27-32, [22] Wang, Shuai, Dou, Wensheng, Gao, Chushu, Wei, Jun, Huang, Tao. Mining API Type Specifications for JavaScript. 2017 24TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2017). 2017, 第 5 作者368-377, [23] Wu, Guoquan, Cao, Yuzhong, Chen, Wei, Wei, Jun, Zhong, Hua, Huang, Tao, Altintas, I, Chen, S. AppCheck: A Crowdsourced Testing Service for Android Applications. 2017 IEEE 24TH INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS 2017). 2017, 第 6 作者253-260, http://dx.doi.org/10.1109/ICWS.2017.40.[24] 吴国全, 何妹妹, 魏峻, 钟华, 黄涛. 基于捕获/重放的Web应用跨浏览器兼容性检测. 计算机研究与发展[J]. 2017, 第 5 作者54(3): 623-632, http://lib.cqvip.com/Qikan/Article/Detail?id=671643706.[25] 唐震, 吴恒, 王伟, 魏峻, 黄涛. 虚拟化环境下面向多目标优化的自适应SSD缓存系统. 软件学报[J]. 2017, 第 5 作者28(8): 1982-1998, http://lib.cqvip.com/Qikan/Article/Detail?id=672959947.[26] Xu, Liang, Dou, Wensheng, Gao, Chushu, Wang, Jie, Wei, Jun, Zhong, Hua, Huang, Tao. SpreadCluster: Recovering Versioned Spreadsheets through Similarity-Based Clustering. 2017 IEEE/ACM 14TH INTERNATIONAL CONFERENCE ON MINING SOFTWARE REPOSITORIES (MSR 2017). 2017, 第 7 作者158-169, [27] Zhen Tang, Wei Wang, Yu Huang, Heng Wu, Jun Wei, Tao Huang. Application-centric SSD Cache Allocation for Hadoop Applications. Internetware. 2017, 第 6 作者[28] He, Meimei, Wu, Guoquan, Tang, Hongyin, Chen, Wei, Wei, Jun, Zhong, Hua, Huang, Tao, ReiffMarganiec, S. X-Check: A Novel Cross-browser Testing Service based on Record/Replay. 2016 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS)[J]. 2016, 第 7 作者123-130, [29] 徐继伟, 张文博, 魏峻, 钟华, 黄涛. 一种基于聚类分组的虚拟机镜像去冗余方法. 软件学报[J]. 2016, 第 5 作者466-480, http://lib.cqvip.com/Qikan/Article/Detail?id=667976203.[30] Chen Wei, Liang Chaochao, Wan Yijun, Gao Chushu, Wu Guoquan, Wei Jun, Huang Tao. MORE: A Model-driven Operation Service for Cloud-based IT Systems. PROCEEDINGS 2016 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC 2016)[J]. 2016, 第 7 作者633-640, [31] Xu, Jiwei, Zhang, Wenbo, Zhang, Zhenyu, Wang, Tao, Huang, Tao. Clustering-based acceleration for virtual machine image deduplication in the cloud environment. JOURNAL OF SYSTEMS AND SOFTWARE[J]. 2016, 第 5 作者121: 144-156, http://dx.doi.org/10.1016/j.jss.2016.02.021.[32] Jiwei Xu, Wenbo Zhang, Zhenyu Zhang, Tao Wang, Tao Huang. Clustering-based acceleration for virtual machine image deduplication in the cloud environment. THE JOURNAL OF SYSTEMS & SOFTWARE. 2016, 第 5 作者121: 144-156, http://dx.doi.org/10.1016/j.jss.2016.02.021.[33] Chen Wei, Wu Heng, Wei Jun, Zhong Hua, Huang Tao. Determine Configuration Entry Correlations for Web Application Systems. PROCEEDINGS 2016 IEEE 40TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS, VOL 1[J]. 2016, 第 5 作者42-52, [34] Li, Sha, Liu, Xueqing, Bai, Yunqin, Huang, Tao, Wang, Junhong, Qu, Huantao, Chen, Lei, Jiang, Wei. The complete mtDNA genome of Erythroculter ilishaeformis: genome characterization and phylogenetic analysis. MITOCHONDRIAL DNA PART B-RESOURCES[J]. 2016, 第 4 作者1(1): 39-40, https://www.webofscience.com/wos/woscc/full-record/WOS:000402041200019.[35] 徐继伟, 张文博, 王焘, 黄涛. 一种基于遗传算法的虚拟机镜像自适应备份策略. 计算机学报[J]. 2016, 第 4 作者39(2): 351-363, http://lib.cqvip.com/Qikan/Article/Detail?id=668051725.[36] Feng Zhu, Jie Liu, Sa Wang, Jiwei Xu, Lijie Xu, Jixin Ren, Dan Ye, Jun Wei, Tao Huang. Hug the Elephant: Migrating a Legacy Data Analytics Application to Hadoop Ecosystem. The 32nd IEEE International Conference on Software Maintenance and Evolution (ICSME, CCF B). 2016, 第 9 作者178-188, [37] Li, Sha, Liu, Xueqing, Bai, Yunqin, Huang, Tao, Wang, Junhong, Qu, Huantao, Chen, Lei, Jiang, Wei. The complete mtDNA genome of Erythroculter ilishaeformis: genome characterization and phylogenetic analysis. MITOCHONDRIAL DNA PART B-RESOURCES[J]. 2016, 第 4 作者1(1): 39-40, https://www.webofscience.com/wos/woscc/full-record/WOS:000402041200019.[38] Yan, Hui, Gong, Zhiguo, Zhang, Nan, Huang, Tao, Zhong, Hua, Wei, Jun. Crawling Hidden Objects with kNN Queries. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING[J]. 2016, 第 4 作者 通讯作者 28(4): 912-924, https://www.webofscience.com/wos/woscc/full-record/WOS:000372543500006.[39] Wensheng Dou, Liang Xu, Shing-Chi Cheung, Chushu Gao, Jun Wei, Tao Huang. VEnron: A Versioned Spreadsheet Corpus and Related Evolution Analysis. 38th International Conference on Software Engineering (ICSE SEIP 2016). 2016, 第 6 作者[40] Wang, Tao, Zhang, Wenbo, Ye, Chunyang, Wei, Jun, Zhong, Hua, Huang, Tao. FD4C: Automatic Fault Diagnosis Framework for Web Applications in Cloud Computing. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS[J]. 2016, 第 6 作者46(1): 61-75, http://dx.doi.org/10.1109/TSMC.2015.2430834.[41] 王卅, 张文博, 吴恒, 宋云奎, 魏峻, 钟华, 黄涛. 一种基于硬件计数器的虚拟机性能干扰估算方法. 软件学报[J]. 2015, 第 7 作者26(8): 2074-2090, http://lib.cqvip.com/Qikan/Article/Detail?id=665619642.[42] Shuai Wang, Wensheng Dou, Guoquan Wu, Jie Wang, Chushu Gao, Jun Wei, Tao Huang. Towards Web Application Mobilization via Efficient Web Control Extraction. 7th Asia-Pacific Symposium on Internetware (Internetware 2015). 2015, 第 7 作者[43] Yan, Hui, Gong, Zhiguo, Zhang, Nan, Huang, Tao, Zhong, Hua, Wei, Jun. Aggregate Estimation in Hidden Databases with Checkbox Interfaces. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING[J]. 2015, 第 4 作者27(5): 1192-1204, https://www.webofscience.com/wos/woscc/full-record/WOS:000352608000003.[44] 白琳, 叶丹, 魏峻, 黄涛. 一种高效的基于服务功能规约的服务选择方法. 软件学报[J]. 2015, 第 4 作者26(8): 1886-1906, http://lib.cqvip.com/Qikan/Article/Detail?id=665619630.[45] 王彦士, 王伟, 刘朝辉, 魏峻, 黄涛. 支持透明集成的数据缓存机制. 计算机研究与发展[J]. 2015, 第 5 作者52(4): 907-917, http://lib.cqvip.com/Qikan/Article/Detail?id=664308168.[46] 白琳, 魏峻, 黄翔, 叶丹, 黄涛. 一种面向移动应用的探索式服务组合方法. 软件学报[J]. 2015, 第 5 作者26(9): 2191-2211, http://lib.cqvip.com/Qikan/Article/Detail?id=665874121.[47] 黄涛. A lightweight virtual machine image deduplication backup approach in cloud environment. 2014, 第 1 作者 通讯作者 [48] 黄涛. 一种基于虚拟化技术的程序执行过程重放方法. Journal of Frontiers of Computer Science and Technology. 2014, 第 1 作者 通讯作者 [49] Wang, Tao, Wei, Jun, Zhang, Wenbo, Zhong, Hua, Huang, Tao. Workload-aware anomaly detection for Web applications. JOURNAL OF SYSTEMS AND SOFTWARE[J]. 2014, 第 5 作者89: 19-32, http://dx.doi.org/10.1016/j.jss.2013.03.060.[50] Qin Xiulei, Wang Wei, Zhang Wenbo, Wei Jun, Zhao Xin, Zhong Hua, Huang Tao. PRESC 2 : Efficient self-reconfiguration of cache strategies for elastic caching platforms. COMPUTING[J]. 2014, 第 7 作者96(5): 415-451, http://ir.iscas.ac.cn/handle/311060/16864.[51] 吴雨龙, 黄涛, 杨燕, 王智军. 一种面向企业的行业微博信息推荐方法. 计算机应用与软件[J]. 2014, 第 2 作者31(11): 85-90, http://lib.cqvip.com/Qikan/Article/Detail?id=663293947.[52] Qin, Xiulei, Wang, Wei, Zhang, Wenbo, Wei, Jun, Zhao, Xin, Zhong, Hua, Huang, Tao. PRESC2: efficient self-reconfiguration of cache strategies for elastic caching platforms. COMPUTING[J]. 2014, 第 7 作者96(5): 415-451, https://www.webofscience.com/wos/woscc/full-record/WOS:000334443300004.[53] 魏峻, 钟华, 黄涛, 张建华, 张文博, 徐继伟. 一种基于隐马尔可夫模型的虚拟机失效恢复方法. 软件学报[J]. 2014, 第 3 作者25(11): 2702-2714, http://lib.cqvip.com/Qikan/Article/Detail?id=662780547.[54] Tao Wang, Jun Wei, Wenbo Zhang, Hua Zhong, Tao Huang. Workload-aware anomaly detection for Web applications. THE JOURNAL OF SYSTEMS & SOFTWARE. 2014, 第 5 作者89: 19-32, http://dx.doi.org/10.1016/j.jss.2013.03.060.[55] Wu Guoquan, Wei Jun, Zhong Hua, Huang Tao, DeRoure D, Thuraisingham B, Zhang J. Runtime Enforcement of Data-centric Properties for Concurrent Service-based Applications. 2014 IEEE 21ST INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS 2014). 2014, 第 4 作者401-408, http://dx.doi.org/10.1109/ICWS.2014.64.[56] 陈三川, 吴国全, 魏峻, 黄涛. 基于日志挖掘的移动应用用户访问模型建模技术研究. 计算机科学[J]. 2014, 第 4 作者41(11): 25-30, http://lib.cqvip.com/Qikan/Article/Detail?id=662873410.[57] 高嘉泽, 高强, 吴国全, 魏峻, 黄涛. 面向移动应用的后端服务平台. 计算机系统应用[J]. 2014, 第 5 作者23(2): 22-27, http://lib.cqvip.com/Qikan/Article/Detail?id=48461565.[58] Gao Chushu, Wei Jun, Zhong Hua, Huang Tao, DeRoure D, Thuraisingham B, Zhang J. Inferring Data Contract for Web-based API. 2014 IEEE 21ST INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS 2014). 2014, 第 4 作者65-72, http://dx.doi.org/10.1109/ICWS.2014.22.[59] Zhezhe Chen, James Dinan, Zhen Tang, Pavan Balaji, Hua Zhong, Jun Wei, Tao Huang, Feng Qin. MC-Checker: Detecting Memory Consistency Errors in MPI One-Sided Applications. The International Conference for High Performance Computing, Networking, Storage and Analysis (SC). 2014, 第 7 作者[60] 王伟, 黄涛, 魏峻, 钟华, 宋云奎. 面向多租户Web应用的性能隔离方法. 中国科学:信息科学[J]. 2013, 第 2 作者43(1): 45-59, [61] 秦秀磊, 张文博, 王伟, 魏峻, 赵鑫, 钟华, 黄涛. 面向云端Key/Value存储系统的开销敏感的数据迁移方法. 软件学报[J]. 2013, 第 7 作者24(6): 1403-1417, http://lib.cqvip.com/Qikan/Article/Detail?id=45890383.[62] Wang Tao, Wei Jun, Qin Feng, Zhang WenBo, Zhong Hua, Huang Tao. Detecting performance anomaly with correlation analysis for Internetware. SCIENCE CHINA-INFORMATION SCIENCES[J]. 2013, 第 6 作者56(8): https://www.sciengine.com/doi/10.1007/s11432-013-4906-6.[63] 黄涛. Detecting performance anomaly with correlation analysis for Internetnetware. 2013, 第 1 作者 通讯作者 [64] Wu, Heng, Zhang, Wenbo, Zhang, Jianhua, Wei, Jun, Huang, Tao. A benefit-aware on-demand provisioning approach for multi-tier applications in cloud computing. FRONTIERS OF COMPUTER SCIENCE[J]. 2013, 第 5 作者7(4): 459-474, http://lib.cqvip.com/Qikan/Article/Detail?id=47132078.[65] 秦秀磊, 张文博, 魏峻, 王伟, 钟华, 黄涛. 云计算环境下分布式缓存技术的现状与挑战. 软件学报[J]. 2013, 第 6 作者24(1): 50-66, http://lib.cqvip.com/Qikan/Article/Detail?id=44331444.[66] Wu Shengbao, Wu Hongjun, Huang Tao, Wang Mingsheng, Wu Wenling. Leaked-state-forgery attack against the authenticated encryption algorithm ALE. 19th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2013. 2013, 第 3 作者377-404, http://ir.iscas.ac.cn/handle/311060/16667.[67] Wang Tao, Wei Jun, Qin Feng, Zhang Wenbo, Zhong Hua, Huang Tao. Detecting performance anomaly with correlation analysis for Internetware. SCIENCE CHINA. INFORMATION SCIENCE[J]. 2013, 第 6 作者56(8): 082104-1, [68] Heng WU, Wenbo ZHANG, Jianhua ZHANG, Jun WEI, Tao HUANG. A benefit-aware on-demand provisioning approach for multi-tier applications in cloud computing. 中国计算机科学前沿:英文版[J]. 2013, 第 5 作者459-474, http://lib.cqvip.com/Qikan/Article/Detail?id=47132078.[69] Xu Jiwei, Ye Shiyang, Zhang Wenbo, Wei Jun, Huang Tao. VM image update notification mechanism based on pub/sub paradigm in cloud. 5th Asia-Pacific Symposium on Internetware, Internetware 2013. 2013, 第 5 作者http://ir.iscas.ac.cn/handle/311060/16660.[70] 邵小哲, 吴国全, 魏峻, 黄涛. 面向移动平台的消息通讯服务设计与实现. 计算机工程与科学[J]. 2013, 第 4 作者35(9): 78-82, http://lib.cqvip.com/Qikan/Article/Detail?id=47146323.[71] 王彦士, 王伟, 刘朝辉, 魏峻, 黄涛. 支持透明集成的数据缓存机制. 第十二届全国软件与应用学术会议(NASAC2012). 2013, 第 5 作者1-10, http://ir.iscas.ac.cn/handle/311060/16561.[72] 吴恒, 张文博, 张建华, 魏峻, 黄涛. 一种收益敏感的虚拟资源按需提供方法. 软件学报[J]. 2013, 第 5 作者24(8): 1963-1980, http://lib.cqvip.com/Qikan/Article/Detail?id=46779179.[73] Qin Xiulei, Wang Wei, Zhang Wenbo, Wei Jun, Zhao Xin, Huang Tao. Elasticat: a load rebalancing framework for cloud-based key-value stores. 2012 19TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING, HIPC 2012. 2012, 第 6 作者http://ir.iscas.ac.cn/handle/311060/15980.[74] Wu Guoquan, Wei Jun, Ye Chunyang, Shao Xiaozhe, Zhong Hua, Huang Tao. Runtime verification of data-centric properties in service based systems. LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS). 2012, 第 6 作者325-341, http://ir.iscas.ac.cn/handle/311060/15728.[75] 张若定, 王帅, 杨燕, 黄涛. SaaS模式下支持多租户可定制的Portlet协作模型设计. 计算机应用与软件[J]. 2012, 第 4 作者29(9): 162-166, http://lib.cqvip.com/Qikan/Article/Detail?id=43373008.[76] Qin Xiulei, Zhang Wenbo, Wang Wei, Wei Jun, Zhao Xin, Huang Tao. Optimizing data migration for cloud-based key-value stores. ACM INTERNATIONAL CONFERENCE PROCEEDING SERIES. 2012, 第 6 作者2204-2208, http://ir.iscas.ac.cn/handle/311060/15888.[77] Qin Xiulei, Wang Wei, Zhang Wenbo, Wei Jun, Zhao Xin, Huang Tao, IEEE. ElastiCat: A load rebalancing framework for cloud-based key-value stores. 2012 19TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING (HIPC). 2012, 第 6 作者[78] Zhang Jianhua, Zhang Wenbo, Wu Heng, Huang Tao, Chao KM, Lei H, Li Y, Chung JY, Shah N. VMFDF: A Virtualization-based Multi-Level Fault Detection Framework for High Availability Computing. 2012 NINTH IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING (ICEBE). 2012, 第 4 作者367-373, http://dx.doi.org/10.1109/ICEBE.2012.67.[79] 陈伟, 魏峻, 黄涛. W~4H:一个面向软件部署的技术分析框架. JOURNAL OF SOFTWARE[J]. 2012, 第 3 作者23(7): 1669-1687, http://lib.cqvip.com/Qikan/Article/Detail?id=42508342.[80] Qin Xiulei, Zhang Wenbo, Wang Wei, Wei Jun, Zhao Xin, Huang Tao, IEEE. Towards a Cost-Aware Data Migration Approach for Key-Value Stores. 2012 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER). 2012, 第 6 作者551-556, [81] Zhang Jianhua, Zhang Wenbo, Wu Heng, Huang Tao. Vmfdf: a virtualization-based multi-level fault detection framework for high availability computing. PROCEEDINGS - 9TH IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING, ICEBE 2012. 2012, 第 4 作者367-373, http://ir.iscas.ac.cn/handle/311060/15918.[82] 黄翔, 王伟, 张文博, 魏峻, 黄涛. 面向性能剖析的Web应用自动性能建模方法. 软件学报[J]. 2012, 第 5 作者23(4): 786-801, http://lib.cqvip.com/Qikan/Article/Detail?id=41352980.[83] Chen Wei, Qiao Xiaoqiang, Wei Jun, Huang Tao. A two-level virtual machine self-reconfiguration mechanism for the cloud computing platforms. PROCEEDINGS - IEEE 9TH INTERNATIONAL CONFERENCE ON UBIQUITOUS INTELLIGENCE AND COMPUTING AND IEEE 9TH INTERNATIONAL CONFERENCE ON AUTONOMIC AND TRUSTED COMPUTING, UIC-ATC 2012. 2012, 第 4 作者563-570, [84] 黄涛. 一种面向性能剖析的Web应用自动性能建模方法. 软件学报. 2012, 第 1 作者 通讯作者 [85] Qin Xiulei, Zhang Wenbo, Wang Wei, Wei Jun, Zhao Xin, Huang Tao. Towards a cost-aware data migration approach for key-value stores. PROCEEDINGS - 2012 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING, CLUSTER 2012. 2012, 第 6 作者551-556, [86] 陈伟, 魏峻, 黄涛. W4H:一个面向软件部署的技术分析框架. 软件学报[J]. 2012, 第 3 作者23(7): 1669-1687, [87] Chen Wei, Qiao Xiaoqiang, Wei Jun, Huang Tao. A profit-aware virtual machine deployment optimization framework for cloud platform providers. PROCEEDINGS - 2012 IEEE 5TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING, CLOUD 2012. 2012, 第 4 作者17-24, [88] Qin Xiulei, Zhang Wenbo, Wang Wei, Wei Jun, Zhong Hua, Huang Tao. A comparative evaluation of cache strategies for elastic caching platforms. PROCEEDINGS - INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE. 2011, 第 6 作者166-175, http://124.16.136.157/handle/311060/14395.[89] 黄涛. An Adaptive Performance Modeling Approach to Performance Profiling of Multi-Service Web Applications. COMPSAC2011. 2011, 第 1 作者 通讯作者 [90] Ma Yinglong, Wu Haijiang, Ma Xinyu, Jin Beihong, Huang Tao, Wei Jun. Stable cohesion metrics for evolving ontologies. JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION[J]. 2011, 第 5 作者23(5): 343-359, https://www.webofscience.com/wos/woscc/full-record/WOS:000293456600002.[91] 王伟, 黄翔, 张文博, 魏峻, 钟华, 黄涛. 多租户Web应用的CPU资源动态评估方法. 计算机学报[J]. 2011, 第 6 作者34(12): 2292-2304, http://lib.cqvip.com/Qikan/Article/Detail?id=40410652.[92] Qin Xiulei, Zhang Wenbo, Wang Wei, Wei Jun, Zhong Hua, Huang Tao, IEEE. On-line Cache Strategy Reconfiguration for Elastic Caching Platform: A Machine Learning Approach. 2011 35TH IEEE ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC). 2011, 第 6 作者523-534, [93] 夏永霖, 魏峻, 黄涛. 收益驱动的复合服务恢复策略选择方法. 小型微型计算机系统[J]. 2011, 第 3 作者32(5): 807-813, http://xwxt.sict.ac.cn/CN/Y2011/V32/I5/807.[94] Qin Xiulei, Zhang Wenbo, Wang Wei, Wei Jun, Zhong Hua, Huang Tao. On-line cache strategy reconfiguration for elastic caching platform: a machine learning approach. PROCEEDINGS - INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 2011, 第 6 作者523-534, [95] Ma, Yinglong, Wu, Haijiang, Ma, Xinyu, Jin, Beihong, Huang, Tao, Wei, Jun. Stable cohesion metrics for evolving ontologies. JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE[J]. 2011, 第 5 作者23(5): 343-359, https://www.webofscience.com/wos/woscc/full-record/WOS:000293456600002.[96] 刘杰, 魏峻, 叶丹, 黄涛. 基于数据流程变换的Mashup性能优化方法. 小型微型计算机系统[J]. 2011, 第 4 作者32(9): 1716-1722, http://xwxt.sict.ac.cn/CN/Y2011/V32/I9/1716.[97] Qin Xiulei, Wei Jun, Zhang Wenbo, Zhong Hua, Huang Tao, IEEE Computer Soc. A Two-Phase Approach to Subscription Subsumption Checking for Content-Based Publish/Subscribe Systems. 2010 24TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS (AINA). 2010, 第 5 作者1278-1285, [98] 王伟, 张文博, 魏峻, 钟华, 黄涛. 一种资源敏感的Web应用性能诊断方法. 软件学报[J]. 2010, 第 5 作者194-208, http://lib.cqvip.com/Qikan/Article/Detail?id=32895170.[99] Huang Tao, Wu Guoquan, Wei Jun. Runtime Monitoring Composite Web Services Through Stateful Aspect Extension. 计算机科学技术学报:英文版[J]. 2009, 第 1 作者294-308, http://lib.cqvip.com/Qikan/Article/Detail?id=29566129.[100] Huang, Tao, Wu, GuoQuan, Wei, Jun. Runtime Monitoring CompositeWeb Services Through Stateful Aspect Extension. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY[J]. 2009, 第 1 作者 通讯作者 24(2): 294-308, http://lib.cqvip.com/Qikan/Article/Detail?id=29566129.[101] Li, Lei, Niu, Chunlei, Chen, Ningjiang, Wei, Jun, Huang, Tao. High Performance Approach for Server Side SOAP Processing. INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH[J]. 2009, 第 5 作者6(2): 66-93, https://www.webofscience.com/wos/woscc/full-record/WOS:000266319800004.[102] 乔晓强, 魏峻, 黄涛. 基于分布式协调模型的服务协作方法研究. 软件学报[J]. 2009, 第 3 作者1470-1486, http://lib.cqvip.com/Qikan/Article/Detail?id=30626098.[103] 刘强, 赵迪, 钟华, 黄涛. 本体辅助的自动化模式匹配技术. 软件学报[J]. 2009, 第 4 作者234-245, http://lib.cqvip.com/Qikan/Article/Detail?id=29412549.[104] Liu Jie, Liang Senlin, Ye Dan, Wei Jun, Huang Tao, VanEck P, Gordijn J, Wieringa R. ETL Workflow Analysis and Verification Using Backwards Constraint Propagation. ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS. 2009, 第 5 作者5565: 455-+, [105] 黄涛, 汪锦岭. 基于收益机制发布/订阅系统时间约束保障技术. 软件学报[J]. 2008, 第 1 作者19(7): 1590-1602, http://lib.cqvip.com/Qikan/Article/Detail?id=27587620.[106] 闫勇, 万淑超, 杨燕, 黄涛. 可配置的CMS文档生命周期管理方法. 计算机工程[J]. 2008, 第 4 作者34(22): 40-42, http://lib.cqvip.com/Qikan/Article/Detail?id=28737260.[107] Huang, Tao, Li, Lei, Wei, Jun. Efficient approach for Web services selection with multi-QoS constraints. INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS[J]. 2008, 第 1 作者 通讯作者 17(3): 349-371, https://www.webofscience.com/wos/woscc/full-record/WOS:000258778400006.[108] Liu Jie, Huang Fei, Ye Dan, Huang Tao. Efficient Consistent Query Answering Based on Attribute Deletions. CSA 2008: INTERNATIONAL SYMPOSIUM ON COMPUTER SCIENCE AND ITS APPLICATIONS, PROCEEDINGS. 2008, 第 4 作者222-+, http://dx.doi.org/10.1109/CSA.2008.10.[109] 吴国全, 魏峻, 黄涛. 基于非确定性推理的网构软件服务质量动态评估方法. 软件学报[J]. 2008, 第 3 作者19(5): 1173-1185, http://lib.cqvip.com/Qikan/Article/Detail?id=27147853.[110] 乔晓强, 魏峻, 黄涛. 基于适配的服务协作流程动态管理. 计算机学报[J]. 2008, 第 3 作者31(8): 1422-1433, http://lib.cqvip.com/Qikan/Article/Detail?id=28048839.[111] Shiyang Ye, Jun Wei, Tao Huang, Mertins K, Ruggaber R, Popplewell K, Xu XF. Preference-based service level matchmaking for composite service. ENTERPRISE INTEROPERABILITY III: NEW CHALLENGES AND INDUSTRIAL APPROACHES. 2008, 第 3 作者275-+, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000257234000022.[112] 胡剑军, 官荷卿, 魏峻, 黄涛. 一种基于性能模型的中间件自配置框架. 软件学报[J]. 2007, 第 4 作者18(9): 2117-2129, http://lib.cqvip.com/Qikan/Article/Detail?id=25322537.[113] Li, Yang, Zuo, Lin, Wei, Jun, Zhong, Hua, Huang, Tao, Baresi, L, Fraternali, P, Houben, GJ. Sequential pattern-based cache replacement in servlet container. WEB ENGINEERING, PROCEEDINGS. 2007, 第 5 作者4607: 105-+, [114] 张勇, 黄涛, 陈宁江, 金蓓弘. 基于在线模型评估的动态Web系统性能保障. 软件学报[J]. 2007, 第 2 作者18(7): 1660-1671, http://lib.cqvip.com/Qikan/Article/Detail?id=24884673.[115] Ma Jiangang, Huang Tao, Xu Gang, Wang Jinling, Ye Dan. A timeliness assurance scheduling algorithm for distributed publish/subscribe system. CHINESE JOURNAL OF ELECTRONICS[J]. 2007, 第 2 作者16(4): 603-607, http://www.corc.org.cn/handle/1471x/2383371.[116] 李洋, 张文博, 魏峻, 钟华, 黄涛. 基于序列模式的Servlet容器缓存替换. 软件学报[J]. 2007, 第 5 作者18(7): 1592-1602, http://lib.cqvip.com/Qikan/Article/Detail?id=24884667.[117] 刘强, 黄涛, 刘绍华, 钟华. An Ontology-Based Approach for Semantic Conflict Resolution in Database Integration. 计算机科学技术学报:英文版[J]. 2007, 第 2 作者22(2): 218-227, http://lib.cqvip.com/Qikan/Article/Detail?id=24070568.[118] Li Lei, Wei Jun, Huang Tao, Kramer BJ, Lin KJ, Narasimhan P. High performance approach for multi-QoS constrained web services selection. SERVICE-ORIENTED COMPUTING - ICSOC 2007, PROCEEDINGS. 2007, 第 3 作者4749: 283-+, [119] 李洋, 陈宁江, 金蓓弘, 左林, 黄涛. 一个基于自管理单元支持差分服务的Web容器. 计算机研究与发展[J]. 2007, 第 5 作者44(8): 1418-1428, http://lib.cqvip.com/Qikan/Article/Detail?id=25350943.[120] Zhou, Lina, Xu, Xiaofei, Huang, Tao, Deng, Shengchun, Doumeingts, G, Muller, J, Morel, G, Vallespir, B. Supply chain management system and interoperability through EAI platform. ENTERPRISE INTEROPERABILITY: NEW CHALLENGES AND APPROACHES. 2007, 第 3 作者441-+, http://dx.doi.org/10.1007/978-1-84628-714-5_41.[121] Wang Wei, Zhang Wenbo, Zhang Lei, Huang Tao, Cheung SC, Li YS, Chao KM, Younas M, Chung JY. WMQ: Towards a fine-grained QoS control for e-business servers. ICEBE 2007: IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING, PROCEEDINGS. 2007, 第 4 作者139-+, http://dx.doi.org/10.1109/ICEBE.2007.10.[122] Wang Wei, Zhang Wenbo, Wei Jun, Huang Tao, Mathur A, Wong WE, Lau MF. A QoS-enabled WorkManager model for Web Application Servers. USIC 2007: PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE. 2007, 第 4 作者40-49, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000251848400005.[123] 徐罡, 马建刚, 黄涛. 一种基于XML的复合事件模型及其订阅语言. 计算机学报[J]. 2007, 第 3 作者30(1): 81-90, http://lib.cqvip.com/Qikan/Article/Detail?id=23627330.[124] Liu, Qiang, Huang, Tao, Liu, ShaoHua, Zhong, Hua. An ontology-based approach for semantic conflict resolution in database integration. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY[J]. 2007, 第 2 作者22(2): 218-227, http://lib.cqvip.com/Qikan/Article/Detail?id=24070568.[125] Qiao Xiaoqiang, Wei Jun, Huang Tao, Doumeingts G, Muller J, Morel G, Vallespir B. A decentralized approach for inter-enterprise business process collaboration. ENTERPRISE INTEROPERABILITY: NEW CHALLENGES AND APPROACHES. 2007, 第 3 作者309-+, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000245920500029.[126] Song, JingYu, Wei, Jun, Wan, ShuChao, Huang, Tao. Extending interactive web services for improving presentation level integration in web portals. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY[J]. 2006, 第 4 作者21(4): 620-COVER3, https://www.webofscience.com/wos/woscc/full-record/WOS:000239255200020.[127] 徐罡, 马建刚, 黄涛. 一种基于OBDD图的事件复合匹配方法. 计算机研究与发展[J]. 2006, 第 3 作者43(10): 1751-1759, https://crad.ict.ac.cn/cn/article/id/1959.[128] Ding Xiaoning, Guo Xiangfeng, Jin Beihong, Huang Tao, INSTICC. A new approach to implement extended transaction models in J2EE. ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATIONAL SYSTEMS. 2006, 第 4 作者118-+, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000241936800021.[129] 官荷卿, 张文博, 魏峻, 黄涛. 一种应用敏感的Web服务请求调度策略. 计算机学报[J]. 2006, 第 4 作者29(7): 1189-1198, http://lib.cqvip.com/Qikan/Article/Detail?id=22296604.[130] 徐罡, 黄涛, 刘绍华, 叶丹. 基于软件体系结构的集成适配器集成模式研究. 计算机科学[J]. 2006, 第 2 作者33(3): 229-233, http://lib.cqvip.com/Qikan/Article/Detail?id=21631335.[131] Huang Tao, Ding Xiaoning, Wei Jun. An application-semantics-based relaxed transaction model for internetware. SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES[J]. 2006, 第 1 作者 通讯作者 49(6): 774-791, https://www.webofscience.com/wos/woscc/full-record/WOS:000244103600005.[132] Zhang Yong, Huang Tao, Wei Jun, Chen Ningjiang, Sacha K. A performance analysis infrastructure for component-based system hos ted by middleware. SOFTWARE ENGINEERING TECHNIQUES: DESIGN FOR QUALITY. 2006, 第 2 作者227: 97-+, [133] 张文博, 陈宁江, 魏峻, 黄涛. QoS获益驱动的中间件调度框架研究. 软件学报[J]. 2006, 第 4 作者17(6): 1381-1390, http://lib.cqvip.com/Qikan/Article/Detail?id=22067288.[134] 丁晓宁, 张昕, 金蓓弘, 黄涛. 一种任务类型敏感的J2EE事务调度算法. 软件学报[J]. 2006, 第 4 作者17(1): 31-38, http://lib.cqvip.com/Qikan/Article/Detail?id=21096781.[135] Li Yang, Chen Ningjiang, Huang Tao, Mei H. An event-driven adaptive differentiated service web container architecture. QSIC 2006: SIXTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS. 2006, 第 3 作者22-+, [136] Zhang, Yong, Chen, Ningjiang, Wei, Jun, Huang, Tao, Kim, D, Zhou, X, Sokolsky, O, Yan, L, Jung, ES, Shao, Z, Mu, Y, Lee, DC, Jeong, YS, Xu, CZ. Completing UML model of component-based system with middleware for performance evaluation. EMERGING DIRECTIONS IN EMBEDDED AND UBIQUITOUS COMPUTING[J]. 2006, 第 4 作者4097: 72-82, https://www.webofscience.com/wos/woscc/full-record/WOS:000240081000008.[137] 张勇, 黄涛, 魏峻, 陈宁江. 基于容器中间件的组件系统体系结构性能评价. 软件学报[J]. 2006, 第 2 作者17(6): 1328-1337, http://lib.cqvip.com/Qikan/Article/Detail?id=22067272.[138] 黄涛, 丁晓宁, 魏峻. 基于应用语义的网构软件松弛事务模型研究. 中国科学E辑[J]. 2006, 第 1 作者36(10): 1170-1188, https://d.wanfangdata.com.cn/periodical/zgkx-ce200610006.[139] Zhang, Yong, Chen, Ningjiang, Wei, Jun, Huang, Tao, Kim, D, Zhou, X, Sokolsky, O, Yan, L, Jung, ES, Shao, Z, Mu, Y, Lee, DC, Jeong, YS, Xu, CZ. Completing UML model of component-based system with middleware for performance evaluation. EMERGING DIRECTIONS IN EMBEDDED AND UBIQUITOUS COMPUTING[J]. 2006, 第 4 作者4097: 72-82, https://www.webofscience.com/wos/woscc/full-record/WOS:000240081000008.[140] 马建刚, 黄涛, 汪锦岭, 徐罡, 叶丹. 面向大规模分布式计算发布订阅系统核心技术. 软件学报[J]. 2006, 第 2 作者17(1): 134-147, http://lib.cqvip.com/Qikan/Article/Detail?id=21096794.[141] 陈宁江, 魏峻, 杨波, 黄涛. Web应用服务器的适应性失效检测. 软件学报[J]. 2005, 第 4 作者16(11): 1929-1938, http://lib.cqvip.com/Qikan/Article/Detail?id=20588978.[142] 张文博, 陈宁江, 魏峻, 黄涛. R2M3:一种基于域的中间件资源管理机制. 电子学报[J]. 2005, 第 4 作者33(B12): 2391-2395, http://lib.cqvip.com/Qikan/Article/Detail?id=21821021.[143] 虞海江, 李京, 黄涛. 基于消息中间件的分布式查询系统. 计算机应用研究[J]. 2005, 第 3 作者22(2): 71-73, http://lib.cqvip.com/Qikan/Article/Detail?id=11827763.[144] 徐罡, 黄涛, 刘绍华, 叶丹. 分布应用集成核心技术研究综述. 计算机学报[J]. 2005, 第 2 作者28(4): 433-444, http://lib.cqvip.com/Qikan/Article/Detail?id=15432857.[145] 张文博, 陈宁江, 魏峻, 黄涛. RRMM:一种基于域的中间件资源管理机制. 南京大学学报:自然科学版[J]. 2005, 第 4 作者151-159, http://lib.cqvip.com/Qikan/Article/Detail?id=1000268286.[146] 钟华, 冯文澜, 谭红星, 黄涛. 面向数据集成的ETL系统设计与实现. 计算机科学[J]. 2004, 第 4 作者31(9): 87-89,封四, http://lib.cqvip.com/Qikan/Article/Detail?id=10679044.[147] 黄涛, 陈宁江, 魏峻, 张文博, 张勇. OnceAS/Q:一个面向QoS的Web应用服务器. 软件学报[J]. 2004, 第 1 作者15(12): 1787-1799, http://lib.cqvip.com/Qikan/Article/Detail?id=11286105.[148] 刘绍华, 魏峻, 黄涛. 基于服务协作中间件的动态流程模型. 软件学报[J]. 2004, 第 3 作者15(10): 1431-1440, http://lib.cqvip.com/Qikan/Article/Detail?id=10806694.[149] 张勇, 黄涛. 基于工作流的网上协同办公系统的设计与实现. 计算机应用研究[J]. 2004, 第 2 作者21(9): 196-198, http://lib.cqvip.com/Qikan/Article/Detail?id=10505233.[150] 徐罡, 叶丹, 黄涛. ONCE:一种基于XML的虚拟企业运行支撑平台. 制造技术与机床[J]. 2004, 第 3 作者53-56, http://lib.cqvip.com/Qikan/Article/Detail?id=11017119.[151] 陈安, 黄涛. 电子商务中的关键技术. 中国制造业信息化:学术版[J]. 2003, 第 2 作者32(1): 53-58, http://lib.cqvip.com/Qikan/Article/Detail?id=7282952.[152] 范国闯, 朱寰, 黄涛, 冯玉琳. Web应用服务器自适应负载平衡服务. 软件学报[J]. 2003, 第 3 作者14(6): 1134-1141, http://lib.cqvip.com/Qikan/Article/Detail?id=7877260.[153] 范国闯, 钟华, 黄涛, 冯玉琳. Web应用服务器研究综述. 软件学报[J]. 2003, 第 3 作者14(10): 1728-1739, http://lib.cqvip.com/Qikan/Article/Detail?id=8598478.[154] 张波, 冯玉琳, 黄涛. 体系结构描述语言XADL和组合失配检测. 软件学报[J]. 2002, 第 3 作者13(12): 2238-2243, http://lib.cqvip.com/Qikan/Article/Detail?id=7157954.[155] 周泽华, 黄涛, 李京. 消息中间件管理器的设计和实现. 计算机研究与发展[J]. 2002, 第 2 作者39(3): 318-323, http://lib.cqvip.com/Qikan/Article/Detail?id=5974321.[156] 张波, 冯玉琳, 黄涛. 基于对象视图模型WebView的Web应用框架. 软件学报[J]. 2002, 第 3 作者13(10): 1985-1990, http://lib.cqvip.com/Qikan/Article/Detail?id=6885775.[157] 王栩, 黄涛, 冯玉琳. 一种基于分布式资源域理论的形式化语言. 软件学报[J]. 2001, 第 2 作者12(4): 499-511, http://lib.cqvip.com/Qikan/Article/Detail?id=5165202.[158] 周泽华, 金戈, 黄涛. 基于XML的分布式Web应用框架. 计算机工程与应用[J]. 2001, 第 3 作者37(18): 60, http://lib.cqvip.com/Qikan/Article/Detail?id=5417363.[159] 黄涛, 冯玉琳, 王栩. 一种基于分布式资源域理论的形式化语言(英文). 软件学报[J]. 2001, 第 1 作者12(4): 499, http://sciencechina.cn/gw.jsp?action=detail.jsp&internal_id=727206&detailType=1.[160] 钱军, 黄涛, 冯玉琳. 对象系统的组合交互计算. 软件学报[J]. 2001, 第 2 作者12(9): 1295, http://lib.cqvip.com/Qikan/Article/Detail?id=5678431.[161] 黄涛, 曹东启. 实现组播模式下连续数据流的可靠传输. 计算机研究与发展[J]. 2000, 第 1 作者37(3): 359, http://lib.cqvip.com/Qikan/Article/Detail?id=4230716.[162] 曹东启, 黄涛. 计算机网络安全技术与工具. 中国金融电脑[J]. 2000, 第 2 作者4-7, http://lib.cqvip.com/Qikan/Article/Detail?id=4940336.[163] 吴胜利, 钟华, 黄涛, 孙红艳, 虞海江. 关系型多数据库系统IS—Global的设计与实现. 软件学报[J]. 1999, 第 3 作者10(8): 877-882, http://lib.cqvip.com/Qikan/Article/Detail?id=3793701.[164] 黄涛, 钱军. 对象演算I. 软件学报[J]. 1999, 第 1 作者10(9): 931-940, http://lib.cqvip.com/Qikan/Article/Detail?id=3827273.[165] 黄涛, 钱军, 周桓. 对象演算Ⅰ. 软件学报[J]. 1999, 第 1 作者10(9): 941, [166] 冯玉琳, 黄涛, 倪彬. 基于T^3BDD的动态模型检查. 软件学报[J]. 1999, 第 2 作者10(10): 1025, http://lib.cqvip.com/Qikan/Article/Detail?id=3776569.[167] 冯玉琳, 黄涛. 网络分布计算与中间件(下). 中国经济和信息化[J]. 1999, 第 2 作者27-30, http://lib.cqvip.com/Qikan/Article/Detail?id=4000794352.[168] 冯玉琳, 黄涛. 网络分布计算与中间件(上). 中国经济和信息化[J]. 1999, 第 2 作者35-37, http://lib.cqvip.com/Qikan/Article/Detail?id=4000794399.[169] 黄涛, 钱军. 对象演算II. 软件学报[J]. 1999, 第 1 作者10(9): 941-951, http://lib.cqvip.com/Qikan/Article/Detail?id=3827274.[170] 钱军, 黄涛, 倪彬. Trace演算. 软件学报[J]. 1999, 第 2 作者10(8): 790, http://lib.cqvip.com/Qikan/Article/Detail?id=3793689.[171] 黄涛. 麻雀虽小 五脏俱全. 中国经济和信息化[J]. 1998, 第 1 作者67-67, http://lib.cqvip.com/Qikan/Article/Detail?id=1004631600.[172] 黄涛, 张波. 屏蔽差异“中间件”. 中国经济和信息化[J]. 1998, 第 1 作者25-28, http://lib.cqvip.com/Qikan/Article/Detail?id=4000981429.[173] 张波, 黄涛, 傅远彬, 邵丹华. 对象描述语言编译器的设计和实现. 软件学报[J]. 1998, 第 2 作者9(7): 525, http://lib.cqvip.com/Qikan/Article/Detail?id=3100101.[174] 黄涛, 吴小斌, 周桓, 邵丹华, 张波. 分布环境中基于对象的通信平台. 清华大学学报:自然科学版[J]. 1998, 第 1 作者38(10): 97, http://lib.cqvip.com/Qikan/Article/Detail?id=3198969.[175] 吴胜利, 黄涛. CIMS环境中全局信息系统的总体结构与设计. 清华大学学报:自然科学版[J]. 1998, 第 2 作者38(3): 109, http://lib.cqvip.com/Qikan/Article/Detail?id=2979559.[176] 郭江, 黄涛. 软件过程及其集成环境的研究. 计算机科学[J]. 1997, 第 2 作者24(4): 6-13, http://lib.cqvip.com/Qikan/Article/Detail?id=2557285.[177] 郭江, 廖越虹, 黄涛. 软件过程环境的设计与实现. 软件学报[J]. 1997, 第 3 作者8(12): 928, http://lib.cqvip.com/Qikan/Article/Detail?id=2728239.[178] 黄涛, 冯玉琳, 武小鹏. 面向对象的组合软件工程研究. 计算机学报[J]. 1996, 第 1 作者19(3): 237, http://lib.cqvip.com/Qikan/Article/Detail?id=2415503.[179] 黄涛, 冯玉琳, 倪彬. OOAnalysis的设计和实现. 软件学报[J]. 1996, 第 1 作者7(12): 752, http://lib.cqvip.com/Qikan/Article/Detail?id=2375882.[180] 冯涛, 武小鹏, 黄涛. PCLAgenda:一个基于过程的CASE环境. 软件学报[J]. 1996, 第 3 作者7(12): 735, http://lib.cqvip.com/Qikan/Article/Detail?id=2375880.[181] 黄涛, 陈家晚, 冯玉琳. SCOP对象管理系统. 软件学报[J]. 1996, 第 1 作者7(12): 714, http://lib.cqvip.com/Qikan/Article/Detail?id=2375877.[182] 冯玉琳, 倪彬, 黄涛, 李京. 对象描述语言及其指称描述. 软件学报[J]. 1996, 第 3 作者7(10): 577, http://lib.cqvip.com/Qikan/Article/Detail?id=2255807.[183] 李京, 黄涛, 冯玉琳. 面向对象的软件构造. 软件学报[J]. 1996, 第 2 作者7(3): 129, http://lib.cqvip.com/Qikan/Article/Detail?id=2048851.[184] 黄涛, 冯玉琳, 李京. 对象形式语义模型. 软件学报[J]. 1995, 第 1 作者6(A01): 207, http://lib.cqvip.com/Qikan/Article/Detail?id=1666441.[185] 李京, 黄涛, 冯玉琳. 软件构造过程中的对象规范和实现. 软件学报[J]. 1995, 第 2 作者6(A01): 231, http://lib.cqvip.com/Qikan/Article/Detail?id=1666450.[186] 李京, 冯玉琳, 黄涛. 对象行为约束的描述和推理. 中国科学技术大学学报[J]. 1995, 第 3 作者25(3): 287, http://lib.cqvip.com/Qikan/Article/Detail?id=1964682.[187] 王太权, 冯玉琳, 黄涛. LogC智能推理语言和环境. 软件学报[J]. 1993, 第 3 作者4(5): 6, http://lib.cqvip.com/Qikan/Article/Detail?id=1143303.[188] 冯玉琳, 黄涛, 李京. 对象语义理论和行为约束推理. 计算机学报[J]. 1993, 第 2 作者16(11): 823, http://lib.cqvip.com/Qikan/Article/Detail?id=1090685.[189] 黄涛, 王裕国. 一个图形UIMS支持的用户接口描述方法及自动生成技术. 软件学报[J]. 1991, 第 1 作者2(2): 42, http://lib.cqvip.com/Qikan/Article/Detail?id=582701.