Hongwei Ruan

OpenFlow Modeling Based on CPN for Evolution Consideration and Executable Test Case Generation

Hua Li, Lu Wang, Xiao Yang, 2017, 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC).

A Software-Reuse Method from Model1 to SSH2

Hua Li, Yan Wang, Hongji Yang, 2013, 2013 IEEE 37th Annual Computer Software and Applications Conference Workshops.

Using TLA+ to Specify Leader Election of Raft Algorithm with Consideration of Leadership Transfer in Multiple Controllers

Bowei Liu, Hua Li, Yu Gao, 2019, QRS Companion.