Translation from Adapted UML to Promela for CORBA-Based Applications. - Jessica Chen; Hanmei Cui (SPIN, 2004)

On Formal MOM Modeling. - Hanmei Cui; Jessica Chen (ISPA, 2007)

DOS Middleware Instrumentation for Ensuring Reproducibility of Testing Procedures. - Jessica Chen; Hanmei Cui (IEEE Trans. Instrum. Meas., 2007)