A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics. - Chunxiang Xu; Hanpin Wang; Wanling Qu; Meixia Zhu; Yu Huang 004 (SSIRI, 2009)

The Analysis of Sequence Diagram with Time Properties in Qualitative and Quantitative Aspects by Model Transformation. - Meixia Zhu; Hanpin Wang; Yongzhi Cao; Zizhen Wang; Wei Jin (APSEC, 2010)

A Game Perspective of Refinement of Component Models. - Zizhen Wang; Hanpin Wang; Yongzhi Cao; Wanling Qu; Wei Jin; Meixia Zhu (COMPSAC, 2010)

Semantic Analysis of UML2.0 Sequence Diagram Based on Model Transformation. - Meixia Zhu; Hanpin Wang; Wei Jin; Zizhen Wang; Chunxiang Xu (COMPSAC Workshops, 2010)

Modeling MARTE Sequence Diagram with Timing Pi-Calculus. - Wei Jin; Hanpin Wang; Meixia Zhu (ISORC, 2011)

Formal Analysis of Sequence Diagram with Time Constraints by Model Transformation. - Meixia Zhu; Hanpin Wang; Xikui Liu 001; Xiaoqiong Han (Int. J. Softw. Informatics, 2012)

Efficient Heuristic for Placing Monitors on Flow Networks. - Chang Liu; Guiyuan Jiang; Jigang Wu; Meixia Zhu; Lijia Tu (PAAP, 2015)

Multiple kinds of optimal impulse control strategies on plant-pest-predator model with eco-epidemiology. - Xiyin Liang; Yongzhen Pei; Meixia Zhu; Yunfei Lv (Appl. Math. Comput., 2016)

Periodicity and dosage optimization of an RNAi model in eukaryotes cells. - Tongle Ma; Yongzhen Pei; Changguo Li; Meixia Zhu (BMC Bioinform., 2019)