137 results on '"Emerson, E. Allen"'
Search Results
2. Cost-Aware Automatic Program Repair
3. An Algorithmic Framework for Synthesis of Concurrent Programs
4. A More Efficient BDD-Based QBF Solver
5. Meanings of Model Checking
6. Model Checking: Progress and Problems
7. Reducing Model Checking of the Few to the One
8. Dynamic Symmetry Reduction
9. Predictive Reachability Using a Sample-Based Approach
10. On Partitioning and Symbolic Model Checking
11. A Partitioning Methodology for BDD-Based Verification
12. Parameterized Model Checking of Ring-Based Message Passing Systems
13. Exact and Efficient Verification of Parameterized Cache Coherence Protocols
14. Abstract Patterns of Compositional Reasoning
15. Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols
16. On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking
17. Model Checking Large-Scale and Parameterized Resource Allocation Systems
18. Model Checking Synchronous Timing Diagrams
19. Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams
20. Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams
21. Reducing Model Checking of the Many to the Few
22. Model Checking: Theory into Practice
23. Efficient Decompositional Model Checking for Regular Timing Diagrams
24. Verification of a parameterized bus arbitration protocol
25. Combining partial order and symmetry reductions
26. Generalized quantitative temporal reasoning: An automata-theoretic approach
27. Automatic verification of parameterized synchronous systems
28. Automated temporal reasoning about reactive systems
29. Model checking and efficient automation of temporal reasoning
30. Symmetry and model checking
31. Real-time and the Mu-Calculus (preliminary report)
32. Temporal and Modal Logic
33. The Role of Büchi’s Automata in Computing Science
34. Automata, tableaux, and temporal logics
35. Branching time temporal logic
36. Characterizing correctness properties of parallel programs using fixpoints
37. The propositional mu-calculus is elementary
38. Symbolic model checking for distributed real-time systems
39. Quantitative temporal reasoning
40. Model checking: A Personal Perspective
41. The Beginning of Model Checking: A Personal Perspective
42. From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking
43. DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
44. Design and synthesis of synchronization skeletons using branching time temporal logic
45. SVISS: Symbolic Verification of Symmetric Systems
46. Cost-Aware Automatic Program Repair.
47. Meanings of Model Checking.
48. DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC.
49. The Beginning of Model Checking: A Personal Perspective.
50. SVISS: Symbolic Verification of Symmetric Systems.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.