Longlong Lu

According to our database, Longlong Lu authored at least 7 papers between 2020 and 2026.

Collaborative distances:

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

2026

Verifying hybrid automata networks guided by task scenarios.

Longlong Lu, Yufei Shi, Minxue Pan, Xuandong Li

Formal Methods Syst. Des., February, 2026

2025

Towards a Theoretically-Backed and Practical Framework for Selective Object-Sensitive Pointer Analysis (Artifact and Supplemental Materials).

Chaoyue Zhang, Longlong Lu, Yifei Lu, Minxue Pan, Xuandong Li

Dataset, August, 2025

Hierarchical Model Checking of SystemVerilog-Specified Asynchronous Circuits for Deadlock Detection.

Longlong Lu, Minxue Pan, Yifei Lu, Xuandong Li

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., June, 2025

Towards a Theoretically-Backed and Practical Framework for Selective Object-Sensitive Pointer Analysis.

Chaoyue Zhang, Longlong Lu, Yifei Lu, Minxue Pan, Xuandong Li

Proc. ACM Program. Lang., 2025

Accelerating Timing Specification Verification of Interrupt-Driven Real-Time Systems.

Yufei Shi, Longlong Lu, Minxue Pan, Xuandong Li

Proceedings of the IEEE Real-Time Systems Symposium, 2025

2022

Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques.

Longlong Lu, Minxue Pan, Tian Zhang, Xuandong Li

Softw. Syst. Model., 2022

2020

SAT and LP Collaborative Bounded Timing Analysis of Scenario-Based Specifications.

Longlong Lu, Wenhua Yang, Minxue Pan, Tian Zhang

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020