×

Emerson, Ernest Allen

Author ID: emerson.e-allen Recent zbMATH articles by "Emerson, Ernest Allen"
Published as: Emerson, E. Allen; Emerson, E. A.
Homepage: http://www.cs.utexas.edu/~emerson/
External Links: MGP · Wikidata · dblp · GND · IdRef
Awards: Turing Award (2007)

Publications by Year

Citations contained in zbMATH Open

45 Publications have been cited 1,956 times in 1,234 Documents Cited by Year
Temporal and modal logic. Zbl 0900.03030
Emerson, E. Allen
323
1990
Automatic verification of finite-state concurrent systems using temporal logic specifications. Zbl 0591.68027
Clarke, E. M.; Emerson, E. A.; Sistla, A. P.
323
1986
Design and synthesis of synchronization skeletons using branching time temporal logic. Zbl 0546.68014
Clarke, Edmund M.; Emerson, E. Allen
250
1982
“Sometimes” and “not never” revisited: On branching versus linear time temporal logic. Zbl 0629.68020
Emerson, E. Allen; Halpern, Joseph Y.
206
1986
Decision procedures and expressiveness in the temporal logic of branching time. Zbl 0559.68051
Emerson, E. Allen; Halpern, Joseph Y.
101
1985
Using branching time temporal logic to synthesize synchronization skeletons. Zbl 0514.68032
Emerson, E. Allen; Clarke, Edmund M.
85
1982
On model checking for the \(\mu\)-calculus and its fragments. Zbl 0973.68120
Emerson, E. A.; Jutla, C. S.; Sistla, A. P.
65
2001
Modalities for model checking: Branching time logic strikes back. Zbl 0615.68019
Emerson, E. Allen; Lei, Chin-Laung
60
1987
Deciding full branching time logic. Zbl 0593.03007
Emerson, E. Allen; Sistla, A. Prasad
58
1984
The complexity of tree automata and logics of programs. Zbl 0937.68074
Emerson, E. Allen; Jutla, Charanjit S.
55
1999
An automata theoretic decision procedure for the propositional mu- calculus. Zbl 0671.03023
Streett, Robert S.; Emerson, E. Allen
55
1989
Characterizing correctness properties of parallel programs using fixpoints. Zbl 0456.68016
Emerson, E. Allen; Clarke, Edmund M.
52
1980
On reasoning about rings. Zbl 1101.68371
Emerson, E. Allen; Namjoshi, Kedar S.
33
2003
Reducing model checking of the many to the few. Zbl 0963.68109
Emerson, E. Allen; Kahlon, Vineet
31
2000
On model checking for non-deterministic infinite-state systems. Zbl 0945.68523
Emerson, E. Allen; Namjoshi, Kedar S.
28
1998
Model checking and the Mu-calculus. Zbl 0877.03020
Emerson, E. Allen
27
1997
Automata, tableaux, and temporal logics. Zbl 0603.03005
Emerson, E. Allen
21
1985
Quantitative temporal reasoning. Zbl 0765.68121
Emerson, E. Allen; Mok, A. K.; Sistla, A. P.; Srinivasan, Jai
20
1991
Alternative semantics for temporal logics. Zbl 0559.68050
Emerson, E. Allen
18
1983
The propositional mu-calculus is elementary. Zbl 0556.68005
Streett, Robert S.; Emerson, E. Allen
17
1984
Branching time temporal logic. (Tutorial). Zbl 0683.68013
Emerson, E. Allen; Srinivasan, Jai
12
1989
Parameterized model checking of ring-based message passing systems. Zbl 1095.68051
Emerson, E. Allen; Kahlon, Vineet
11
2004
Temporal reasoning under generalized fairness constraints. Zbl 0614.03023
Emerson, E. Allen; Lei, Chin-Laung
11
1986
Exact and efficient verification of parameterized cache coherence protocols. Zbl 1179.68013
Emerson, E. Allen; Kahlon, Vineet
9
2003
The beginning of model checking: a personal perspective. Zbl 1142.68047
Emerson, E. Allen
8
2008
Design and synthesis of synchronization skeletons using branching time temporal logic. Zbl 1142.68431
Clarke, Edmund M.; Emerson, E. Allen
8
2008
From asymmetry to full symmetry: New techniques for symmetry reduction in model checking. Zbl 0957.68067
Emerson, E. Allen; Trefler, Richard J.
8
1999
Dynamic symmetry reduction. Zbl 1087.68587
Emerson, E. Allen; Wahl, Thomas
8
2005
Model checking large-scale and parameterized resource allocation systems. Zbl 1043.68569
Emerson, E. Allen; Kahlon, Vineet
7
2002
Rapid parameterized model checking of snoopy cache coherence protocols. Zbl 1031.68548
Emerson, E. Allen; Kahlon, Vineet
7
2003
Uniform inevitability is tree automaton ineffable. Zbl 0653.68079
Emerson, E. Allen
6
1987
Synthesis of fault-tolerant concurrent programs. Zbl 1333.68080
Arora, Anish; Attie, Paul C.; Emerson, E. Allen
4
1998
On simultaneously determinizing and complementing \(\omega\)-automata. Zbl 0716.03035
Emerson, E. Allen; Jutla, Charanjit S.
4
1989
Automatic verification of parameterized data structures. Zbl 1180.68126
Deshmukh, Jyotirmoy V.; Emerson, E. Allen; Gupta, Prateek
4
2006
Deciding branching time logic: A triple exponential decision procedure for \(CTL^*\). Zbl 0559.68052
Emerson, E. Allen; Sistla, A. Prasad
3
1984
Abstract patterns of compositional reasoning. Zbl 1274.68217
Amla, Nina; Emerson, E. Allen; Namjoshi, Kedar; Trefler, Richard
3
2003
On combining symmetry reduction and symbolic representation for efficient model checking. Zbl 1179.68082
Emerson, E. Allen; Wahl, Thomas
3
2003
Assume-guarantee based compositional reasoning for synchronous timing diagrams. Zbl 0978.68537
Amla, Nina; Emerson, E. Allen; Namjoshi, Kedar; Trefler, Richard
2
2001
Efficient temporal satisfiability. Zbl 0767.03013
Emerson, E. Allen; Sadler, Tom; Srinivasan, Jai
2
1992
Synthesis of concurrent systems for an atomic read/atomic write model of computation. Zbl 1321.68342
Attie, Paul C.; Emerson, E. Allen
2
1996
Model checking real-time properties of symmetric systems. Zbl 0913.03036
Emerson, E. Allen; Trefler, Richard J.
2
1998
Computer aided verification. 12th international conference, CAV 2000. Chicago, IL, USA, July 15–19, 2000. Proceedings. Zbl 0941.00029
1
2000
Visual specifications for modular reasoning about asynchronous systems. Zbl 1037.68506
Amla, Nina; Emerson, E. Allen; Namjoshi, Kedar S.; Trefler, Richard J.
1
2002
Using temporal logic for automatic verification of finite state systems. Zbl 0582.68009
Clarke, E. M.; Browne, M. C.; Emerson, E. A.; Sistla, A. P.
1
1985
A partitioning methodology for BDD-based verification. Zbl 1117.68435
Sahoo, Debashis; Iyer, Subramanian; Jain, Jawahar; Stangier, Christian; Narayan, Amit; Dill, David L.; Emerson, E. Allen
1
2004
The beginning of model checking: a personal perspective. Zbl 1142.68047
Emerson, E. Allen
8
2008
Design and synthesis of synchronization skeletons using branching time temporal logic. Zbl 1142.68431
Clarke, Edmund M.; Emerson, E. Allen
8
2008
Automatic verification of parameterized data structures. Zbl 1180.68126
Deshmukh, Jyotirmoy V.; Emerson, E. Allen; Gupta, Prateek
4
2006
Dynamic symmetry reduction. Zbl 1087.68587
Emerson, E. Allen; Wahl, Thomas
8
2005
Parameterized model checking of ring-based message passing systems. Zbl 1095.68051
Emerson, E. Allen; Kahlon, Vineet
11
2004
A partitioning methodology for BDD-based verification. Zbl 1117.68435
Sahoo, Debashis; Iyer, Subramanian; Jain, Jawahar; Stangier, Christian; Narayan, Amit; Dill, David L.; Emerson, E. Allen
1
2004
On reasoning about rings. Zbl 1101.68371
Emerson, E. Allen; Namjoshi, Kedar S.
33
2003
Exact and efficient verification of parameterized cache coherence protocols. Zbl 1179.68013
Emerson, E. Allen; Kahlon, Vineet
9
2003
Rapid parameterized model checking of snoopy cache coherence protocols. Zbl 1031.68548
Emerson, E. Allen; Kahlon, Vineet
7
2003
Abstract patterns of compositional reasoning. Zbl 1274.68217
Amla, Nina; Emerson, E. Allen; Namjoshi, Kedar; Trefler, Richard
3
2003
On combining symmetry reduction and symbolic representation for efficient model checking. Zbl 1179.68082
Emerson, E. Allen; Wahl, Thomas
3
2003
Model checking large-scale and parameterized resource allocation systems. Zbl 1043.68569
Emerson, E. Allen; Kahlon, Vineet
7
2002
Visual specifications for modular reasoning about asynchronous systems. Zbl 1037.68506
Amla, Nina; Emerson, E. Allen; Namjoshi, Kedar S.; Trefler, Richard J.
1
2002
On model checking for the \(\mu\)-calculus and its fragments. Zbl 0973.68120
Emerson, E. A.; Jutla, C. S.; Sistla, A. P.
65
2001
Assume-guarantee based compositional reasoning for synchronous timing diagrams. Zbl 0978.68537
Amla, Nina; Emerson, E. Allen; Namjoshi, Kedar; Trefler, Richard
2
2001
Reducing model checking of the many to the few. Zbl 0963.68109
Emerson, E. Allen; Kahlon, Vineet
31
2000
Computer aided verification. 12th international conference, CAV 2000. Chicago, IL, USA, July 15–19, 2000. Proceedings. Zbl 0941.00029
1
2000
The complexity of tree automata and logics of programs. Zbl 0937.68074
Emerson, E. Allen; Jutla, Charanjit S.
55
1999
From asymmetry to full symmetry: New techniques for symmetry reduction in model checking. Zbl 0957.68067
Emerson, E. Allen; Trefler, Richard J.
8
1999
On model checking for non-deterministic infinite-state systems. Zbl 0945.68523
Emerson, E. Allen; Namjoshi, Kedar S.
28
1998
Synthesis of fault-tolerant concurrent programs. Zbl 1333.68080
Arora, Anish; Attie, Paul C.; Emerson, E. Allen
4
1998
Model checking real-time properties of symmetric systems. Zbl 0913.03036
Emerson, E. Allen; Trefler, Richard J.
2
1998
Model checking and the Mu-calculus. Zbl 0877.03020
Emerson, E. Allen
27
1997
Synthesis of concurrent systems for an atomic read/atomic write model of computation. Zbl 1321.68342
Attie, Paul C.; Emerson, E. Allen
2
1996
Efficient temporal satisfiability. Zbl 0767.03013
Emerson, E. Allen; Sadler, Tom; Srinivasan, Jai
2
1992
Quantitative temporal reasoning. Zbl 0765.68121
Emerson, E. Allen; Mok, A. K.; Sistla, A. P.; Srinivasan, Jai
20
1991
Temporal and modal logic. Zbl 0900.03030
Emerson, E. Allen
323
1990
An automata theoretic decision procedure for the propositional mu- calculus. Zbl 0671.03023
Streett, Robert S.; Emerson, E. Allen
55
1989
Branching time temporal logic. (Tutorial). Zbl 0683.68013
Emerson, E. Allen; Srinivasan, Jai
12
1989
On simultaneously determinizing and complementing \(\omega\)-automata. Zbl 0716.03035
Emerson, E. Allen; Jutla, Charanjit S.
4
1989
Modalities for model checking: Branching time logic strikes back. Zbl 0615.68019
Emerson, E. Allen; Lei, Chin-Laung
60
1987
Uniform inevitability is tree automaton ineffable. Zbl 0653.68079
Emerson, E. Allen
6
1987
Automatic verification of finite-state concurrent systems using temporal logic specifications. Zbl 0591.68027
Clarke, E. M.; Emerson, E. A.; Sistla, A. P.
323
1986
“Sometimes” and “not never” revisited: On branching versus linear time temporal logic. Zbl 0629.68020
Emerson, E. Allen; Halpern, Joseph Y.
206
1986
Temporal reasoning under generalized fairness constraints. Zbl 0614.03023
Emerson, E. Allen; Lei, Chin-Laung
11
1986
Decision procedures and expressiveness in the temporal logic of branching time. Zbl 0559.68051
Emerson, E. Allen; Halpern, Joseph Y.
101
1985
Automata, tableaux, and temporal logics. Zbl 0603.03005
Emerson, E. Allen
21
1985
Using temporal logic for automatic verification of finite state systems. Zbl 0582.68009
Clarke, E. M.; Browne, M. C.; Emerson, E. A.; Sistla, A. P.
1
1985
Deciding full branching time logic. Zbl 0593.03007
Emerson, E. Allen; Sistla, A. Prasad
58
1984
The propositional mu-calculus is elementary. Zbl 0556.68005
Streett, Robert S.; Emerson, E. Allen
17
1984
Deciding branching time logic: A triple exponential decision procedure for \(CTL^*\). Zbl 0559.68052
Emerson, E. Allen; Sistla, A. Prasad
3
1984
Alternative semantics for temporal logics. Zbl 0559.68050
Emerson, E. Allen
18
1983
Design and synthesis of synchronization skeletons using branching time temporal logic. Zbl 0546.68014
Clarke, Edmund M.; Emerson, E. Allen
250
1982
Using branching time temporal logic to synthesize synchronization skeletons. Zbl 0514.68032
Emerson, E. Allen; Clarke, Edmund M.
85
1982
Characterizing correctness properties of parallel programs using fixpoints. Zbl 0456.68016
Emerson, E. Allen; Clarke, Edmund M.
52
1980
all top 5

Cited by 1,724 Authors

31 Vardi, Moshe Ya’akov
26 Murano, Aniello
24 Kupferman, Orna
24 Lange, Martin
23 Bozzelli, Laura
23 Duan, Zhenhua
23 Wooldridge, Michael J.
19 Tian, Cong
16 Peron, Adriano
16 Pnueli, Amir
15 Montanari, Angelo
14 Fisher, Michael
14 Peled, Doron A.
14 Zhang, Nan
13 Baier, Christel
13 Laroussinie, François
13 Walukiewicz, Igor
12 Clarke, Edmund Melson jun.
12 Dixon, Clare
12 Gutierrez, Julian
11 Abdulla, Parosh Aziz
11 Henzinger, Thomas A.
11 Markey, Nicolas
11 Mogavero, Fabio
11 Perelli, Giuseppe
10 Demri, Stéphane P.
10 Gnesi, Stefania
10 Reynolds, Mark Alexander
10 van der Hoek, Wiebe
9 Aceto, Luca
9 Bolotov, Alexander
9 Bouyer, Patricia
9 Esparza, Javier
9 Finkel, Alain
9 Schewe, Sven
8 Chatterjee, Krishnendu
8 Cimatti, Alessandro
8 Emerson, Ernest Allen
8 Ingólfsdóttir, Anna
8 Jamroga, Wojciech
8 Kucera, Antonin
8 Larsen, Kim Guldstrand
8 Mandrioli, Dino
8 Pinchinat, Sophie
8 Raskin, Jean-François
8 Sorrentino, Loredana
7 Bollig, Benedikt
7 Fantechi, Alessandro
7 Grumberg, Orna
7 Halpern, Joseph Yehuda
7 Meier, Arne
7 Molinari, Alberto
7 Piterman, Nir
7 Pradella, Matteo
7 Raskin, Mikhail
7 Rubin, Sasha
7 Sala, Pietro
7 Sciavicco, Guido
6 Ågotnes, Thomas
6 Benerecetti, Massimo
6 Bonakdarpour, Borzoo
6 Bruse, Florian
6 Castro, Pablo F.
6 Gastin, Paul
6 Goranko, Valentin F.
6 Hustadt, Ullrich
6 Kamide, Norihiro
6 Kesten, Yonit
6 McCabe-Dansted, John Christopher
6 Rabinovich, Alexander
6 Rybakov, Vladimir Vladimirovich
6 Sifakis, Joseph
6 Steffen, Bernhard
5 Alechina, Natasha
5 Aminof, Benjamin
5 Arnold, André
5 Attie, Paul C.
5 Blondin, Michael
5 Bouajjani, Ahmed
5 Bradfield, Julian Charles
5 Broersen, Jan M.
5 Cleaveland, Rance
5 De Giacomo, Giuseppe
5 Finkbeiner, Bernd
5 Fisman, Dana
5 Francalanza, Adrian
5 Friedmann, Oliver
5 Habermehl, Peter
5 Klüppelholz, Sascha
5 Konnov, Igor V.
5 Kwiatkowska, Marta Z.
5 La Torre, Salvatore
5 Leucker, Martin
5 Logan, Brian
5 Maibaum, Thomas Stephen Edward
5 Martí-Oliet, Narciso
5 Mateescu, Radu
5 Mazzanti, Franco
5 Miller, Alice Ann
5 Penczek, Wojciech
...and 1,624 more Authors
all top 5

Cited in 106 Serials

161 Theoretical Computer Science
90 Information and Computation
68 Formal Methods in System Design
38 Formal Aspects of Computing
36 Artificial Intelligence
35 Journal of Computer and System Sciences
30 Acta Informatica
24 The Journal of Logic and Algebraic Programming
23 Information Processing Letters
22 Logical Methods in Computer Science
20 Journal of Logical and Algebraic Methods in Programming
19 Annals of Mathematics and Artificial Intelligence
18 Journal of Applied Logic
15 Annals of Pure and Applied Logic
15 Journal of Automated Reasoning
15 ACM Transactions on Computational Logic
13 Studia Logica
10 Journal of Applied Non-Classical Logics
9 Science of Computer Programming
9 International Journal of Foundations of Computer Science
9 Journal of Logic, Language and Information
8 Information Sciences
8 Synthese
8 Journal of Computer Science and Technology
8 Discrete Event Dynamic Systems
8 RAIRO. Theoretical Informatics and Applications
7 Journal of Symbolic Computation
6 Programming and Computer Software
6 MSCS. Mathematical Structures in Computer Science
6 Distributed Computing
6 The Bulletin of Symbolic Logic
5 Journal of Philosophical Logic
5 Theory of Computing Systems
4 Mathematical and Computer Modelling
4 Fundamenta Informaticae
4 Sādhanā
3 Discrete Applied Mathematics
3 Automatica
3 The Journal of Symbolic Logic
3 International Journal of Approximate Reasoning
3 European Journal of Control
3 International Journal of Applied Mathematics and Computer Science
3 Computer Languages, Systems & Structures
3 Science China. Information Sciences
2 Fuzzy Sets and Systems
2 SIAM Journal on Computing
2 Siberian Mathematical Journal
2 Topology and its Applications
2 Algorithmica
2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
2 RAIRO. Informatique Théorique et Applications
2 Vestnik St. Petersburg University. Mathematics
2 Journal of Combinatorial Optimization
2 Journal of Applied Mathematics
2 Mathematics in Computer Science
2 RAIRO. Theoretical Informatics and Applications
2 Frontiers of Computer Science in China
2 Frontiers of Computer Science
2 Computer Science Review
2 Logicheskie Issledovaniya
1 ACM Computing Surveys
1 Computers & Mathematics with Applications
1 International Journal of Control
1 International Journal of General Systems
1 International Journal of Theoretical Physics
1 Lithuanian Mathematical Journal
1 Algebra and Logic
1 International Journal of Game Theory
1 Journal of Combinatorial Theory. Series B
1 Journal of Mathematical Economics
1 Journal of Soviet Mathematics
1 Notre Dame Journal of Formal Logic
1 RAIRO, Informatique Théorique
1 Software. Practice & Experience
1 Systems & Control Letters
1 International Journal of Parallel Programming
1 Computers & Operations Research
1 Asia-Pacific Journal of Operational Research
1 AI Communications
1 Real-Time Systems
1 International Journal of Algebra and Computation
1 Automation and Remote Control
1 International Journal of Computer Mathematics
1 Archive for Mathematical Logic
1 Foundations of Computing and Decision Sciences
1 Archives of Control Sciences
1 Mathematical Logic Quarterly (MLQ)
1 The Electronic Journal of Combinatorics
1 Journal of the ACM
1 Higher-Order and Symbolic Computation
1 Foundations of Science
1 Electronic Commerce Research
1 Theory and Practice of Logic Programming
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 International Journal of Parallel, Emergent and Distributed Systems
1 Electronic Notes in Theoretical Computer Science
1 Logica Universalis
1 Foundations and Trends in Theoretical Computer Science
1 The Review of Symbolic Logic
1 Algorithms
...and 6 more Serials

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.