Wenrui Meng

Wenrui Meng

University of Pennsylvania - Philadelphia / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 5718434
person_outline Wenrui Meng's MOST POPULAR ARTICLES
1-) Verified ROS-based deployment of platform-independent control systemsW Meng, J Park, O Sokolsky, S Weirich, I LeeNASA Formal Methods Symposium, 248-262, 2015
2-) VCS: a verifier for component-based systemsF He, L Yin, BY Wang, L Zhang, G Mu, W MengAutomated Technology for Verification and Analysis: 11th International …, 201382013
3-) Thread-modular model checking with iterative refinementW Meng, F He, BY Wang, Q LiuNASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA …, 201232012
4-) Beagle User ManualF He, L Yin, D Wang, W He, L Zhang, G Mu, W MengBeijing: TsinghuaUniversity, 201312013
5-) Reachability Assume-GuaranteeW Meng, Q Liu, J Li2010 Third International Conference on Communication Theory, Reliability …, 201012010