Longlong Lu

According to our database, Longlong Lu authored at least 2 papers between 2020 and 2022.

Collaborative distances:

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

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