E. Allen Emerson
Professor Emeritus
Research
Research Areas:
Research Interests:
- Establishing program correctness
- including logics and semantics of programs and concurrent and distributed computing
Select Publications
Edmund M. Clarke, E. Allen Emerson, Joseph Sifaki. 2009. Model checking: algorithmic verification and debugging.
Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta. 2006. Automatic Verification of Parameterized Data Structures.
E. Allen Emerson, Charanjit S. Jutla. 1998. The Complexity of Tree Automata and Logics of Programs.
E. Allen Emerson, A. Prasad Sistla. 1996. Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-Theoretic Approach.
E. Allen Emerson, Chin-Laung Lei. 1986. Efficient Model Checking in Fragments of the Propositional Mu-Calculus.