Wenrui Meng

According to our database, Wenrui Meng authored at least 3 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Verified ROS-Based Deployment of Platform-Independent Control Systems.

Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, Insup Lee

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2013

VCS: A Verifier for Component-Based Systems.

Fei He, Liangze Yin, Bow-Yaw Wang, Lianyi Zhang, Guanyu Mu, Wenrui Meng

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Thread-Modular Model Checking with Iterative Refinement.

Wenrui Meng, Fei He, Bow-Yaw Wang, Qiang Liu

Proceedings of the NASA Formal Methods, 2012