Wenrui Meng

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 1

Top Topics

Iterative Refinement

Database Replication

Top Venues

NASA Formal Methods

Publications

Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, Insup Lee
Verified ROS-Based Deployment of Platform-Independent Control Systems. NFM (2015)
Fei He, Liangze Yin, Bow-Yaw Wang, Lianyi Zhang, Guanyu Mu, Wenrui Meng
VCS: A Verifier for Component-Based Systems. ATVA (2013)
Wenrui Meng, Fei He, Bow-Yaw Wang, Qiang Liu
Thread-Modular Model Checking with Iterative Refinement. NASA Formal Methods (2012)