Yuan Lu

OMEGA Correct development of Real-time systems IST-2001-33522 Title : Temporal Logic for Scenario-Based Specifications

Amir Pnueli, David Harel, Hillel Kugler, 2005 .

Automatic abstraction in model checking

Edmund M. Clarke, E. Clarke, Yuan Lu, 2000 .

Formal Analysis of Branch Prediction Algorithms

Somesh Jha, Yuan Lu, Edmund M. ClarkeDepartment, 1998 .