BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Austria
1 × Denmark
1 × Germany
1 × Greece
1 × Hungary
1 × New Zealand
1 × The Netherlands
16 × USA
2 × Belgium
2 × Canada
2 × Italy
2 × Poland
2 × United Kingdom
3 × France
Collaborated with:
A.P.Sistla V.Kahlon K.S.Namjoshi R.J.Trefler ∅ E.M.Clarke C.Lei J.Y.Halpern A.K.Mok J.Srinivasan T.Wahl C.S.Jutla J.V.Deshmukh F.Wang S.Jha N.Amla P.C.Attie R.S.Streett D.Sahoo J.Jain S.K.Iyer R.Samanta O.Olivo S.Sankaranarayanan N.Blanc P.Gupta J.Havlicek D.Peled M.Evangelist T.Sadler R.P.Kurshan D.L.Dill
Talks about:
check (17) model (16) time (10) system (9) tempor (7) parameter (6) symmetri (6) reason (6) verif (5) calculus (4)

Person: E. Allen Emerson

DBLP DBLP: Emerson:E=_Allen

Facilitated 2 volumes:

VMCAI 2006Ed
CAV 2000Ed

Contributed to:

SAS 20142014
SAS 20102010
ASE 20092009
VMCAI 20092009
TACAS 20082008
TACAS 20062006
DAC 20052005
FM 20052005
TACAS 20052005
CSL 20042004
LICS 20032003
TACAS 20032003
TACAS 20022002
CAV 20012001
TACAS 20012001
CADE 20002000
LICS 20002000
LICS 19991999
CAV 19981998
LICS 19981998
TACAS 19971997
CAV 19961996
CAV 19951995
POPL 19951995
CAV 19931993
FME 19931993
ICSE 19921992
CAV 19901990
LICS 19901990
LICS 19891989
POPL 19891989
LICS 19861986
POPL 19851985
ICALP 19841984
STOC 19841984
POPL 19831983
STOC 19821982
ICALP 19801980
TAPSOFT CAAP/FASE 19971997

Wrote 44 papers:

SAS-2014-SamantaOE #automation #cost analysis #program repair
Cost-Aware Automatic Program Repair (RS, OO, EAE), pp. 268–284.
SAS-2010-Emerson
Time of Time (EAE), p. 1.
ASE-2009-DeshmukhES #analysis #concurrent #library
Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients (JVD, EAE, SS), pp. 480–491.
VMCAI-2009-Emerson #model checking #problem
Model Checking: Progress and Problems (EAE), p. 1.
TACAS-2008-WahlBE #named #symmetry #verification
SVISS: Symbolic Verification of Symmetric Systems (TW, NB, EAE), pp. 459–462.
TACAS-2006-DeshmukhEG #automation #data type #verification
Automatic Verification of Parameterized Data Structures (JVD, EAE, PG), pp. 27–41.
DAC-2005-SahooJIDE #concurrent #multi #reachability #thread
Multi-threaded reachability (DS, JJ, SKI, DLD, EAE), pp. 467–470.
FM-2005-IyerSEJ #clustering #model checking #on the
On Partitioning and Symbolic Model Checking (SKI, DS, EAE, JJ), pp. 497–511.
TACAS-2005-EmersonW #reduction #symmetry
Dynamic Symmetry Reduction (EAE, TW), pp. 382–396.
CSL-2004-EmersonK #message passing #model checking
Parameterized Model Checking of Ring-Based Message Passing Systems (EAE, VK), pp. 325–339.
LICS-2003-EmersonK #model checking #protocol
Model Checking Guarded Protocols (EAE, VK), pp. 361–370.
TACAS-2003-EmersonK #agile #model checking #protocol
Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols (EAE, VK), pp. 144–159.
TACAS-2002-EmersonK #model checking #resource management #scalability
Model Checking Large-Scale and Parameterized Resource Allocation Systems (EAE, VK), pp. 251–265.
CAV-2001-AmlaEKN #diagrams #model checking #named #performance
Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams (NA, EAE, RPK, KSN), pp. 387–390.
TACAS-2001-AmlaENT #composition #diagrams #reasoning
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams (NA, EAE, KSN, RJT), pp. 465–479.
CADE-2000-EmersonK #model checking
Reducing Model Checking of the Many to the Few (EAE, VK), pp. 236–254.
LICS-2000-EmersonHT #reduction #symmetry
Virtual Symmetry Reduction (EAE, JH, RJT), pp. 121–131.
LICS-1999-EmersonT #parametricity #reasoning
Parametric Quantitative Temporal Reasoning (EAE, RJT), pp. 336–343.
CAV-1998-ClarkeEJS #model checking #reduction #symmetry
Symmetry Reductions inModel Checking (EMC, EAE, SJ, APS), pp. 147–158.
CAV-1998-EmersonN #protocol #verification
Verification of Parameterized Bus Arbitration Protocol (EAE, KSN), pp. 452–463.
LICS-1998-EmersonN #infinity #model checking #nondeterminism #on the
On Model Checking for Non-Deterministic Infinite-State Systems (EAE, KSN), pp. 70–80.
TACAS-1997-EmersonJP #partial order #reduction #symmetry
Combining Partial Order and Symmetry Reductions (EAE, SJ, DP), pp. 19–34.
CAV-1996-EmersonN #automation #verification
Automatic Verification of Parameterized Synchronous Systems (EAE, KSN), pp. 87–98.
CAV-1995-Emerson #calculus #model checking #tutorial #μ-calculus
Methods for μ-calculus Model Checking: A Tutorial (EAE), p. 141.
CAV-1995-EmersonS #approach #model checking #symmetry
Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach (EAE, APS), pp. 309–324.
POPL-1995-EmersonN #reasoning
Reasoning about Rings (EAE, KSN), pp. 85–94.
CAV-1993-EmersonJS #calculus #model checking #on the #μ-calculus
On Model-Checking for Fragments of μ-Calculus (EAE, CSJ, APS), pp. 385–396.
CAV-1993-EmersonS #model checking #symmetry
Symmetry and Model Checking (EAE, APS), pp. 463–478.
FME-1993-WangME #distributed #model checking #realtime
Symbolic Model Checking for Distributed Real-Time Systems (FW, AKM, EAE), pp. 632–651.
ICSE-1992-WangME #distributed #realtime #specification
Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL (FW, AKM, EAE), pp. 188–198.
CAV-1990-EmersonMSS #reasoning
Quantitative Temporal Reasoning (EAE, AKM, APS, JS), pp. 136–145.
LICS-1990-EmersonES #decidability #on the #performance
On the Limits of Efficient Temporal Decidability (EAE, ME, JS), pp. 464–475.
LICS-1989-EmersonJ #automaton #on the
On Simultaneously Determinizing and Complementing ω-Automata (EAE, CSJ), pp. 333–342.
POPL-1989-AttieE #concurrent #process #synthesis
Synthesis of Concurrent Systems with Many Similar Sequential Processes (PCA, EAE), pp. 191–201.
POPL-1989-EmersonSS #performance #reasoning
Efficient Temporal Reasoning (EAE, TS, JS), pp. 166–178.
LICS-1986-EmersonL #calculus #model checking #performance #μ-calculus
Efficient Model Checking in Fragments of the Propositional μ-Calculus (EAE, CLL), pp. 267–278.
POPL-1985-EmersonL #branch #model checking
Modalities for Model Checking: Branching Time Strikes Back (EAE, CLL), pp. 84–96.
ICALP-1984-StreettE #calculus #μ-calculus
The Propositional μ-Calculus is Elementary (RSS, EAE), pp. 465–472.
STOC-1984-EmersonS #branch #logic
Deciding Branching Time Logic (EAE, APS), pp. 14–24.
POPL-1983-ClarkeES #approach #automation #concurrent #finite #logic #specification #using #verification
Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach (EMC, EAE, APS), pp. 117–126.
POPL-1983-EmersonH #branch #linear
“Sometimes” and “Not Never” Revisited: On Branching Versus Linear Time (EAE, JYH), pp. 127–140.
STOC-1982-EmersonH #branch #logic
Decision Procedures and Expressiveness in the Temporal Logic of Branching Time (EAE, JYH), pp. 169–180.
ICALP-1980-EmersonC #correctness #fixpoint #parallel #source code #using
Characterizing Correctness Properties of Parallel Programs Using Fixpoints (EAE, EMC), pp. 169–181.
TAPSOFT-1997-EmersonT #approach #automaton #reasoning
Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach (EAE, RJT), pp. 189–200.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.