E Allen Emerson
Affiliations: | University of Texas at Austin, Austin, Texas, U.S.A. |
Area:
Computer ScienceGoogle:
"E Emerson"Parents
Sign in to add mentorEdmund M. Clarke | grad student | 1981 | Harvard | |
(Branching Time Temporal Logic and the Design of Correct Concurrent Programs) |
Children
Sign in to add traineeNina Amla | grad student | 2001 | UT Austin |
Thomas Wahl | grad student | 2007 | UT Austin |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Olivo O, Emerson EA. (2011) A more efficient BDD-based QBF solver Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6876: 675-690 |
Emerson EA. (2010) Meanings of model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5930: 237-249 |
Clarke EM, Emerson EA, Sifakis J. (2009) Model checking: Algorithmic verification and debugging Communications of the Acm. 52: 74-84 |
Wahl T, Blanc N, Emerson EA. (2008) SVISS: Symbolic verification of symmetric systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4963: 459-462 |
Emerson EA. (2008) The beginning of model checking: A personal perspective Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5000: 27-45 |
Vasudevan S, Emerson EA, Abraham JA. (2007) Improved verification of hardware designs through antecedent conditioned slicing International Journal On Software Tools For Technology Transfer. 9: 89-101 |
Emerson EA, Hager KD, Konieczka JH. (2006) Molecular model checking International Journal of Foundations of Computer Science. 17: 733-741 |
Iyer S, Jain J, Sahoo D, et al. (2006) Under-approximation heuristics for grid-based bounded model checking Electronic Notes in Theoretical Computer Science. 135: 31-46 |
Vasudevan S, Emerson EA, Abraham JA. (2005) Efficient model checking of hardware using conditioned slicing Electronic Notes in Theoretical Computer Science. 128: 279-294 |
Emerson EA, Wahl T. (2005) Efficient Reduction Techniques for Systems with Many Components Electronic Notes in Theoretical Computer Science. 130: 379-399 |