E. Emerson

From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking

E. Allen Emerson, Richard J. Trefler, E. Emerson, 1999, CHARME.

Automatic verification of finite state concurrent system using temporal logic specifications: a practical approach

A. Prasad Sistla, Edmund M. Clarke, E. Allen Emerson, 1983, POPL '83.

Model Checking Real-Time Properties of Symmetric Systems

E. Allen Emerson, Richard J. Trefler, E. Emerson, 1998, MFCS.

Generalized Quantitative Temporal Reasoning

A. Emerson Richard, E. Emerson, Richard J Treeer, 1996 .