基本信息
李明树  男  博导  中国科学院软件研究所
电子邮件: mingshu@admin.iscas.ac.cn
通信地址: 中关村南四街4号
邮政编码: 100190

研究领域

主要研究兴趣为操作系统、中央处理器以及软硬件深度融合与协同设计等。近年来在国内外期刊和会议上先后发表和合作发表学术论文上百篇,获2005年度国家科技进步奖二等奖1项(排名第一)。指导和合作指导毕业博士、硕士百余人,其中多位获中国科学院院长奖学金。

招生信息

   
招生专业
083500-软件工程
081202-计算机软件与理论
招生方向
软件分析与系统安全
操作系统深度设计,基础软硬件核心技术与应用

教育背景

1987-09--1993-07   哈尔滨工业大学   计算机系获得工学博士学位
1983-09--1987-07   北京轻工业学院(现北京工商大学)   计算机应用专业获学士学位
学历
-- 研究生
学位
-- 博士

工作经历

   
工作简历
1997-11~现在, 中国科学院软件研究所, 研究员
1995-10~1996-10,英国爱丁堡大学人工智能系, 博士后研究工作
1994-10~1997-11,中国科学院软件研究所, 副研究员
1993-07~1995-03,中国科学院软件研究所, 博士后工作

奖励

   
奖励信息
(1) 软件需求演化建模方法及管理系统,二等奖,省级,2011
(2) 软件过程服务技术及集成管理系统,二等奖,国家级,2005

出版信息

   
发表论文
[1] 岳晓萌, 杨秋松, 李明树. ETSG-SMT:一种SMT时间信道安全问题描述模型. 软件学报[J]. 2022, 33(12): 4476-4503, http://lib.cqvip.com/Qikan/Article/Detail?id=7108580137.
[2] 岳晓萌, 杨秋松, 李明树. 基于动态分支过滤的SMT执行端口侧信道安全防护.. 电子学报[J]. 2022, [3] Xiaoni Meng, Qiusong Yang, Yiwei Ci, Pei Zhao, Shan Zhao, Tianlin Huo, Mingshu Li. Secure Access Policy (SAP): Invisibly Executing Speculative Unsafe Accesses in an Isolated Environment. IEEE 40th International Conference on Computer Design (ICCD)null. 2022, [4] 王玉庆, 杨秋松, 李明树. 基于指令流访存模式预测的缓存替换策略. 计算机研究与发展[J]. 2022, 59(1): 31-46, [5] 岳晓萌, 杨秋松, 李明树. 基于动态资源使用策略的SMT执行端口侧信道安全防护. 计算机研究与发展[J]. 2021, 59(02期): 403-417, VIP_JournalArticle.
[6] 蒋实知, 慈轶为, 杨秋松, 李明树. Matryoshka: A Coalesced Delta Sequence Prefetcher. 50th International Conference on Parallel Processing, ICPP 2021 - Main Conference Proceedings[J]. 2021, [7] 李明树. TEADS:A Defense-aware Framwwork for Synthesizing Transient Execution Attacks. IEEE TrustCom 2020. 2020, [8] 赵姗, 郝春亮, 翟健, 李明树. S-Bridge:性能非对称多核处理器下负载均衡代理机制. 软件学报[J]. 2020, 2965-2979, http://lib.cqvip.com/Qikan/Article/Detail?id=00002FGKK9987JP0MPDO0JP167R.
[9] 李威威, 马越, 王俊杰, 高伟毅, 杨秋松, 李明树. 基于硬件分支信息的ROP攻击检测方法. 软件学报[J]. 2020, 31(11): 3588-3602, http://lib.cqvip.com/Qikan/Article/Detail?id=7103363904.
[10] 汪孙律, 杨秋松, 李明树. 一种针对格式文件的符号执行优化方法. 电子学报[J]. 2020, 48(12): 2417-2424, http://lib.cqvip.com/Qikan/Article/Detail?id=7103543877.
[11] 赵姗, 杨秋松, 李明树. 性能非对称多核处理器下异构感知调度技术. 软件学报[J]. 2019, 30(4): 1164-1190, http://lib.cqvip.com/Qikan/Article/Detail?id=7001678765.
[12] 汪孙律, 林渝淇, 杨秋松, 李明树. 基于输入约束的符号执行优化. 通信学报[J]. 2019, 40(3): 19-27, http://lib.cqvip.com/Qikan/Article/Detail?id=7001504491.
[13] Tianlin Huo, Xiaoni Meng, Wenhao Wang, Chunliang Hao, Pei Zhao, Jian Zhai, Mingshu Li. Bluethunder: A 2-level Directional Predictor Based Side-Channel Attack against SGX. TRANSACTIONS ON CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS[J]. 2019, https://doaj.org/article/34eabc83705e4ab5910b652180bd2a07.
[14] 冯馨玥, 杨秋松, 石琳, 王青, 李明树. 基于动态策略学习的关键内存数据访问监控. 计算机研究与发展[J]. 2019, 56(7): 1470-1487, http://lib.cqvip.com/Qikan/Article/Detail?id=7002364314.
[15] 李正, 吴敬征, 李明树. API使用的关键问题研究. 软件学报[J]. 2018, 29(6): 1716-1738, http://lib.cqvip.com/Qikan/Article/Detail?id=675408092.
[16] 郝春亮, 沈捷, 张珩, 武延军, 王青, 李明树. 大数据背景下集群调度结构与研究进展. 计算机研究与发展[J]. 2018, 55(1): 53-70, http://lib.cqvip.com/Qikan/Article/Detail?id=674133350.
[17] 李明树. Enhancing sample-based scheduler with collaborate-state in big data cluster. SEKE2017. 2017, [18] Hao, Chunliang, Shen, Jie, Chen, Celia, Zhang, Heng, Wu, Yanjun, Li, Mingshu. PCSsampler: Sample-based, Private-state Cluster Scheduling. 2017 17TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER, CLOUD AND GRID COMPUTING (CCGRID)null. 2017, 599-608, https://ieeexplore.ieee.org/document/7973747.
[19] Zhang, Heng, Hao, Chunliang, Wu, Yanjun, Li, Mingshu. Towards a scalable and energy-efficient resource manager for coupling cluster computing with distributed embedded computing. CLUSTERCOMPUTING[J]. 2017, 20(4): 3707-3720, https://www.webofscience.com/wos/woscc/full-record/WOS:000414780400072.
[20] Chen, Jie, Xiao, Junchao, Wang, Qing, Osterweil, Leon J, Li, Mingshu. Perspectives on refactoring planning and practice: an empirical study. EMPIRICAL SOFTWARE ENGINEERING[J]. 2016, 21(3): 1397-1436, https://www.webofscience.com/wos/woscc/full-record/WOS:000379061700020.
[21] Lin Shi, Mingshu Li, Qing Wang. Learning from Evolution History to Predict Future Requirement Changes. 2013 21st IEEE international requirements engineering conference: RE 2013, Rio de Janeiro, Brazil, 15-19 July 2013. 2016, 135-144, [22] Junjie Wang, Juan Li, Qing Wang, Da Yang, He Zhang, Mingshu Li. Can Requirements Dependency Network Be Used as Early Indicator of Software Integration Bugs?. 2013 21st IEEE international requirements engineering conference: RE 2013, Rio de Janeiro, Brazil, 15-19 July 2013. 2016, 185-194, [23] 张珩, Hao Chunliang, Wu Yanjun, Li Mingshu. Macaca: A Scalable and Energy-Efficient Platform for Coupling Cloud Computing with Distributed Embedded Computing. 2016 IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW)[J]. 2016, 1785-1788, https://ieeexplore.ieee.org/document/7530083.
[24] 郝春亮, 沈捷, 张珩, 张潇, 武延军, 李明树. Sparkle: adaptive sample based scheduling for cluster computing. Eurosys 2015 CloudDPnull. 2015, https://dl.acm.org/doi/10.1145/2744210.2744212.
[25] 李明树, 赵琛, 武延军, 谢沛东. 数据操作系统的思想、设计和原型验证. 中国科学. 信息科学[J]. 2015, 45(6): 703-720, https://www.sciengine.com/doi/10.1360/N112014-00371.
[26] Chen, Jie, Xu, Xiwei, Osterweil, Leon J, Zhu, Liming, Brun, Yuriy, Bass, Len, Xiao, Junchao, Li, Mingshu, Wang, Qing. Using simulation to evaluate error detection strategies: A case study of cloud-based deployment processes. JOURNAL OF SYSTEMS AND SOFTWARE[J]. 2015, 110: 205-221, http://dx.doi.org/10.1016/j.jss.2015.08.043.
[27] Zhang, He, Li, Juan, Zhu, Liming, Jeffery, Ross, Liu, Yan, Wang, Qing, Li, Mingshu. Investigating dependencies in software requirements for change propagation analysis. INFORMATION AND SOFTWARE TECHNOLOGY[J]. 2014, 56(1): 40-53, http://dx.doi.org/10.1016/j.infsof.2013.07.001.
[28] Chen Jie, Xiao Junchao, Wang Qing, Osterweil Leon J, Li Mingshu. Refactoring planning and practice in agile software development: An empirical study. 2014 International Conference on Software and Systems Process, ICSSP 2014null. 2014, 55-64, http://ir.iscas.ac.cn/handle/311060/16590.
[29] 李明树. Learning Form Evolution History to Predict Future Requirement Changes. International Conference on Requirements Engineering. 2013, [30] Xiao Junchao, Osterweil Leon J, Chen Jie, Wang Qing, Li Mingshu. Search based risk mitigation planning in project portfolio management. 2013 International Conference on Software and Systems Process, ICSSP 2013null. 2013, 146-155, http://ir.iscas.ac.cn/handle/311060/16658.
[31] 刘奎恩, 肖俊超, 丁治明, 李明树. 轨迹数据库中热门区域的发现. 软件学报[J]. 2013, 24(8): 1816-1835, http://lib.cqvip.com/Qikan/Article/Detail?id=46779169.
[32] Yang Qiusong, Clarke Edmund M, Komuravelli Anvesh, Li Mingshu. Assumption generation for asynchronous systems by abstraction refinement. LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS)null. 2013, 260-276, http://ir.iscas.ac.cn/handle/311060/15900.
[33] Liu, Kuien, Xu, Jiajie, Zhang, Longfei, Ding, Zhiming, Li, Mingshu. Discovering hot topics from geo-tagged video. NEUROCOMPUTING[J]. 2013, 105: 90-99, http://dx.doi.org/10.1016/j.neucom.2012.05.035.
[34] Li Juan, Zhu Liming, Jeffery Ross, Liu Yan, Zhang He, Wang Qing, Li Mingshu. An initial evaluation of requirements dependency types in change propagation analysis. IET SEMINAR DIGESTnull. 2012, 62-71, http://ir.iscas.ac.cn/handle/311060/15800.
[35] Li, Qi, Yang, Ye, Li, Mingshu, Wang, Qing, Boehm, Barry W, Hu, Chenyong. Improving software testing process: feature prioritization to make winners of success-critical stakeholders. JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS[J]. 2012, 24(7): 783-801, http://dx.doi.org/10.1002/smr.512.
[36] He, Zhimin, Shu, Fengdi, Yang, Ye, Li, Mingshu, Wang, Qing. An investigation on the feasibility of cross-project defect prediction. AUTOMATED SOFTWARE ENGINEERING[J]. 2012, 19(2): 167-199, https://www.webofscience.com/wos/woscc/full-record/WOS:000298798700003.
[37] Li Juan, Zhang He, Zhu Liming, Jeffery Ross, Wang Qing, Li Mingshu. Preliminary results of a systematic review on requirements evolution. IET SEMINAR DIGESTnull. 2012, 12-21, http://ir.iscas.ac.cn/handle/311060/15796.
[38] Yang Qiusong, Zhang Bei, Zhai Jian, Li Mingshu. Attacking the dimensionality problem of parameterized systems via bounded reachability graphs. LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS)null. 2012, 221-235, http://ir.iscas.ac.cn/handle/311060/15732.
[39] Li Qi, Yang Ye, Li Mingshu, Wang Qing, Boehm Barry W, Hu Chenyong. Improving software testing process: feature prioritization to make winners of success-critical stakeholders. JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION[J]. 2012, 12(6): http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000309908900005&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=3a85505900f77cc629623c3f2907beab.
[40] 杜晶, 杨叶, 王青, 李明树. 基于证据的可信软件过程评估方法. 计算机科学与探索[J]. 2011, 5(6): 501-512, http://lib.cqvip.com/Qikan/Article/Detail?id=38061274.
[41] 翟健, 杨秋松, 肖俊超, 李明树. 一种形式化的组件化软件过程建模方法. JOURNAL OF SOFTWARE[J]. 2011, 22(1): 1-16, http://lib.cqvip.com/Qikan/Article/Detail?id=36367776.
[42] Liu Kuien, Ding Zhiming, Li Mingshu, Deng Ke, Zhou Xiaofang. Pattern-based moving object tracking. TDMA'11 - PROCEEDINGS OF THE 2011 INTERNATIONAL WORKSHOP ON TRAJECTORY DATA MINING AND ANALYSISnull. 2011, 5-14, http://ir.iscas.ac.cn/handle/311060/16210.
[43] 翟健, 杨秋松, 肖俊超, 李明树. 一种形式化的组件化软件过程建模方法. JOURNAL OF SOFTWARE[J]. 2011, 22(1): 1-16, http://lib.cqvip.com/Qikan/Article/Detail?id=36367776.
[44] 李明树. 一种参数化系统边界验证的切断方法. Proc. of ICSE. 2010, [45] Xiao Junchao, Osterweil Leon J, Wang Qing, Li Mingshu, Rosenblum DS, Taentzer G. Dynamic Resource Scheduling in Disruption-Prone Software Development Environments. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGSnull. 2010, 6013: 107-+, [46] He, Mei, Zhang, He, Yang, Ye, Wang, Qing, Li, Mingshu, Babar, MA, Vierimaa, M, Oivo, M. Understanding the Influential Factors to Development Effort in Chinese Software Industry. PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENTnull. 2010, 6156: 306-+, [47] Du, Jing, Yang, Ye, Lin, Zhongpeng, Wang, Qing, Li, Mingshu, Yuan, Feng, Han, J, Thu, TD. A Case Study on Usage of a Software Process Management Tool in China. 17TH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2010)null. 2010, 443-452, [48] 李明树. 改进软件测试过程: 通过功能优先级排序满足重要涉众的赢条件. Journal of Software Maintenance and Evolution: Research and Practice. 2010, [49] Xiao Junchao, Wang Qing, Li Mingshu, Yang Qiusong, Xie Lizi, Liu Dapeng, Wang Q, Garousi V, Madachy R, Pfahl D. Value-Based Multiple Software Projects Scheduling with Genetic Algorithm. TRUSTWORTHY SOFTWARE DEVELOPMENT PROCESSES, PROCEEDINGSnull. 2009, 5543: 50-62, [50] 李引, 李娟, 李明树. 动态需求跟踪方法及跟踪精度问题研究. 软件学报[J]. 2009, 177-192, http://lib.cqvip.com/Qikan/Article/Detail?id=29412546.
[51] 杨秋松, 李明树. 参数化系统安全性的启发式符号验证. 软件学报[J]. 2009, 1444-1456, http://lib.cqvip.com/Qikan/Article/Detail?id=30626096.
[52] Zhai Jian, Yang Qiusong, Yang Ye, Xiao Junchao, Wang Qing, Li Mingshu, Berkling K, Joseph M, Meyer B, Nordio M. Automated Process Quality Assurance for Distributed Software Development. SOFTWARE ENGINEERING APPROACHES FOR OFFSHORE AND OUTSOURCED DEVELOPMENTnull. 2009, 16: 196-210, [53] 李明树. 基于BiDefect模型的迭代开发量化缺陷管理. Journal of Software Process: Improvement and Practice. 2009, [54] Wu Shujian, Li Mingshu, Yang Ye, Wang Q, Zhang XD, Xu B, Wu BC. A Dynamic Model to Handle Defect-Oriented Processes. PROCEEDINGS OF 2009 CONFERENCE ON SYSTEMS SCIENCE, MANAGEMENT SCIENCE & SYSTEM DYNAMICS, VOL 7null. 2009, 187-193, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000273869400033.
[55] 李明树, 杨秋松, 翟健. 软件过程建模方法研究. 软件学报[J]. 2009, 524-545, http://lib.cqvip.com/Qikan/Article/Detail?id=29684968.
[56] Dong Fei, Li Mingshu, Li Juan, Yang Ye, Wang Qing, IEEE. Effect of Staffing Pattern on Software Project: An Empirical Analysis. ESEM: 2009 3RD INTERNATIONAL SYMPOSIUM ON EMPIRICAL SOFTWARE ENGINEERING AND MEASUREMENTnull. 2009, 23-33, [57] Liu Xiao, Yang Yun, Chen Jinjun, Wang Qing, Li Mingshu, Wang Q, Garousi V, Madachy R, Pfahl D. Achieving On-Time Delivery: A Two-Stage Probabilistic Scheduling Strategy for Software Projects. TRUSTWORTHY SOFTWARE DEVELOPMENT PROCESSES, PROCEEDINGSnull. 2009, 5543: 317-+, [58] Zhai Jian, Yang Qiusong, Su Feng, Xiao Junchao, Wang Qing, Li Mingshu, Wang Q, Garousi V, Madachy R, Pfahl D. Stochastic Process Algebra Based Software Process Simulation Modeling. TRUSTWORTHY SOFTWARE DEVELOPMENT PROCESSES, PROCEEDINGSnull. 2009, 5543: 136-+, [59] Gou Lang, Wang Qing, Yuan Jun, Yang Ye, Li Mingshu, Jiang Nan, Wang Q, Pfahl D, Raffo DM. Quantitatively managing defects for iterative projects: An industrial experience report in China. MAKING GLOBALLY DISTRIBUTED SOFTWARE DEVELOPMENT A SUCCESS STORYnull. 2008, 5007: 369-+, [60] Li, Qi, Wang, Qing, Yang, Ye, Li, Mingshu, ACM. Reducing Biases in Individual Software Effort Estimations: A Combining Approach. ESEM'08: PROCEEDINGS OF THE 2008 ACM-IEEE INTERNATIONAL SYMPOSIUM ON EMPIRICAL SOFTWARE ENGINEERING AND MEASUREMENTnull. 2008, 223-232, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000266371500025.
[61] Xiao Junchao, Wang Qing, Li Mingshu, Yang Ye, Zhang Fan, Xie Lizi, IEEE. A Constraint-Driven Human Resource Scheduling Method in Software Development and Maintenance Process. 2008 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCEnull. 2008, 17-26, [62] Yang Ye, Li Qi, Li Mingshu, Wang Qing, IEEE. An Empirical Analysis on Distribution Patterns of Software Maintenance Effort. 2008 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCEnull. 2008, 456-459, [63] Yang Da, Wang Qing, Li Mingshu, Yang Ye, Ye Kai, Du Jing, ACM. A Survey on Software Cost Estimation in the Chinese Software Industry. ESEM'08: PROCEEDINGS OF THE 2008 ACM-IEEE INTERNATIONAL SYMPOSIUM ON EMPIRICAL SOFTWARE ENGINEERING AND MEASUREMENTnull. 2008, 253-262, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000266371500028.
[64] He Mei, Li Mingshu, Wang Qing, Yang Ye, Ye Kai, Wang Q, Pfahl D, Raffo DM. An investigation of software development productivity in China. MAKING GLOBALLY DISTRIBUTED SOFTWARE DEVELOPMENT A SUCCESS STORYnull. 2008, 5007: 381-394, [65] 唐磊, 淮晓永, 李明树. 一种基于上下文协商的动态服务组合方法. 计算机研究与发展[J]. 2008, 45(11): 1902-1910, http://lib.cqvip.com/Qikan/Article/Detail?id=28688313.
[66] 王青, 伍书剑, 李明树. 软件缺陷预测技术. 软件学报[J]. 2008, 19(7): 1565-1580, http://lib.cqvip.com/Qikan/Article/Detail?id=27587618.
[67] 肖俊超, 王青, 李明树, 张镭, 刘大鹏. 一种基于组织实体能力的软件过程建模方法. 软件学报[J]. 2008, 19(3): 533-544, http://lib.cqvip.com/Qikan/Article/Detail?id=26611490.
[68] Dong Fei, Li Mingshu, Zhao Yuzhu, Li Juan, Yang Ye, Wang Q, Pfahl D, Raffo DM. Software multi-project resource scheduling: A comparative analysis. MAKING GLOBALLY DISTRIBUTED SOFTWARE DEVELOPMENT A SUCCESS STORYnull. 2008, 5007: 63-75, [69] He Mei, Yang Ye, Wang Qing, Li Mingshu. An Investigation on Performance of Software Enhancement Projects in China. APSEC 2008:15TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGSnull. 2008, 67-74, [70] 陈伟, 薛云志, 赵琛, 李明树. 一种基于时间自动机的实时系统测试方法. 软件学报[J]. 2007, 18(1): 62-73, http://lib.cqvip.com/Qikan/Article/Detail?id=23680168.
[71] Dai Jian, Wang Qing, Li Mingshu, Xiao Junchao, Liu Dapeng, Wasif M, Ruan Li, IEEE Comp Soc. A simulation-based approach for fine-grained project plan analysis. ICNC 2007: THIRD INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, VOL 4, PROCEEDINGSnull. 2007, 579-+, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000250427900107.
[72] 袁峰, 李明树. 基于SPEM2XPDL模型转换的软件过程执行. 软件学报[J]. 2007, 18(9): 2141-2152, http://lib.cqvip.com/Qikan/Article/Detail?id=25322539.
[73] 袁峰, 李明树. 基于MDA的TRISO-Model模型管理方法及应用. 软件学报[J]. 2007, 18(7): 1612-1625, http://lib.cqvip.com/Qikan/Article/Detail?id=24884669.
[74] 李明树, 何梅, 杨达, 舒风笛, 王青. 软件成本估算方法及应用. 软件学报[J]. 2007, 18(4): 775-795, http://lib.cqvip.com/Qikan/Article/Detail?id=24253857.
[75] Li Juan, Jiang Nan, Li Mingshu, Wang Qing, Yang Yanwu. Tracking projects through a three-dimensional software development model. COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL I, PROCEEDINGSnull. 2007, 301-+, [76] 舒风笛, 赵玉柱, 王继喆, 李明树. 个性化领域知识支持的用户主导需求获取方法. 计算机研究与发展[J]. 2007, 44(6): 1044-1052, http://lib.cqvip.com/Qikan/Article/Detail?id=24672335.
[77] 唐磊, 廖渊, 李明树, 淮晓永. 面向普适计算的服务构件动态部署问题及算法. 计算机研究与发展[J]. 2007, 44(5): 815-822, http://lib.cqvip.com/Qikan/Article/Detail?id=24418807.
[78] Yang Qiusong, Li Mingshu, Wang Qing, Yang Guowei, Zhai Jian, Li Juan, Hou Lishan, Yang Yun, Wang Q, Pfanl D. An algebraic approach for managing inconsistencies in software processes. SOFTWARE PROCESS DYNAMICS AND AGILITY, PROCEEDINGSnull. 2007, 4470: 121-+, [79] 王继喆, 李明树. 一个三维需求模型及其对涉众协同的支持. 软件学报[J]. 2007, 18(10): 2380-2392, http://lib.cqvip.com/Qikan/Article/Detail?id=25591475.
[80] Wang Qing, Gou Lang, Jiang Nan, Che Meiru, Zhang Ronghui, Yang Yun, Li Mingshu, Wang Q, Pfanl D. An empirical study on establishing quantitative management model for testing process. SOFTWARE PROCESS DYNAMICS AND AGILITY, PROCEEDINGSnull. 2007, 4470: 233-+, [81] 赵欣培, 李明树, 陈振冲, 王青. 一种基于协商的软件过程协同方法. 计算机研究与发展[J]. 2006, 43(2): 314-320, http://lib.cqvip.com/Qikan/Article/Detail?id=21241999.
[82] 李娟, 袁峰, 李明树, 王青. 一种基于模型融合的CMM实施过程建模方法. 计算机学报[J]. 2006, 29(1): 54-65, http://lib.cqvip.com/Qikan/Article/Detail?id=21072972.
[83] 王保进, 李明树, 王志刚. 静态实时中间件的优先级映射问题. 计算机研究与发展[J]. 2006, 43(4): 722-728, http://lib.cqvip.com/Qikan/Article/Detail?id=21629290.
[84] Li, Mingshu, Wang, Q, Pfahl, D, Raffo, DM, Wernick, P. Assessing 3-D integrated software development processes: A new benchmark. SOFTWARE PROCESS CHANGE[J]. 2006, 3966: 15-38, https://www.webofscience.com/wos/woscc/full-record/WOS:000238107800003.
[85] Mingshu Li, Barry W Boehm, Leon J Osterweil. Unifying the Software Process Spectrum. 软件学报[J]. 2006, 17(4): 649-657, http://lib.cqvip.com/Qikan/Article/Detail?id=21520780.
[86] Wang, Qing, Xiao, Junchao, Li, Mingshu, Nisar, M Wasif, Yuan, Rong, Zhang, Lei, Wang, Q, Pfahl, D, Raffo, DM, Wernick, P. A process-agent construction method for software process modeling in SoftPM. SOFTWARE PROCESS CHANGE[J]. 2006, 3966: 204-213, http://www.corc.org.cn/handle/1471x/2378500.
[87] 黄蒙, 舒风笛, 李明树. 一种风险驱动的迭代开发需求优先级排序方法. 软件学报[J]. 2006, 17(12): 2450-2460, [88] 武占春, 王青, 李明树. 一种基于PDCA的软件过程控制与改进模型. 软件学报[J]. 2006, 17(8): 1669-1680, http://lib.cqvip.com/Qikan/Article/Detail?id=22590171.
[89] 王保进, 李明树, 王志刚. 优先级有限时的单处理器静态优先级调度. 软件学报[J]. 2006, 17(3): 602-610, http://lib.cqvip.com/Qikan/Article/Detail?id=21308483.
[90] 廖渊, 淮晓永, 李明树. QuCOM:一种面向构件系统的QoS管理模型. 计算机研究与发展[J]. 2005, 42(10): 1802-1808, http://lib.cqvip.com/Qikan/Article/Detail?id=20258810.
[91] 王青, 李明树, 刘霞. 一种支持软件过程控制和改进的主动度量模型. 软件学报[J]. 2005, 16(3): 407-418, http://lib.cqvip.com/Qikan/Article/Detail?id=15052084.
[92] 张晓刚, 李明树. 基于工作流的知识流建模与控制. 软件学报[J]. 2005, 16(2): 184-193, http://lib.cqvip.com/Qikan/Article/Detail?id=12025522.
[93] 廖渊, 唐磊, 李明树. 一种基于QoS的服务构件组合方法. 计算机学报[J]. 2005, 28(4): 627-634, http://lib.cqvip.com/Qikan/Article/Detail?id=15432878.
[94] 刘霞, 李明树, 王青, 周津慧. 软件体系结构分析与评价方法评述. 计算机研究与发展[J]. 2005, 42(7): 1247-1254, http://lib.cqvip.com/Qikan/Article/Detail?id=16072942.
[95] 李娟, 李明树, 武占春, 王青. 基于SPEM的CMM软件过程元模型. 软件学报[J]. 2005, 16(8): 1366-1377, http://lib.cqvip.com/Qikan/Article/Detail?id=18056569.
[96] 赵欣培, 李明树, 王青, 陈振冲, 梁金能. 一种基于Agent的自适应软件过程模型. 软件学报[J]. 2004, 15(3): 348-359, http://lib.cqvip.com/Qikan/Article/Detail?id=9325397.
[97] 李润博, 李明树. 基于状态机的UML行为继承关系. 计算机科学[J]. 2004, 31(1): 16-19, http://lib.cqvip.com/Qikan/Article/Detail?id=9037401.
[98] 邹勇, 淮晓永, 李明树. 开放式实时系统中的自适应调度方法. 计算机学报[J]. 2004, 27(1): 58-65, http://lib.cqvip.com/Qikan/Article/Detail?id=9017614.
[99] 淮晓永, 邹勇, 李明树. 一种开放混合实时系统的开放自适应调度算法. 软件学报[J]. 2004, 15(4): 487-496, http://lib.cqvip.com/Qikan/Article/Detail?id=9392752.
[100] 张晓刚, 李雄锋, 陈晋川, 李明树. 一个面向软件过程的知识挖掘与管理系统. 计算机科学[J]. 2004, 31(6): 159-163, http://lib.cqvip.com/Qikan/Article/Detail?id=10707149.
[101] 童立靖, 淮晓永, 李明树. 一种基于PID反馈控制的分时调度算法. 计算机研究与发展[J]. 2004, 41(1): 15-21, http://lib.cqvip.com/Qikan/Article/Detail?id=8996085.
[102] 梁晟, 付弘宇, 李明树. 语义Web规则标记语言OWLRule+的设计与实现. 计算机研究与发展[J]. 2004, 41(7): 1088-1096, http://lib.cqvip.com/Qikan/Article/Detail?id=10343442.
[103] 陈晋川, 张晓刚, 王青, 李明树. 基于CoP建模的协作过滤推荐方法. 计算机工程与设计[J]. 2004, 25(12): 2151-2153, http://lib.cqvip.com/Qikan/Article/Detail?id=12019559.
[104] 李润博, 王青, 李明树. 基于邮件预取策略的嵌入式邮件客户端设计与实现. 计算机工程与应用[J]. 2004, 40(3): 160-163, http://lib.cqvip.com/Qikan/Article/Detail?id=9063861.
[105] 王保进, 王志刚, 李明树. 一种用于软件通信体系结构的构件模型. 计算机工程与应用[J]. 2004, 40(31): 25-28, http://lib.cqvip.com/Qikan/Article/Detail?id=10861791.
[106] 舒风笛, 毋国庆, 李明树. 面向嵌入式实时软件的需求规约语言及检测方法. 软件学报[J]. 2004, 15(11): 1595-1606, http://lib.cqvip.com/Qikan/Article/Detail?id=10859329.
[107] 梁晟, 李明树, 梁金能, 陈振冲. 一种模拟驱动的Web应用程序性能测试方法. 计算机研究与发展[J]. 2003, 40(7): 1069-1075, http://lib.cqvip.com/Qikan/Article/Detail?id=8102576.
[108] 廖渊, 王保进, 李明树, 王青. 智能应用服务协议iASP的设计与实现. 计算机工程与设计[J]. 2003, 24(12): 13-17, http://lib.cqvip.com/Qikan/Article/Detail?id=8818639.
[109] 王青, 李明树. 基于SPC的软件需求度量方法. 计算机学报[J]. 2003, 26(10): 1312-1317, http://lib.cqvip.com/Qikan/Article/Detail?id=8608610.
[110] 邹勇, 李明树. 开放式实时环境中的集成调度框架. 计算机研究与发展[J]. 2003, 40(6): 831-837, http://lib.cqvip.com/Qikan/Article/Detail?id=7981050.
[111] 王青, 邹勇, 舒国强, 淮晓永, 李明树. 支持SAR系统高分辨率实时成像的实时系统解决方案. 计算机研究与发展[J]. 2003, 40(1): 39-46, http://lib.cqvip.com/Qikan/Article/Detail?id=7384590.
[112] 邹勇, 李明树, 王青. 开放式实时系统的调度理论与方法分析. 软件学报[J]. 2003, 14(1): 83-90, http://lib.cqvip.com/Qikan/Article/Detail?id=7277915.
[113] 董斐, 张晓刚, 李雄锋, 李明树. 基于知识管理的个性化服务机制研究. 计算机工程与应用[J]. 2003, 39(10): 67-69, http://lib.cqvip.com/Qikan/Article/Detail?id=7683261.
[114] 廖渊, 李明树, 王青. 基于Linux的网络计算机服务器的设计与实现. 计算机工程与应用[J]. 2003, 39(14): 12-16, http://lib.cqvip.com/Qikan/Article/Detail?id=7782372.
[115] 童立靖, 张津诗, 李明树. 有线普适视频的分子化模型研究. 计算机研究与发展[J]. 2003, 40(8): 1265-1270, http://lib.cqvip.com/Qikan/Article/Detail?id=8221117.
[116] 邹勇, 李明树, 王青. 一种机载DSP系统主控机的实时计算模型. 计算机研究与发展[J]. 2003, 40(1): 47-52, http://lib.cqvip.com/Qikan/Article/Detail?id=7384591.
[117] 舒国强, 王青, 李明树. 基于RTLinux构建机载SAR实时成像处理器嵌入式控制系统. 计算机研究与发展[J]. 2003, 40(1): 33-38, http://lib.cqvip.com/Qikan/Article/Detail?id=7384589.
[118] 王保进, 李明树, 王志刚. Alpha OSEK:一个基于OSEK/VDX标准实现的嵌入式实时操作系统. 计算机工程与应用[J]. 2003, 39(36): 118-120, http://lib.cqvip.com/Qikan/Article/Detail?id=8909671.
[119] 梁晟, 李明树, 梁金能, 陈振冲. Web应用程序运行响应时间的实验研究. 计算机研究与发展[J]. 2003, 40(7): 1076-1080, http://lib.cqvip.com/Qikan/Article/Detail?id=8102577.
[120] 杨柳, 李明树. 内部质量体系审核与软件过程改进. 微电子学与计算机[J]. 2003, 20(9): 34-38, http://lib.cqvip.com/Qikan/Article/Detail?id=8384206.
[121] 李明树. 关于软件产业价值链的思考. 软件世界[J]. 2003, 89-89, http://lib.cqvip.com/Qikan/Article/Detail?id=8467930.
[122] 李明树, 王青. 基于过程控制的软件质量管理. 电子学报[J]. 2002, 30(12A): 2032-2035, http://lib.cqvip.com/Qikan/Article/Detail?id=7460622.
[123] 杨柳, 李明树. 引入CMM的软件企业内部质量体系审核. 微电子学与计算机[J]. 2002, 19(11): 48-51, http://lib.cqvip.com/Qikan/Article/Detail?id=7137992.
[124] 廖渊, 李明树. 基于嵌入式Linux的网络电视终端的实时性开发及HTML控制方法. 计算机工程与应用[J]. 2002, 38(13): 210-213, http://www.wanfangdata.com.cn/details/detail.do?_type=perio&id=jsjgcyyy200213071.
[125] 马波, 李明树, 张津师. 一种基于Jini技术的分布式浏览器的设计和实现. 共创软件[J]. 2002, 45-50, http://lib.cqvip.com/Qikan/Article/Detail?id=12015184.
[126] 廖渊, 李明树. 基于嵌入式Linux的网络电视终端的实时性开发及HMTL控制方法. 计算机工程与应用[J]. 2002, 38(13): 210-213, http://lib.cqvip.com/Qikan/Article/Detail?id=6335734.
[127] 童立靖, 张津诗, 李明树. MHNA:一种基于分子化服务的家庭网络体系结构模型. 计算机工程与应用[J]. 2002, 38(18): 138-141, http://lib.cqvip.com/Qikan/Article/Detail?id=6895919.
[128] 邹勇, 王青, 李明树. Linux内核的实时支持的研究与实现. 计算机研究与发展[J]. 2002, 39(4): 466-472, http://lib.cqvip.com/Qikan/Article/Detail?id=6152606.
[129] 孙晋文, 李明树, 鄂卓茂. 基于Agent的智能交通体系及仿真. 计算机仿真[J]. 2002, 19(3): 46-49, http://lib.cqvip.com/Qikan/Article/Detail?id=6463925.
[130] 孙晋文, 李明树, 鄂卓茂. 智能交通仿真与车辆Agent决策策略的研究. 计算机工程与应用[J]. 2002, 38(8): 246-247, http://lib.cqvip.com/Qikan/Article/Detail?id=6108241.
[131] 刘霞, 李怀璋, 王青, 李明树. 基于ISO9000和CMMs的需求开发和需求管理平台框架的研究. 微电子学与计算机[J]. 2002, 19(2): 50-54, http://lib.cqvip.com/Qikan/Article/Detail?id=6092196.
[132] 廖渊, 李明树. 基于嵌入式环境的电视节目单系统机顶盒部分的设计与实现. 计算机系统应用[J]. 2001, 8-11, http://lib.cqvip.com/Qikan/Article/Detail?id=5470097.
[133] 孙岩, 李明树. 虚拟硬件方法实现基于Intel StrongARM SA—1110平台的Linux APM. 计算机工程与应用[J]. 2001, 37(17): 1-3, http://lib.cqvip.com/Qikan/Article/Detail?id=5417221.
[134] 张晓刚, 李明树. 智能搜索引擎技术的研究与发展. 计算机工程与应用[J]. 2001, 37(24): 67-70, http://lib.cqvip.com/Qikan/Article/Detail?id=5678276.
[135] 李怀璋, 李明树. 基于ISO9000和CMM的软件配置管理系统的研究. 计算机科学[J]. 2001, 28(12): 78-80, http://lib.cqvip.com/Qikan/Article/Detail?id=5938598.
[136] 孙晋文, 李明树. 软件开发:从面向对象与Agent技术. 计算机与现代化[J]. 2000, 30-32, http://lib.cqvip.com/Qikan/Article/Detail?id=4411777.
[137] 李明树. 一种用户主导的面向领域应用软件开发新方法. 软件学报[J]. 2000, 11(7): 863-870, http://lib.cqvip.com/Qikan/Article/Detail?id=4694707.
[138] 李明树. 一种用户主导的面向领域应用软件开发新方法(英文). 软件学报. 2000, 11(7): 863-, http://sciencechina.cn/gw.jsp?action=detail.jsp&internal_id=727013&detailType=1.
[139] 李明树, 王青. 需求工程研究现状. 中国经济和信息化[J]. 1999, 27-28, http://lib.cqvip.com/Qikan/Article/Detail?id=4000810308.
[140] 卢梅, 李明树. 软件需求工程——方法及工具评述. 计算机研究与发展[J]. 1999, 36(11): 1289-1300, http://lib.cqvip.com/Qikan/Article/Detail?id=3747366.

科研活动

   
科研项目
( 1 ) 高速列车网络控制系统, 主持, 国家级, 2009-01--2012-12
( 2 ) 开源操作系统内核分析和安全性评估, 主持, 国家级, 2012-01--2015-12
( 3 ) 安全可靠桌面计算机操作系统, 参与, 国家级, 2014-01--2019-12
( 4 ) 关键软硬件系统安全性分析评估核心技术研发及验证/软硬件系统协同安全体系, 主持, 部委级, 2018-07--2019-06
( 5 ) 应用兼容与微结构性能增强关键技术, 主持, 部委级, 2020-01--2021-12