WorldCat Identities

Emerson, E. Allen

Overview
Works: 25 works in 79 publications in 1 language and 901 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Other
Classifications: QA76.76.V47, 004.24
Publication Timeline
.
Most widely held works about E. Allen Emerson
 
Most widely held works by E. Allen Emerson
Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings by E. Allen Emerson( Book )

17 editions published in 2000 in English and held by 230 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 12th International Conference on Computer Aided Verification, CAV 2000, held in Chicago, IL, USA in July 2000. The 35 revised full papers presented together with 9 tool papers were carefully reviewed and selected from 91 submissions. The papers address all current aspects of the theory and practice of formal methods for hardware and software verification. Emphasis is given to verification algorithms, methods, and tools and their implementation
Automatic verification of finite state concurrent systems using temporal logic specifications : a practical approach by E. M Clarke( Book )

6 editions published between 1983 and 1985 in English and held by 10 WorldCat member libraries worldwide

No abstract
Model checking in the propositional mu-calculus by E. Allen Emerson( Book )

3 editions published in 1986 in English and held by 4 WorldCat member libraries worldwide

No abstract
Modalities for model checking : branching time logic strikes back by E. Allen Emerson( Book )

2 editions published in 1985 in English and held by 4 WorldCat member libraries worldwide

'Sometimes' and 'not never' revisited : on branching versus linear time by E. Allen Emerson( Book )

6 editions published in 1984 in English and held by 4 WorldCat member libraries worldwide

No abstract
Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings by E. Allen Emerson( Book )

2 editions published in 2006 in English and held by 4 WorldCat member libraries worldwide

Annotation The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods
Alternative semantics for temporal logics by E. Allen Emerson( Book )

5 editions published in 1981 in English and held by 3 WorldCat member libraries worldwide

No abstract
Deciding full branching time logic by E. Allen Emerson( Book )

4 editions published in 1985 in English and held by 3 WorldCat member libraries worldwide

No abstract
Decision procedures and expressiveness in the temporal logic of branching time by E. Allen Emerson( Book )

3 editions published in 1985 in English and held by 3 WorldCat member libraries worldwide

No abstract
Model checking : beyond the finite by Vineet Kahlon( )

1 edition published in 2004 in English and held by 2 WorldCat member libraries worldwide

The complexity of tree automata and logics of programs by E. Allen Emerson( Book )

1 edition published in 1993 in English and held by 2 WorldCat member libraries worldwide

Abstract: "The complexity of testing nonemptiness of finite state automata on infinite trees is investigated. It is shown that for tree automata with pairs (or complemented pairs) acceptance condition having m states and n pairs nonemptiness can be tested in deterministic time (mn)[superscript O(n)]; however, it is shown that the problem is in general NP-complete (or co-NP-complete, respectively). The new nonemptiness algorithm yields exponentially improved, essentially tight upper bounds for numerous important modal logics of programs, interpreted with the usual semantics over structures generated by binary relations. For example, it follows that satisfiability for the full branching time logic CTL[superscript *] can be tested in deterministic double exponential time. Another consequence is that satisfiability for Propositional Dynamic Logic with a repetition construct (PDL-delta) and for the Propositional Mu- calculus (L [mu]) can be tested in deterministic single exponential time."
Deciding branching time logic: a triple exponential decision procedure for CTL by E. Allen Emerson( Book )

2 editions published in 1983 in English and held by 2 WorldCat member libraries worldwide

No abstract
Using branching time temporal logic to synthesize synchronization skeletons by University of Texas at Austin( Book )

3 editions published in 1982 in English and held by 2 WorldCat member libraries worldwide

Verification, Model Checking, and Abstract Interpretation (vol. # 3855) by E. Allen Emerson( Book )

7 editions published between 2005 and 2006 in English and held by 2 WorldCat member libraries worldwide

Model checking under generalized fairness constraints by E. Allen Emerson( Book )

3 editions published in 1984 in English and held by 2 WorldCat member libraries worldwide

No abstract
Branching time temporal logic and the design of correct concurrent programs by E. Allen Emerson( Book )

1 edition published in 1981 in English and held by 2 WorldCat member libraries worldwide

Synthesis of concurrent programs for an atomic read by Paul C Attie( )

1 edition published in 2001 in English and held by 1 WorldCat member library worldwide

Verification, Model Checking, and Abstract Interpretation by E. Allen Emerson( Book )

in English and held by 1 WorldCat member library worldwide

Visual information and information systems : 8th international conference, VISUAL 2005, Amsterdam, the Netherlands, July 5, 2005 : revised selected papers by Stéphane Bres( Book )

5 editions published in 2006 in English and held by 1 WorldCat member library worldwide

Using branching time logic to synthesize synchronization skeletons by E. Allen Emerson( )

1 edition published in 1982 in English and held by 0 WorldCat member libraries worldwide

No abstract
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.73 (from 0.50 for Synthesis ... to 0.99 for Allen, Eme ...)

Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings
Alternative Names
Allen Emerson amerikanischer Informatiker

Allen Emerson, E. 1954-

Allen Emerson informaticien américain

E. Allen Emerson Amerikaans informaticus

E. Allen Emerson amerikansk ingeniør og informatikar

E. Allen Emerson amerikansk ingeniør og informatiker

E. Allen Emerson amerikansk ingenjör och datavetare

Emerson, Ernest Allen 1954-

Ernest Allen Emerson

Ернест Аллен Емерсон

Эмерсон, Эрнест Аллен

ألين إيمرسون

ئی. آلن امرسون دانشمند علوم کامپیوتر و مهندس آمریکایی

আর্নেস্ট অ্যালেন এমারসন

アレン・エマーソン

艾伦·爱默生

Languages
English (75)

Covers
Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedingsVerification, Model Checking, and Abstract Interpretation (vol. # 3855)Visual information and information systems : 8th international conference, VISUAL 2005, Amsterdam, the Netherlands, July 5, 2005 : revised selected papers