Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "E. Allen Emerson" ( http://dblp.L3S.de/Authors/E._Allen_Emerson )

URL (Homepage):  http://www.cs.utexas.edu/~emerson/  Author page on DBLP  Author page in RDF  Community of E. Allen Emerson in ASPL-2

Publication years (Num. hits)
1980-1986 (18) 1987-1992 (17) 1993-1996 (15) 1997-2000 (20) 2001-2004 (15) 2005-2008 (17) 2009-2011 (9)
Publication types (Num. hits)
article(30) incollection(1) inproceedings(78) proceedings(2)
Venues (Conferences, Journals, ...)
CAV(10) LICS(7) TACAS(7) POPL(6) ACM Trans. Program. Lang. Syst...(5) CHARME(5) FMCAD(4) Electr. Notes Theor. Comput. S...(3) Logic of Programs(3) PODC(3) 25 Years of Model Checking(2) ACM Trans. Softw. Eng. Methodo...(2) CONCUR(2) FOCS(2) ICALP(2) Int. J. Found. Comput. Sci.(2) More (+10 of total 57)
Authors
E. Allen Emerson(111) A. Prasad Sistla(16) Kedar S. Namjoshi(12) Richard J. Trefler(9) Edmund M. Clarke(8) Jai Srinivasan(7) Paul C. Attie(7) Aloysius K. Mok(6) Charanjit S. Jutla(6) Debashis Sahoo(6) Jawahar Jain(6) Nina Amla(6) Subramanian K. Iyer(6) Vineet Kahlon(6) Jyotirmoy V. Deshmukh(5) Thomas Wahl(5) More (+10 of total 58)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 69 occurrences of 53 keywords
Results
Found 111 publication records. Showing 111 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan Symbolic modular deadlock analysis. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Roopsha Samanta An Algorithmic Framework for Synthesis of Concurrent Programs. Search on Bibsonomy ATVA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Oswaldo Olivo, E. Allen Emerson A More Efficient BDD-Based QBF Solver. Search on Bibsonomy CP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson Meanings of Model Checking. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson Time of Time. Search on Bibsonomy SAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis Model checking: algorithmic verification and debugging. Search on Bibsonomy Commun. ACM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients. Search on Bibsonomy ASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Concurrent Libraries, Static Analysis, Program Analysis, Deadlock Detection, SMT solvers
1Jyotirmoy V. Deshmukh, E. Allen Emerson Verification of recursive methods on tree-like data structures. Search on Bibsonomy FMCAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson Model Checking: Progress and Problems. Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Wahl, Nicolas Blanc, E. Allen Emerson SVISS: Symbolic Verification of Symmetric Systems. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Roopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen Emerson Automatic Generation of Local Repairs for Boolean Programs. Search on Bibsonomy FMCAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson The Beginning of Model Checking: A Personal Perspective. Search on Bibsonomy 25 Years of Model Checking The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model-theoretic, origins, model checking, synthesis, history
1Edmund M. Clarke, E. Allen Emerson Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic. Search on Bibsonomy 25 Years of Model Checking The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham Improved verification of hardware designs through antecedent conditioned slicing. Search on Bibsonomy STTT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF LTL property, Antecedent conditioned slicing, Verilog RTL, Model checking, Program slicing, Hardware description languages, Hardware verification
1E. Allen Emerson, Kristina D. Hager, Jay H. Konieczka Molecular Model Checking. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Subramanian K. Iyer, Jawahar Jain, Debashis Sahoo, E. Allen Emerson Under-approximation Heuristics for Grid-based Bounded Model Checking. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain On partitioning and symbolic model checking. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Richard J. Trefler, Thomas Wahl Reducing Model Checking of the Few to the One. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta Automatic Verification of Parameterized Data Structures. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Parameterized correctness, Data structures
1E. 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 Search on Bibsonomy VMCAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham Efficient Model Checking of Hardware Using Conditioned Slicing. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Thomas Wahl Efficient Reduction Techniques for Systems with Many Components. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Thomas Wahl Dynamic Symmetry Reduction. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson Multi-threaded reachability. Search on Bibsonomy DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF parallel, multi-threaded, reachability analysis
1Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson Predictive Reachability Using a Sample-Based Approach. Search on Bibsonomy CHARME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain On Partitioning and Symbolic Model Checking. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF state partitioning, BDD, Symbolic Model Checking, CTL
1Paul C. Attie, Anish Arora, E. Allen Emerson Synthesis of fault-tolerant concurrent programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF fault-tolerance, specification, temporal logic, Concurrent programs, program synthesis
1Debashis Sahoo, Subramanian K. Iyer, Jawahar Jain, Christian Stangier, Amit Narayan, David L. Dill, E. Allen Emerson A Partitioning Methodology for BDD-Based Verification. Search on Bibsonomy FMCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Vineet Kahlon Parameterized Model Checking of Ring-Based Message Passing Systems. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Kedar S. Namjoshi On Reasoning About Rings. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler Abstract Patterns of Compositional Reasoning. Search on Bibsonomy CONCUR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Vineet Kahlon Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Thomas Wahl On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking. Search on Bibsonomy CHARME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Vineet Kahlon Exact and Efficient Verification of Parameterized Cache Coherence Protocols. Search on Bibsonomy CHARME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Vineet Kahlon Model Checking Guarded Protocols. Search on Bibsonomy LICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler Visual Specifications for Modular Reasoning about Asynchronous Systems. Search on Bibsonomy FORTE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Vineet Kahlon Model Checking Large-Scale and Parameterized Resource Allocation Systems. Search on Bibsonomy TACAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla On model checking for the µ-calculus and its fragments. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Paul C. Attie, E. Allen Emerson Synthesis of concurrent programs for an atomic read/write model of computation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF specification, temporal logic, concurrent programs, program synthesis, atomic registers
1Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams. Search on Bibsonomy TACAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1A. Prasad Sistla, Viktor Gyuris, E. Allen Emerson SMC: a symmetry-based model checker for verification of safety and liveness properties. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF model checking, automata
1E. Allen Emerson, Vineet Kahlon Reducing Model Checking of the Many to the Few. Search on Bibsonomy CADE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi Model Checking Synchronous Timing Diagrams. Search on Bibsonomy FMCAD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, A. Prasad Sistla (eds.) Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings Search on Bibsonomy CAV The full citation details ... 2000 DBLP  BibTeX  RDF
1E. Allen Emerson, John Havlicek, Richard J. Trefler Virtual Symmetry Reduction. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson Model Checking: Theory into Practice. Search on Bibsonomy FSTTCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Charanjit S. Jutla The Complexity of Tree Automata and Logics of Programs. Search on Bibsonomy SIAM J. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Richard J. Trefler From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking. Search on Bibsonomy CHARME The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Nina Amla, E. Allen Emerson, Kedar S. Namjoshi Efficient Decompositional Model Checking for Regular Timing Diagrams. Search on Bibsonomy CHARME The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Richard J. Trefler Parametric Quantitative Temporal Reasoning. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Paul C. Attie, E. Allen Emerson Synthesis of Concurrent Systems with Many Similar Processes. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF temporal logic, concurrent programs, program synthesis
1E. Allen Emerson, Richard J. Trefler Model Checking Real-Time Properties of Symmetric Systems. Search on Bibsonomy MFCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Anish Arora, Paul C. Attie, E. Allen Emerson Synthesis of Fault-Tolerant Concurrent Programs. Search on Bibsonomy PODC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Edmund M. Clarke, E. Allen Emerson, Somesh Jha, A. Prasad Sistla Symmetry Reductions inModel Checking. Search on Bibsonomy CAV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Kedar S. Namjoshi Verification of Parameterized Bus Arbitration Protocol. Search on Bibsonomy CAV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Kedar S. Namjoshi On Model Checking for Non-Deterministic Infinite-State Systems. Search on Bibsonomy LICS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, A. Prasad Sistla Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF model-checking, temporal logic, abstraction, symmetry, automata, state explosion
1E. Allen Emerson, Somesh Jha, Doron Peled Combining Partial Order and Symmetry Reductions. Search on Bibsonomy TACAS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Richard J. Trefler Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach. Search on Bibsonomy TAPSOFT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1William Canfield, E. Allen Emerson, Avijit Saha Checking Formal Specifications under Simulation. Search on Bibsonomy ICCD The full citation details ... 1997 DBLP  BibTeX  RDF
1Paul C. Attie, Munindar P. Singh, E. Allen Emerson, Amit P. Sheth, Marek Rusinkiewicz Scheduling workflows by enforcing intertask dependencies. Search on Bibsonomy Distributed Systems Engineering The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, A. Prasad Sistla Symmetry and Model Checking. Search on Bibsonomy Formal Methods in System Design The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Paul C. Attie, E. Allen Emerson Synthesis of Concurrent Systems for an Atomic Read / Atomic Write Model of Computation (Extended Abstract). Search on Bibsonomy PODC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Kedar S. Namjoshi Automatic Verification of Parameterized Synchronous Systems (Extended Abstract). Search on Bibsonomy CAV The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson Model Checking and the Mu-calculus. Search on Bibsonomy Descriptive Complexity and Finite Models The full citation details ... 1996 DBLP  BibTeX  RDF
1E. Allen Emerson Efficient Automation of Temporal Reasoning. Search on Bibsonomy CONCUR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Kedar S. Namjoshi Reasoning about Rings. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson Automated Temporal Reasoning about Reactive Systems. Search on Bibsonomy Banff Higher Order Workshop The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, A. Prasad Sistla Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach. Search on Bibsonomy CAV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson Methods for Mu-calculus Model Checking: A Tutorial (Abstract). Search on Bibsonomy CAV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1James 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. Search on Bibsonomy ICTAI The full citation details ... 1994 DBLP  BibTeX  RDF
1Farn Wang, Aloysius K. Mok, E. Allen Emerson Distributed Real-Time System Specification and Verification in APTL. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF bounded clock rate drifting, multiclock system model, propositional temporal logic, real-time systems, verification, specification, asynchronous
1Farn Wang, Aloysius K. Mok, E. Allen Emerson Symbolic Model Checking for Distributed Real-Time Systems. Search on Bibsonomy FME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla On Model-Checking for Fragments of µ-Calculus. Search on Bibsonomy CAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, A. Prasad Sistla Symmetry and Model Checking. Search on Bibsonomy CAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Tom Sadler, Jai Srinivasan Efficient Temporal Satisfiability. Search on Bibsonomy J. Log. Comput. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan Quantitative Temporal Reasoning. Search on Bibsonomy Real-Time Systems The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Farn Wang, Aloysius K. Mok, E. Allen Emerson Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. Search on Bibsonomy ICSE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF PTL
1E. Allen Emerson, Charanjit S. Jutla Tree Automata, Mu-Calculus and Determinacy (Extended Abstract) Search on Bibsonomy FOCS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF infinite trees, online algorithms, decidability, finite automata, equivalence, complementation, mu-calculus, infinite games, determinacy
1E. Allen Emerson Real-Time and the Mu-Calculus (Preliminary Report). Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson Temporal and Modal Logic. Search on Bibsonomy Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) The full citation details ... 1990 DBLP  BibTeX  RDF
1E. Allen Emerson, Jai Srinivasan A Decidable Temporal Logic to Reason About Many Processes. Search on Bibsonomy PODC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan Quantitative Temporal Reasoning. Search on Bibsonomy CAV The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Michael Evangelist, Jai Srinivasan On the Limits of Efficient Temporal Decidability (Extended Abstract) Search on Bibsonomy LICS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Robert S. Streett, E. Allen Emerson An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus Search on Bibsonomy Inf. Comput. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Tom Sadler, Jai Srinivasan Efficient Temporal Reasoning. Search on Bibsonomy POPL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Paul C. Attie, E. Allen Emerson Synthesis of Concurrent Systems with Many Similar Sequential Processes. Search on Bibsonomy POPL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Charanjit S. Jutla On Simultaneously Determinizing and Complementing omega-Automata (Extended Abstract) Search on Bibsonomy LICS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Charanjit S. Jutla The Complexity of Tree Automata and Logics of Programs (Extended Abstract) Search on Bibsonomy FOCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF PDL-delta, infinite trees, nonemptiness algorithm, computational complexity, satisfiability, tree automata, finite-state automata, branching time logic, propositional dynamic logic, logics of programs, CTL*
1E. Allen Emerson, Jai Srinivasan Branching time temporal logic. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis
1E. Allen Emerson Uniform Inevitability is Tree Automaton Ineffable. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Chin-Laung Lei Modalities for Model Checking: Branching Time Logic Strikes Back. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Joseph Y. Halpern ``Sometimes'' and ``Not Never'' revisited: on branching versus linear time temporal logic. Search on Bibsonomy J. ACM The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Chin-Laung Lei Temporal Reasoning Under Generalized Fairness Constraints. Search on Bibsonomy STACS The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Chin-Laung Lei Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract) Search on Bibsonomy LICS The full citation details ... 1986 DBLP  BibTeX  RDF
1E. Allen Emerson, Joseph Y. Halpern Decision Procedures and Expressiveness in the Temporal Logic of Branching Time. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson Automata, Tableaux and Temporal Logics (Extended Abstract). Search on Bibsonomy Logic of Programs The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Chin-Laung Lei Modalities for Model Checking: Branching Time Strikes Back. Search on Bibsonomy POPL The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 111 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.