| 2025 | SNPD | A Framework to Support Over-The-Air Updates for Autonomous Driving Software. | David Shen, Wuwei Shen, Ioannis Nearchou |
| 2023 | SERA | An Assurance Case Driven Development Paradigm for Autonomous Vehicles: An F1TENTH Racing Car Case Study. | Ioannis Nearchou, Lance Rafalko, Ryan Phillips, Matthew Anderson, Wuwei Shen, Steven Drager |
| 2022 | TASE | On Verification of Smart Contracts via Model Checking. | Yulong Bao, Xue-Yang Zhu, Wenhui Zhang, Wuwei Shen, Pengfei Sun, Yingqi Zhao |
| 2018 | ICSE | USE: unified and split execution for exposing divergences between versions. | Hongliang Liang, Wenying Hu, Yini Zhang, Lin Jiang, Wuwei Shen |
| 2018 | ICSE | Measure confidence of assurance cases in safety-critical domains. | Chung-Ling Lin, Wuwei Shen, Steven Drager, Betty H. C. Cheng |
| 2018 | SETTA | Automatic Support of the Generation and Maintenance of Assurance Cases. | Chung-Ling Lin, Wuwei Shen, Tao Yue, Guangyuan Li |
| 2016 | ISSRE | A Framework to Support Generation and Maintenance of an Assurance Case. | Chung-Ling Lin, Wuwei Shen, Steven Drager |
| 2013 | ICSE | Using traceability links to identifying potentially erroneous artifacts during regulatory reviews. | Wuwei Shen, Chung-Ling Ling, Andrian Marcus |
| 2013 | MODELS | An Approach to Testing Java Implementation against Its UML Class Model. | Hector Miguel Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling |
| 2013 | SNPD | Using UML Profile and OCL to Impose Regulatory Requirements on Safety-Critical System. | Chung-Ling Ling, Wuwei Shen, Dionysios Kountanis |
| 2010 | APSEC | Supporting Flexible Reification of Design Patterns. | Wuwei Shen, Dae-Kyoo Kim, Jian Liu, Chen Zhao |
| 2010 | APSEC | An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique. | Qiuming Tao, Wei Wu, Chen Zhao, Wuwei Shen |
| 2009 | ICSE | Finding inconsistency for UML-based composition at program level. | Hector Miguel Chavez, Wuwei Shen |
| 2009 | SAC | An approach to detection of UML-based ownership violation. | Hector Miguel Chavez, Wuwei Shen, Shaoying Liu |
| 2008 | APSEC | Flexible Aspect-Oriented Design Model Checking. | Wuwei Shen, W. Eric Wong |
| 2008 | SAC | ICER: a tool for finding errors in a UML model. | Wuwei Shen, Dae-Kyoo Kim |
| 2007 | COMPSAC | Improving the Accuracy of UML Class Model Recovery. | Kun Wang, Wuwei Shen |
| 2007 | SAC | An approach to evaluating structural pattern conformance of UML models. | Dae-Kyoo Kim, Wuwei Shen |
| 2005 | FASE | Maintaining Life Perspectives During the Refinement of UML Class Structures. | Alexander Egyed, Wuwei Shen, Kun Wang |
| 2005 | ICECCS | Using the Metamodel Mechanism to Support Class Refinement. | Wuwei Shen, Weng Liong Low |
| 2003 | APSEC | A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines. | Wuwei Shen, Kevin J. Compton, James Huggins |
| 2003 | ICFEM | Formalization, Testing and Execution of a Use Case Diagram. | Wuwei Shen, Shaoying Liu |
| 2002 | COMPSAC | A Toolset for Supporting UML Static and Dynamic Model Checking. | Wuwei Shen, Kevin J. Compton, James Huggins |