Lei Bu

According to our database, Lei Bu authored at least 77 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models.

Lezhi Ma, Shangqing Liu, Yi Li, Xiaofei Xie, Lei Bu

CoRR, 2024

2023

Blended English Teaching Model in Higher Education School Environment AR Constructive Technology.

Jing Yang, Lei Bu

Int. J. Gaming Comput. Mediat. Simulations, 2023

A Comparison of Transformer and AR-SI Oracle For Control-CPS Software Fault Localization.

Shiyu Zhang, Wenxia Liu, Qixin Wang, Lei Bu, Yu Pei

Proceedings of the 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2023

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

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Security Checking of Trigger-Action-Programming Smart Home Integrations.

Lei Bu, Qiuping Zhang, Suwan Li, Jinglin Dai, Guangdong Bai, Kai Chen, Xuandong Li

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

DStream: A Streaming-Based Highly Parallel IFDS Framework.

Xizao Wang, Zhiqiang Zuo, Lei Bu, Jianhua Zhao

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

SCAGuard: Detection and Classification of Cache Side-Channel Attacks via Attack Behavior Modeling and Similarity Comparison.

Limin Wang, Lei Bu, Fu Song

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

2022

Taking Care of the Discretization Problem: A Comprehensive Study of the Discretization Problem and a Black-Box Adversarial Attack in Discrete Integer Domain.

Lei Bu, Zhe Zhao, Yuchao Duan, Fu Song

IEEE Trans. Dependable Secur. Comput., 2022

PDF: Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS.

Jiawan Wang, Lei Bu, Shaopeng Xing, Xuandong Li

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Preface.

Tao Xie, Shengchao Qin, Wenhui Zhang, Jun Sun, Lei Bu, Ge Li

J. Comput. Sci. Technol., 2022

Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata.

Yuming Wu, Lei Bu, Jiawan Wang, Xinyue Ren, Wen Xiong, Xuandong Li

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Scrutinizing Privacy Policy Compliance of Virtual Personal Assistant Apps.

Fuman Xie, Yanjun Zhang, Chuan Yan, Suwan Li, Lei Bu, Kai Chen, Zi Huang, Guangdong Bai

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

VITAS : Guided Model-based VUI Testing of VPA Apps.

Suwan Li, Lei Bu, Guangdong Bai, Zhixiu Guo, Kai Chen, Hanlin Wei

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2021

Machine learning steered symbolic execution framework for complex software code.

Lei Bu, Yongjuan Liang, Zhunyi Xie, Hong Qian, Yi-Qi Hu, Yang Yu, Xin Chen, Xuandong Li

Formal Aspects Comput., 2021

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

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Approximate optimal hybrid control synthesis by classification-based derivative-free optimization.

Shaopeng Xing, Jiawan Wang, Lei Bu, Xin Chen, Xuandong Li

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed.

Jiawan Wang, Lei Bu, Shaopeng Xing, Yuming Wu, Xuandong Li

Proceedings of the Formal Methods - 24th International Symposium, 2021

Verification Assisted Gas Reduction for Smart Contracts.

Bo Gao, Siyuan Shen, Ling Shi, Jiaying Li, Jun Sun, Lei Bu

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

2020

Scenario-Based Online Reachability Validation for CPS Fault Prediction.

Lei Bu, Qixin Wang, Xinyue Ren, Shaopeng Xing, Xuandong Li

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

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

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language.

Shiyu Zhang, Juan Zhai, Lei Bu, Mingsong Chen, Linzhang Wang, Xuandong Li

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.

Lei Bu, Alessandro Abate, Dieky Adzkiya, Muhammad Syifa'ul Mufid, Rajarshi Ray, Yuming Wu, Enea Zaffanella

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Cross-Domain Noise Impact Evaluation for Black Box Two-Level Control CPS.

Feng Tan, Liansheng Liu, Stefan Winter, Qixin Wang, Neeraj Suri, Lei Bu, Yu Peng, Xue Liu, Xiyuan Peng

ACM Trans. Cyber Phys. Syst., 2019

Things You May Not Know About Adversarial Example: A Black-box Adversarial Image Attack.

Yuchao Duan, Zhe Zhao, Lei Bu, Fu Song

CoRR, 2019

From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT.

Lei Bu, Jiawan Wang, Yuming Wu, Xuandong Li

Proceedings of the Engineering Trustworthy Software Systems - 5th International School, 2019

Incremental Online Verification of Dynamic Cyber-Physical Systems.

Lei Bu, Shaopeng Xing, Xinyue Ren, Yang Yang, Qixin Wang, Xuandong Li

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics.

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

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.

Lei Bu, Rajarshi Ray, Stefan Schupp

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

Systematically Ensuring the Confidence of Real-Time Home Automation IoT Systems.

Lei Bu, Wen Xiong, Chieh-Jan Mike Liang, Shi Han, Dongmei Zhang, Shan Lin, Xuandong Li

ACM Trans. Cyber Phys. Syst., 2018

Model-based Construction and Verification of Cyber-Physical Systems.

Lei Bu, Tian Zhang, Xin Chen, Linzhang Wang, Jianhua Zhao, Xuandong Li

ACM SIGSOFT Softw. Eng. Notes, 2018

Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking.

Lei Bu, Doron Peled, Dachuan Shen, Yuan Zhuang

Proceedings of the Model Checking Software - 25th International Symposium, 2018

Chasing Errors Using Biasing Automata.

Lei Bu, Doron Peled, Dashuan Shen, Yael Tzirulnikov

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

HAT: Analyzing Linear Hybrid Automata as Labelled Transition System.

Lei Bu, Hui Jiang, Xin Chen, Enyi Tang, Xuandong Li

Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018

ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics.

Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe, Muhammad Syifa'ul Mufid, Enea Zaffanella

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.

Lei Bu, Rajarshi Ray, Stefan Schupp

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure.

Dingbao Xie, Wen Xiong, Lei Bu, Xuandong Li

IEEE Trans. Computers, 2017

Sketch-guided GUI test generation for mobile applications.

Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, Xuandong Li

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics.

Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.

Lei Bu, Rajarshi Ray, Stefan Schupp

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

2016

Systematically Debugging IoT Control System Correctness for Building Automation.

Chieh-Jan Mike Liang, Lei Bu, Zhao Li, Junbei Zhang, Shi Han, Börje F. Karlsson, Dongmei Zhang, Feng Zhao

Proceedings of the 3rd ACM International Conference on Systems for Energy-Efficient Built Environments, 2016

Symbolic execution of complex program driven by machine learning based constraint solving.

Xin Li, Yongjuan Liang, Hong Qian, Yi-Qi Hu, Lei Bu, Yang Yu, Xin Chen, Xuandong Li

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

ACSPChecker: an ASP based CSP model checking tool.

Lingyun Situ, Yu Wang, Fengjuan Gao, Linzhang Wang, Lei Bu, Jianhua Zhao, Xuandong Li

Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

2015

A Lease Based Hybrid Design Pattern for Proper-Temporal-Embedding of Wireless CPS Interlocking.

Feng Tan, Yufei Wang, Qixin Wang, Lei Bu, Neeraj Suri

IEEE Trans. Parallel Distributed Syst., 2015

2014

From Offline toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations.

Tao Li, Feng Tan, Qixin Wang, Lei Bu, Jiannong Cao, Xue Liu

IEEE Trans. Parallel Distributed Syst., 2014

Flexible Carbon Nanotube Films for High Performance Strain Sensors.

Olfa Kanoun, Christian Müller, Abderahmane Benchirouf, Abdulkadir Sanli, Nghia Trong Dinh, Ammar Al-Hamry, Lei Bu, Carina Gerlach, Ayda Bouhamed

Sensors, 2014

SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata.

Dingbao Xie, Lei Bu, Jianhua Zhao, Xuandong Li

Formal Methods Syst. Des., 2014

Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification.

Dingbao Xie, Lei Bu, Xuandong Li

Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

WiP abstract: A framework on profiling cross-domain noise propagation in control CPS.

Feng Tan, Liansheng Liu, Stefan Winter, Qixin Wang, Neeraj Suri, Lei Bu, Yu Peng, Xue Liu, Xiyuan Peng

Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

2013

Verifying Aspect-Oriented Models against Crosscutting Properties.

Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li

Int. J. Softw. Eng. Knowl. Eng., 2013

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

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012

Timing analysis of scenario-based specifications using linear programming.

Xuandong Li, Minxue Pan, Lei Bu, Linzhang Wang, Jianhua Zhao

Softw. Test. Verification Reliab., 2012

Loop reduction techniques for reachability analysis of linear hybrid automata.

Minxue Pan, You Li, Lei Bu, Xuandong Li

Sci. China Inf. Sci., 2012

Regression Test Cases Generation Based on Automatic Model Revision.

Nan Ye, Xin Chen, Wenxu Ding, Peng Jiang, Lei Bu, Xuandong Li

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Path-oriented Test Data Generation Driven by Component Linear Fitting Functions.

Wenxu Ding, Xin Chen, Peng Jiang, Nan Ye, Lei Bu, Xuandong Li

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer.

Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata.

Fengling Zhang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

From Offline toward Real-Time: A Hybrid Systems Model Checking and CPS Co-design Approach for Medical Device Plug-and-Play (MDPnP).

Tao Li, Feng Tan, Qixin Wang, Lei Bu, Jiannong Cao, Xue Liu

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online.

Lei Bu, Dingbao Xie, Xin Chen, Linzhang Wang, Xuandong Li

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

Forward and backward: Bounded model checking of linear hybrid automata from two directions.

Yang Yang, Lei Bu, Xuandong Li

Proceedings of the Formal Methods in Computer-Aided Design, 2012

Application of multi-walled carbon nanotube film strain gauge on metallic surface.

Lei Bu, Martin Bahnemann, Sabrina Mockel, Thomas Keutel, Olfa Kanoun

Proceedings of the International Multi-Conference on Systems, Signals & Devices, 2012

2011

Path-oriented bounded reachability analysis of composed linear hybrid systems.

Lei Bu, Xuandong Li

Int. J. Softw. Tools Technol. Transf., 2011

Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior.

Lei Bu, Qixin Wang, Xin Chen, Linzhang Wang, Tian Zhang, Jianhua Zhao, Xuandong Li

SIGBED Rev., 2011

Online Verification of Control Parameter Calculations in Communication Based Train Control System

Lei Bu, Xin Chen, Linzhang Wang, Xuandong Li

CoRR, 2011

An Instrumentation Tool for Program Dynamic Analysis in Java.

Huajie Chen, Tian Zhang, Lei Bu, Xuandong Li

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Feedback-Directed Test Case Generation Based on UML Activity Diagrams.

Xin Chen, Nan Ye, Peng Jiang, Lei Bu, Xuandong Li

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata.

Lei Bu, Yang Yang, Xuandong Li

Proceedings of the Hardware and Software: Verification and Testing, 2011

2010

Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming.

Lei Bu, Jianhua Zhao, Xuandong Li

Proceedings of the Verification, 2010

Extending Ada to support multi-core based monitoring and fault tolerance.

You Li, Lu Yang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li

Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, 2010

Analyzing the robustness of FTSP with timed automata.

Lin Tan, Lei Bu, Jianhua Zhao, Linzhang Wang

Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

Model Checking of Hybrid Systems Using Shallow Synchronization.

Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta

Proceedings of the Formal Techniques for Distributed Systems, 2010

BACH 2 : Bounded reachability checker for compositional linear hybrid systems.

Lei Bu, You Li, Linzhang Wang, Xin Chen, Xuandong Li

Proceedings of the Design, Automation and Test in Europe, 2010

2009

TASS: Timing Analyzer of Scenario-Based Specifications.

Minxue Pan, Lei Bu, Xuandong Li

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

BACH : Bounded ReAchability CHecker for Linear Hybrid Automata.

Lei Bu, You Li, Linzhang Wang, Xuandong Li

Proceedings of the Formal Methods in Computer-Aided Design, 2008

2006

Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming.

Xuandong Li, Sumit Jha Aanand, Lei Bu

Proceedings of the Fourth International Workshop on Bounded Model Checking, 2006

Scenario-Based Timing Consistency Checking for Time Petri Nets.

Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

Consistency Checking of Concurrent Models for Scenario-Based Specifications.

Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng

Proceedings of the SDL 2005: Model Driven, 2005