Lei Bu - RankMe

101 papers A* 12A 9B 7C 3Misc 2Journal 33Unranked 32

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