Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets. - Gang Hou; Kuanjiu Zhou; Junwang Chang; Rui Li; Mingchu Li (APPT, 2013)

Accelerating Software Model Checking Based on Program Backbone. - Kuanjiu Zhou; Jiawei Yong; Xiaolong Wang; Longtao Ren; Gang Hou; Junwang Chang (APPT, 2013)