E. Allen Emerson

Publication Activity (10 Years)

Years Active: 1980-2014
Publications (10 Years): 0

Top Venues

CoRR

ACM-TURING

SCCC

SAS

Publications

Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson
Cost-Aware Automatic Program Repair. SAS (2014)
Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson
Cost-Aware Automatic Program Repair. CoRR (2013)
Oswaldo Olivo, E. Allen Emerson
Improved Binary Decision Diagram Constraint Propagation for Satisfiability Problems. SCCC (2012)
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)
Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan
Symbolic modular deadlock analysis. Autom. Softw. Eng. 18 (3-4) (2011)
E. Allen Emerson, Roopsha Samanta
An Algorithmic Framework for Synthesis of Concurrent Programs. ATVA (2011)
Oswaldo Olivo, E. Allen Emerson
A More Efficient BDD-Based QBF Solver. CP (2011)
E. Allen Emerson
Time of Time. SAS (2010)
E. Allen Emerson
Meanings of Model Checking. Concurrency, Compositionality, and Correctness (2010)
E. Allen Emerson
Model Checking: Progress and Problems. VMCAI (2009)
Jyotirmoy V. Deshmukh, E. Allen Emerson
Verification of recursive methods on tree-like data structures. FMCAD (2009)
Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan
Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients. ASE (2009)
Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis
Model checking: algorithmic verification and debugging. Commun. ACM 52 (11) (2009)
E. Allen Emerson
The Beginning of Model Checking: A Personal Perspective. 25 Years of Model Checking (2008)
Thomas Wahl, Nicolas Blanc, E. Allen Emerson
SVISS: Symbolic Verification of Symmetric Systems. TACAS (2008)
Roopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen Emerson
Automatic Generation of Local Repairs for Boolean Programs. FMCAD (2008)
Edmund M. Clarke, E. Allen Emerson
Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic. 25 Years of Model Checking (2008)
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) (2007)
E. Allen Emerson, Kristina D. Hager, Jay H. Konieczka
Molecular Model Checking. Int. J. Found. Comput. Sci. 17 (4) (2006)
E. Allen Emerson, Richard J. Trefler, Thomas Wahl
Reducing Model Checking of the Few to the One. ICFEM (2006)
Subramanian K. Iyer, Jawahar Jain, Debashis Sahoo, E. Allen Emerson
Under-approximation Heuristics for Grid-based Bounded Model Checking. Electron. Notes Theor. Comput. Sci. 135 (2) (2006)
Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta
Automatic Verification of Parameterized Data Structures. TACAS (2006)
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) (2006)
E. Allen Emerson, Thomas Wahl
Dynamic Symmetry Reduction. TACAS (2005)
Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham
Efficient Model Checking of Hardware Using Conditioned Slicing. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson
Multi-threaded reachability. DAC (2005)
E. Allen Emerson, Thomas Wahl
Efficient Reduction Techniques for Systems with Many Components. Electron. Notes Theor. Comput. Sci. 130 (2005)
Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain
On Partitioning and Symbolic Model Checking. FM (2005)
Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson
Predictive Reachability Using a Sample-Based Approach. CHARME (2005)
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)
E. Allen Emerson, Vineet Kahlon
Parameterized Model Checking of Ring-Based Message Passing Systems. CSL (2004)
Paul C. Attie, Anish Arora, E. Allen Emerson
Synthesis of fault-tolerant concurrent programs. ACM Trans. Program. Lang. Syst. 26 (1) (2004)
E. Allen Emerson, Kedar S. Namjoshi
On Reasoning About Rings. Int. J. Found. Comput. Sci. 14 (4) (2003)
Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler
Abstract Patterns of Compositional Reasoning. CONCUR (2003)
E. Allen Emerson, Vineet Kahlon
Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols. TACAS (2003)
E. Allen Emerson, Vineet Kahlon
Exact and Efficient Verification of Parameterized Cache Coherence Protocols. CHARME (2003)
E. Allen Emerson, Thomas Wahl
On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking. CHARME (2003)
E. Allen Emerson, Vineet Kahlon
Model Checking Guarded Protocols. LICS (2003)
E. Allen Emerson, Vineet Kahlon
Model Checking Large-Scale and Parameterized Resource Allocation Systems. TACAS (2002)
Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler
Visual Specifications for Modular Reasoning about Asynchronous Systems. FORTE (2002)
Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams. TACAS (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)
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) (2001)
E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla
On model checking for the µ-calculus and its fragments. Theor. Comput. Sci. 258 (1-2) (2001)
Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi
Model Checking Synchronous Timing Diagrams. FMCAD (2000)
E. Allen Emerson
Model Checking: Theory into Practice. FSTTCS (2000)
E. Allen Emerson, John Havlicek, Richard J. Trefler
Virtual Symmetry Reduction. LICS (2000)
E. Allen Emerson
Automated formal methods: model checking and beyond. ACM SIGSOFT Softw. Eng. Notes 25 (1) (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) (2000)
E. Allen Emerson, Vineet Kahlon
Reducing Model Checking of the Many to the Few. CADE (2000)
E. Allen Emerson, Charanjit S. Jutla
The Complexity of Tree Automata and Logics of Programs. SIAM J. Comput. 29 (1) (1999)
Nina Amla, E. Allen Emerson, Kedar S. Namjoshi
Efficient Decompositional Model Checking for Regular Timing Diagrams. CHARME (1999)
E. Allen Emerson, Richard J. Trefler
From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking. CHARME (1999)
E. Allen Emerson, Richard J. Trefler
Parametric Quantitative Temporal Reasoning. LICS (1999)
E. Allen Emerson, Richard J. Trefler
Model Checking Real-Time Properties of Symmetric Systems. MFCS (1998)
Paul C. Attie, E. Allen Emerson
Synthesis of Concurrent Systems with Many Similar Processes. ACM Trans. Program. Lang. Syst. 20 (1) (1998)
Edmund M. Clarke, E. Allen Emerson, Somesh Jha, A. Prasad Sistla
Symmetry Reductions in Model Checking. CAV (1998)
E. Allen Emerson, Kedar S. Namjoshi
Verification of Parameterized Bus Arbitration Protocol. CAV (1998)
Anish Arora, Paul C. Attie, E. Allen Emerson
Synthesis of Fault-Tolerant Concurrent Programs. PODC (1998)
E. Allen Emerson, Kedar S. Namjoshi
On Model Checking for Non-Deterministic Infinite-State Systems. LICS (1998)
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) (1997)
William Canfield, E. Allen Emerson, Avijit Saha
Checking Formal Specifications under Simulation. ICCD (1997)
E. Allen Emerson, Richard J. Trefler
Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach. TAPSOFT (1997)
E. Allen Emerson, Somesh Jha, Doron A. Peled
Combining Partial Order and Symmetry Reductions. TACAS (1997)
Paul C. Attie, E. Allen Emerson
Synthesis of Concurrent Systems for an Atomic Read / Atomic Write Model of Computation (Extended Abstract). PODC (1996)
E. Allen Emerson
Model Checking and the Mu-calculus. Descriptive Complexity and Finite Models (1996)
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) (1996)
E. Allen Emerson, Kedar S. Namjoshi
Automatic Verification of Parameterized Synchronous Systems (Extended Abstract). CAV (1996)
E. Allen Emerson, A. Prasad Sistla
Symmetry and Model Checking. Formal Methods Syst. Des. 9 (1/2) (1996)
E. Allen Emerson
Methods for Mu-calculus Model Checking: A Tutorial (Abstract). CAV (1995)
E. Allen Emerson, Kedar S. Namjoshi
Reasoning about Rings. POPL (1995)
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) (1995)
E. Allen Emerson
Efficient Automation of Temporal Reasoning. CONCUR (1995)
E. Allen Emerson
Automated Temporal Reasoning about Reactive Systems. Banff Higher Order Workshop (1995)
E. Allen Emerson, A. Prasad Sistla
Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach. CAV (1995)
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)
Farn Wang, Aloysius K. Mok, E. Allen Emerson
Symbolic Model Checking for Distributed Real-Time Systems. FME (1993)
Farn Wang, Aloysius K. Mok, E. Allen Emerson
Distributed Real-Time System Specification and Verification in APTL. ACM Trans. Softw. Eng. Methodol. 2 (4) (1993)
E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla
On Model-Checking for Fragments of µ-Calculus. CAV (1993)
E. Allen Emerson, A. Prasad Sistla
Symmetry and Model Checking. CAV (1993)
Farn Wang, Aloysius K. Mok, E. Allen Emerson
Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. ICSE (1992)
E. Allen Emerson, Tom Sadler, Jai Srinivasan
Efficient Temporal Satisfiability. J. Log. Comput. 2 (2) (1992)
E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan
Quantitative Temporal Reasoning. Real Time Syst. 4 (4) (1992)
E. Allen Emerson, Charanjit S. Jutla
Tree Automata, Mu-Calculus and Determinacy (Extended Abstract) FOCS (1991)
E. Allen Emerson
Real-Time and the Mu-Calculus (Preliminary Report). REX Workshop (1991)
E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan
Quantitative Temporal Reasoning. CAV (1990)
E. Allen Emerson, Jai Srinivasan
A Decidable Temporal Logic to Reason About Many Processes. PODC (1990)
E. Allen Emerson, Michael Evangelist, Jai Srinivasan
On the Limits of Efficient Temporal Decidability (Extended Abstract) LICS (1990)
E. Allen Emerson, Charanjit S. Jutla
On Simultaneously Determinizing and Complementing omega-Automata (Extended Abstract) LICS (1989)
Robert S. Streett, E. Allen Emerson
An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus Inf. Comput. 81 (3) (1989)
E. Allen Emerson, Tom Sadler, Jai Srinivasan
Efficient Temporal Reasoning. POPL (1989)
Paul C. Attie, E. Allen Emerson
Synthesis of Concurrent Systems with Many Similar Sequential Processes. POPL (1989)
E. Allen Emerson, Jai Srinivasan
Branching time temporal logic. REX Workshop (1988)
E. Allen Emerson, Charanjit S. Jutla
The Complexity of Tree Automata and Logics of Programs (Extended Abstract) FOCS (1988)
E. Allen Emerson
Uniform Inevitability is Tree Automaton Ineffable. Inf. Process. Lett. 24 (2) (1987)
E. Allen Emerson, Chin-Laung Lei
Modalities for Model Checking: Branching Time Logic Strikes Back. Sci. Comput. Program. 8 (3) (1987)
E. Allen Emerson, Chin-Laung Lei
Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract) LICS (1986)
E. Allen Emerson, Joseph Y. Halpern
"Sometimes" and "Not Never" revisited: on branching versus linear time temporal logic. J. ACM 33 (1) (1986)
E. Allen Emerson, Chin-Laung Lei
Temporal Reasoning Under Generalized Fairness Constraints. STACS (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) (1986)

E. Allen Emerson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

E. Allen Emerson