E. Allen Emerson

Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan: Symbolic modular deadlock analysis. Autom. Softw. Eng. 18(3-4): 325-362 (2011)

E. Allen Emerson, Roopsha Samanta: An Algorithmic Framework for Synthesis of Concurrent Programs. ATVA 2011: 522-530

Oswaldo Olivo, E. Allen Emerson: A More Efficient BDD-Based QBF Solver. CP 2011: 675-690

E. Allen Emerson: Meanings of Model Checking. Concurrency, Compositionality, and Correctness 2010: 237-249

E. Allen Emerson: Time of Time. SAS 2010: 1

Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis: Model checking: algorithmic verification and debugging. Commun. ACM 52(11): 74-84 (2009)

Jyotirmoy V. Deshmukh, E. Allen Emerson: Verification of recursive methods on tree-like data structures. FMCAD 2009: 33-40

Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan: Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients. ASE 2009: 480-491

E. Allen Emerson: Model Checking: Progress and Problems. VMCAI 2009: 1

Roopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen Emerson: Automatic Generation of Local Repairs for Boolean Programs. FMCAD 2008: 1-10

E. Allen Emerson: The Beginning of Model Checking: A Personal Perspective. 25 Years of Model Checking 2008: 27-45

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

Thomas Wahl, Nicolas Blanc, E. Allen Emerson: SVISS: Symbolic Verification of Symmetric Systems. TACAS 2008: 459-462

Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham: Improved verification of hardware designs through antecedent conditioned slicing. STTT 9(1): 89-101 (2007)

Subramanian K. Iyer, Jawahar Jain, Debashis Sahoo, E. Allen Emerson: Under-approximation Heuristics for Grid-based Bounded Model Checking. Electr. Notes Theor. Comput. Sci. 135(2): 31-46 (2006)

E. Allen Emerson, Kristina D. Hager, Jay H. Konieczka: Molecular Model Checking. Int. J. Found. Comput. Sci. 17(4): 733-742 (2006)

Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain: On partitioning and symbolic model checking. IEEE Trans. on CAD of Integrated Circuits and Systems 25(5): 780-788 (2006)

E. Allen Emerson, Richard J. Trefler, Thomas Wahl: Reducing Model Checking of the Few to the One. ICFEM 2006: 94-113

Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta: Automatic Verification of Parameterized Data Structures. TACAS 2006: 27-41

E. Allen Emerson, Kedar S. Namjoshi (Eds.): 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

Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham: Efficient Model Checking of Hardware Using Conditioned Slicing. Electr. Notes Theor. Comput. Sci. 128(6): 279-294 (2005)

E. Allen Emerson, Thomas Wahl: Efficient Reduction Techniques for Systems with Many Components. Electr. Notes Theor. Comput. Sci. 130: 379-399 (2005)

Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson: Predictive Reachability Using a Sample-Based Approach. CHARME 2005: 388-392

Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson: Multi-threaded reachability. DAC 2005: 467-470

Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain: On Partitioning and Symbolic Model Checking. FM 2005: 497-511

E. Allen Emerson, Thomas Wahl: Dynamic Symmetry Reduction. TACAS 2005: 382-396

Paul C. Attie, Anish Arora, E. Allen Emerson: Synthesis of fault-tolerant concurrent programs. ACM Trans. Program. Lang. Syst. 26(1): 125-185 (2004)

E. Allen Emerson, Vineet Kahlon: Parameterized Model Checking of Ring-Based Message Passing Systems. CSL 2004: 325-339

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

E. Allen Emerson, Kedar S. Namjoshi: On Reasoning About Rings. Int. J. Found. Comput. Sci. 14(4): 527-550 (2003)

E. Allen Emerson, Thomas Wahl: On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking. CHARME 2003: 216-230

E. Allen Emerson, Vineet Kahlon: Exact and Efficient Verification of Parameterized Cache Coherence Protocols. CHARME 2003: 247-262

Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler: Abstract Patterns of Compositional Reasoning. CONCUR 2003: 423-438

E. Allen Emerson, Vineet Kahlon: Model Checking Guarded Protocols. LICS 2003: 361-370

E. Allen Emerson, Vineet Kahlon: Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols. TACAS 2003: 144-159

Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler: Visual Specifications for Modular Reasoning about Asynchronous Systems. FORTE 2002: 226-242

E. Allen Emerson, Vineet Kahlon: Model Checking Large-Scale and Parameterized Resource Allocation Systems. TACAS 2002: 251-265

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)

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)

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

Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler: Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams. TACAS 2001: 465-479

E. Allen Emerson: Automated formal methods: model checking and beyond. ACM SIGSOFT Software Engineering Notes 25(1): 49 (2000)

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)

E. Allen Emerson, Vineet Kahlon: Reducing Model Checking of the Many to the Few. CADE 2000: 236-254

Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi: Model Checking Synchronous Timing Diagrams. FMCAD 2000: 283-298

E. Allen Emerson: Model Checking: Theory into Practice. FSTTCS 2000: 1-10

E. Allen Emerson, John Havlicek, Richard J. Trefler: Virtual Symmetry Reduction. LICS 2000: 121-131

E. Allen Emerson, A. Prasad Sistla (Eds.): 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

E. Allen Emerson, Charanjit S. Jutla: The Complexity of Tree Automata and Logics of Programs. SIAM J. Comput. 29(1): 132-158 (1999)

Nina Amla, E. Allen Emerson, Kedar S. Namjoshi: Efficient Decompositional Model Checking for Regular Timing Diagrams. CHARME 1999: 67-81

E. Allen Emerson, Richard J. Trefler: From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking. CHARME 1999: 142-156

E. Allen Emerson, Richard J. Trefler: Parametric Quantitative Temporal Reasoning. LICS 1999: 336-343

Paul C. Attie, E. Allen Emerson: Synthesis of Concurrent Systems with Many Similar Processes. ACM Trans. Program. Lang. Syst. 20(1): 51-115 (1998)

Edmund M. Clarke, E. Allen Emerson, Somesh Jha, A. Prasad Sistla: Symmetry Reductions inModel Checking. CAV 1998: 147-158

E. Allen Emerson, Kedar S. Namjoshi: Verification of Parameterized Bus Arbitration Protocol. CAV 1998: 452-463

E. Allen Emerson, Kedar S. Namjoshi: On Model Checking for Non-Deterministic Infinite-State Systems. LICS 1998: 70-80

E. Allen Emerson, Richard J. Trefler: Model Checking Real-Time Properties of Symmetric Systems. MFCS 1998: 427-436

Anish Arora, Paul C. Attie, E. Allen Emerson: Synthesis of Fault-Tolerant Concurrent Programs. PODC 1998: 173-182

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)

William Canfield, E. Allen Emerson, Avijit Saha: Checking Formal Specifications under Simulation. ICCD 1997: 455-460

E. Allen Emerson, Somesh Jha, Doron Peled: Combining Partial Order and Symmetry Reductions. TACAS 1997: 19-34

E. Allen Emerson, Richard J. Trefler: Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach. TAPSOFT 1997: 189-200

Paul C. Attie, Munindar P. Singh, E. Allen Emerson, Amit P. Sheth, Marek Rusinkiewicz: Scheduling workflows by enforcing intertask dependencies. Distributed Systems Engineering 3(4): 222-238 (1996)

E. Allen Emerson, A. Prasad Sistla: Symmetry and Model Checking. Formal Methods in System Design 9(1/2): 105-131 (1996)

E. Allen Emerson, Kedar S. Namjoshi: Automatic Verification of Parameterized Synchronous Systems (Extended Abstract). CAV 1996: 87-98

E. Allen Emerson: Model Checking and the Mu-calculus. Descriptive Complexity and Finite Models 1996: 185-214

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

E. Allen Emerson: Automated Temporal Reasoning about Reactive Systems. Banff Higher Order Workshop 1995: 41-101

E. Allen Emerson: Methods for Mu-calculus Model Checking: A Tutorial (Abstract). CAV 1995: 141

E. Allen Emerson, A. Prasad Sistla: Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach. CAV 1995: 309-324

E. Allen Emerson: Efficient Automation of Temporal Reasoning. CONCUR 1995: 393-394

E. Allen Emerson, Kedar S. Namjoshi: Reasoning about Rings. POPL 1995: 85-94

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

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)

E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla: On Model-Checking for Fragments of µ-Calculus. CAV 1993: 385-396

E. Allen Emerson, A. Prasad Sistla: Symmetry and Model Checking. CAV 1993: 463-478

Farn Wang, Aloysius K. Mok, E. Allen Emerson: Symbolic Model Checking for Distributed Real-Time Systems. FME 1993: 632-651

E. Allen Emerson, Tom Sadler, Jai Srinivasan: Efficient Temporal Satisfiability. J. Log. Comput. 2(2): 173-210 (1992)

E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan: Quantitative Temporal Reasoning. Real-Time Systems 4(4): 331-352 (1992)

Farn Wang, Aloysius K. Mok, E. Allen Emerson: Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. ICSE 1992: 188-198

E. Allen Emerson, Charanjit S. Jutla: Tree Automata, Mu-Calculus and Determinacy (Extended Abstract). FOCS 1991: 368-377

E. Allen Emerson: Real-Time and the Mu-Calculus (Preliminary Report). REX Workshop 1991: 176-194

E. Allen Emerson: Temporal and Modal Logic. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 995-1072

E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan: Quantitative Temporal Reasoning. CAV 1990: 136-145

E. Allen Emerson, Michael Evangelist, Jai Srinivasan: On the Limits of Efficient Temporal Decidability (Extended Abstract). LICS 1990: 464-475

E. Allen Emerson, Jai Srinivasan: A Decidable Temporal Logic to Reason About Many Processes. PODC 1990: 233-246

Robert S. Streett, E. Allen Emerson: An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus. Inf. Comput. 81(3): 249-264 (1989)

E. Allen Emerson, Charanjit S. Jutla: On Simultaneously Determinizing and Complementing omega-Automata (Extended Abstract). LICS 1989: 333-342

E. Allen Emerson, Tom Sadler, Jai Srinivasan: Efficient Temporal Reasoning. POPL 1989: 166-178

Paul C. Attie, E. Allen Emerson: Synthesis of Concurrent Systems with Many Similar Sequential Processes. POPL 1989: 191-201

E. Allen Emerson, Charanjit S. Jutla: The Complexity of Tree Automata and Logics of Programs (Extended Abstract). FOCS 1988: 328-337

E. Allen Emerson, Jai Srinivasan: Branching time temporal logic. REX Workshop 1988: 123-172

E. Allen Emerson: Uniform Inevitability is Tree Automaton Ineffable. Inf. Process. Lett. 24(2): 77-79 (1987)

E. Allen Emerson, Chin-Laung Lei: Modalities for Model Checking: Branching Time Logic Strikes Back. Sci. Comput. Program. 8(3): 275-306 (1987)

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)

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)

E. Allen Emerson, Chin-Laung Lei: Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract). LICS 1986: 267-278

E. Allen Emerson, Chin-Laung Lei: Temporal Reasoning Under Generalized Fairness Constraints. STACS 1986: 21-36

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)

E. Allen Emerson: Automata, Tableaux and Temporal Logics (Extended Abstract). Logic of Programs 1985: 79-88

E. Allen Emerson, Chin-Laung Lei: Modalities for Model Checking: Branching Time Strikes Back. POPL 1985: 84-96

E. Allen Emerson, A. Prasad Sistla: Deciding Full Branching Time Logic. Information and Control 61(3): 175-201 (1984)

Robert S. Streett, E. Allen Emerson: The Propositional Mu-Calculus is Elementary. ICALP 1984: 465-472

E. Allen Emerson, A. Prasad Sistla: Deciding Branching Time Logic. STOC 1984: 14-24

E. Allen Emerson: Alternative Semantics for Temporal Logics. Theor. Comput. Sci. 26: 121-130 (1983)

E. Allen Emerson, A. Prasad Sistla: Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL*. Logic of Programs 1983: 176-192

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

E. Allen Emerson, Joseph Y. Halpern: ``Sometimes'' and ``Not Never'' Revisited: On Branching Versus Linear Time. POPL 1983: 127-140

E. Allen Emerson, Edmund M. Clarke: Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons. Sci. Comput. Program. 2(3): 241-266 (1982)

E. Allen Emerson, Joseph Y. Halpern: Decision Procedures and Expressiveness in the Temporal Logic of Branching Time. STOC 1982: 169-180

Edmund M. Clarke, E. Allen Emerson: Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. Logic of Programs 1981: 52-71

E. Allen Emerson, Edmund M. Clarke: Characterizing Correctness Properties of Parallel Programs Using Fixpoints. ICALP 1980: 169-181