 | 2009 |
|---|
| 103 |       | E. Allen Emerson:
Model Checking: Progress and Problems.
VMCAI 2009: 1 |
| 2008 |
|---|
| 102 | | Edmund M. Clarke,
E. Allen Emerson:
Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic.
25 Years of Model Checking 2008: 196-215 |
| 101 | | E. Allen Emerson:
The Beginning of Model Checking: A Personal Perspective.
25 Years of Model Checking 2008: 27-45 |
| 100 | | Roopsha Samanta,
Jyotirmoy V. Deshmukh,
E. Allen Emerson:
Automatic Generation of Local Repairs for Boolean Programs.
FMCAD 2008: 1-10 |
| 99 | | Thomas Wahl,
Nicolas Blanc,
E. Allen Emerson:
SVISS: Symbolic Verification of Symmetric Systems.
TACAS 2008: 459-462 |
| 2007 |
|---|
| 98 | | Shobha 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 |
| 96 | | E. Allen Emerson,
Richard J. Trefler,
Thomas Wahl:
Reducing Model Checking of the Few to the One.
ICFEM 2006: 94-113 |
| 95 | | Jyotirmoy V. Deshmukh,
E. Allen Emerson,
Prateek Gupta:
Automatic Verification of Parameterized Data Structures.
TACAS 2006: 27-41 |
| 94 | | Subramanian 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) |
| 93 | | Subramanian 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) |
| 92 | | E. Allen Emerson,
Kristina D. Hager,
Jay H. Konieczka:
Molecular Model Checking.
Int. J. Found. Comput. Sci. 17(4): 733-742 (2006) |
| 2005 |
|---|
| 91 | | Debashis Sahoo,
Jawahar Jain,
Subramanian K. Iyer,
David L. Dill,
E. Allen Emerson:
Predictive Reachability Using a Sample-Based Approach.
CHARME 2005: 388-392 |
| 90 | | Debashis Sahoo,
Jawahar Jain,
Subramanian K. Iyer,
David L. Dill,
E. Allen Emerson:
Multi-threaded reachability.
DAC 2005: 467-470 |
| 89 | | Subramanian K. Iyer,
Debashis Sahoo,
E. Allen Emerson,
Jawahar Jain:
On Partitioning and Symbolic Model Checking.
FM 2005: 497-511 |
| 88 | | E. Allen Emerson,
Thomas Wahl:
Dynamic Symmetry Reduction.
TACAS 2005: 382-396 |
| 87 | | Shobha 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) |
| 86 | | E. Allen Emerson,
Thomas Wahl:
Efficient Reduction Techniques for Systems with Many Components.
Electr. Notes Theor. Comput. Sci. 130: 379-399 (2005) |
| 2004 |
|---|
| 85 | | E. Allen Emerson,
Vineet Kahlon:
Parameterized Model Checking of Ring-Based Message Passing Systems.
CSL 2004: 325-339 |
| 84 | | Debashis 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 |
| 83 | | Paul C. Attie,
Anish Arora,
E. Allen Emerson:
Synthesis of fault-tolerant concurrent programs.
ACM Trans. Program. Lang. Syst. 26(1): 125-185 (2004) |
| 2003 |
|---|
| 82 | | E. Allen Emerson,
Thomas Wahl:
On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking.
CHARME 2003: 216-230 |
| 81 | | E. Allen Emerson,
Vineet Kahlon:
Exact and Efficient Verification of Parameterized Cache Coherence Protocols.
CHARME 2003: 247-262 |
| 80 | | Nina Amla,
E. Allen Emerson,
Kedar S. Namjoshi,
Richard J. Trefler:
Abstract Patterns of Compositional Reasoning.
CONCUR 2003: 423-438 |
| 79 | | E. Allen Emerson,
Vineet Kahlon:
Model Checking Guarded Protocols.
LICS 2003: 361-370 |
| 78 | | E. Allen Emerson,
Vineet Kahlon:
Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols.
TACAS 2003: 144-159 |
| 77 | | E. Allen Emerson,
Kedar S. Namjoshi:
On Reasoning About Rings.
Int. J. Found. Comput. Sci. 14(4): 527-550 (2003) |
| 2002 |
|---|
| 76 | | Nina Amla,
E. Allen Emerson,
Kedar S. Namjoshi,
Richard J. Trefler:
Visual Specifications for Modular Reasoning about Asynchronous Systems.
FORTE 2002: 226-242 |
| 75 | | E. Allen Emerson,
Vineet Kahlon:
Model Checking Large-Scale and Parameterized Resource Allocation Systems.
TACAS 2002: 251-265 |
| 2001 |
|---|
| 74 | | Nina 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 |
| 73 | | Nina Amla,
E. Allen Emerson,
Kedar S. Namjoshi,
Richard J. Trefler:
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams.
TACAS 2001: 465-479 |
| 72 | | Paul 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) |
| 71 | | E. 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 |
| 69 | | E. Allen Emerson,
Vineet Kahlon:
Reducing Model Checking of the Many to the Few.
CADE 2000: 236-254 |
| 68 | | Nina Amla,
E. Allen Emerson,
Robert P. Kurshan,
Kedar S. Namjoshi:
Model Checking Synchronous Timing Diagrams.
FMCAD 2000: 283-298 |
| 67 | | E. Allen Emerson:
Model Checking: Theory into Practice.
FSTTCS 2000: 1-10 |
| 66 | | E. Allen Emerson,
John Havlicek,
Richard J. Trefler:
Virtual Symmetry Reduction.
LICS 2000: 121-131 |
| 65 | | A. 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 |
|---|
| 64 | | E. Allen Emerson,
Richard J. Trefler:
From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking.
CHARME 1999: 142-156 |
| 63 | | Nina Amla,
E. Allen Emerson,
Kedar S. Namjoshi:
Efficient Decompositional Model Checking for Regular Timing Diagrams.
CHARME 1999: 67-81 |
| 62 | | E. 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 |
|---|
| 60 | | Edmund M. Clarke,
E. Allen Emerson,
Somesh Jha,
A. Prasad Sistla:
Symmetry Reductions inModel Checking.
CAV 1998: 147-158 |
| 59 | | E. 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 |
| 57 | | E. Allen Emerson,
Richard J. Trefler:
Model Checking Real-Time Properties of Symmetric Systems.
MFCS 1998: 427-436 |
| 56 | | Anish Arora,
Paul C. Attie,
E. Allen Emerson:
Synthesis of Fault-Tolerant Concurrent Programs.
PODC 1998: 173-182 |
| 55 | | Paul 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 |
| 52 | | E. Allen Emerson,
Richard J. Trefler:
Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach.
TAPSOFT 1997: 189-200 |
| 51 | | E. 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 |
|---|
| 50 | | E. 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 |
| 47 | | Paul 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 |
| 44 | | E. Allen Emerson:
Methods for Mu-calculus Model Checking: A Tutorial (Abstract).
CAV 1995: 141 |
| 43 | | E. Allen Emerson,
A. Prasad Sistla:
Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach.
CAV 1995: 309-324 |
| 42 | | E. 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 |
|---|
| 39 | | E. Allen Emerson,
Charanjit S. Jutla,
A. Prasad Sistla:
On Model-Checking for Fragments of µ-Calculus.
CAV 1993: 385-396 |
| 38 | | E. Allen Emerson,
A. Prasad Sistla:
Symmetry and Model Checking.
CAV 1993: 463-478 |
| 37 | | Farn Wang,
Aloysius K. Mok,
E. Allen Emerson:
Symbolic Model Checking for Distributed Real-Time Systems.
FME 1993: 632-651 |
| 36 | | Farn 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 |
|---|
| 35 | | Farn 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 |
| 31 | | E. Allen Emerson:
Real-Time and the Mu-Calculus (Preliminary Report).
REX Workshop 1991: 176-194 |
| 1990 |
|---|
| 30 | | E. 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 |
| 28 | | E. 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 |
| 21 | | E. 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 |
| 17 | | E. Allen Emerson,
Chin-Laung Lei:
Temporal Reasoning Under Generalized Fairness Constraints.
STACS 1986: 21-36 |
| 16 | | Edmund 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) |
| 15 | | E. 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 |
|---|
| 11 | | Robert 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 |
|---|
| 1 | | E. Allen Emerson,
Edmund M. Clarke:
Characterizing Correctness Properties of Parallel Programs Using Fixpoints.
ICALP 1980: 169-181 |
