Concepedia

E. Allen Emerson

EA

59

Publications

12.7K

Citations

39

H-Index

1982

Active since

Affiliations

The University of Texas at Austin(Current)

IBM (United States)

University of Illinois Chicago

Florida International University

Carnegie Mellon University

E. Allen Emerson is an author at The University of Texas at Austin specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningVerificationSystems EngineeringProgram AnalysisSoftware AnalysisComputer Engineering

Publications per year

1982–2009

59

Publications

59

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.5K citations · Full text

Engineering, Verification, Computer-aided Verification +17

“Sometimes” and “not never” revisited

E. Allen Emerson, Joseph Y. Halpern · Journal of the ACM · 1986 · 990 citations · Full text

Applied Logic, Engineering, Verification +17

Temporal and Modal Logic.

E. Allen Emerson · 1990 · 823 citations

Tree automata, mu-calculus and determinacy

E. Allen Emerson, Charanjit S. Jutla · 2002 · 729 citations

Theory Of Computing, Tree Automata, Tree Language +13

Using branching time temporal logic to synthesize synchronization skeletons

E. Allen Emerson, Edmund M. Clarke · Science of Computer Programming · 1982 · 660 citations

Engineering, Synchronization Protocol, Formal Methods +8

Rows per page

1–5 of 59