


default search action
Xu Lu 0003
Person information
- affiliation: Xidian University, School of Computer Science and Technology, Shaanxi, China
Other persons with the same name
- Xu Lu — disambiguation page
- Xu Lu 0001 — George Mason University, Fairfax, VA, USA
- Xu Lu 0002
— Guangdong Polytechnic Normal University, School of Automation, Guangzhou, China
- Xu Lu 0004
— Shandong Agricultural University, College of Information Science and Engineering, Jinan, China (and 1 more)
2020 – today
- 2025
- [j9]Xu Lu
, Bin Yu
, Cong Tian, Chu Chen, Zhenhua Duan:
On the exploitation of control knowledge for enhancing automated planning. Inf. Sci. 693: 121666 (2025) - 2024
- [j8]Ruixuan Miao
, Xu Lu
, Cong Tian
, Bin Yu
, Jin Cui
, Zhenhua Duan
:
Using experience classification for training non-Markovian tasks. Expert Syst. Appl. 255: 124649 (2024) - [j7]Jiaqi Guo
, Cong Tian, Xu Lu
, Liang Zhao, Zhenhua Duan:
Multi-keyword ranked search with access control for multiple data owners in the cloud. J. Inf. Secur. Appl. 82: 103742 (2024) - [c15]Ruixue Li, Bin Yu, Xu Lu, Lei Ke, Jiawei Chen, Zixuan Yuan, Jingxian Wang, Cong Tian, Yansong Dong:
Detecting Atomicity Violations for Interrupt-driven Programs via Systematic Scheduling and Prefix-directed Feedback. ASE 2024: 2454-2455 - [c14]Xu Lu, Cong Tian, Bin Gu, Bin Yu, Chen Chen, Zhenhua Duan:
A Contract-Based Framework for Formal Verification of Embedded Software. SETTA 2024: 180-196 - [i4]Zhi Ma, Cheng Wen, Jie Su, Ming Zhao, Bin Yu, Xu Lu, Cong Tian:
Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems. CoRR abs/2404.00795 (2024) - [i3]Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan:
ParMod: A Parallel and Modular Framework for Learning Non-Markovian Tasks. CoRR abs/2412.12700 (2024) - 2023
- [j6]Bin Yu
, Xu Lu, Cong Tian, Meng Wang, Chu Chen, Ming Lei, Zhenhua Duan:
Adaptively parallel runtime verification based on distributed network for temporal properties. Parallel Comput. 117: 103034 (2023) - [j5]Bin Yu
, Cong Tian
, Xu Lu, Nan Zhang
, Zhenhua Duan
:
A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties. IEEE Trans. Parallel Distributed Syst. 34(1): 76-91 (2023) - [c13]Chu Chen, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu:
SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations. ISSTA 2023: 967-979 - [c12]Bin Yu
, Cong Tian
, Hengrui Xing
, Zuchao Yang
, Jie Su
, Xu Lu
, Jiyu Yang
, Liang Zhao
, Xiaofeng Li
, Zhenhua Duan
:
Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering. ESEC/SIGSOFT FSE 2023: 1153-1164 - [i2]Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan:
Using Experience Classification for Training Non-Markovian Tasks. CoRR abs/2310.11678 (2023) - 2022
- [c11]Ruixuan Miao, Xu Lu, Jin Cui:
An Approach of Transforming Non-Markovian Reward to Markovian Reward. SOFL+MSVL 2022: 12-29 - [c10]Jin Cui, Xu Lu, Guangliang Yu, Bin Yu:
Schedulability Analysis of Rate-Monotonic Algorithm on Concurrent Execution of Digraph Real-Time Tasks. SOFL+MSVL 2022: 70-76 - [c9]Chu Chen, Xuan Wang, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu:
Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing. SOFL+MSVL 2022: 106-116 - 2021
- [j4]Xu Lu
, Nan Zhang
, Cong Tian
, Bin Yu
, Zhenhua Duan:
A Knowledge-Based Temporal Planning Approach for Urban Traffic Control. IEEE Trans. Intell. Transp. Syst. 22(3): 1907-1918 (2021) - [c8]Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan:
Improving Quality of Counterexamples in Model Checking via Automated Planning. QRS 2021: 691-701 - 2020
- [j3]Nan Zhang
, Xu Lu, Cong Tian, Zhenhua Duan, Zhifeng Sun, Ting Zhang:
P2P Network Based Smart Parking System Using Edge Computing. Mob. Networks Appl. 25(6): 2226-2239 (2020) - [j2]Xu Lu, Zhenhua Duan, Cong Tian, Hongwei Du:
Verify heaps via unified model checking. Theor. Comput. Sci. 819: 35-49 (2020) - [c7]Xu Lu, Bin Yu:
Pointer Program Synthesis as Non-deterministic Planning. SOFL+MSVL 2020: 126-141 - [c6]Bin Yu, Xu Lu, Hao Chen, Ming Lei, Xiaobing Wang:
Runtime Verification of Ethereum Smart Contracts Based on MSVL. SOFL+MSVL 2020: 142-153
2010 – 2019
- 2019
- [c5]Jin Cui, Xu Lu, Buwen Liang:
An Approach to Modeling and Verifying Multi-level Interrupt Systems with TMSVL. SOFL+MSVL 2019: 61-72 - [c4]Xu Lu, Jin Cui, Yansong Dong, Wensheng Wang, Runzhe Ma, Yifeng Li, Qing Feng:
A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge. SOFL+MSVL 2019: 141-154 - 2018
- [j1]Xu Lu
, Cong Tian
, Zhenhua Duan, Hongwei Du:
Planning with Spatio-Temporal Search Control Knowledge. IEEE Trans. Knowl. Data Eng. 30(10): 1915-1928 (2018) - 2017
- [c3]Xu Lu, Cong Tian, Zhenhua Duan:
Temporalising Separation Logic for Planning with Search Control Knowledge. IJCAI 2017: 1167-1173 - 2016
- [c2]Xu Lu, Zhenhua Duan, Cong Tian:
Using Unified Model Checking to Verify Heaps. COCOA 2016: 735-743 - 2015
- [i1]Xu Lu, Zhenhua Duan, Cong Tian:
Extending PPTL for Verifying Heap Evolution Properties. CoRR abs/1507.08426 (2015) - 2013
- [c1]Xu Lu, Zhenhua Duan, Cong Tian, Hongjin Liu:
Integrating Separation Logic with PPTL. SOFL+MSVL 2013: 35-47

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-18 01:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
