Longlong Lu

According to our database, Longlong Lu authored at least 3 papers between 2020 and 2025.

Collaborative distances:

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

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

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