| 2025 | ICECCS | Evolaris: A Roadmap to Self-evolving Software Intelligence Management. | Chengwei Liu, Wenbo Guo, Yuxin Zhang, Limin Wang, Sen Chen, Lei Bu, Yang Liu |
| 2025 | ICSE | Intention is All you Need: Refining your Code from your Intention. | Qi Guo, Xiaofei Xie, Shangqing Liu, Ming Hu, Xiaohong Li, Lei Bu |
| 2025 | ICSE | SpecGen: Automated Generation of Formal Program Specifications via Large Language Models. | Lezhi Ma, Shangqing Liu, Yi Li, Xiaofei Xie, Lei Bu |
| 2024 | CAV | Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs. | Jiawan Wang, Wenxia Liu, Muzimiao Zhang, Jiaqi Wei, Yuhui Shi, Lei Bu, Xuandong Li |
| 2024 | ISSTA | FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion. | Qi Guo, Xiaohong Li, Xiaofei Xie, Shangqing Liu, Ze Tang, Ruitao Feng, Junjie Wang, Jidong Ge, Lei Bu |
| 2023 | DAC | SCAGuard: Detection and Classification of Cache Side-Channel Attacks via Attack Behavior Modeling and Similarity Comparison. | Limin Wang, Lei Bu, Fu Song |
| 2023 | ICSE | DStream: A Streaming-Based Highly Parallel IFDS Framework. | Xizao Wang, Zhiqiang Zuo, Lei Bu, Jianhua Zhao |
| 2023 | ISSTA | Security Checking of Trigger-Action-Programming Smart Home Integrations. | Lei Bu, Qiuping Zhang, Suwan Li, Jinglin Dai, Guangdong Bai, Kai Chen, Xuandong Li |
| 2023 | ISSTA | GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing. | Zihan Wang, Pengbo Nie, Xinyuan Miao, Yuting Chen, Chengcheng Wan, Lei Bu, Jianjun Zhao |
| 2023 | RTCSA | A Comparison of Transformer and AR-SI Oracle For Control-CPS Software Fault Localization. | Shiyu Zhang, Wenxia Liu, Qixin Wang, Lei Bu, Yu Pei |
| 2022 | TACAS | BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution). | Lei Bu, Zhunyi Xie, Lecheng Lyu, Yichao Li, Xiao Guo, Jianhua Zhao, Xuandong Li |
| 2022 | VMCAI | Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata. | Yuming Wu, Lei Bu, Jiawan Wang, Xinyue Ren, Wen Xiong, Xuandong Li |
| 2021 | APSEC | Verification Assisted Gas Reduction for Smart Contracts. | Bo Gao, Siyuan Shen, Ling Shi, Jiaying Li, Jun Sun, Lei Bu |
| 2021 | FM | Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed. | Jiawan Wang, Lei Bu, Shaopeng Xing, Yuming Wu, Xuandong Li |
| 2021 | ISSTA | Identifying privacy weaknesses from multi-party trigger-action integration platforms. | Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhenkai Liang, Jin Song Dong |
| 2020 | DATE | Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language. | Shiyu Zhang, Juan Zhai, Lei Bu, Mingsong Chen, Linzhang Wang, Xuandong Li |
| 2020 | ICRA | Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC. | Chao Huang, Xin Chen, Enyi Tang, Mengda He, Lei Bu, Shengchao Qin, Yifeng Zeng |
| 2019 | DATE | Incremental Online Verification of Dynamic Cyber-Physical Systems. | Lei Bu, Shaopeng Xing, Xinyue Ren, Yang Yang, Qixin Wang, Xuandong Li |
| 2018 | ISoLA | Chasing Errors Using Biasing Automata. | Lei Bu, Doron Peled, Dashuan Shen, Yael Tzirulnikov |
| 2016 | SENSYS | Systematically Debugging IoT Control System Correctness for Building Automation. | Chieh-Jan Mike Liang, Lei Bu, Zhao Li, Junbei Zhang, Shi Han, Brje F. Karlsson, Dongmei Zhang, Feng Zhao |
| 2014 | RTSS | Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification. | Dingbao Xie, Lei Bu, Xuandong Li |
| 2013 | DSN | Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approach. | Feng Tan, Yufei Wang, Qixin Wang, Lei Bu, Rong Zheng, Neeraj Suri |
| 2012 | FMCAD | Forward and backward: Bounded model checking of linear hybrid automata from two directions. | Yang Yang, Lei Bu, Xuandong Li |
| 2012 | SEKE | Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer. | Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li |
| 2012 | TASE | Regression Test Cases Generation Based on Automatic Model Revision. | Nan Ye, Xin Chen, Wenxu Ding, Peng Jiang, Lei Bu, Xuandong Li |
| 2010 | DATE | BACH 2 : Bounded reachability checker for compositional linear hybrid systems. | Lei Bu, You Li, Linzhang Wang, Xin Chen, Xuandong Li |
| 2010 | FORTE | Model Checking of Hybrid Systems Using Shallow Synchronization. | Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta |
| 2010 | VMCAI | Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming. | Lei Bu, Jianhua Zhao, Xuandong Li |
| 2009 | CAV | TASS: Timing Analyzer of Scenario-Based Specifications. | Minxue Pan, Lei Bu, Xuandong Li |
| 2008 | FMCAD | BACH : Bounded ReAchability CHecker for Linear Hybrid Automata. | Lei Bu, You Li, Linzhang Wang, Xuandong Li |
| 2006 | FORTE | Scenario-Based Timing Consistency Checking for Time Petri Nets. | Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng |