E. Allen Emerson

According to our database, E. Allen Emerson authored at least 108 papers between 1980 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Memories of Edsger W. Dijkstra.

E. Allen Emerson

Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

2014

Cost-Aware Automatic Program Repair.

Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson

Proceedings of the Static Analysis - 21st International Symposium, 2014

2012

Improved Binary Decision Diagram Constraint Propagation for Satisfiability Problems.

Oswaldo Olivo, E. Allen Emerson

Proceedings of the 31st International Conference of the Chilean Computer Science Society, 2012

Systems Architecture, Design, Engineering, and Verification - The Practice in Research and Research in Practice.

Dahlia Malkhi, Fernando J. Corbató, E. Allen Emerson, Joseph Sifakis, Ken Thompson

Proceedings of the ACM Turing Centenary Celebration, 2012

2011

Symbolic modular deadlock analysis.

Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan

Autom. Softw. Eng., 2011

A More Efficient BDD-Based QBF Solver.

Oswaldo Olivo, E. Allen Emerson

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

An Algorithmic Framework for Synthesis of Concurrent Programs.

E. Allen Emerson, Roopsha Samanta

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Time of Time.

E. Allen Emerson

Proceedings of the Static Analysis - 17th International Symposium, 2010

Meanings of Model Checking.

E. Allen Emerson

Proceedings of the Concurrency, 2010

2009

Model checking: algorithmic verification and debugging.

Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis

Commun. ACM, 2009

Model Checking: Progress and Problems.

E. Allen Emerson

Proceedings of the Verification, 2009

Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients.

Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan

Proceedings of the ASE 2009, 2009

Verification of recursive methods on tree-like data structures.

Jyotirmoy V. Deshmukh, E. Allen Emerson

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2008

SVISS: Symbolic Verification of Symmetric Systems.

Thomas Wahl, Nicolas Blanc, E. Allen Emerson

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

The Beginning of Model Checking: A Personal Perspective.

E. Allen Emerson

Proceedings of the 25 Years of Model Checking - History, Achievements, Perspectives, 2008

Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic.

Edmund M. Clarke, E. Allen Emerson

Proceedings of the 25 Years of Model Checking - History, Achievements, Perspectives, 2008

Automatic Generation of Local Repairs for Boolean Programs.

Roopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen Emerson

Proceedings of the Formal Methods in Computer-Aided Design, 2008

2007

Improved verification of hardware designs through antecedent conditioned slicing.

Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham

Int. J. Softw. Tools Technol. Transf., 2007

2006

On partitioning and symbolic model checking.

Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

Molecular Model Checking.

E. Allen Emerson, Kristina D. Hager, Jay H. Konieczka

Int. J. Found. Comput. Sci., 2006

Automatic Verification of Parameterized Data Structures.

Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Reducing Model Checking of the Few to the One.

E. Allen Emerson, Richard J. Trefler, Thomas Wahl

Proceedings of the Formal Methods and Software Engineering, 2006

2005

Under-approximation Heuristics for Grid-based Bounded Model Checking.

Subramanian K. Iyer, Jawahar Jain, Debashis Sahoo, E. Allen Emerson

Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, 2005

Dynamic Symmetry Reduction.

E. Allen Emerson, Thomas Wahl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Multi-threaded reachability.

Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson

Proceedings of the 42nd Design Automation Conference, 2005

Predictive Reachability Using a Sample-Based Approach.

Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004

Synthesis of fault-tolerant concurrent programs.

Paul C. Attie, Anish Arora, E. Allen Emerson

ACM Trans. Program. Lang. Syst., 2004

Efficient Model Checking of Hardware Using Conditioned Slicing.

Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham

Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

Efficient Reduction Techniques for Systems with Many Components.

E. Allen Emerson, Thomas Wahl

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

A Partitioning Methodology for BDD-Based Verification.

Debashis Sahoo, Subramanian K. Iyer, Jawahar Jain, Christian Stangier, Amit Narayan, David L. Dill, E. Allen Emerson

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

Parameterized Model Checking of Ring-Based Message Passing Systems.

E. Allen Emerson, Vineet Kahlon

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2003

On Reasoning About Rings.

E. Allen Emerson, Kedar S. Namjoshi

Int. J. Found. Comput. Sci., 2003

Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols.

E. Allen Emerson, Vineet Kahlon

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Model Checking Guarded Protocols.

E. Allen Emerson, Vineet Kahlon

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

Abstract Patterns of Compositional Reasoning.

Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler

Proceedings of the CONCUR 2003, 2003

On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking.

E. Allen Emerson, Thomas Wahl

Proceedings of the Correct Hardware Design and Verification Methods, 2003

Exact and Efficient Verification of Parameterized Cache Coherence Protocols.

E. Allen Emerson, Vineet Kahlon

Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002

Model Checking Large-Scale and Parameterized Resource Allocation Systems.

E. Allen Emerson, Vineet Kahlon

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

Visual Specifications for Modular Reasoning about Asynchronous Systems.

Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2001

Synthesis of concurrent programs for an atomic read/write model of computation.

Paul C. Attie, E. Allen Emerson

ACM Trans. Program. Lang. Syst., 2001

On model checking for the µ-calculus and its fragments.

E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla

Theor. Comput. Sci., 2001

Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams.

Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams.

Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

SMC: a symmetry-based model checker for verification of safety and liveness properties.

A. Prasad Sistla, Viktor Gyuris, E. Allen Emerson

ACM Trans. Softw. Eng. Methodol., 2000

Automated formal methods: model checking and beyond.

E. Allen Emerson

ACM SIGSOFT Softw. Eng. Notes, 2000

Virtual Symmetry Reduction.

E. Allen Emerson, John Havlicek, Richard J. Trefler

Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

Model Checking: Theory into Practice.

E. Allen Emerson

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

Model Checking Synchronous Timing Diagrams.

Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

Reducing Model Checking of the Many to the Few.

E. Allen Emerson, Vineet Kahlon

Proceedings of the Automated Deduction, 2000

1999

The Complexity of Tree Automata and Logics of Programs.

E. Allen Emerson, Charanjit S. Jutla

SIAM J. Comput., 1999

Parametric Quantitative Temporal Reasoning.

E. Allen Emerson, Richard J. Trefler

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking.

E. Allen Emerson, Richard J. Trefler

Proceedings of the Correct Hardware Design and Verification Methods, 1999

Efficient Decompositional Model Checking for Regular Timing Diagrams.

Nina Amla, E. Allen Emerson, Kedar S. Namjoshi

Proceedings of the Correct Hardware Design and Verification Methods, 1999

1998

Synthesis of Concurrent Systems with Many Similar Processes.

Paul C. Attie, E. Allen Emerson

ACM Trans. Program. Lang. Syst., 1998

Model Checking Real-Time Properties of Symmetric Systems.

E. Allen Emerson, Richard J. Trefler

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

On Model Checking for Non-Deterministic Infinite-State Systems.

E. Allen Emerson, Kedar S. Namjoshi

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

Verification of Parameterized Bus Arbitration Protocol.

E. Allen Emerson, Kedar S. Namjoshi

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

Symmetry Reductions in Model Checking.

Edmund M. Clarke, E. Allen Emerson, Somesh Jha, A. Prasad Sistla

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach.

E. Allen Emerson, A. Prasad Sistla

ACM Trans. Program. Lang. Syst., 1997

Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach.

E. Allen Emerson, Richard J. Trefler

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Combining Partial Order and Symmetry Reductions.

E. Allen Emerson, Somesh Jha, Doron A. Peled

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Checking Formal Specifications under Simulation.

William Canfield, E. Allen Emerson, Avijit Saha

Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997

1996

Symmetry and Model Checking.

E. Allen Emerson, A. Prasad Sistla

Formal Methods Syst. Des., 1996

Scheduling workflows by enforcing intertask dependencies.

Paul C. Attie, Munindar P. Singh, E. Allen Emerson, Amit P. Sheth, Marek Rusinkiewicz

Distributed Syst. Eng., 1996

Synthesis of Concurrent Systems for an Atomic Read / Atomic Write Model of Computation (Extended Abstract).

Paul C. Attie, E. Allen Emerson

Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

Model Checking and the Mu-calculus.

E. Allen Emerson

Proceedings of the Descriptive Complexity and Finite Models, 1996

Automatic Verification of Parameterized Synchronous Systems (Extended Abstract).

E. Allen Emerson, Kedar S. Namjoshi

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Modularity and Rule-Based Programming.

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

Int. J. Artif. Intell. Tools, 1995

Efficient Automation of Temporal Reasoning.

E. Allen Emerson

Proceedings of the CONCUR '95: Concurrency Theory, 1995

Methods for Mu-calculus Model Checking: A Tutorial (Abstract).

E. Allen Emerson

Proceedings of the Computer Aided Verification, 1995

Automated Temporal Reasoning about Reactive Systems.

E. Allen Emerson

Proceedings of the Logics for Concurrency, 1995

1994

A New Approach to Modularity in Rule-Based Programming.

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

Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994

1993

Distributed Real-Time System Specification and Verification in APTL.

Farn Wang, Aloysius K. Mok, E. Allen Emerson

ACM Trans. Softw. Eng. Methodol., 1993

Symbolic Model Checking for Distributed Real-Time Systems.

Farn Wang, Aloysius K. Mok, E. Allen Emerson

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

On Model-Checking for Fragments of µ-Calculus.

E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

Quantitative Temporal Reasoning.

E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan

Real Time Syst., 1992

Efficient Temporal Satisfiability.

E. Allen Emerson, Tom Sadler, Jai Srinivasan

J. Log. Comput., 1992

Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL.

Farn Wang, Aloysius K. Mok, E. Allen Emerson

Proceedings of the 14th International Conference on Software Engineering, 1992

1991

Real-Time and the Mu-Calculus (Preliminary Report).

E. Allen Emerson

Proceedings of the Real-Time: Theory in Practice, 1991

Tree Automata, Mu-Calculus and Determinacy (Extended Abstract)

E. Allen Emerson, Charanjit S. Jutla

Proceedings of the 32nd Annual Symposium on Foundations of Computer Science, 1991

1990

A Decidable Temporal Logic to Reason About Many Processes.

E. Allen Emerson, Jai Srinivasan

Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, 1990

On the Limits of Efficient Temporal Decidability (Extended Abstract)

E. Allen Emerson, Michael Evangelist, Jai Srinivasan

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

Temporal and Modal Logic.

E. Allen Emerson

Proceedings of the Handbook of Theoretical Computer Science, 1990

1989

An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus

Robert S. Streett, E. Allen Emerson

Inf. Comput., June, 1989

Efficient Temporal Reasoning.

E. Allen Emerson, Tom Sadler, Jai Srinivasan

Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

Synthesis of Concurrent Systems with Many Similar Sequential Processes.

Paul C. Attie, E. Allen Emerson

Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

On Simultaneously Determinizing and Complementing omega-Automata (Extended Abstract)

E. Allen Emerson, Charanjit S. Jutla

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

1988

Branching time temporal logic.

E. Allen Emerson, Jai Srinivasan

Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988

The Complexity of Tree Automata and Logics of Programs (Extended Abstract)

E. Allen Emerson, Charanjit S. Jutla

Proceedings of the 29th Annual Symposium on Foundations of Computer Science, 1988

1987

Modalities for Model Checking: Branching Time Logic Strikes Back.

E. Allen Emerson, Chin-Laung Lei

Sci. Comput. Program., 1987

Uniform Inevitability is Tree Automaton Ineffable.

E. Allen Emerson

Inf. Process. Lett., 1987

1986

Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications.

Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla

ACM Trans. Program. Lang. Syst., 1986

"Sometimes" and "Not Never" revisited: on branching versus linear time temporal logic.

E. Allen Emerson, Joseph Y. Halpern

J. ACM, 1986

Temporal Reasoning Under Generalized Fairness Constraints.

E. Allen Emerson, Chin-Laung Lei

Proceedings of the STACS 86, 1986

Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract)

E. Allen Emerson, Chin-Laung Lei

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

1985

Decision Procedures and Expressiveness in the Temporal Logic of Branching Time.

E. Allen Emerson, Joseph Y. Halpern

J. Comput. Syst. Sci., 1985

Modalities for Model Checking: Branching Time Strikes Back.

E. Allen Emerson, Chin-Laung Lei

Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

Automata, Tableaux and Temporal Logics (Extended Abstract).

E. Allen Emerson

Proceedings of the Logics of Programs, 1985

1984

Deciding Full Branching Time Logic

E. Allen Emerson, A. Prasad Sistla

Inf. Control., June, 1984

Deciding Branching Time Logic

E. Allen Emerson, A. Prasad Sistla

Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984

Using Temporal Logic for Automatic Verification of Finite State Systems.

Edmund M. Clarke, Michael C. Browne, E. Allen Emerson, A. Prasad Sistla

Proceedings of the Logics and Models of Concurrent Systems, 1984

The Propositional Mu-Calculus is Elementary.

Robert S. Streett, E. Allen Emerson

Proceedings of the Automata, 1984

1983

Alternative Semantics for Temporal Logics.

E. Allen Emerson

Theor. Comput. Sci., 1983

"Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time.

E. Allen Emerson, Joseph Y. Halpern

Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983

Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach.

Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla

Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983

Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL*.

E. Allen Emerson, A. Prasad Sistla

Proceedings of the Logics of Programs, 1983

1982

Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons.

E. Allen Emerson, Edmund M. Clarke

Sci. Comput. Program., 1982

1980

Characterizing Correctness Properties of Parallel Programs Using Fixpoints.

E. Allen Emerson, Edmund M. Clarke

Proceedings of the Automata, 1980