Lei Bu

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 48

Top Topics

Symbolic Execution

Piecewise Constant

Top Venues

Publications

Qi Guo, Xiaohong Li, Xiaofei Xie, Shangqing Liu, Ze Tang, Ruitao Feng, Junjie Wang, Jidong Ge, Lei Bu
FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion. CoRR (2024)
Bochuan Chen, Xiao Guo, Yuting Chen, Xiaofeng Yu, Lei Bu
Constructing exception handling chains for testing Java virtual machine implementations. J. Softw. Evol. Process. 36 (4) (2024)
Lezhi Ma, Shangqing Liu, Yi Li, Xiaofei Xie, Lei Bu
SpecGen: Automated Generation of Formal Program Specifications via Large Language Models. CoRR (2024)
Xiao Guo, Jianhua Zhao, Lei Bu
Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters. HSCC (2024)
Jiawan Wang, Wenxia Liu, Muzimiao Zhang, Jiaqi Wei, Yuhui Shi, Lei Bu, Xuandong Li
Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs. CAV (3) (2024)
Suwan Li, Lei Bu, Guangdong Bai, Fuman Xie, Kai Chen, Chang Yue
Model-Enhanced LLM-Driven VUI Testing of VPA Apps. CoRR (2024)
Zihan Wang, Pengbo Nie, Xinyuan Miao, Yuting Chen, Chengcheng Wan, Lei Bu, Jianjun Zhao
GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing. ISSTA (2023)
Lei Bu, Qiuping Zhang, Suwan Li, Jinglin Dai, Guangdong Bai, Kai Chen, Xuandong Li
Security Checking of Trigger-Action-Programming Smart Home Integrations. ISSTA (2023)
Limin Wang, Lei Bu, Fu Song
SCAGuard: Detection and Classification of Cache Side-Channel Attacks via Attack Behavior Modeling and Similarity Comparison. DAC (2023)
Jing Yang, Lei Bu
Blended English Teaching Model in Higher Education School Environment AR Constructive Technology. Int. J. Gaming Comput. Mediat. Simulations 15 (1) (2023)
Xizao Wang, Zhiqiang Zuo, Lei Bu, Jianhua Zhao
DStream: A Streaming-Based Highly Parallel IFDS Framework. ICSE (2023)
Shiyu Zhang, Wenxia Liu, Qixin Wang, Lei Bu, Yu Pei
A Comparison of Transformer and AR-SI Oracle For Control-CPS Software Fault Localization. RTCSA (2023)
Yuming Wu, Lei Bu, Jiawan Wang, Xinyue Ren, Wen Xiong, Xuandong Li
Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata. VMCAI (2022)
Lei Bu, Goran Frehse, Atanu Kundu, Rajarshi Ray, Yuhui Shi, Enea Zaffanella
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. ARCH@SAFECOMP (2022)
Lei Bu, Zhe Zhao, Yuchao Duan, Fu Song
Taking Care of the Discretization Problem: A Comprehensive Study of the Discretization Problem and a Black-Box Adversarial Attack in Discrete Integer Domain. IEEE Trans. Dependable Secur. Comput. 19 (5) (2022)
Suwan Li, Lei Bu, Guangdong Bai, Zhixiu Guo, Kai Chen, Hanlin Wei
VITAS : Guided Model-based VUI Testing of VPA Apps. ASE (2022)
Jiawan Wang, Lei Bu, Shaopeng Xing, Xuandong Li
PDF: Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (2) (2022)
Tao Xie, Shengchao Qin, Wenhui Zhang, Jun Sun, Lei Bu, Ge Li
Preface. J. Comput. Sci. Technol. 37 (1) (2022)
Fuman Xie, Yanjun Zhang, Chuan Yan, Suwan Li, Lei Bu, Kai Chen, Zi Huang, Guangdong Bai
Scrutinizing Privacy Policy Compliance of Virtual Personal Assistant Apps. ASE (2022)
Lei Bu, Zhunyi Xie, Lecheng Lyu, Yichao Li, Xiao Guo, Jianhua Zhao, Xuandong Li
BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution). TACAS (2) (2022)
Shaopeng Xing, Jiawan Wang, Lei Bu, Xin Chen, Xuandong Li
Approximate optimal hybrid control synthesis by classification-based derivative-free optimization. HSCC (2021)
Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhenkai Liang, Jin Song Dong
Identifying privacy weaknesses from multi-party trigger-action integration platforms. ISSTA (2021)
Bo Gao, Siyuan Shen, Ling Shi, Jiaying Li, Jun Sun, Lei Bu
Verification Assisted Gas Reduction for Smart Contracts. APSEC (2021)
Lei Bu, Yongjuan Liang, Zhunyi Xie, Hong Qian, Yi-Qi Hu, Yang Yu, Xin Chen, Xuandong Li
Machine learning steered symbolic execution framework for complex software code. Formal Aspects Comput. 33 (3) (2021)
Jiawan Wang, Lei Bu, Shaopeng Xing, Yuming Wu, Xuandong Li
Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed. FM (2021)
Lei Bu, Qixin Wang, Xinyue Ren, Shaopeng Xing, Xuandong Li
Scenario-Based Online Reachability Validation for CPS Fault Prediction. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (10) (2020)
Chao Huang, Xin Chen, Enyi Tang, Mengda He, Lei Bu, Shengchao Qin, Yifeng Zeng
Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC. ICRA (2020)
Shiyu Zhang, Juan Zhai, Lei Bu, Mingsong Chen, Linzhang Wang, Xuandong Li
Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language. DATE (2020)
Lei Bu, Alessandro Abate, Dieky Adzkiya, Muhammad Syifa'ul Mufid, Rajarshi Ray, Yuming Wu, Enea Zaffanella
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. ARCH (2020)
Lei Bu, Rajarshi Ray, Stefan Schupp
ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek (2019)
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta, Enea Zaffanella
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek (2019)
Yuchao Duan, Zhe Zhao, Lei Bu, Fu Song
Things You May Not Know About Adversarial Example: A Black-box Adversarial Image Attack. CoRR (2019)
Lei Bu, Jiawan Wang, Yuming Wu, Xuandong Li
From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT. SETSS (2019)
Feng Tan, Liansheng Liu, Stefan Winter, Qixin Wang, Neeraj Suri, Lei Bu, Yu Peng, Xue Liu, Xiyuan Peng
Cross-Domain Noise Impact Evaluation for Black Box Two-Level Control CPS. ACM Trans. Cyber Phys. Syst. 3 (1) (2019)
Lei Bu, Shaopeng Xing, Xinyue Ren, Yang Yang, Qixin Wang, Xuandong Li
Incremental Online Verification of Dynamic Cyber-Physical Systems. DATE (2019)
Lei Bu, Doron Peled, Dashuan Shen, Yael Tzirulnikov
Chasing Errors Using Biasing Automata. ISoLA (2) (2018)
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe, Muhammad Syifa'ul Mufid, Enea Zaffanella
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@ADHS (2018)
Lei Bu, Rajarshi Ray, Stefan Schupp
ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. ARCH@ADHS (2018)
Lei Bu, Tian Zhang, Xin Chen, Linzhang Wang, Jianhua Zhao, Xuandong Li
Model-based Construction and Verification of Cyber-Physical Systems. ACM SIGSOFT Softw. Eng. Notes 43 (3) (2018)
Lei Bu, Doron Peled, Dachuan Shen, Yuan Zhuang
Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking. SPIN (2018)
Lei Bu, Wen Xiong, Chieh-Jan Mike Liang, Shi Han, Dongmei Zhang, Shan Lin, Xuandong Li
Systematically Ensuring the Confidence of Real-Time Home Automation IoT Systems. ACM Trans. Cyber Phys. Syst. 2 (3) (2018)
Dingbao Xie, Wen Xiong, Lei Bu, Xuandong Li
Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure. IEEE Trans. Computers 66 (3) (2017)
Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, Xuandong Li
Sketch-guided GUI test generation for mobile applications. ASE (2017)
Lei Bu, Rajarshi Ray, Stefan Schupp
ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSWeek (2017)
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe
ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSWeek (2017)
Xin Li, Yongjuan Liang, Hong Qian, Yi-Qi Hu, Lei Bu, Yang Yu, Xin Chen, Xuandong Li
Symbolic execution of complex program driven by machine learning based constraint solving. ASE (2016)
Lingyun Situ, Yu Wang, Fengjuan Gao, Linzhang Wang, Lei Bu, Jianhua Zhao, Xuandong Li
ACSPChecker: an ASP based CSP model checking tool. Internetware (2016)
Chieh-Jan Mike Liang, Lei Bu, Zhao Li, Junbei Zhang, Shi Han, Börje F. Karlsson, Dongmei Zhang, Feng Zhao
Systematically Debugging IoT Control System Correctness for Building Automation. BuildSys@SenSys (2016)
Feng Tan, Yufei Wang, Qixin Wang, Lei Bu, Neeraj Suri
A Lease Based Hybrid Design Pattern for Proper-Temporal-Embedding of Wireless CPS Interlocking. IEEE Trans. Parallel Distributed Syst. 26 (10) (2015)
Dingbao Xie, Lei Bu, Xuandong Li
Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification. RTSS (2014)
Feng Tan, Liansheng Liu, Stefan Winter, Qixin Wang, Neeraj Suri, Lei Bu, Yu Peng, Xue Liu, Xiyuan Peng
WiP abstract: A framework on profiling cross-domain noise propagation in control CPS. ICCPS (2014)
Dingbao Xie, Lei Bu, Jianhua Zhao, Xuandong Li
SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata. Formal Methods Syst. Des. 45 (1) (2014)
Tao Li, Feng Tan, Qixin Wang, Lei Bu, Jiannong Cao, Xue Liu
From Offline toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations. IEEE Trans. Parallel Distributed Syst. 25 (3) (2014)
Olfa Kanoun, Christian Müller, Abderahmane Benchirouf, Abdulkadir Sanli, Nghia Trong Dinh, Ammar Al-Hamry, Lei Bu, Carina Gerlach, Ayda Bouhamed
Flexible Carbon Nanotube Films for High Performance Strain Sensors. Sensors 14 (6) (2014)
Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li
Verifying Aspect-Oriented Models against Crosscutting Properties. Int. J. Softw. Eng. Knowl. Eng. 23 (5) (2013)
Feng Tan, Yufei Wang, Qixin Wang, Lei Bu, Rong Zheng, Neeraj Suri
Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approach. DSN (2013)
Lei Bu, Martin Bahnemann, Sabrina Mockel, Thomas Keutel, Olfa Kanoun
Application of multi-walled carbon nanotube film strain gauge on metallic surface. SSD (2012)
Lei Bu, Dingbao Xie, Xin Chen, Linzhang Wang, Xuandong Li
Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online. ICCPS (2012)
Tao Li, Feng Tan, Qixin Wang, Lei Bu, Jiannong Cao, Xue Liu
From Offline toward Real-Time: A Hybrid Systems Model Checking and CPS Co-design Approach for Medical Device Plug-and-Play (MDPnP). ICCPS (2012)
Fengling Zhang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li
Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata. ICCPS (2012)
Yang Yang, Lei Bu, Xuandong Li
Forward and backward: Bounded model checking of linear hybrid automata from two directions. FMCAD (2012)
Wenxu Ding, Xin Chen, Peng Jiang, Nan Ye, Lei Bu, Xuandong Li
Path-oriented Test Data Generation Driven by Component Linear Fitting Functions. SERE (Companion) (2012)
Xuandong Li, Minxue Pan, Lei Bu, Linzhang Wang, Jianhua Zhao
Timing analysis of scenario-based specifications using linear programming. Softw. Test. Verification Reliab. 22 (2) (2012)
Nan Ye, Xin Chen, Wenxu Ding, Peng Jiang, Lei Bu, Xuandong Li
Regression Test Cases Generation Based on Automatic Model Revision. TASE (2012)
Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li
Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer. SEKE (2012)
Minxue Pan, You Li, Lei Bu, Xuandong Li
Loop reduction techniques for reachability analysis of linear hybrid automata. Sci. China Inf. Sci. 55 (12) (2012)
Lei Bu, Xin Chen, Linzhang Wang, Xuandong Li
Online Verification of Control Parameter Calculations in Communication Based Train Control System CoRR (2011)
Xin Chen, Nan Ye, Peng Jiang, Lei Bu, Xuandong Li
Feedback-Directed Test Case Generation Based on UML Activity Diagrams. SSIRI (Companion) (2011)
Lei Bu, Xuandong Li
Path-oriented bounded reachability analysis of composed linear hybrid systems. Int. J. Softw. Tools Technol. Transf. 13 (4) (2011)
Lei Bu, Yang Yang, Xuandong Li
IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata. Haifa Verification Conference (2011)
Huajie Chen, Tian Zhang, Lei Bu, Xuandong Li
An Instrumentation Tool for Program Dynamic Analysis in Java. SSIRI (Companion) (2011)
Lei Bu, Qixin Wang, Xin Chen, Linzhang Wang, Tian Zhang, Jianhua Zhao, Xuandong Li
Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior. SIGBED Rev. 8 (2) (2011)
Lei Bu, Jianhua Zhao, Xuandong Li
Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming. VMCAI (2010)
Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta
Model Checking of Hybrid Systems Using Shallow Synchronization. FMOODS/FORTE (2010)
Lin Tan, Lei Bu, Jianhua Zhao, Linzhang Wang
Analyzing the robustness of FTSP with timed automata. Internetware (2010)
You Li, Lu Yang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li
Extending Ada to support multi-core based monitoring and fault tolerance. SIGAda (2010)
Lei Bu, You Li, Linzhang Wang, Xin Chen, Xuandong Li
BACH 2 : Bounded reachability checker for compositional linear hybrid systems. DATE (2010)
Minxue Pan, Lei Bu, Xuandong Li
TASS: Timing Analyzer of Scenario-Based Specifications. CAV (2009)
Lei Bu, You Li, Linzhang Wang, Xuandong Li
BACH : Bounded ReAchability CHecker for Linear Hybrid Automata. FMCAD (2008)
Xuandong Li, Sumit Jha Aanand, Lei Bu
Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming. Electron. Notes Theor. Comput. Sci. 174 (3) (2007)
Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng
Scenario-Based Timing Consistency Checking for Time Petri Nets. FORTE (2006)
Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng
Consistency Checking of Concurrent Models for Scenario-Based Specifications. SDL Forum (2005)