dblp.uni-trier.dewww.uni-trier.de

E. Allen Emerson Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
103EEE. Allen Emerson: Model Checking: Progress and Problems. VMCAI 2009: 1
2008
102EEEdmund M. Clarke, E. Allen Emerson: Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic. 25 Years of Model Checking 2008: 196-215
101EEE. Allen Emerson: The Beginning of Model Checking: A Personal Perspective. 25 Years of Model Checking 2008: 27-45
100EERoopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen Emerson: Automatic Generation of Local Repairs for Boolean Programs. FMCAD 2008: 1-10
99EEThomas Wahl, Nicolas Blanc, E. Allen Emerson: SVISS: Symbolic Verification of Symmetric Systems. TACAS 2008: 459-462
2007
98EEShobha Vasudevan, E. Allen Emerson, Jacob A. Abraham: Improved verification of hardware designs through antecedent conditioned slicing. STTT 9(1): 89-101 (2007)
2006
97 E. Allen Emerson, Kedar S. Namjoshi: Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings Springer 2006
96EEE. Allen Emerson, Richard J. Trefler, Thomas Wahl: Reducing Model Checking of the Few to the One. ICFEM 2006: 94-113
95EEJyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta: Automatic Verification of Parameterized Data Structures. TACAS 2006: 27-41
94EESubramanian K. Iyer, Jawahar Jain, Debashis Sahoo, E. Allen Emerson: Under-approximation Heuristics for Grid-based Bounded Model Checking. Electr. Notes Theor. Comput. Sci. 135(2): 31-46 (2006)
93EESubramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain: On partitioning and symbolic model checking. IEEE Trans. on CAD of Integrated Circuits and Systems 25(5): 780-788 (2006)
92EEE. Allen Emerson, Kristina D. Hager, Jay H. Konieczka: Molecular Model Checking. Int. J. Found. Comput. Sci. 17(4): 733-742 (2006)
2005
91EEDebashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson: Predictive Reachability Using a Sample-Based Approach. CHARME 2005: 388-392
90EEDebashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson: Multi-threaded reachability. DAC 2005: 467-470
89EESubramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain: On Partitioning and Symbolic Model Checking. FM 2005: 497-511
88EEE. Allen Emerson, Thomas Wahl: Dynamic Symmetry Reduction. TACAS 2005: 382-396
87EEShobha Vasudevan, E. Allen Emerson, Jacob A. Abraham: Efficient Model Checking of Hardware Using Conditioned Slicing. Electr. Notes Theor. Comput. Sci. 128(6): 279-294 (2005)
86EEE. Allen Emerson, Thomas Wahl: Efficient Reduction Techniques for Systems with Many Components. Electr. Notes Theor. Comput. Sci. 130: 379-399 (2005)
2004
85EEE. Allen Emerson, Vineet Kahlon: Parameterized Model Checking of Ring-Based Message Passing Systems. CSL 2004: 325-339
84EEDebashis 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: 399-413
83EEPaul C. Attie, Anish Arora, E. Allen Emerson: Synthesis of fault-tolerant concurrent programs. ACM Trans. Program. Lang. Syst. 26(1): 125-185 (2004)
2003
82EEE. Allen Emerson, Thomas Wahl: On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking. CHARME 2003: 216-230
81EEE. Allen Emerson, Vineet Kahlon: Exact and Efficient Verification of Parameterized Cache Coherence Protocols. CHARME 2003: 247-262
80EENina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler: Abstract Patterns of Compositional Reasoning. CONCUR 2003: 423-438
79EEE. Allen Emerson, Vineet Kahlon: Model Checking Guarded Protocols. LICS 2003: 361-370
78EEE. Allen Emerson, Vineet Kahlon: Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols. TACAS 2003: 144-159
77EEE. Allen Emerson, Kedar S. Namjoshi: On Reasoning About Rings. Int. J. Found. Comput. Sci. 14(4): 527-550 (2003)
2002
76EENina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler: Visual Specifications for Modular Reasoning about Asynchronous Systems. FORTE 2002: 226-242
75EEE. Allen Emerson, Vineet Kahlon: Model Checking Large-Scale and Parameterized Resource Allocation Systems. TACAS 2002: 251-265
2001
74EENina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi: Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams. CAV 2001: 387-390
73EENina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler: Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams. TACAS 2001: 465-479
72EEPaul C. Attie, E. Allen Emerson: Synthesis of concurrent programs for an atomic read/write model of computation. ACM Trans. Program. Lang. Syst. 23(2): 187-242 (2001)
71EEE. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla: On model checking for the µ-calculus and its fragments. Theor. Comput. Sci. 258(1-2): 491-522 (2001)
2000
70 E. Allen Emerson, A. Prasad Sistla: Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings Springer 2000
69EEE. Allen Emerson, Vineet Kahlon: Reducing Model Checking of the Many to the Few. CADE 2000: 236-254
68EENina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi: Model Checking Synchronous Timing Diagrams. FMCAD 2000: 283-298
67EEE. Allen Emerson: Model Checking: Theory into Practice. FSTTCS 2000: 1-10
66EEE. Allen Emerson, John Havlicek, Richard J. Trefler: Virtual Symmetry Reduction. LICS 2000: 121-131
65EEA. 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): 133-166 (2000)
1999
64EEE. Allen Emerson, Richard J. Trefler: From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking. CHARME 1999: 142-156
63EENina Amla, E. Allen Emerson, Kedar S. Namjoshi: Efficient Decompositional Model Checking for Regular Timing Diagrams. CHARME 1999: 67-81
62EEE. Allen Emerson, Richard J. Trefler: Parametric Quantitative Temporal Reasoning. LICS 1999: 336-343
61 E. Allen Emerson, Charanjit S. Jutla: The Complexity of Tree Automata and Logics of Programs. SIAM J. Comput. 29(1): 132-158 (1999)
1998
60EEEdmund M. Clarke, E. Allen Emerson, Somesh Jha, A. Prasad Sistla: Symmetry Reductions inModel Checking. CAV 1998: 147-158
59EEE. Allen Emerson, Kedar S. Namjoshi: Verification of Parameterized Bus Arbitration Protocol. CAV 1998: 452-463
58 E. Allen Emerson, Kedar S. Namjoshi: On Model Checking for Non-Deterministic Infinite-State Systems. LICS 1998: 70-80
57EEE. Allen Emerson, Richard J. Trefler: Model Checking Real-Time Properties of Symmetric Systems. MFCS 1998: 427-436
56EEAnish Arora, Paul C. Attie, E. Allen Emerson: Synthesis of Fault-Tolerant Concurrent Programs. PODC 1998: 173-182
55EEPaul C. Attie, E. Allen Emerson: Synthesis of Concurrent Systems with Many Similar Processes. ACM Trans. Program. Lang. Syst. 20(1): 51-115 (1998)
1997
54 William Canfield, E. Allen Emerson, Avijit Saha: Checking Formal Specifications under Simulation. ICCD 1997: 455-460
53 E. Allen Emerson, Somesh Jha, Doron Peled: Combining Partial Order and Symmetry Reductions. TACAS 1997: 19-34
52EEE. Allen Emerson, Richard J. Trefler: Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach. TAPSOFT 1997: 189-200
51EEE. Allen Emerson, A. Prasad Sistla: Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach. ACM Trans. Program. Lang. Syst. 19(4): 617-638 (1997)
1996
50EEE. Allen Emerson, Kedar S. Namjoshi: Automatic Verification of Parameterized Synchronous Systems (Extended Abstract). CAV 1996: 87-98
49 E. Allen Emerson: Model Checking and the Mu-calculus. Descriptive Complexity and Finite Models 1996: 185-214
48 Paul C. Attie, E. Allen Emerson: Synthesis of Concurrent Systems for an Atomic Read / Atomic Write Model of Computation (Extended Abstract). PODC 1996: 111-120
47EEPaul C. Attie, Munindar P. Singh, E. Allen Emerson, Amit P. Sheth, Marek Rusinkiewicz: Scheduling workflows by enforcing intertask dependencies. Distributed Systems Engineering 3(4): 222-238 (1996)
46 E. Allen Emerson, A. Prasad Sistla: Symmetry and Model Checking. Formal Methods in System Design 9(1/2): 105-131 (1996)
1995
45 E. Allen Emerson: Automated Temporal Reasoning about Reactive Systems. Banff Higher Order Workshop 1995: 41-101
44EEE. Allen Emerson: Methods for Mu-calculus Model Checking: A Tutorial (Abstract). CAV 1995: 141
43EEE. Allen Emerson, A. Prasad Sistla: Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach. CAV 1995: 309-324
42EEE. Allen Emerson: Efficient Automation of Temporal Reasoning. CONCUR 1995: 393-394
41 E. Allen Emerson, Kedar S. Namjoshi: Reasoning about Rings. POPL 1995: 85-94
1994
40 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: 18-25
1993
39EEE. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla: On Model-Checking for Fragments of µ-Calculus. CAV 1993: 385-396
38EEE. Allen Emerson, A. Prasad Sistla: Symmetry and Model Checking. CAV 1993: 463-478
37EEFarn Wang, Aloysius K. Mok, E. Allen Emerson: Symbolic Model Checking for Distributed Real-Time Systems. FME 1993: 632-651
36EEFarn Wang, Aloysius K. Mok, E. Allen Emerson: Distributed Real-Time System Specification and Verification in APTL. ACM Trans. Softw. Eng. Methodol. 2(4): 346-378 (1993)
1992
35EEFarn Wang, Aloysius K. Mok, E. Allen Emerson: Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. ICSE 1992: 188-198
34 E. Allen Emerson, Tom Sadler, Jai Srinivasan: Efficient Temporal Satisfiability. J. Log. Comput. 2(2): 173-210 (1992)
33 E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan: Quantitative Temporal Reasoning. Real-Time Systems 4(4): 331-352 (1992)
1991
32 E. Allen Emerson, Charanjit S. Jutla: Tree Automata, Mu-Calculus and Determinacy (Extended Abstract) FOCS 1991: 368-377
31EEE. Allen Emerson: Real-Time and the Mu-Calculus (Preliminary Report). REX Workshop 1991: 176-194
1990
30EEE. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan: Quantitative Temporal Reasoning. CAV 1990: 136-145
29 E. Allen Emerson, Michael Evangelist, Jai Srinivasan: On the Limits of Efficient Temporal Decidability (Extended Abstract) LICS 1990: 464-475
28EEE. Allen Emerson, Jai Srinivasan: A Decidable Temporal Logic to Reason About Many Processes. PODC 1990: 233-246
27 E. Allen Emerson: Temporal and Modal Logic. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 995-1072
1989
26 E. Allen Emerson, Charanjit S. Jutla: On Simultaneously Determinizing and Complementing omega-Automata (Extended Abstract) LICS 1989: 333-342
25 E. Allen Emerson, Tom Sadler, Jai Srinivasan: Efficient Temporal Reasoning. POPL 1989: 166-178
24 Paul C. Attie, E. Allen Emerson: Synthesis of Concurrent Systems with Many Similar Sequential Processes. POPL 1989: 191-201
23 Robert S. Streett, E. Allen Emerson: An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus Inf. Comput. 81(3): 249-264 (1989)
1988
22 E. Allen Emerson, Charanjit S. Jutla: The Complexity of Tree Automata and Logics of Programs (Extended Abstract) FOCS 1988: 328-337
21EEE. Allen Emerson, Jai Srinivasan: Branching time temporal logic. REX Workshop 1988: 123-172
1987
20 E. Allen Emerson: Uniform Inevitability is Tree Automaton Ineffable. Inf. Process. Lett. 24(2): 77-79 (1987)
19 E. Allen Emerson, Chin-Laung Lei: Modalities for Model Checking: Branching Time Logic Strikes Back. Sci. Comput. Program. 8(3): 275-306 (1987)
1986
18 E. Allen Emerson, Chin-Laung Lei: Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract) LICS 1986: 267-278
17EEE. Allen Emerson, Chin-Laung Lei: Temporal Reasoning Under Generalized Fairness Constraints. STACS 1986: 21-36
16EEEdmund 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): 244-263 (1986)
15EEE. Allen Emerson, Joseph Y. Halpern: ``Sometimes'' and ``Not Never'' revisited: on branching versus linear time temporal logic. J. ACM 33(1): 151-178 (1986)
1985
14 E. Allen Emerson: Automata, Tableaux and Temporal Logics (Extended Abstract). Logic of Programs 1985: 79-88
13 E. Allen Emerson, Chin-Laung Lei: Modalities for Model Checking: Branching Time Strikes Back. POPL 1985: 84-96
12 E. Allen Emerson, Joseph Y. Halpern: Decision Procedures and Expressiveness in the Temporal Logic of Branching Time. J. Comput. Syst. Sci. 30(1): 1-24 (1985)
1984
11EERobert S. Streett, E. Allen Emerson: The Propositional Mu-Calculus is Elementary. ICALP 1984: 465-472
10 E. Allen Emerson, A. Prasad Sistla: Deciding Branching Time Logic STOC 1984: 14-24
9 E. Allen Emerson, A. Prasad Sistla: Deciding Full Branching Time Logic Information and Control 61(3): 175-201 (1984)
1983
8 E. Allen Emerson, A. Prasad Sistla: Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL*. Logic of Programs 1983: 176-192
7 Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla: Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach. POPL 1983: 117-126
6 E. Allen Emerson, Joseph Y. Halpern: ``Sometimes'' and ``Not Never'' Revisited: On Branching Versus Linear Time. POPL 1983: 127-140
5 E. Allen Emerson: Alternative Semantics for Temporal Logics. Theor. Comput. Sci. 26: 121-130 (1983)
1982
4 E. Allen Emerson, Joseph Y. Halpern: Decision Procedures and Expressiveness in the Temporal Logic of Branching Time STOC 1982: 169-180
3 E. Allen Emerson, Edmund M. Clarke: Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons. Sci. Comput. Program. 2(3): 241-266 (1982)
1981
2 Edmund M. Clarke, E. Allen Emerson: Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. Logic of Programs 1981: 52-71
1980
1EEE. Allen Emerson, Edmund M. Clarke: Characterizing Correctness Properties of Parallel Programs Using Fixpoints. ICALP 1980: 169-181

Coauthor Index

1Jacob A. Abraham [87] [98]
2Nina Amla [63] [68] [73] [74] [76] [80]
3Anish Arora [56] [83]
4Paul C. Attie [24] [47] [48] [55] [56] [72] [83]
5Roberto J. Bayardo (Roberto J. Bayardo Jr.) [40]
6Nicolas Blanc [99]
7James C. Browne [40]
8William Canfield [54]
9Sarah E. Chodrow [40]
10Edmund M. Clarke [1] [2] [3] [7] [16] [60] [102]
11Jyotirmoy V. Deshmukh [95] [100]
12David L. Dill [84] [90] [91]
13Michael Evangelist [29]
14David Gadbois [40]
15Mohamed G. Gouda [40]
16Prateek Gupta [95]
17Viktor Gyuris [65]
18F. Furman Haddix [40]
19Kristina D. Hager [92]
20Joseph Y. Halpern [4] [6] [12] [15]
21John Havlicek [66]
22Thomas W. Hetherington [40]
23Subramanian K. Iyer [84] [89] [90] [91] [93] [94]
24Jawahar Jain [84] [89] [90] [91] [93] [94]
25Somesh Jha [53] [60]
26Charanjit S. Jutla [22] [26] [32] [39] [61] [71]
27Vineet Kahlon [69] [75] [78] [79] [81] [85]
28Jay H. Konieczka [92]
29Robert P. Kurshan [68] [74]
30Chin-Laung Lei [13] [17] [18] [19]
31Daniel P. Miranker (Dan Miranker) [40]
32Aloysius K. Mok [30] [33] [35] [36] [37] [40]
33Kedar S. Namjoshi [41] [50] [58] [59] [63] [68] [73] [74] [76] [77] [80] [97]
34Amit Narayan [84]
35Lance Obermeyer [40]
36Doron Peled [53]
37Marek Rusinkiewicz [47]
38Tom Sadler [25] [34]
39Avijit Saha [54]
40Debashis Sahoo [84] [89] [90] [91] [93] [94]
41Roopsha Samanta [100]
42Amit P. Sheth [47]
43Munindar P. Singh [47]
44A. Prasad Sistla [7] [8] [9] [10] [16] [30] [33] [38] [39] [43] [46] [51] [60] [65] [70] [71]
45Jai Srinivasan [21] [25] [28] [29] [30] [33] [34]
46Christian Stangier [84]
47Robert S. Streett [11] [23]
48Richard J. Trefler [52] [57] [62] [64] [66] [73] [76] [80] [96]
49Duu-Chung Tsou [40]
50Shobha Vasudevan [87] [98]
51Thomas Wahl [82] [86] [88] [96] [99]
52Chih-Kan Wang [40]
53Farn Wang [35] [36] [37]
54Rwo-Hsi Wang [40]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)