Hanmei Cui

According to our database, Hanmei Cui authored at least 3 papers between 2004 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2007

DOS Middleware Instrumentation for Ensuring Reproducibility of Testing Procedures.

Jessica Chen, Hanmei Cui

IEEE Trans. Instrum. Meas., 2007

On Formal MOM Modeling.

Hanmei Cui, Jessica Chen

Proceedings of the Parallel and Distributed Processing and Applications, 2007

2004

Translation from Adapted UML to Promela for CORBA-Based Applications.

Jessica Chen, Hanmei Cui

Proceedings of the Model Checking Software, 2004