E. Allen Emerson
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Model-Driven Software Engineering Techniques, Software Testing and Debugging Techniques, semigroups and automata theory
Most-Cited Works
- → Automatic verification of finite-state concurrent systems using temporal logic specifications(1986)3,538 cited
- → Design and synthesis of synchronization skeletons using branching time temporal logic(2005)2,141 cited
- → Temporal and Modal Logic(1990)1,892 cited
- → “Sometimes” and “not never” revisited(1986)992 cited
- Temporal and Modal Logic.(1990)
- → Tree automata, mu-calculus and determinacy(2002)730 cited
- → Using branching time temporal logic to synthesize synchronization skeletons(1982)661 cited
- EFFICIENT MODEL CHECKING IN FRAGMENTS OF THE PROPOSITIONAL MU-CALCULUS.(1986)
- → Automatic verification of finite state concurrent system using temporal logic specifications(1983)413 cited