The following pages link to E. Allen Emerson (Q1051418):
Displaying 50 items.
- (Q198031) (redirect page) (← links)
- Using branching time temporal logic to synthesize synchronization skeletons (Q1051419) (← links)
- Uniform inevitability is tree automaton ineffable (Q1108048) (← links)
- An automata theoretic decision procedure for the propositional mu- calculus (Q1119630) (← links)
- Modalities for model checking: Branching time logic strikes back (Q1820578) (← links)
- Alternative semantics for temporal logics (Q2265815) (← links)
- Decision procedures and expressiveness in the temporal logic of branching time (Q2265816) (← links)
- (Q2723423) (← links)
- (Q2769609) (← links)
- Synthesis of fault-tolerant concurrent programs (Q2790112) (← links)
- Efficient model checking of hardware using conditioned slicing (Q2848428) (← links)
- Efficient reduction techniques for systems with many components (Q2848460) (← links)
- Under-approximation heuristics for grid-based bounded model checking (Q2848659) (← links)
- Synthesis of concurrent systems for an atomic read/atomic write model of computation (Q2942723) (← links)
- An Algorithmic Framework for Synthesis of Concurrent Programs (Q3172943) (← links)
- (Q3203012) (← links)
- (Q3219755) (← links)
- (Q3336675) (← links)
- The Beginning of Model Checking: A Personal Perspective (Q3512431) (← links)
- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC (Q3512441) (← links)
- (Q3704886) (← links)
- Automatic verification of finite-state concurrent systems using temporal logic specifications (Q3719811) (← links)
- Deciding full branching time logic (Q3722471) (← links)
- (Q3739111) (← links)
- “Sometimes” and “not never” revisited (Q3766825) (← links)
- (Q3906386) (← links)
- Efficient Temporal Satisfiability (Q4013255) (← links)
- (Q4037378) (← links)
- (Q4218117) (← links)
- The Complexity of Tree Automata and Logics of Programs (Q4268874) (← links)
- (Q4353562) (← links)
- (Q4385542) (← links)
- (Q4417919) (← links)
- (Q4422081) (← links)
- (Q4472243) (← links)
- (Q4472430) (← links)
- (Q4494389) (← links)
- (Q4551169) (← links)
- (Q4722045) (← links)
- (Q4733384) (← links)
- (Q4936148) (← links)
- (Q5184412) (← links)
- Meanings of Model Checking (Q5187832) (← links)
- Computer Science Logic (Q5311266) (← links)
- MOLECULAR MODEL CHECKING (Q5484899) (← links)
- Formal Methods in Computer-Aided Design (Q5492995) (← links)
- Correct Hardware Design and Verification Methods (Q5493256) (← links)
- On Reasoning About Rings (Q5696925) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703773) (← links)
- FM 2005: Formal Methods (Q5716899) (← links)
