default search action
E. Allen Emerson
Person information
- award (2007): Turing Award
- award (1998): Paris Kanellakis Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [p2]E. Allen Emerson:
Memories of Edsger W. Dijkstra. Edsger Wybe Dijkstra 2022: 399-404
2010 – 2019
- 2014
- [c85]Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson:
Cost-Aware Automatic Program Repair. SAS 2014: 268-284 - 2013
- [i1]Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson:
Cost-Aware Automatic Program Repair. CoRR abs/1307.7281 (2013) - 2012
- [c84]Dahlia Malkhi, Fernando J. Corbató, E. Allen Emerson, Joseph Sifakis, Ken Thompson:
Systems Architecture, Design, Engineering, and Verification - The Practice in Research and Research in Practice. ACM-TURING 2012: 6:1 - [c83]Oswaldo Olivo, E. Allen Emerson:
Improved Binary Decision Diagram Constraint Propagation for Satisfiability Problems. SCCC 2012: 95-104 - 2011
- [j29]Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan:
Symbolic modular deadlock analysis. Autom. Softw. Eng. 18(3-4): 325-362 (2011) - [c82]E. Allen Emerson, Roopsha Samanta:
An Algorithmic Framework for Synthesis of Concurrent Programs. ATVA 2011: 522-530 - [c81]Oswaldo Olivo, E. Allen Emerson:
A More Efficient BDD-Based QBF Solver. CP 2011: 675-690 - 2010
- [c80]E. Allen Emerson:
Meanings of Model Checking. Concurrency, Compositionality, and Correctness 2010: 237-249 - [c79]E. Allen Emerson:
Time of Time. SAS 2010: 1
2000 – 2009
- 2009
- [j28]Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis:
Model checking: algorithmic verification and debugging. Commun. ACM 52(11): 74-84 (2009) - [c78]Jyotirmoy V. Deshmukh, E. Allen Emerson:
Verification of recursive methods on tree-like data structures. FMCAD 2009: 33-40 - [c77]Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan:
Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients. ASE 2009: 480-491 - [c76]E. Allen Emerson:
Model Checking: Progress and Problems. VMCAI 2009: 1 - 2008
- [c75]Roopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen Emerson:
Automatic Generation of Local Repairs for Boolean Programs. FMCAD 2008: 1-10 - [c74]E. Allen Emerson:
The Beginning of Model Checking: A Personal Perspective. 25 Years of Model Checking 2008: 27-45 - [c73]Edmund M. Clarke, E. Allen Emerson:
Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic. 25 Years of Model Checking 2008: 196-215 - [c72]Thomas Wahl, Nicolas Blanc, E. Allen Emerson:
SVISS: Symbolic Verification of Symmetric Systems. TACAS 2008: 459-462 - 2007
- [j27]Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham:
Improved verification of hardware designs through antecedent conditioned slicing. Int. J. Softw. Tools Technol. Transf. 9(1): 89-101 (2007) - 2006
- [j26]E. Allen Emerson, Kristina D. Hager, Jay H. Konieczka:
Molecular Model Checking. Int. J. Found. Comput. Sci. 17(4): 733-742 (2006) - [j25]Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain:
On partitioning and symbolic model checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(5): 780-788 (2006) - [c71]E. Allen Emerson, Richard J. Trefler, Thomas Wahl:
Reducing Model Checking of the Few to the One. ICFEM 2006: 94-113 - [c70]Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta:
Automatic Verification of Parameterized Data Structures. TACAS 2006: 27-41 - [e2]E. Allen Emerson, Kedar S. Namjoshi:
Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings. Lecture Notes in Computer Science 3855, Springer 2006, ISBN 3-540-31139-4 [contents] - 2005
- [c69]Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson:
Predictive Reachability Using a Sample-Based Approach. CHARME 2005: 388-392 - [c68]Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson:
Multi-threaded reachability. DAC 2005: 467-470 - [c67]Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain:
On Partitioning and Symbolic Model Checking. FM 2005: 497-511 - [c66]E. Allen Emerson, Thomas Wahl:
Dynamic Symmetry Reduction. TACAS 2005: 382-396 - [c65]Subramanian K. Iyer, Jawahar Jain, Debashis Sahoo, E. Allen Emerson:
Under-approximation Heuristics for Grid-based Bounded Model Checking. PDMC@ICALP 2005: 31-46 - 2004
- [j24]Paul C. Attie, Anish Arora, E. Allen Emerson:
Synthesis of fault-tolerant concurrent programs. ACM Trans. Program. Lang. Syst. 26(1): 125-185 (2004) - [c64]E. Allen Emerson, Vineet Kahlon:
Parameterized Model Checking of Ring-Based Message Passing Systems. CSL 2004: 325-339 - [c63]Debashis Sahoo, Subramanian K. Iyer, Jawahar Jain, Christian Stangier, Amit Narayan, David L. Dill, E. Allen Emerson:
A Partitioning Methodology for BDD-Based Verification. FMCAD 2004: 399-413 - [c62]Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham:
Efficient Model Checking of Hardware Using Conditioned Slicing. AVoCS 2004: 279-294 - [c61]E. Allen Emerson, Thomas Wahl:
Efficient Reduction Techniques for Systems with Many Components. SBMF 2004: 379-399 - 2003
- [j23]E. Allen Emerson, Kedar S. Namjoshi:
On Reasoning About Rings. Int. J. Found. Comput. Sci. 14(4): 527-550 (2003) - [c60]E. Allen Emerson, Thomas Wahl:
On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking. CHARME 2003: 216-230 - [c59]E. Allen Emerson, Vineet Kahlon:
Exact and Efficient Verification of Parameterized Cache Coherence Protocols. CHARME 2003: 247-262 - [c58]Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler:
Abstract Patterns of Compositional Reasoning. CONCUR 2003: 423-438 - [c57]E. Allen Emerson, Vineet Kahlon:
Model Checking Guarded Protocols. LICS 2003: 361-370 - [c56]E. Allen Emerson, Vineet Kahlon:
Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols. TACAS 2003: 144-159 - 2002
- [c55]Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler:
Visual Specifications for Modular Reasoning about Asynchronous Systems. FORTE 2002: 226-242 - [c54]E. Allen Emerson, Vineet Kahlon:
Model Checking Large-Scale and Parameterized Resource Allocation Systems. TACAS 2002: 251-265 - 2001
- [j22]E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla:
On model checking for the µ-calculus and its fragments. Theor. Comput. Sci. 258(1-2): 491-522 (2001) - [j21]Paul C. Attie, E. Allen Emerson:
Synthesis of concurrent programs for an atomic read/write model of computation. ACM Trans. Program. Lang. Syst. 23(2): 187-242 (2001) - [c53]Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi:
Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams. CAV 2001: 387-390 - [c52]Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler:
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams. TACAS 2001: 465-479 - 2000
- [j20]E. Allen Emerson:
Automated formal methods: model checking and beyond. ACM SIGSOFT Softw. Eng. Notes 25(1): 49 (2000) - [j19]A. Prasad Sistla, Viktor Gyuris, E. Allen Emerson:
SMC: a symmetry-based model checker for verification of safety and liveness properties. ACM Trans. Softw. Eng. Methodol. 9(2): 133-166 (2000) - [c51]E. Allen Emerson, Vineet Kahlon:
Reducing Model Checking of the Many to the Few. CADE 2000: 236-254 - [c50]Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi:
Model Checking Synchronous Timing Diagrams. FMCAD 2000: 283-298 - [c49]E. Allen Emerson:
Model Checking: Theory into Practice. FSTTCS 2000: 1-10 - [c48]E. Allen Emerson, John Havlicek, Richard J. Trefler:
Virtual Symmetry Reduction. LICS 2000: 121-131 - [e1]E. Allen Emerson, A. Prasad Sistla:
Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings. Lecture Notes in Computer Science 1855, Springer 2000, ISBN 3-540-67770-4 [contents]
1990 – 1999
- 1999
- [j18]E. Allen Emerson, Charanjit S. Jutla:
The Complexity of Tree Automata and Logics of Programs. SIAM J. Comput. 29(1): 132-158 (1999) - [c47]Nina Amla, E. Allen Emerson, Kedar S. Namjoshi:
Efficient Decompositional Model Checking for Regular Timing Diagrams. CHARME 1999: 67-81 - [c46]E. Allen Emerson, Richard J. Trefler:
From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking. CHARME 1999: 142-156 - [c45]E. Allen Emerson, Richard J. Trefler:
Parametric Quantitative Temporal Reasoning. LICS 1999: 336-343 - 1998
- [j17]Paul C. Attie, E. Allen Emerson:
Synthesis of Concurrent Systems with Many Similar Processes. ACM Trans. Program. Lang. Syst. 20(1): 51-115 (1998) - [c44]Edmund M. Clarke, E. Allen Emerson, Somesh Jha, A. Prasad Sistla:
Symmetry Reductions in Model Checking. CAV 1998: 147-158 - [c43]E. Allen Emerson, Kedar S. Namjoshi:
Verification of Parameterized Bus Arbitration Protocol. CAV 1998: 452-463 - [c42]E. Allen Emerson, Kedar S. Namjoshi:
On Model Checking for Non-Deterministic Infinite-State Systems. LICS 1998: 70-80 - [c41]E. Allen Emerson, Richard J. Trefler:
Model Checking Real-Time Properties of Symmetric Systems. MFCS 1998: 427-436 - [c40]Anish Arora, Paul C. Attie, E. Allen Emerson:
Synthesis of Fault-Tolerant Concurrent Programs. PODC 1998: 173-182 - 1997
- [j16]E. Allen Emerson, A. Prasad Sistla:
Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach. ACM Trans. Program. Lang. Syst. 19(4): 617-638 (1997) - [c39]William Canfield, E. Allen Emerson, Avijit Saha:
Checking Formal Specifications under Simulation. ICCD 1997: 455-460 - [c38]E. Allen Emerson, Somesh Jha, Doron A. Peled:
Combining Partial Order and Symmetry Reductions. TACAS 1997: 19-34 - [c37]E. Allen Emerson, Richard J. Trefler:
Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach. TAPSOFT 1997: 189-200 - 1996
- [j15]Paul C. Attie, Munindar P. Singh, E. Allen Emerson, Amit P. Sheth, Marek Rusinkiewicz:
Scheduling workflows by enforcing intertask dependencies. Distributed Syst. Eng. 3(4): 222-238 (1996) - [j14]E. Allen Emerson, A. Prasad Sistla:
Symmetry and Model Checking. Formal Methods Syst. Des. 9(1/2): 105-131 (1996) - [c36]E. Allen Emerson, Kedar S. Namjoshi:
Automatic Verification of Parameterized Synchronous Systems (Extended Abstract). CAV 1996: 87-98 - [c35]E. Allen Emerson:
Model Checking and the Mu-calculus. Descriptive Complexity and Finite Models 1996: 185-214 - [c34]Paul C. Attie, E. Allen Emerson:
Synthesis of Concurrent Systems for an Atomic Read / Atomic Write Model of Computation (Extended Abstract). PODC 1996: 111-120 - 1995
- [j13]James C. Browne, E. Allen Emerson, Mohamed G. Gouda, Daniel P. Miranker, Aloysius K. Mok, Lance Obermeyer, F. Furman Haddix, Rwo-Hsi Wang, Sarah E. Chodrow:
Modularity and Rule-Based Programming. Int. J. Artif. Intell. Tools 4(1-2): 201-218 (1995) - [c33]E. Allen Emerson:
Automated Temporal Reasoning about Reactive Systems. Banff Higher Order Workshop 1995: 41-101 - [c32]E. Allen Emerson:
Methods for Mu-calculus Model Checking: A Tutorial (Abstract). CAV 1995: 141 - [c31]E. Allen Emerson, A. Prasad Sistla:
Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach. CAV 1995: 309-324 - [c30]E. Allen Emerson:
Efficient Automation of Temporal Reasoning. CONCUR 1995: 393-394 - [c29]E. Allen Emerson, Kedar S. Namjoshi:
Reasoning about Rings. POPL 1995: 85-94 - 1994
- [c28]James C. Browne, E. Allen Emerson, Mohamed G. Gouda, Daniel P. Miranker, Aloysius K. Mok, Roberto J. Bayardo Jr., Sarah E. Chodrow, David Gadbois, F. Furman Haddix, Thomas W. Hetherington, Lance Obermeyer, Duu-Chung Tsou, Chih-Kan Wang, Rwo-Hsi Wang:
A New Approach to Modularity in Rule-Based Programming. ICTAI 1994: 18-25 - 1993
- [j12]Farn Wang, Aloysius K. Mok, E. Allen Emerson:
Distributed Real-Time System Specification and Verification in APTL. ACM Trans. Softw. Eng. Methodol. 2(4): 346-378 (1993) - [c27]E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla:
On Model-Checking for Fragments of µ-Calculus. CAV 1993: 385-396 - [c26]E. Allen Emerson, A. Prasad Sistla:
Symmetry and Model Checking. CAV 1993: 463-478 - [c25]Farn Wang, Aloysius K. Mok, E. Allen Emerson:
Symbolic Model Checking for Distributed Real-Time Systems. FME 1993: 632-651 - 1992
- [j11]E. Allen Emerson, Tom Sadler, Jai Srinivasan:
Efficient Temporal Satisfiability. J. Log. Comput. 2(2): 173-210 (1992) - [j10]E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan:
Quantitative Temporal Reasoning. Real Time Syst. 4(4): 331-352 (1992) - [c24]Farn Wang, Aloysius K. Mok, E. Allen Emerson:
Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. ICSE 1992: 188-198 - 1991
- [c23]E. Allen Emerson, Charanjit S. Jutla:
Tree Automata, Mu-Calculus and Determinacy (Extended Abstract). FOCS 1991: 368-377 - [c22]E. Allen Emerson:
Real-Time and the Mu-Calculus (Preliminary Report). REX Workshop 1991: 176-194 - 1990
- [c21]E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan:
Quantitative Temporal Reasoning. CAV 1990: 136-145 - [c20]E. Allen Emerson, Michael Evangelist, Jai Srinivasan:
On the Limits of Efficient Temporal Decidability (Extended Abstract). LICS 1990: 464-475 - [c19]E. Allen Emerson, Jai Srinivasan:
A Decidable Temporal Logic to Reason About Many Processes. PODC 1990: 233-246 - [p1]E. Allen Emerson:
Temporal and Modal Logic. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 995-1072
1980 – 1989
- 1989
- [j9]Robert S. Streett, E. Allen Emerson:
An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus. Inf. Comput. 81(3): 249-264 (1989) - [c18]E. Allen Emerson, Charanjit S. Jutla:
On Simultaneously Determinizing and Complementing omega-Automata (Extended Abstract). LICS 1989: 333-342 - [c17]E. Allen Emerson, Tom Sadler, Jai Srinivasan:
Efficient Temporal Reasoning. POPL 1989: 166-178 - [c16]Paul C. Attie, E. Allen Emerson:
Synthesis of Concurrent Systems with Many Similar Sequential Processes. POPL 1989: 191-201 - 1988
- [c15]E. Allen Emerson, Charanjit S. Jutla:
The Complexity of Tree Automata and Logics of Programs (Extended Abstract). FOCS 1988: 328-337 - [c14]E. Allen Emerson, Jai Srinivasan:
Branching time temporal logic. REX Workshop 1988: 123-172 - 1987
- [j8]E. Allen Emerson:
Uniform Inevitability is Tree Automaton Ineffable. Inf. Process. Lett. 24(2): 77-79 (1987) - [j7]E. Allen Emerson, Chin-Laung Lei:
Modalities for Model Checking: Branching Time Logic Strikes Back. Sci. Comput. Program. 8(3): 275-306 (1987) - 1986
- [j6]E. Allen Emerson, Joseph Y. Halpern:
"Sometimes" and "Not Never" revisited: on branching versus linear time temporal logic. J. ACM 33(1): 151-178 (1986) - [j5]Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla:
Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. 8(2): 244-263 (1986) - [c13]E. Allen Emerson, Chin-Laung Lei:
Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract). LICS 1986: 267-278 - [c12]E. Allen Emerson, Chin-Laung Lei:
Temporal Reasoning Under Generalized Fairness Constraints. STACS 1986: 21-36 - 1985
- [j4]E. Allen Emerson, Joseph Y. Halpern:
Decision Procedures and Expressiveness in the Temporal Logic of Branching Time. J. Comput. Syst. Sci. 30(1): 1-24 (1985) - [c11]E. Allen Emerson:
Automata, Tableaux and Temporal Logics (Extended Abstract). Logic of Programs 1985: 79-88 - [c10]E. Allen Emerson, Chin-Laung Lei:
Modalities for Model Checking: Branching Time Strikes Back. POPL 1985: 84-96 - 1984
- [j3]E. Allen Emerson, A. Prasad Sistla:
Deciding Full Branching Time Logic. Inf. Control. 61(3): 175-201 (1984) - [c9]Robert S. Streett, E. Allen Emerson:
The Propositional Mu-Calculus is Elementary. ICALP 1984: 465-472 - [c8]Edmund M. Clarke, Michael C. Browne, E. Allen Emerson, A. Prasad Sistla:
Using Temporal Logic for Automatic Verification of Finite State Systems. Logics and Models of Concurrent Systems 1984: 3-26 - [c7]E. Allen Emerson, A. Prasad Sistla:
Deciding Branching Time Logic. STOC 1984: 14-24 - 1983
- [j2]E. Allen Emerson:
Alternative Semantics for Temporal Logics. Theor. Comput. Sci. 26: 121-130 (1983) - [c6]E. Allen Emerson, A. Prasad Sistla:
Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL*. Logic of Programs 1983: 176-192 - [c5]Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla:
Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach. POPL 1983: 117-126 - [c4]E. Allen Emerson, Joseph Y. Halpern:
"Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time. POPL 1983: 127-140 - 1982
- [j1]E. Allen Emerson, Edmund M. Clarke:
Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons. Sci. Comput. Program. 2(3): 241-266 (1982) - [c3]E. Allen Emerson, Joseph Y. Halpern:
Decision Procedures and Expressiveness in the Temporal Logic of Branching Time. STOC 1982: 169-180 - 1981
- [c2]Edmund M. Clarke, E. Allen Emerson:
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. Logic of Programs 1981: 52-71 - 1980
- [c1]E. Allen Emerson, Edmund M. Clarke:
Characterizing Correctness Properties of Parallel Programs Using Fixpoints. ICALP 1980: 169-181
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 20:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint