Mingshu Li

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs Fundamentals of Software Engineering	2012-06-29	Paper
A method for testing real-time system based on timed automata	2009-03-06	Paper
Modified Legendre rational spectral method for Burgers equation on half line	2009-03-06	Paper
Modified Legendre rational spectral method for the Burgers equation on the half-line International Journal of Computer Mathematics	2008-08-08	Paper
A risk-driven method for prioritizing requirements in iteration development	2007-04-05	Paper
A method for testing real-time systems based on timed automata	2007-04-05	Paper
scientific article; zbMATH DE number 5124865 (Why is no real title available?)	2007-02-12	Paper
Unifying the software process spectrum	2006-10-10	Paper
Uniprocessor static priority scheduling with limited priority levels	2006-07-12	Paper
scientific article; zbMATH DE number 2202219 (Why is no real title available?)	2005-09-05	Paper
scientific article; zbMATH DE number 2166721 (Why is no real title available?)	2005-05-09	Paper
scientific article; zbMATH DE number 2165701 (Why is no real title available?)	2005-05-06	Paper
scientific article; zbMATH DE number 2112433 (Why is no real title available?)	2004-10-28	Paper
scientific article; zbMATH DE number 2112420 (Why is no real title available?)	2004-10-28	Paper
scientific article; zbMATH DE number 1930750 (Why is no real title available?)	2003-10-16	Paper
scientific article; zbMATH DE number 1948944 (Why is no real title available?)	2003-07-14	Paper
scientific article; zbMATH DE number 3766227 (Why is no real title available?)	1982-01-01	Paper

Research outcomes over time

This page was built for person: Mingshu Li