default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMingshu Li 0001
Person information
- affiliation: Chinese Academy of Sciences, Institute of Software, Laboratory for Internet Software Technologies, Beijing, China
Other persons with the same name
- Mingshu Li — disambiguation page
- Mingshu Li 0002 — Southeast University, Nanjing, China
- Mingshu Li 0003 — Beijing University of Aeronautics and Astronautics, Department of Mathematics & LMIB, Beijing, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c86]Xiaoni Meng, Qiusong Yang, Yiwei Ci, Pei Zhao, Shan Zhao, Mingshu Li:
Execute on Clear (EoC): Enhancing Security for Unsafe Speculative Instructions by Precise Identification and Safe Execution. ICCD 2023: 587-595- 2022
- [c85]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. ICCD 2022: 80-88 - 2021
- [c84]Shizhi Jiang, Yiwei Ci, Qiusong Yang, Mingshu Li:
Matryoshka: A Coalesced Delta Sequence Prefetcher. ICPP 2021: 5:1-5:11 - 2020
- [j18]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. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2020(1): 321-347 (2020) - [c83]Tianlin Huo, Wenhao Wang, Pei Zhao, Yufeng Li
, Tingting Wang, Mingshu Li:
TEADS: A Defense-aware Framework for Synthesizing Transient Execution Attacks. TrustCom 2020: 320-327
2010 – 2019
- 2017
- [j17]Heng Zhang, Chunliang Hao, Yanjun Wu, Mingshu Li:
Towards a scalable and energy-efficient resource manager for coupling cluster computing with distributed embedded computing. Clust. Comput. 20(4): 3707-3720 (2017) - [c82]Chunliang Hao, Jie Shen, Celia Chen, Heng Zhang, Yanjun Wu, Mingshu Li:
PCSsampler: Sample-based, Private-state Cluster Scheduling. CCGrid 2017: 599-608 - [c81]Qiang Cui, Junjie Wang, Guowei Yang, Miao Xie, Qing Wang, Mingshu Li:
Who Should Be Selected to Perform a Task in Crowdsourced Testing? COMPSAC (1) 2017: 75-84 - [c80]Miao Xie, Qing Wang, Qiang Cui, Guowei Yang, Mingshu Li:
CQM: coverage-constrained quality maximization in crowdsourcing test. ICSE (Companion Volume) 2017: 192-194 - [c79]Miao Xie, Qing Wang, Guowei Yang, Mingshu Li:
COCOON: Crowdsourced Testing Quality Maximization Under Context Coverage Constraint. ISSRE 2017: 316-327 - [c78]Qiang Cui, Song Wang, Junjie Wang, Yuanzhe Hu, Qing Wang, Mingshu Li:
Multi-Objective Crowd Worker Selection in Crowdsourced Testing. SEKE 2017: 218-223 - [c77]Chunliang Hao, Celia Chen, Jie Shen, Mingshu Li, Barry W. Boehm:
Enhancing sample-based scheduler with collaborate-state in big data cluster. SEKE 2017: 477-480 - 2016
- [j16]Jie Chen, Junchao Xiao, Qing Wang, Leon J. Osterweil, Mingshu Li:
Perspectives on refactoring planning and practice: an empirical study. Empir. Softw. Eng. 21(3): 1397-1436 (2016) - [c76]Chunliang Hao, Jie Shen, Heng Zhang, Yanjun Wu, Mingshu Li:
Tiresias: Low-Overhead Sample Based Scheduling with Task Hopping. CLUSTER 2016: 251-254 - [c75]Yan Sun, Qing Wang, Mingshu Li:
Understanding the Contribution of Non-source Documents in Improving Missing Link Recovery: An Empirical Study. ESEM 2016: 39:1-39:10 - [c74]Heng Zhang, Chunliang Hao, Yanjun Wu, Mingshu Li:
Macaca: A Scalable and Energy-Efficient Platform for Coupling Cloud Computing with Distributed Embedded Computing. IPDPS Workshops 2016: 1785-1788 - 2015
- [j15]Jie Chen, Xiwei Xu, Leon J. Osterweil, Liming Zhu, Yuriy Brun, Len Bass, Junchao Xiao, Mingshu Li, Qing Wang:
Using simulation to evaluate error detection strategies: A case study of cloud-based deployment processes. J. Syst. Softw. 110: 205-221 (2015) - [c73]Mei Li, Xu Gao, Yanjun Wu, Chen Zhao, Mingshu Li:
Characterizing the spatio-temporal burstiness of storage workloads. CloudDP@EuroSys 2015: 2:1-2:6 - [c72]Chunliang Hao, Jie Shen, Heng Zhang, Xiao Zhang, Yanjun Wu, Mingshu Li:
Sparkle: adaptive sample based scheduling for cluster computing. CloudDP@EuroSys 2015: 5:1-5:6 - 2014
- [j14]He Zhang, Juan Li, Liming Zhu, D. Ross Jeffery, Yan Liu, Qing Wang, Mingshu Li:
Investigating dependencies in software requirements for change propagation analysis. Inf. Softw. Technol. 56(1): 40-53 (2014) - [c71]Jie Chen, Junchao Xiao, Qing Wang, Leon J. Osterweil, Mingshu Li:
Refactoring planning and practice in agile software development: an empirical study. ICSSP 2014: 55-64 - 2013
- [j13]Kuien Liu, Jiajie Xu, Longfei Zhang, Zhiming Ding, Mingshu Li:
Discovering hot topics from geo-tagged video. Neurocomputing 105: 90-99 (2013) - [c70]Ke Mao, Ye Yang, Mingshu Li, Mark Harman:
Pricing crowdsourcing-based software development tasks. ICSE 2013: 1205-1208 - [c69]Junchao Xiao, Leon J. Osterweil, Jie Chen, Qing Wang, Mingshu Li:
Search based risk mitigation planning in project portfolio management. ICSSP 2013: 146-155 - [c68]Lin Shi, Qing Wang, Mingshu Li:
Learning from evolution history to predict future requirement changes. RE 2013: 135-144 - [c67]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? RE 2013: 185-194 - 2012
- [j12]Zhimin He, Fengdi Shu, Ye Yang, Mingshu Li, Qing Wang:
An investigation on the feasibility of cross-project defect prediction. Autom. Softw. Eng. 19(2): 167-199 (2012) - [j11]Qi Li, Ye Yang, Mingshu Li, Qing Wang, Barry W. Boehm, Chenyong Hu:
Improving software testing process: feature prioritization to make winners of success-critical stakeholders. J. Softw. Evol. Process. 24(7): 783-801 (2012) - [c66]Juan Li, He Zhang, Liming Zhu, D. Ross Jeffery, Qing Wang, Mingshu Li:
Preliminary results of a systematic review on requirements evolution. EASE 2012: 12-21 - [c65]Juan Li, Liming Zhu, D. Ross Jeffery, Yan Liu, He Zhang, Qing Wang, Mingshu Li:
An initial evaluation of requirements dependency types in change propagation analysis. EASE 2012: 62-71 - [c64]Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli, Mingshu Li:
Assumption Generation for Asynchronous Systems by Abstraction Refinement. FACS 2012: 260-276 - 2011
- [c63]Lin Shi, Hao Zhong, Tao Xie, Mingshu Li:
An Empirical Study on Evolution of API Documentation. FASE 2011: 416-431 - [c62]Qiusong Yang, Bei Zhang, Jian Zhai, Mingshu Li:
Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs. FSEN 2011: 221-235 - [c61]Yanbin Liu, Ye Yang, Qiusong Yang, Mingshu Li:
DRiVeR: Diagnosing Runtime Property Violations Based on Dependency Rules. SSIRI (Companion) 2011: 194-201 - 2010
- [c60]Jing Du, Ye Yang, Zhongpeng Lin, Qing Wang, Mingshu Li, Feng Yuan:
A Case Study on Usage of a Software Process Management Tool in China. APSEC 2010: 443-452 - [c59]Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingshu Li:
Dynamic Resource Scheduling in Disruption-Prone Software Development Environments. FASE 2010: 107-122 - [c58]Qiusong Yang, Mingshu Li:
A cut-off approach for bounded verification of parameterized systems. ICSE (1) 2010: 345-354 - [c57]Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingshu Li:
Disruption-Driven Resource Rescheduling in Software Development Processes. ICSP 2010: 234-247 - [c56]Mei He, He Zhang, Ye Yang, Qing Wang, Mingshu Li:
Understanding the Influential Factors to Development Effort in Chinese Software Industry. PROFES 2010: 306-320
2000 – 2009
- 2009
- [j10]Kuien Liu, Ke Deng, Zhiming Ding, Mingshu Li, Xiaofang Zhou:
MOIR/MT: Monitoring Large-Scale Road Network Traffic in Real-Time. Proc. VLDB Endow. 2(2): 1538-1541 (2009) - [j9]Lang Gou, Qing Wang, Jun Yuan, Ye Yang, Mingshu Li, Nan Jiang:
Quantitative defects management in iterative development with BiDefect. Softw. Process. Improv. Pract. 14(4): 227-241 (2009) - [c55]Fei Dong, Mingshu Li, Juan Li, Ye Yang, Qing Wang:
Effect of staffing pattern on software project: An empirical analysis. ESEM 2009: 23-33 - [c54]Junchao Xiao, Qing Wang, Mingshu Li, Qiusong Yang, Lizi Xie, Dapeng Liu:
Value-Based Multiple Software Projects Scheduling with Genetic Algorithm. ICSP 2009: 50-62 - [c53]Jian Zhai, Qiusong Yang, Feng Su, Junchao Xiao, Qing Wang, Mingshu Li:
Stochastic Process Algebra Based Software Process Simulation Modeling. ICSP 2009: 136-147 - [c52]Qi Li, Mingshu Li, Ye Yang, Qing Wang, Thomas Tan, Barry W. Boehm, Chenyong Hu:
Bridge the Gap between Software Test Process and Business Value: A Case Study. ICSP 2009: 212-223 - [c51]Xiao Liu, Yun Yang, Jinjun Chen, Qing Wang, Mingshu Li:
Achieving On-Time Delivery: A Two-Stage Probabilistic Scheduling Strategy for Software Projects. ICSP 2009: 317-329 - [c50]Ye Yang, Qing Wang, Mingshu Li:
Process Trustworthiness as a Capability Indicator for Measuring and Improving Software Trustworthiness. ICSP 2009: 389-401 - 2008
- [j8]Nao Li, Mingshu Li, Qing Wang, Shuanzhu Du:
A flexible negotiation model for an agent-based software process modelling. Int. J. Comput. Appl. Technol. 31(1/2): 64-73 (2008) - [j7]Qing Wang, Lang Gou, Nan Jiang, Meiru Che, Ronghui Zhang, Yun Yang, Mingshu Li:
Estimating fixing effort and schedule based on defect injection distribution. Softw. Process. Improv. Pract. 13(1): 35-50 (2008) - [c49]Mei He, Ye Yang, Qing Wang, Mingshu Li:
An Investigation on Performance of Software Enhancement Projects in China. APSEC 2008: 67-74 - [c48]Ye Yang, Mei He, Mingshu Li, Qing Wang, Barry W. Boehm:
Phase distribution of software development effort. ESEM 2008: 61-69 - [c47]Qi Li, Qing Wang, Ye Yang, Mingshu Li:
Reducing biases in individual software effort estimations: a combining approach. ESEM 2008: 223-232 - [c46]Da Yang, Qing Wang, Mingshu Li, Ye Yang, Kai Ye, Jing Du:
A survey on software cost estimation in the chinese software industry. ESEM 2008: 253-262 - [c45]Junchao Xiao, Qing Wang, Mingshu Li, Ye Yang, Fan Zhang, Lizi Xie:
A constraint-driven human resource scheduling method in software development and maintenance process. ICSM 2008: 17-26 - [c44]Ye Yang, Qi Li, Mingshu Li, Qing Wang:
An empirical analysis on distribution patterns of software maintenance effort. ICSM 2008: 456-459 - [c43]Mingshu Li:
An integrated solution for software process improvement. ICSM 2008: 472-473 - [c42]Thomas Tan, Mei He, Ye Yang, Qing Wang, Mingshu Li:
An Analysis to Understand Software Trustworthiness. ICYCS 2008: 2366-2371 - [c41]Fei Dong, Mingshu Li, Yuzhu Zhao, Juan Li, Ye Yang:
Software Multi-project Resource Scheduling: A Comparative Analysis. ICSP 2008: 63-75 - [c40]Yin Li, Juan Li, Ye Yang, Mingshu Li:
Requirement-Centric Traceability for Change Impact Analysis: A Case Study. ICSP 2008: 100-111 - [c39]Lang Gou, Qing Wang, Jun Yuan, Ye Yang, Mingshu Li, Nan Jiang:
Quantitatively Managing Defects for Iterative Projects: An Industrial Experience Report in China. ICSP 2008: 369-380 - [c38]Mei He, Mingshu Li, Qing Wang, Ye Yang, Kai Ye:
An Investigation of Software Development Productivity in China. ICSP 2008: 381-394 - [c37]Jian Zhai, Qiusong Yang, Ye Yang, Junchao Xiao, Qing Wang, Mingshu Li:
Automated Process Quality Assurance for Distributed Software Development. SEAFOOD 2008: 196-210 - [c36]Jian Dai, Junchao Xiao, Qing Wang, Mingshu Li, Huaizhang Li:
Dynamically Optimize Process Execution Based on Process-agent. SEKE 2008: 561-564 - 2007
- [j6]Mingshu Li:
TRISO-Model: A New Approach to Integrated Software Process Assessment and Improvement. Softw. Process. Improv. Pract. 12(5): 387-398 (2007) - [c35]Juan Li, Nan Jiang, Mingshu Li, Qing Wang, Yanwu Yang:
Tracking Projects through A Three-Dimensional Software Development Model. COMPSAC (1) 2007: 301-308 - [c34]Jian Dai, Qing Wang, Mingshu Li, Junchao Xiao, Dapeng Liu, M. Wasif, Li Ruan:
A Simulation-Based Approach for Fine-Grained Project Plan Analysis. ICNC (4) 2007: 579-584 - [c33]Da Yang, Barry W. Boehm, Ye Yang, Qing Wang, Mingshu Li:
Coping with the Cone of Uncertainty: An Empirical Study of the SAIV Process Model. ICSP 2007: 37-48 - [c32]Lei Zhang, Qing Wang, Junchao Xiao, Li Ruan, Lizi Xie, Mingshu Li:
A Tool to Create Process-Agents for OEC-SPM from Historical Project Data. ICSP 2007: 84-95 - [c31]Qiusong Yang, Mingshu Li, Qing Wang, Guowei Yang, Jian Zhai, Juan Li, Lishan Hou, Yun Yang:
An Algebraic Approach for Managing Inconsistencies in Software Processes, . ICSP 2007: 121-133 - [c30]Mei He, Ye Yang, Qing Wang, Mingshu Li:
Cost Estimation and Analysis for Government Contract Pricing in China. ICSP 2007: 134-146 - [c29]Nao Li, Qing Wang, Mingshu Li, Shuanzhu Du, Junchao Xiao:
A Multilateral Negotiation Method for Software Process Modeling. ICSP 2007: 147-158 - [c28]Li Ruan, Yongji Wang, Qing Wang, Mingshu Li, Yun Yang, Lizi Xie, Dapeng Liu, Haitao Zeng, Shen Zhang, Junchao Xiao, Lei Zhang, Muhammad Wasif Nisar, Jian Dai:
Empirical Study on Benchmarking Software Development Tasks. ICSP 2007: 221-232 - [c27]Qing Wang, Lang Gou, Nan Jiang, Meiru Che, Ronghui Zhang, Yun Yang, Mingshu Li:
An Empirical Study on Establishing Quantitative Management Model for Testing Process. ICSP 2007: 233-245 - 2006
- [c26]Mingshu Li, Meng Huang, Fengdi Shu, Juan Li:
A risk-driven method for eXtreme programming release planning. ICSE 2006: 423-430 - [c25]Qing Wang, Nan Jiang, Lang Gou, Xia Liu, Mingshu Li, Yongji Wang:
BSR: a statistic-based approach for establishing and refining software process performance baseline. ICSE 2006: 585-594 - [c24]Mingshu Li:
Assessing 3-D Integrated Software Development Processes: A New Benchmark. SPW/ProSim 2006: 15-38 - [c23]Mingshu Li, Qiusong Yang, Jian Zhai, Guowei Yang:
On Mobility of Software Processes. SPW/ProSim 2006: 105-114 - [c22]Da Yang, Yuxiang Wan, Zinan Tang, Shujian Wu, Mei He, Mingshu Li:
COCOMO-U: An Extension of COCOMO II for Cost Estimation with Uncertainty. SPW/ProSim 2006: 132-141 - [c21]Qing Wang, Junchao Xiao, Mingshu Li, Muhammad Wasif Nisar, Rong Yuan, Lei Zhang:
A Process-Agent Construction Method for Software Process Modeling in SoftPM. SPW/ProSim 2006: 204-213 - [c20]Nao Li, Mingshu Li, Qing Wang, Shuanzhu Du:
A Negotiation Model for the Process Agents in an Agent-Based Process-Centered Software Engineering Environment. SEKE 2006: 664-669 - [c19]Feng Yuan, Mingshu Li, Zhigang Wan:
SEM2XPDL: Towards SPEM Model Enactment. Software Engineering Research and Practice 2006: 240-245 - 2005
- [c18]Qing Wang, Mingshu Li:
Measuring and improving software process in China. ISESE 2005: 183-192 - [c17]Mingshu Li:
Expanding the Horizons of Software Development Processes: A 3-D Integrated Methodology. ISPW 2005: 54-67 - [c16]Qing Wang, Mingshu Li:
Software Process Management: Practices in China. ISPW 2005: 317-331 - [c15]Zhanchun Wu, David Christensen, Mingshu Li, Qing Wang:
A Survey of CMM/CMMI Implementation in China. ISPW 2005: 507-520 - [c14]Xinpei Zhao, Keith C. C. Chan, Mingshu Li:
Applying agent technology to software process modeling and process-centered software engineering environment. SAC 2005: 1529-1533 - [e1]Mingshu Li, Barry W. Boehm, Leon J. Osterweil:
Unifying the Software Process Spectrum, International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3840, Springer 2005, ISBN 3-540-31112-2 [contents] - 2004
- [j5]Ying Dong, Mingshu Li:
HyO-XTM: a set of hyper-graph operations on XML Topic Map toward knowledge management. Future Gener. Comput. Syst. 20(1): 81-100 (2004) - [j4]Ying Dong, Mingshu Li:
Mobile communications in China. Int. J. Mob. Commun. 2(4): 395-404 (2004) - [j3]Yongji Wang, Liu Han, Mingshu Li, Qing Wang, Jinhui Zhou, Matthew P. Cartmell:
A real-time path planning approach without the computation of Cspace obstacles. Robotica 22(2): 173-187 (2004) - [c13]Wenjie Li, Mingshu Li, Qing Wang, Yongji Wang:
VICOS: A Framework for Session Management in Network Computing Infrastructure. IEEE SCC 2004: 647-650 - [c12]Han Liu, Chao Li, Jizhe Wang, Qing Wang, Mingshu Li:
A User-Oriented Model-Driven Requirements Elicitation Process based on User Modeling. Computer Supported Acitivity Coordination 2004: 174-184 - [c11]Yuan Liao, Mingshu Li:
A QoS-aware Component-Based Middleware for Pervasive Computing. ICESS 2004: 229-235 - [c10]Juan Li, Mingshu Li, Zhanchun Wu, Qing Wang:
A Metamodel for the CMM Software Process. ISPA 2004: 446-450 - 2003
- [c9]Chao Li, Han Liu, Jizhe Wang, Qing Wang, Mingshu Li:
A Context-Aware User-Adaptive Supporting System for Goal-Oriented Requirements Elicitation Process. ICEIS (3) 2003: 347-356 - 2002
- [j2]Ying Dong, John Hallam, Mingshu Li:
On Constructing a Cooperative Paradigm. Appl. Artif. Intell. 16(3): 209-241 (2002) - [j1]Ying Dong, Mingshu Li, Meizhang Chen, Shengli Zheng:
Research on intellectual property right problems of peer-to-peer networks. Electron. Libr. 20(2): 143-150 (2002) - [c8]Ying Dong, Mingshu Li:
TEMPPLET: A New Method for Domain-Specific Ontology Design. EDCIS 2002: 90-103 - [c7]Guoqiang Shu, Chao Li, Qing Wang, Mingshu Li:
Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata. IEEE International Workshop on Rapid System Prototyping 2002: 99- - 2001
- [c6]Ying Dong, Mingshu Li:
A Risk-Driven Design Model for Embedded System. APAQS 2001: 204-210 - [c5]Chao Li, Han Li, Mingshu Li:
A Software Factory Model Based on ISO9000 and CMM for Chinese Small Organizations. APAQS 2001: 288-294 - [c4]Minzhe Zhao, Mingshu Li:
T.120/H.32x-based Multimedia Conferencing Desig. CSCWD 2001: 146-148 - [c3]Ying Dong, Mingshu Li:
Enterprise modeling on Internet. SMC 2001: 989-994 - [c2]Ying Dong, Mingshu Li:
Real-time communication mechanism for distributed objects in the MCPU-DFO model for Internet enterprise. SMC 2001: 1001-1006
1990 – 1999
- 1999
- [c1]Mei Lu, Xinpei Zhao, Mingshu Li:
Object-Oriented Requirements Modeling Based on UML. TOOLS (31) 1999: 133-
Coauthor Index
[c81] [c80] [c79] [c78] [j16] [c75] [j15] [j14] [c71] [c69] [c68] [c67] [j12] [j11] [c66] [c65] [c60] [c59] [c57] [c56] [j9] [c55] [c54] [c53] [c52] [c51] [c50] [j8] [j7] [c49] [c48] [c47] [c46] [c45] [c44] [c42] [c39] [c38] [c37] [c36] [c35] [c34] [c33] [c32] [c31] [c30] [c29] [c28] [c27] [c25] [c21] [c20] [c18] [c16] [c15] [j3] [c13] [c12] [c10] [c9] [c7]