Longlong Lu

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 2

Top Topics

Linear Programming

Delay Insensitive

Propositional Satisfiability

Top Venues

Softw. Syst. Model.

Publications

Longlong Lu, Minxue Pan, Tian Zhang, Xuandong Li
Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques. Softw. Syst. Model. 21 (4) (2022)
Longlong Lu, Wenhua Yang, Minxue Pan, Tian Zhang
SAT and LP Collaborative Bounded Timing Analysis of Scenario-Based Specifications. Internetware (2020)