According to our database1, Hanmei Cui authored at least 3 papers between 2004 and 2007.
Legend:Book In proceedings Article PhD thesis Other
DOS Middleware Instrumentation for Ensuring Reproducibility of Testing Procedures.
IEEE Trans. Instrumentation and Measurement, 2007
On Formal MOM Modeling.
Proceedings of the Parallel and Distributed Processing and Applications, 2007
Translation from Adapted UML to Promela for CORBA-Based Applications.
Proceedings of the Model Checking Software, 2004