| 2025 | ICDCS | Octopus: Decentralized Workflow-granular Scheduling for Serverless Workflow. | Keming Wang, Liaoliao Feng, Ligang He, Chenlin Huang, Fengyuan Yu, Tao Xie |
| 2025 | TrustCom | LASEFlow: A Label-Aware Security Enhancement Framework for Serverless Workflows. | Minghui Chen, Keming Wang, Chenlin Huang, Fengyuan Yu, Renyu Yang, Hua Cheng, Mantun Chen |
| 2025 | SNPD | Fuzzy-LLM: Multi-Agent Task Planning with Large Language Models. | Keming Wang, Hui Tian, Jiawei Wang, Ju Hou |
| 2022 | ISPA | ASPGen-D: Automatically Generating Fine-grained Apparmor Policies for Docker. | Chenlin Huang, Keming Wang, Yun Li, Jiajian Li, Qing Liao |
| 2021 | ISKE | Applying B and ProB to a Real-world Data Validation Project. | Peng Cheng, Keming Wang |
| 2021 | ISKE | Automatic Generation of Test Cases of Multi-Agent Systems Based on Model Checking. | Weijian Tang, Keming Wang |
| 2018 | ICFEM | Behaviour-Driven Formal Model Development. | Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler, Tomas Fischer, Rupert Schlick, Keming Wang |
| 2006 | CSCWD | Multi-Domain Collaborative Simulation Platform: An Integrative Framework for Complex Products Design. | Wenhui Fan, Keming Wang, Guangleng Xiong |