Emerson, E. Allen - Department of Computer Sciences, University of Texas at Austin

Advanced Search

Emerson, E. Allen - Department of Computer Sciences, University of Texas at Austin

Quantitative Temporal Reasoning y E. A. EMERSON 1;2 A. K. MOK 1 A. P. SISTLA 3 J. SRINIVASAN 1;4
Automatic Verification of Parameterized Synchronous Systems ?
Generalized Quantitative Temporal Reasoning: An Automata TheoreticApproach ?
Tree Automata, MuCalculus and Determinacy (Extended Abstract)
THE COMPLEXITY OF TREE AUTOMATA AND LOGICS OF E. ALLEN EMERSON + AND CHARANJIT S. JUTLA #
SMC: SymmetryBased Model Checker for Verification of Safety and Liveness
Rapid Parameterized Model Checking Snoopy Cache Coherence Protocols
Rtdt: A Front-End for Ecient Model Checking of Synchronous Timing Diagrams
Efficient Decompositional Model Checking for Regular Timing Diagrams
Checking Formal Specifications under Simulation William Canfield \Lambda E. Allen Emerson Avijit Saha
Synthesis of Fault-Tolerant Concurrent Programs 1 Paul C. ATTIE
Model Checking: Theory into Practice
On Reasoning about Rings ? E. Allen Emerson 1 and Kedar S. Namjoshi 2
Synthesis of Concurrent Systems for an Atomic Read / Atomic Write Model of Computation
Synthesis of Concurrent Systems with Many Similar PAUL C. ATTIE
Model Checking RealTime Properties of Symmetric Systems ?
Synthesis of Concurrent Programs for an Atomic Read/Write Model of Computation
From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in
Exact and Efficient Verification Parameterized Cache Coherence Protocols
Abstract Patterns of Compositional Reasoning Nina Amla 1 , E. Allen Emerson 2 , Kedar Namjoshi 3 , and Richard Tre er 4
Virtual Symmetry Reduction E. Allen Emerson and John W. Havlicek \Lambda
Parametric Quantitative Temporal Reasoning \Lambda E. Allen Emerson
Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automatatheoretic
On modelchecking for calculus and its fragments E. A. Emerson \Lambda C. S. Jutla y A. P. Sistla z
On Model Checking for NonDeterministic InfiniteState Systems \Lambda E. Allen Emerson Kedar S. Namjoshi
Reducing Model Checking of the Many to the Few ?
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams
Combining Partial Order and Symmetry E. Allen Emerson 1 ? and Somesh Jha 2 ?? and Doron Peled 3
Model Checking Synchronous Timing Diagrams Nina Amla 1 , E. Allen Emerson 1 , Robert P. Kurshan 2 , and Kedar S. Namjoshi 2
Symmetry Reductions in Model Checking \Lambda E. M. Clarke y E. A. Emerson z S. Jha y A.P. Sistla x
Model Checking LargeScale and Parameterized Resource Allocation Systems
Reasoning about Rings \Lambda E. Allen Emerson Kedar S. Namjoshi
Symmetry and Model Checking E. Allen Emerson \Lambda A. Prasad Sistla y
On Combining Symmetry Reduction and Symbolic Representation
Model Checking Guarded Protocols E. Allen Emerson and Vineet Kahlon