Thread-Modular Model Checking with Iterative Refinement. - Wenrui Meng; Fei He 001; Bow-Yaw Wang; Qiang Liu (NASA Formal Methods, 2012)

VCS: A Verifier for Component-Based Systems. - Fei He 001; Liangze Yin; Bow-Yaw Wang; Lianyi Zhang; Guanyu Mu; Wenrui Meng (ATVA, 2013)

Verified ROS-Based Deployment of Platform-Independent Control Systems. - Wenrui Meng; Junkil Park; Oleg Sokolsky; Stephanie Weirich; Insup Lee 001 (NFM, 2015)