Xu Lu

According to our database, Xu Lu authored at least 26 papers between 2013 and 2025.

Collaborative distances:

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

2025

On the exploitation of control knowledge for enhancing automated planning.

Xu Lu, Bin Yu, Cong Tian, Chu Chen, Zhenhua Duan

Inf. Sci., 2025

2024

Multi-keyword ranked search with access control for multiple data owners in the cloud.

Jiaqi Guo, Cong Tian, Xu Lu, Liang Zhao, Zhenhua Duan

J. Inf. Secur. Appl., 2024

Using experience classification for training non-Markovian tasks.

Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Jin Cui, Zhenhua Duan

Expert Syst. Appl., 2024

Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems.

Zhi Ma, Cheng Wen, Jie Su, Ming Zhao, Bin Yu, Xu Lu, Cong Tian

CoRR, 2024

A Contract-Based Framework for Formal Verification of Embedded Software.

Xu Lu, Cong Tian, Bin Gu, Bin Yu, Chen Chen, Zhenhua Duan

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024

2023

Adaptively parallel runtime verification based on distributed network for temporal properties.

Bin Yu, Xu Lu, Cong Tian, Meng Wang, Chu Chen, Ming Lei, Zhenhua Duan

Parallel Comput., September, 2023

A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties.

Bin Yu, Cong Tian, Xu Lu, Nan Zhang, Zhenhua Duan

IEEE Trans. Parallel Distributed Syst., 2023

Using Experience Classification for Training Non-Markovian Tasks.

Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan

CoRR, 2023

Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering.

Bin Yu, Cong Tian, Hengrui Xing, Zuchao Yang, Jie Su, Xu Lu, Jiyu Yang, Liang Zhao, Xiaofeng Li, Zhenhua Duan

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations.

Chu Chen, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu

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

2022

An Approach of Transforming Non-Markovian Reward to Markovian Reward.

Ruixuan Miao, Xu Lu, Jin Cui

Proceedings of the Structured Object-Oriented Formal Language and Method, 2022

Schedulability Analysis of Rate-Monotonic Algorithm on Concurrent Execution of Digraph Real-Time Tasks.

Jin Cui, Xu Lu, Guangliang Yu, Bin Yu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2022

Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing.

Chu Chen, Xuan Wang, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2022

2021

A Knowledge-Based Temporal Planning Approach for Urban Traffic Control.

Xu Lu, Nan Zhang, Cong Tian, Bin Yu, Zhenhua Duan

IEEE Trans. Intell. Transp. Syst., 2021

Improving Quality of Counterexamples in Model Checking via Automated Planning.

Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

2020

Verify heaps via unified model checking.

Xu Lu, Zhenhua Duan, Cong Tian, Hongwei Du

Theor. Comput. Sci., 2020

P2P Network Based Smart Parking System Using Edge Computing.

Nan Zhang, Xu Lu, Cong Tian, Zhenhua Duan, Zhifeng Sun, Ting Zhang

Mob. Networks Appl., 2020

Runtime Verification of Ethereum Smart Contracts Based on MSVL.

Bin Yu, Xu Lu, Hao Chen, Ming Lei, Xiaobing Wang

Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

Pointer Program Synthesis as Non-deterministic Planning.

Xu Lu, Bin Yu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

2019

A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge.

Xu Lu, Jin Cui, Yansong Dong, Wensheng Wang, Runzhe Ma, Yifeng Li, Qing Feng

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

An Approach to Modeling and Verifying Multi-level Interrupt Systems with TMSVL.

Jin Cui, Xu Lu, Buwen Liang

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

2018

Planning with Spatio-Temporal Search Control Knowledge.

Xu Lu, Cong Tian, Zhenhua Duan, Hongwei Du

IEEE Trans. Knowl. Data Eng., 2018

2017

Temporalising Separation Logic for Planning with Search Control Knowledge.

Xu Lu, Cong Tian, Zhenhua Duan

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Using Unified Model Checking to Verify Heaps.

Xu Lu, Zhenhua Duan, Cong Tian

Proceedings of the Combinatorial Optimization and Applications, 2016

2015

Extending PPTL for Verifying Heap Evolution Properties.

Xu Lu, Zhenhua Duan, Cong Tian

CoRR, 2015

2013

Integrating Separation Logic with PPTL.

Xu Lu, Zhenhua Duan, Cong Tian, Hongjin Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2013