Object-Oriented Requirements Modeling Based on UML. - Mei Lu; Xinpei Zhao; Mingshu Li 001 (TOOLS (31), 1999)

A Risk-Driven Design Model for Embedded System. - Ying Dong 002; Mingshu Li 001 (APAQS, 2001)

A Software Factory Model Based on ISO9000 and CMM for Chinese Small Organizations. - Chao Li; Han Li; Mingshu Li 001 (APAQS, 2001)

T.120/H.32x-based Multimedia Conferencing Desig. - Minzhe Zhao; Mingshu Li 001 (CSCWD, 2001)

Enterprise modeling on Internet. - Ying Dong 002; Mingshu Li 001 (SMC, 2001)

Real-time communication mechanism for distributed objects in the MCPU-DFO model for Internet enterprise. - Ying Dong 002; Mingshu Li 001 (SMC, 2001)

TEMPPLET: A New Method for Domain-Specific Ontology Design. - Ying Dong 002; Mingshu Li 001 (EDCIS, 2002)

Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata. - Guoqiang Shu; Chao Li; Qing Wang 001; Mingshu Li 001 (IEEE International Workshop on Rapid System Prototyping, 2002)

On Constructing a Cooperative Paradigm. - Ying Dong 002; John Hallam; Mingshu Li 001 (Appl. Artif. Intell., 2002)

Research on intellectual property right problems of peer-to-peer networks. - Ying Dong 002; Mingshu Li 001; Meizhang Chen; Shengli Zheng (Electron. Libr., 2002)

A Context-Aware User-Adaptive Supporting System for Goal-Oriented Requirements Elicitation Process. - Chao Li; Han Liu; Jizhe Wang; Qing Wang 001; Mingshu Li 001 (ICEIS (3), 2003)

VICOS: A Framework for Session Management in Network Computing Infrastructure. - Wenjie Li; Mingshu Li 001; Qing Wang 001; Yongji Wang 002 (IEEE SCC, 2004)

A User-Oriented Model-Driven Requirements Elicitation Process based on User Modeling. - Han Liu; Chao Li; Jizhe Wang; Qing Wang 001; Mingshu Li 001 (Computer Supported Acitivity Coordination, 2004)

A QoS-aware Component-Based Middleware for Pervasive Computing. - Yuan Liao; Mingshu Li 001 (ICESS, 2004)

A Metamodel for the CMM Software Process. - Juan Li 001; Mingshu Li 001; Zhanchun Wu; Qing Wang 001 (ISPA, 2004)

HyO-XTM: a set of hyper-graph operations on XML Topic Map toward knowledge management. - Ying Dong 002; Mingshu Li 001 (Future Gener. Comput. Syst., 2004)

Mobile communications in China. - Ying Dong 002; Mingshu Li 001 (Int. J. Mob. Commun., 2004)

A real-time path planning approach without the computation of Cspace obstacles. - Yongji Wang 002; Liu Han; Mingshu Li 001; Qing Wang 001; Jinhui Zhou; Matthew P. Cartmell (Robotica, 2004)

Measuring and improving software process in China. - Qing Wang 001; Mingshu Li 001 (ISESE, 2005)

Expanding the Horizons of Software Development Processes: A 3-D Integrated Methodology. - Mingshu Li 001 (ISPW, 2005)

Software Process Management: Practices in China. - Qing Wang 001; Mingshu Li 001 (ISPW, 2005)

A Survey of CMM/CMMI Implementation in China. - Zhanchun Wu; David Christensen; Mingshu Li 001; Qing Wang 001 (ISPW, 2005)

Applying agent technology to software process modeling and process-centered software engineering environment. - Xinpei Zhao; Keith C. C. Chan; Mingshu Li 001 (SAC, 2005)

A risk-driven method for eXtreme programming release planning. - Mingshu Li 001; Meng Huang; Fengdi Shu; Juan Li 001 (ICSE, 2006)

BSR: a statistic-based approach for establishing and refining software process performance baseline. - Qing Wang 001; Nan Jiang 001; Lang Gou; Xia Liu; Mingshu Li 001; Yongji Wang 002 (ICSE, 2006)

Assessing 3-D Integrated Software Development Processes: A New Benchmark. - Mingshu Li 001 (SPW/ProSim, 2006)

On Mobility of Software Processes. - Mingshu Li 001; Qiusong Yang; Jian Zhai; Guowei Yang 001 (SPW/ProSim, 2006)

A Process-Agent Construction Method for Software Process Modeling in SoftPM. - Qing Wang 001; Junchao Xiao; Mingshu Li 001; Muhammad Wasif Nisar; Rong Yuan; Lei Zhang 175 (SPW/ProSim, 2006)

COCOMO-U: An Extension of COCOMO II for Cost Estimation with Uncertainty. - Da Yang 002; Yuxiang Wan; Zinan Tang; Shujian Wu; Mei He; Mingshu Li 001 (SPW/ProSim, 2006)

A Negotiation Model for the Process Agents in an Agent-Based Process-Centered Software Engineering Environment. - Nao Li; Mingshu Li 001; Qing Wang 001; Shuanzhu Du (SEKE, 2006)

SEM2XPDL: Towards SPEM Model Enactment. - Feng Yuan; Mingshu Li 001; Zhigang Wan (Software Engineering Research and Practice, 2006)

Tracking Projects through A Three-Dimensional Software Development Model. - Juan Li 001; Nan Jiang 001; Mingshu Li 001; Qing Wang 001; Yanwu Yang (COMPSAC (1), 2007)

A Simulation-Based Approach for Fine-Grained Project Plan Analysis. - Jian Dai; Qing Wang 001; Mingshu Li 001; Junchao Xiao; Dapeng Liu; M. Wasif; Li Ruan (ICNC (4), 2007)

Cost Estimation and Analysis for Government Contract Pricing in China. - Mei He; Ye Yang; Qing Wang 001; Mingshu Li 001 (ICSP, 2007)

A Multilateral Negotiation Method for Software Process Modeling. - Nao Li; Qing Wang 001; Mingshu Li 001; Shuanzhu Du; Junchao Xiao (ICSP, 2007)

Empirical Study on Benchmarking Software Development Tasks. - Li Ruan; Yongji Wang 002; Qing Wang 001; Mingshu Li 001; Yun Yang 001; Lizi Xie; Dapeng Liu; Haitao Zeng; Shen Zhang; Junchao Xiao; Lei Zhang 175; Muhammad Wasif Nisar; et al. (ICSP, 2007)

An Empirical Study on Establishing Quantitative Management Model for Testing Process. - Qing Wang 001; Lang Gou; Nan Jiang 001; Meiru Che; Ronghui Zhang; Yun Yang 001; Mingshu Li 001 (ICSP, 2007)

Coping with the Cone of Uncertainty: An Empirical Study of the SAIV Process Model. - Da Yang 002; Barry W. Boehm; Ye Yang; Qing Wang 001; Mingshu Li 001 (ICSP, 2007)

An Algebraic Approach for Managing Inconsistencies in Software Processes, . - Qiusong Yang; Mingshu Li 001; Qing Wang 001; Guowei Yang 001; Jian Zhai; Juan Li 001; Lishan Hou; Yun Yang 001 (ICSP, 2007)

A Tool to Create Process-Agents for OEC-SPM from Historical Project Data. - Lei Zhang 175; Qing Wang 001; Junchao Xiao; Li Ruan; Lizi Xie; Mingshu Li 001 (ICSP, 2007)

TRISO-Model: A New Approach to Integrated Software Process Assessment and Improvement. - Mingshu Li 001 (Softw. Process. Improv. Pract., 2007)

An Investigation on Performance of Software Enhancement Projects in China. - Mei He; Ye Yang; Qing Wang 001; Mingshu Li 001 (APSEC, 2008)

Reducing biases in individual software effort estimations: a combining approach. - Qi Li 020; Qing Wang 001; Ye Yang; Mingshu Li 001 (ESEM, 2008)

Phase distribution of software development effort. - Ye Yang; Mei He; Mingshu Li 001; Qing Wang 001; Barry W. Boehm (ESEM, 2008)

A survey on software cost estimation in the chinese software industry. - Da Yang 002; Qing Wang 001; Mingshu Li 001; Ye Yang; Kai Ye; Jing Du 001 (ESEM, 2008)

An integrated solution for software process improvement. - Mingshu Li 001 (ICSM, 2008)

A constraint-driven human resource scheduling method in software development and maintenance process. - Junchao Xiao; Qing Wang 001; Mingshu Li 001; Ye Yang; Fan Zhang; Lizi Xie (ICSM, 2008)

An empirical analysis on distribution patterns of software maintenance effort. - Ye Yang; Qi Li 020; Mingshu Li 001; Qing Wang 001 (ICSM, 2008)

An Analysis to Understand Software Trustworthiness. - Thomas Tan; Mei He; Ye Yang; Qing Wang 001; Mingshu Li 001 (ICYCS, 2008)

Software Multi-project Resource Scheduling: A Comparative Analysis. - Fei Dong; Mingshu Li 001; Yuzhu Zhao; Juan Li 001; Ye Yang (ICSP, 2008)

Quantitatively Managing Defects for Iterative Projects: An Industrial Experience Report in China. - Lang Gou; Qing Wang 001; Jun Yuan; Ye Yang; Mingshu Li 001; Nan Jiang 001 (ICSP, 2008)

An Investigation of Software Development Productivity in China. - Mei He; Mingshu Li 001; Qing Wang 001; Ye Yang; Kai Ye (ICSP, 2008)

Requirement-Centric Traceability for Change Impact Analysis: A Case Study. - Yin Li; Juan Li 001; Ye Yang; Mingshu Li 001 (ICSP, 2008)

Automated Process Quality Assurance for Distributed Software Development. - Jian Zhai; Qiusong Yang; Ye Yang; Junchao Xiao; Qing Wang 001; Mingshu Li 001 (SEAFOOD, 2008)

Dynamically Optimize Process Execution Based on Process-agent. - Jian Dai; Junchao Xiao; Qing Wang 001; Mingshu Li 001; Huaizhang Li (SEKE, 2008)

A flexible negotiation model for an agent-based software process modelling. - Nao Li; Mingshu Li 001; Qing Wang 001; Shuanzhu Du (Int. J. Comput. Appl. Technol., 2008)

Estimating fixing effort and schedule based on defect injection distribution. - Qing Wang 001; Lang Gou; Nan Jiang 001; Meiru Che; Ronghui Zhang; Yun Yang 001; Mingshu Li 001 (Softw. Process. Improv. Pract., 2008)

Effect of staffing pattern on software project: An empirical analysis. - Fei Dong; Mingshu Li 001; Juan Li 001; Ye Yang; Qing Wang 001 (ESEM, 2009)

Bridge the Gap between Software Test Process and Business Value: A Case Study. - Qi Li 020; Mingshu Li 001; Ye Yang; Qing Wang 001; Thomas Tan; Barry W. Boehm; Chenyong Hu (ICSP, 2009)

Achieving On-Time Delivery: A Two-Stage Probabilistic Scheduling Strategy for Software Projects. - Xiao Liu 004; Yun Yang 001; Jinjun Chen; Qing Wang 001; Mingshu Li 001 (ICSP, 2009)

Value-Based Multiple Software Projects Scheduling with Genetic Algorithm. - Junchao Xiao; Qing Wang 001; Mingshu Li 001; Qiusong Yang; Lizi Xie; Dapeng Liu (ICSP, 2009)

Process Trustworthiness as a Capability Indicator for Measuring and Improving Software Trustworthiness. - Ye Yang; Qing Wang 001; Mingshu Li 001 (ICSP, 2009)

Stochastic Process Algebra Based Software Process Simulation Modeling. - Jian Zhai; Qiusong Yang; Feng Su; Junchao Xiao; Qing Wang 001; Mingshu Li 001 (ICSP, 2009)

MOIR/MT: Monitoring Large-Scale Road Network Traffic in Real-Time. - Kuien Liu; Ke Deng; Zhiming Ding; Mingshu Li 001; Xiaofang Zhou 001 (Proc. VLDB Endow., 2009)

Quantitative defects management in iterative development with BiDefect. - Lang Gou; Qing Wang 001; Jun Yuan; Ye Yang; Mingshu Li 001; Nan Jiang 001 (Softw. Process. Improv. Pract., 2009)

A Case Study on Usage of a Software Process Management Tool in China. - Jing Du 001; Ye Yang; Zhongpeng Lin; Qing Wang 001; Mingshu Li 001; Feng Yuan (APSEC, 2010)

Dynamic Resource Scheduling in Disruption-Prone Software Development Environments. - Junchao Xiao; Leon J. Osterweil; Qing Wang 001; Mingshu Li 001 (FASE, 2010)

A cut-off approach for bounded verification of parameterized systems. - Qiusong Yang; Mingshu Li 001 (ICSE (1), 2010)

Disruption-Driven Resource Rescheduling in Software Development Processes. - Junchao Xiao; Leon J. Osterweil; Qing Wang 001; Mingshu Li 001 (ICSP, 2010)

Understanding the Influential Factors to Development Effort in Chinese Software Industry. - Mei He; He Zhang 001; Ye Yang; Qing Wang 001; Mingshu Li 001 (PROFES, 2010)

An Empirical Study on Evolution of API Documentation. - Lin Shi 006; Hao Zhong 001; Tao Xie 001; Mingshu Li 001 (FASE, 2011)

Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs. - Qiusong Yang; Bei Zhang; Jian Zhai; Mingshu Li 001 (FSEN, 2011)

DRiVeR: Diagnosing Runtime Property Violations Based on Dependency Rules. - Yanbin Liu; Ye Yang; Qiusong Yang; Mingshu Li 001 (SSIRI (Companion), 2011)

An initial evaluation of requirements dependency types in change propagation analysis. - Juan Li 001; Liming Zhu 001; D. Ross Jeffery; Yan Liu 001; He Zhang 001; Qing Wang 001; Mingshu Li 001 (EASE, 2012)

Preliminary results of a systematic review on requirements evolution. - Juan Li 001; He Zhang 001; Liming Zhu 001; D. Ross Jeffery; Qing Wang 001; Mingshu Li 001 (EASE, 2012)

Assumption Generation for Asynchronous Systems by Abstraction Refinement. - Qiusong Yang; Edmund M. Clarke; Anvesh Komuravelli; Mingshu Li 001 (FACS, 2012)

An investigation on the feasibility of cross-project defect prediction. - Zhimin He; Fengdi Shu; Ye Yang; Mingshu Li 001; Qing Wang 001 (Autom. Softw. Eng., 2012)

Improving software testing process: feature prioritization to make winners of success-critical stakeholders. - Qi Li 020; Ye Yang; Mingshu Li 001; Qing Wang 001; Barry W. Boehm; Chenyong Hu (J. Softw. Evol. Process., 2012)

Pricing crowdsourcing-based software development tasks. - Ke Mao; Ye Yang; Mingshu Li 001; Mark Harman (ICSE, 2013)

Search based risk mitigation planning in project portfolio management. - Junchao Xiao; Leon J. Osterweil; Jie Chen 003; Qing Wang 001; Mingshu Li 001 (ICSSP, 2013)

Learning from evolution history to predict future requirement changes. - Lin Shi 006; Qing Wang 001; Mingshu Li 001 (RE, 2013)

Can requirements dependency network be used as early indicator of software integration bugs? - Junjie Wang 001; Juan Li 001; Qing Wang 001; Da Yang 002; He Zhang 001; Mingshu Li 001 (RE, 2013)

Discovering hot topics from geo-tagged video. - Kuien Liu; Jiajie Xu 001; Longfei Zhang; Zhiming Ding; Mingshu Li 001 (Neurocomputing, 2013)

Refactoring planning and practice in agile software development: an empirical study. - Jie Chen 003; Junchao Xiao; Qing Wang 001; Leon J. Osterweil; Mingshu Li 001 (ICSSP, 2014)

Investigating dependencies in software requirements for change propagation analysis. - He Zhang 001; Juan Li 001; Liming Zhu 001; D. Ross Jeffery; Yan Liu 001; Qing Wang 001; Mingshu Li 001 (Inf. Softw. Technol., 2014)

Sparkle: adaptive sample based scheduling for cluster computing. - Chunliang Hao; Jie Shen 008; Heng Zhang 005; Xiao Zhang; Yanjun Wu; Mingshu Li 001 (CloudDP@EuroSys, 2015)

Characterizing the spatio-temporal burstiness of storage workloads. - Mei Li; Xu Gao; Yanjun Wu; Chen Zhao; Mingshu Li 001 (CloudDP@EuroSys, 2015)

Using simulation to evaluate error detection strategies: A case study of cloud-based deployment processes. - Jie Chen 003; Xiwei Xu 001; Leon J. Osterweil; Liming Zhu 001; Yuriy Brun; Len Bass; Junchao Xiao; Mingshu Li 001; Qing Wang 001 (J. Syst. Softw., 2015)

Tiresias: Low-Overhead Sample Based Scheduling with Task Hopping. - Chunliang Hao; Jie Shen 008; Heng Zhang 005; Yanjun Wu; Mingshu Li 001 (CLUSTER, 2016)

Understanding the Contribution of Non-source Documents in Improving Missing Link Recovery: An Empirical Study. - Yan Sun; Qing Wang 001; Mingshu Li 001 (ESEM, 2016)

Macaca: A Scalable and Energy-Efficient Platform for Coupling Cloud Computing with Distributed Embedded Computing. - Heng Zhang 005; Chunliang Hao; Yanjun Wu; Mingshu Li 001 (IPDPS Workshops, 2016)

Perspectives on refactoring planning and practice: an empirical study. - Jie Chen 003; Junchao Xiao; Qing Wang 001; Leon J. Osterweil; Mingshu Li 001 (Empir. Softw. Eng., 2016)

PCSsampler: Sample-based, Private-state Cluster Scheduling. - Chunliang Hao; Jie Shen 008; Celia Chen; Heng Zhang 005; Yanjun Wu; Mingshu Li 001 (CCGrid, 2017)

Who Should Be Selected to Perform a Task in Crowdsourced Testing? - Qiang Cui 001; Junjie Wang 001; Guowei Yang 001; Miao Xie; Qing Wang 001; Mingshu Li 001 (COMPSAC (1), 2017)

CQM: coverage-constrained quality maximization in crowdsourcing test. - Miao Xie; Qing Wang 001; Qiang Cui 001; Guowei Yang 001; Mingshu Li 001 (ICSE (Companion Volume), 2017)

COCOON: Crowdsourced Testing Quality Maximization Under Context Coverage Constraint. - Miao Xie; Qing Wang 001; Guowei Yang 001; Mingshu Li 001 (ISSRE, 2017)

Multi-Objective Crowd Worker Selection in Crowdsourced Testing. - Qiang Cui 001; Song Wang 009; Junjie Wang 001; Yuanzhe Hu; Qing Wang 001; Mingshu Li 001 (SEKE, 2017)

Enhancing sample-based scheduler with collaborate-state in big data cluster. - Chunliang Hao; Celia Chen; Jie Shen 008; Mingshu Li 001; Barry W. Boehm (SEKE, 2017)

Towards a scalable and energy-efficient resource manager for coupling cluster computing with distributed embedded computing. - Heng Zhang 005; Chunliang Hao; Yanjun Wu; Mingshu Li 001 (Clust. Comput., 2017)

TEADS: A Defense-aware Framework for Synthesizing Transient Execution Attacks. - Tianlin Huo; Wenhao Wang 001; Pei Zhao; Yufeng Li; Tingting Wang 010; Mingshu Li 001 (TrustCom, 2020)

Bluethunder: A 2-level Directional Predictor Based Side-Channel Attack against SGX. - Tianlin Huo; Xiaoni Meng; Wenhao Wang 001; Chunliang Hao; Pei Zhao; Jian Zhai; Mingshu Li 001 (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2020)

Matryoshka: A Coalesced Delta Sequence Prefetcher. - Shizhi Jiang; Yiwei Ci; Qiusong Yang; Mingshu Li 001 (ICPP, 2021)

Secure Access Policy (SAP): Invisibly Executing Speculative Unsafe Accesses in an Isolated Environment. - Xiaoni Meng; Qiusong Yang; Yiwei Ci; Pei Zhao; Shan Zhao; Tianlin Huo; Mingshu Li 001 (ICCD, 2022)

Execute on Clear (EoC): Enhancing Security for Unsafe Speculative Instructions by Precise Identification and Safe Execution. - Xiaoni Meng; Qiusong Yang; Yiwei Ci; Pei Zhao; Shan Zhao; Mingshu Li 001 (ICCD, 2023)