Xu Lu

31 papers A* 4A 1C 2Misc 1Journal 14Unranked 9
YearRankTypeTitle / Venue / Authors
2026 A* conf
T4NMTD: Transition-Centric Reinforcement Learning for Non-Markovian Task Decomposition.
AAAI
Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan
2025 J jnl
On the exploitation of control knowledge for enhancing automated planning.
Inf. Sci.
Xu Lu, Bin Yu, Cong Tian, Chu Chen, Zhenhua Duan
2025 A* conf
Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision.
ASE
Xu Lu, Weisong Sun, Yiran Zhang, Ming Hu, Cong Tian, Zhi Jin, Yang Liu
2025 J jnl
Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision.
CoRR
Xu Lu, Weisong Sun, Yiran Zhang, Ming Hu, Cong Tian, Zhi Jin, Yang Liu
2024 Misc conf
A Contract-Based Framework for Formal Verification of Embedded Software.
SETTA
Xu Lu, Cong Tian, Bin Gu, Bin Yu, Chen Chen, Zhenhua Duan
2024 A* conf
Detecting Atomicity Violations for Interrupt-driven Programs via Systematic Scheduling and Prefix-directed Feedback.
ASE
Ruixue Li, Bin Yu, Xu Lu, Lei Ke, Jiawei Chen, Zixuan Yuan, Jingxian Wang, Cong Tian, Yansong Dong
2024 J jnl
Multi-keyword ranked search with access control for multiple data owners in the cloud.
J. Inf. Secur. Appl.
Jiaqi Guo, Cong Tian, Xu Lu, Liang Zhao, Zhenhua Duan
2024 J jnl
ParMod: A Parallel and Modular Framework for Learning Non-Markovian Tasks.
CoRR
Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan
2024 J jnl
Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems.
CoRR
Zhi Ma, Cheng Wen, Jie Su, Ming Zhao, Bin Yu, Xu Lu, Cong Tian
2024 J jnl
Using experience classification for training non-Markovian tasks.
Expert Syst. Appl.
Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Jin Cui, Zhenhua Duan
2023 J jnl
A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties.
IEEE Trans. Parallel Distributed Syst.
Bin Yu, Cong Tian, Xu Lu, Nan Zhang, Zhenhua Duan
2023 J jnl
Adaptively parallel runtime verification based on distributed network for temporal properties.
Parallel Comput.
Bin Yu, Xu Lu, Cong Tian, Meng Wang, Chu Chen, Ming Lei, Zhenhua Duan
2023 — conf
Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering.
ESEC/SIGSOFT FSE
Bin Yu, Cong Tian, Hengrui Xing, Zuchao Yang, Jie Su, Xu Lu, Jiyu Yang, Liang Zhao, Xiaofeng Li, Zhenhua Duan
2023 A conf
SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations.
ISSTA
Chu Chen, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu
2023 J jnl
Using Experience Classification for Training Non-Markovian Tasks.
CoRR
Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan
2022 — conf
An Approach of Transforming Non-Markovian Reward to Markovian Reward.
SOFL+MSVL
Ruixuan Miao, Xu Lu, Jin Cui
2022 — conf
Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing.
SOFL+MSVL
Chu Chen, Xuan Wang, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu
2022 — conf
Schedulability Analysis of Rate-Monotonic Algorithm on Concurrent Execution of Digraph Real-Time Tasks.
SOFL+MSVL
Jin Cui, Xu Lu, Guangliang Yu, Bin Yu
2021 J jnl
A Knowledge-Based Temporal Planning Approach for Urban Traffic Control.
IEEE Trans. Intell. Transp. Syst.
Xu Lu, Nan Zhang, Cong Tian, Bin Yu, Zhenhua Duan
2021 C conf
Improving Quality of Counterexamples in Model Checking via Automated Planning.
QRS
Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan
2020 J jnl
P2P Network Based Smart Parking System Using Edge Computing.
Mob. Networks Appl.
Nan Zhang, Xu Lu, Cong Tian, Zhenhua Duan, Zhifeng Sun, Ting Zhang
2020 — conf
Pointer Program Synthesis as Non-deterministic Planning.
SOFL+MSVL
Xu Lu, Bin Yu
2020 — conf
Runtime Verification of Ethereum Smart Contracts Based on MSVL.
SOFL+MSVL
Bin Yu, Xu Lu, Hao Chen, Ming Lei, Xiaobing Wang
2020 J jnl
Verify heaps via unified model checking.
Theor. Comput. Sci.
Xu Lu, Zhenhua Duan, Cong Tian, Hongwei Du
2019 — conf
A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge.
SOFL+MSVL
Xu Lu, Jin Cui, Yansong Dong, Wensheng Wang, Runzhe Ma, Yifeng Li, Qing Feng
2019 — conf
An Approach to Modeling and Verifying Multi-level Interrupt Systems with TMSVL.
SOFL+MSVL
Jin Cui, Xu Lu, Buwen Liang
2018 J jnl
Planning with Spatio-Temporal Search Control Knowledge.
IEEE Trans. Knowl. Data Eng.
Xu Lu, Cong Tian, Zhenhua Duan, Hongwei Du
2017 A* conf
Temporalising Separation Logic for Planning with Search Control Knowledge.
IJCAI
Xu Lu, Cong Tian, Zhenhua Duan
2016 C conf
Using Unified Model Checking to Verify Heaps.
COCOA
Xu Lu, Zhenhua Duan, Cong Tian
2015 J jnl
Extending PPTL for Verifying Heap Evolution Properties.
CoRR
Xu Lu, Zhenhua Duan, Cong Tian
2013 — conf
Integrating Separation Logic with PPTL.
SOFL+MSVL
Xu Lu, Zhenhua Duan, Cong Tian, Hongjin Liu