The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Zohar Manna: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Zohar Manna, Pierre Wolper
    Synthesis of Communicating Processes from Temporal Logic Specifications. [Citation Graph (10, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1984, v:6, n:1, pp:68-93 [Journal]
  2. Martín Abadi, Zohar Manna
    Temporal Logic Programming. [Citation Graph (5, 0)][DBLP]
    SLP, 1987, pp:4-16 [Conf]
  3. Martín Abadi, Zohar Manna
    Temporal Logic Programming. [Citation Graph (5, 0)][DBLP]
    J. Symb. Comput., 1989, v:8, n:3, pp:277-295 [Journal]
  4. Zohar Manna, Richard J. Waldinger
    A Deductive Approach to Program Synthesis. [Citation Graph (5, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1980, v:2, n:1, pp:90-121 [Journal]
  5. Zohar Manna, Richard J. Waldinger
    How to Clear a Block: A Theory of Plans. [Citation Graph (4, 0)][DBLP]
    J. Autom. Reasoning, 1987, v:3, n:4, pp:343-377 [Journal]
  6. Zohar Manna, Richard J. Waldinger
    The Deductive Synthesis of Imperative LISP Programs. [Citation Graph (3, 0)][DBLP]
    AAAI, 1987, pp:155-160 [Conf]
  7. Zohar Manna, Amir Pnueli
    The Modal Logic of Programs. [Citation Graph (3, 0)][DBLP]
    ICALP, 1979, pp:385-409 [Conf]
  8. Zohar Manna, Richard J. Waldinger
    Problematic Features of Programming Languages: A Situational-Calculus Approach. [Citation Graph (3, 0)][DBLP]
    Acta Inf., 1981, v:16, n:, pp:371-426 [Journal]
  9. Nachum Dershowitz, Zohar Manna
    Proving Termination with Multiset Orderings. [Citation Graph (3, 0)][DBLP]
    Commun. ACM, 1979, v:22, n:8, pp:465-476 [Journal]
  10. Martín Abadi, Zohar Manna
    Nonclausal Deduction in First-Order Temporal Logic [Citation Graph (2, 0)][DBLP]
    J. ACM, 1990, v:37, n:2, pp:279-317 [Journal]
  11. Zohar Manna, Jean Vuillemin
    Fix Point Approach to the Theory of Computation. [Citation Graph (1, 0)][DBLP]
    Commun. ACM, 1972, v:15, n:7, pp:528-536 [Journal]
  12. Ashok K. Chandra, Zohar Manna
    On the Power of Programming Features. [Citation Graph (1, 0)][DBLP]
    Comput. Lang., 1976, v:1, n:3, pp:219-232 [Journal]
  13. Edward A. Ashcroft, Zohar Manna, Amir Pnueli
    Decidable Properties of Monadic Functional Schemas. [Citation Graph (1, 0)][DBLP]
    J. ACM, 1973, v:20, n:3, pp:489-499 [Journal]
  14. Zohar Manna, Richard J. Waldinger
    Special relations in automated deduction. [Citation Graph (1, 0)][DBLP]
    J. ACM, 1986, v:33, n:1, pp:1-59 [Journal]
  15. Zohar Manna, Richard J. Waldinger
    The Logic of Computer Programming. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1978, v:4, n:3, pp:199-229 [Journal]
  16. Zohar Manna
    Verification of Progress Properties. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:345-346 [Conf]
  17. Luca de Alfaro, Zohar Manna
    Verification in Continuous Time by Discrete Reasoning. [Citation Graph (0, 0)][DBLP]
    AMAST, 1995, pp:292-306 [Conf]
  18. Zohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe
    Visual Abstractions for Temporal Verification. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:28-41 [Conf]
  19. Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe
    Deductive Verification of Real-Time Systems Using STeP. [Citation Graph (0, 0)][DBLP]
    ARTS, 1997, pp:22-43 [Conf]
  20. Anca Browne, Zohar Manna, Henny Sipma
    Hierarchical Verification Using Verification Diagrams. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:276-286 [Conf]
  21. Aaron R. Bradley, Zohar Manna
    Termination and Invariance Analysis of Loops. [Citation Graph (0, 0)][DBLP]
    ATVA, 2005, pp:2- [Conf]
  22. Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
    Petri Net Analysis Using Invariant Generation. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:682-701 [Conf]
  23. Martín Abadi, Zohar Manna
    Modal Theorem Proving. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:172-189 [Conf]
  24. Zohar Manna, Richard J. Waldinger
    How to Clear a Block: Plan Formation in Situational Logic. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:622-640 [Conf]
  25. Zohar Manna, Richard J. Waldinger
    The Special-Relation Rules are Incomplete. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:492-506 [Conf]
  26. Ting Zhang, Henny B. Sipma, Zohar Manna
    Decision Procedures for Recursive Data Structures with Integer Constraints. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:152-167 [Conf]
  27. Ting Zhang, Henny B. Sipma, Zohar Manna
    The Decidability of the First-Order Theory of Knuth-Bendix Order. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:131-148 [Conf]
  28. César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna
    Final Semantics for Event-Pattern Reactive Programs. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:364-378 [Conf]
  29. Luca de Alfaro, Zohar Manna
    Temporal Verification by Diagram Transformations. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:288-299 [Conf]
  30. Anuchit Anuchitanukul, Zohar Manna
    Realizability and Synthesis of Reactive Modules. [Citation Graph (0, 0)][DBLP]
    CAV, 1994, pp:156-168 [Conf]
  31. Nikolaj Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Arjun Kapur, Zohar Manna, Henny Sipma, Tomás E. Uribe
    STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:415-418 [Conf]
  32. Aaron R. Bradley, Zohar Manna, Henny B. Sipma
    Linear Ranking with Reachability. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:491-504 [Conf]
  33. Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli
    A Decision Algorithm for Full Propositional Temporal Logic. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:97-109 [Conf]
  34. Zohar Manna
    Beyond Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1994, pp:220-221 [Conf]
  35. Zohar Manna, Henny Sipma
    Verification of Parameterized Systems by Dynamic Induction on Diagrams. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:25-41 [Conf]
  36. Henny Sipma, Tomás E. Uribe, Zohar Manna
    Deductive Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:208-219 [Conf]
  37. Bernd Finkbeiner, Zohar Manna, Henny Sipma
    Deductive Verification of Modular Systems. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:239-275 [Conf]
  38. Aaron R. Bradley, Zohar Manna, Henny B. Sipma
    Termination Analysis of Integer Linear Loops. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:488-502 [Conf]
  39. Nikolaj Bjørner, Anca Browne, Zohar Manna
    Automatic Generation of Invariants and Assertions. [Citation Graph (0, 0)][DBLP]
    CP, 1995, pp:589-623 [Conf]
  40. Yonit Kesten, Zohar Manna, Amir Pnueli
    Verification of Clocked and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Embedded Systems, 1996, pp:4-73 [Conf]
  41. César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna
    Event Correlation: Language and Semantics. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:323-339 [Conf]
  42. César Sánchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill
    Efficient distributed deadlock avoidance with liveness guarantees. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2006, pp:12-20 [Conf]
  43. César Sánchez, Henny B. Sipma, Venkita Subramonian, Christopher D. Gill, Zohar Manna
    Thread Allocation Protocols for Distributed Real-Time and Embedded Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:159-173 [Conf]
  44. César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna
    Expressive Completeness of an Event-Pattern Reactive Programming Language. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:529-532 [Conf]
  45. Anca Browne, Zohar Manna, Henny Sipma
    Generalized Temporal Verification Diagrams. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1995, pp:484-498 [Conf]
  46. Zohar Manna, Richard J. Waldinger
    Deduction with Relation Matching. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1985, pp:212-224 [Conf]
  47. Ting Zhang, Henny B. Sipma, Zohar Manna
    Decision Procedures for Queues with Integer Constraints. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2005, pp:225-237 [Conf]
  48. Arjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli
    Prooving Safety Properties of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:431-454 [Conf]
  49. Henny Sipma, Zohar Manna
    Specification and Verification of Controlled Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:641-659 [Conf]
  50. Thomas A. Henzinger, Zohar Manna, Amir Pnueli
    Towards Refining Temporal Specifications into Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1992, pp:60-76 [Conf]
  51. Yonit Kesten, Zohar Manna, Amir Pnueli
    Verifying Clocked Transition Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:13-40 [Conf]
  52. Zohar Manna, Amir Pnueli
    Verifying Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1992, pp:4-35 [Conf]
  53. Zohar Manna, Henny Sipma
    Deductive Verification of Hybrid Systems Using STeP. [Citation Graph (0, 0)][DBLP]
    HSCC, 1998, pp:305-318 [Conf]
  54. Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
    Constructing Invariants for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2004, pp:539-554 [Conf]
  55. Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
    Fixed Point Iteration for Computing the Time Elapse Operator. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:537-551 [Conf]
  56. Zohar Manna
    Knowledge and Reasoning in Program Synthesis. [Citation Graph (0, 0)][DBLP]
    Programming Methodology, 1974, pp:236-277 [Conf]
  57. Aaron R. Bradley, Zohar Manna, Henny B. Sipma
    The Polyranking Principle. [Citation Graph (0, 0)][DBLP]
    ICALP, 2005, pp:1349-1361 [Conf]
  58. Edward Y. Chang, Zohar Manna, Amir Pnueli
    Characterization of Temporal Property Classes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1992, pp:474-486 [Conf]
  59. Nachum Dershowitz, Zohar Manna
    Proving termination with Multiset Orderings. [Citation Graph (0, 0)][DBLP]
    ICALP, 1979, pp:188-202 [Conf]
  60. Joseph Y. Halpern, Zohar Manna, Ben C. Moszkowski
    A Hardware Semantics Based on Temporal Intervals. [Citation Graph (0, 0)][DBLP]
    ICALP, 1983, pp:278-291 [Conf]
  61. Thomas A. Henzinger, Zohar Manna, Amir Pnueli
    What Good Are Digital Clocks? [Citation Graph (0, 0)][DBLP]
    ICALP, 1992, pp:545-558 [Conf]
  62. Zohar Manna, Amir Pnueli
    Proving Precedence Properties: The Temporal Way. [Citation Graph (0, 0)][DBLP]
    ICALP, 1983, pp:491-512 [Conf]
  63. Zohar Manna, Amir Pnueli
    Completing the Temporal Picture. [Citation Graph (0, 0)][DBLP]
    ICALP, 1989, pp:534-558 [Conf]
  64. Zohar Manna, Henny Sipma
    Alternating the Temporal Picture for Safety. [Citation Graph (0, 0)][DBLP]
    ICALP, 2000, pp:429-450 [Conf]
  65. Zohar Manna, Jean Vuillemin
    Fixpoint Approach to the Theory of Computation. [Citation Graph (0, 0)][DBLP]
    ICALP, 1972, pp:273-291 [Conf]
  66. Zohar Manna, Richard J. Waldinger
    Special Relations in Automated Deduction. [Citation Graph (0, 0)][DBLP]
    ICALP, 1985, pp:413-423 [Conf]
  67. Nachum Dershowitz, Zohar Manna
    Inference Rules for Program Annotation. [Citation Graph (0, 0)][DBLP]
    ICSE, 1978, pp:158-167 [Conf]
  68. Zohar Manna, Richard J. Waldinger
    Is 'Sometime' Sometimes Better Than 'Always'? Intermittent Assertions in Proving Program Correctness. [Citation Graph (0, 0)][DBLP]
    ICSE, 1976, pp:32-39 [Conf]
  69. Zohar Manna, Richard J. Waldinger
    The Synthesis of Structure Changing Programs. [Citation Graph (0, 0)][DBLP]
    ICSE, 1978, pp:175-187 [Conf]
  70. Matteo Slanina, Henny B. Sipma, Zohar Manna
    Proving ATL* Properties of Infinite-State Systems. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:242-256 [Conf]
  71. Aaron R. Bradley, Zohar Manna
    Verification Constraint Problems with Strengthening. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:35-49 [Conf]
  72. Hugh McGuire, Zohar Manna, Richard J. Waldinger
    Annotation-Based Deduction in Temporal Logic. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:430-444 [Conf]
  73. Edward A. Ashcroft, Zohar Manna
    The Translation of 'Go To' Programs to 'While' Programs. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1971, pp:250-255 [Conf]
  74. Zohar Manna
    Logics of Programs. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1980, pp:41-51 [Conf]
  75. Shmuel Katz, Zohar Manna
    A Heuristic Approach to Program Verification. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1973, pp:500-512 [Conf]
  76. Zohar Manna, Richard J. Waldinger
    The Automatic Synthesis of Systems of Recursive Programs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1977, pp:405-411 [Conf]
  77. Zohar Manna, Richard J. Waldinger
    The Origin of the Binary-Search Paradigm. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:222-224 [Conf]
  78. Richard J. Waldinger, Zohar Manna
    Knowledge and Reasoning in Program Synthesis. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1975, pp:288-295 [Conf]
  79. Zohar Manna, Amir Pnueli
    Time for Concurrency. [Citation Graph (0, 0)][DBLP]
    25th Anniversary of INRIA, 1992, pp:129-153 [Conf]
  80. César Sánchez, Henny B. Sipma, Zohar Manna, Venkita Subramonian, Christopher D. Gill
    On efficient distributed deadlock avoidance for real-time and embedded systems. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  81. Yonathan Malachi, Zohar Manna, Richard J. Waldinger
    TABLOG: The Deductive-Tableau Programming Language. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1984, pp:323-330 [Conf]
  82. Martín Abadi, Zohar Manna
    A Timely Resolution [Citation Graph (0, 0)][DBLP]
    LICS, 1986, pp:176-186 [Conf]
  83. Edward Y. Chang, Zohar Manna, Amir Pnueli
    Compositional Verification of Real-Time Systems [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:458-465 [Conf]
  84. Bengt Jonsson, Zohar Manna, Richard J. Waldinger
    Towards Deductive Synthesis of Dataflow Networks [Citation Graph (0, 0)][DBLP]
    LICS, 1986, pp:26-37 [Conf]
  85. Martín Abadi, Zohar Manna
    Nonclausal Temporal Deduction. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:1-15 [Conf]
  86. Zohar Manna, Pierre Wolper
    Synthesis of Communicating Processes from Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:253-281 [Conf]
  87. Zohar Manna, Amir Pnueli
    Verification of Concurrent Programs: Temporal Proof Principles. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:200-252 [Conf]
  88. Ben C. Moszkowski, Zohar Manna
    Reasoning in Interval Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:371-382 [Conf]
  89. Zohar Manna, Amir Pnueli
    On the Faithfulness of Formal Models. [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:28-42 [Conf]
  90. César Sánchez, Henny B. Sipma, Christopher D. Gill, Zohar Manna
    Distributed Priority Inheritance for Real-Time and Embedded Systems. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2006, pp:110-125 [Conf]
  91. Zohar Manna, Amir Pnueli
    A Hierarchy of Temporal Properties (Abstract). [Citation Graph (0, 0)][DBLP]
    PODC, 1987, pp:205- [Conf]
  92. Zohar Manna, Amir Pnueli
    A Hierarchy of Temporal Properties. [Citation Graph (0, 0)][DBLP]
    PODC, 1990, pp:377-410 [Conf]
  93. Mordechai Ben-Ari, Zohar Manna, Amir Pnueli
    The Temporal Logic of Branching Time. [Citation Graph (0, 0)][DBLP]
    POPL, 1981, pp:164-176 [Conf]
  94. Nachum Dershowitz, Zohar Manna
    The Evolution of Programs: A System for Automatic Program Modification. [Citation Graph (0, 0)][DBLP]
    POPL, 1977, pp:144-154 [Conf]
  95. Thomas A. Henzinger, Zohar Manna, Amir Pnueli
    Temporal Proof Methodologies for Real-time Systems. [Citation Graph (0, 0)][DBLP]
    POPL, 1991, pp:353-366 [Conf]
  96. Zohar Manna, Amir Pnueli
    Synchronous Schemes and Their Decision Problems. [Citation Graph (0, 0)][DBLP]
    POPL, 1980, pp:62-67 [Conf]
  97. Zohar Manna, Amir Pnueli
    How to Cook a Temporal Proof System for Your Pet Language. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:141-154 [Conf]
  98. Zohar Manna, Amir Pnueli
    Specification and Verification of Concurrent Programs By Forall-Automata. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:1-12 [Conf]
  99. Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
    Non-linear loop invariant generation using Gröbner bases. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:318-329 [Conf]
  100. Oded Maler, Zohar Manna, Amir Pnueli
    From Timed to Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1991, pp:447-484 [Conf]
  101. Zohar Manna, Amir Pnueli
    The anchored version of the temporal framework. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:201-284 [Conf]
  102. Thomas A. Henzinger, Zohar Manna, Amir Pnueli
    Timed Transition Systems. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1991, pp:226-251 [Conf]
  103. Yonit Kesten, Zohar Manna, Amir Pnueli
    Temporal Verification of Simulation and Refinement. [Citation Graph (0, 0)][DBLP]
    REX School/Symposium, 1993, pp:273-346 [Conf]
  104. Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe
    Abstraction and Modular Verification of Infinite-State Reactive Systems. [Citation Graph (0, 0)][DBLP]
    Requirements Targeting Software and Systems Engineering, 1997, pp:273-292 [Conf]
  105. Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
    Constraint-Based Linear-Relations Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2004, pp:53-68 [Conf]
  106. Luca de Alfaro, Arjun Kapur, Zohar Manna
    Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification. [Citation Graph (0, 0)][DBLP]
    STACS, 1997, pp:153-164 [Conf]
  107. Ashok K. Chandra, Zohar Manna
    Program Schemas with Equality [Citation Graph (0, 0)][DBLP]
    STOC, 1972, pp:52-64 [Conf]
  108. Zohar Manna
    Second-Order Mathematical Theory of Computation [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:158-168 [Conf]
  109. Zohar Manna, Amir Pnueli
    Formalization of Properties of Recursively Defined Functions [Citation Graph (0, 0)][DBLP]
    STOC, 1969, pp:201-210 [Conf]
  110. Zohar Manna, Adi Shamir
    The Optimal Fixedpoint of Recursive Programs [Citation Graph (0, 0)][DBLP]
    STOC, 1975, pp:194-206 [Conf]
  111. Luca de Alfaro, Zohar Manna
    Visual Verification of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:334-350 [Conf]
  112. Zohar Manna, Amir Pnueli
    Temporal Verification Diagrams. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:726-765 [Conf]
  113. Zohar Manna, Nikolaj Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Luca de Alfaro, Harish Devarajan, Arjun Kapur, Jaejin Lee, Henny Sipma, Tomás E. Uribe
    STeP: The Stanford Temporal Prover. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:793-794 [Conf]
  114. Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna
    LOLA: Runtime Monitoring of Synchronous Systems. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:166-174 [Conf]
  115. Zohar Manna
    Visual Verification of Temporal Properties. [Citation Graph (0, 0)][DBLP]
    TIME, 1999, pp:6- [Conf]
  116. Zohar Manna, Amir Pnueli
    Specification and Verification of Concurrent Programs by forall-Automata. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:124-164 [Conf]
  117. Ting Zhang, Henny B. Sipma, Zohar Manna
    Term Algebras with Length Function and Bounded Quantifier Alternation. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2004, pp:321-336 [Conf]
  118. Zohar Manna, Calogero G. Zarba
    Combining Decision Procedures. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:381-422 [Conf]
  119. Aaron R. Bradley, Zohar Manna, Henny B. Sipma
    Termination of Polynomial Programs. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:113-129 [Conf]
  120. Aaron R. Bradley, Zohar Manna, Henny B. Sipma
    What's Decidable About Arrays? [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:427-442 [Conf]
  121. Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna
    Efficient Strongly Relational Polyhedral Analysis. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:111-125 [Conf]
  122. Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
    Scalable Analysis of Linear Systems Using Mathematical Programming. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:25-41 [Conf]
  123. Zohar Manna, Massimo Paltrinieri, Richard J. Waldinger
    A Temporal Plan Theory. [Citation Graph (0, 0)][DBLP]
    WOCFAI, 1995, pp:253-261 [Conf]
  124. Mordechai Ben-Ari, Amir Pnueli, Zohar Manna
    The Temporal Logic of Branching Time. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1983, v:20, n:, pp:207-226 [Journal]
  125. Shmuel Katz, Zohar Manna
    A Closer Look at Termination [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1975, v:5, n:, pp:333-352 [Journal]
  126. Yonit Kesten, Zohar Manna, Amir Pnueli
    Verification of Clocked and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2000, v:36, n:11, pp:837-912 [Journal]
  127. Zohar Manna, Amir Pnueli
    Axiomatic Approach to Total Correctness of Programs [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1974, v:3, n:, pp:243-263 [Journal]
  128. Zohar Manna, Amir Pnueli
    Models for Reactivity. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1993, v:30, n:7, pp:609-678 [Journal]
  129. Zohar Manna
    The Correctness of Nondeterministic Programs. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1970, v:1, n:1/2, pp:1-26 [Journal]
  130. Zohar Manna, Richard J. Waldinger
    Knowledge and Reasoning in Program Synthesis. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1975, v:6, n:2, pp:175-208 [Journal]
  131. Shmuel Katz, Zohar Manna
    Logical Analysis of Programs. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1976, v:19, n:4, pp:188-206 [Journal]
  132. Zohar Manna, Stephen Nes, Jean Vuillemin
    Inductive Methods for Proving Properties of Programs. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1973, v:16, n:8, pp:491-502 [Journal]
  133. Zohar Manna, Adi Shamir
    The Optimal Approach to Recursive Programs. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1977, v:20, n:11, pp:824-831 [Journal]
  134. Zohar Manna, Richard J. Waldinger
    Toward Automatic Program Synthesis. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1971, v:14, n:3, pp:151-165 [Journal]
  135. Zohar Manna, Richard J. Waldinger
    Is "Sometime" Sometimes Better Than "Always"? (Intermittent Assertions in Proving Program Correctness). [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1978, v:21, n:2, pp:159-172 [Journal]
  136. Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma
    The `Cash-Point' Service: A Verification Case Study Using STeP. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:218-219 [Journal]
  137. Nikolaj Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe
    Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2000, v:16, n:3, pp:227-270 [Journal]
  138. Henny Sipma, Tomás E. Uribe, Zohar Manna
    Deductive Model Checking. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1999, v:15, n:1, pp:49-74 [Journal]
  139. Thomas A. Henzinger, Zohar Manna, Amir Pnueli
    Temporal Proof Methodologies for Timed Transition Systems [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:112, n:2, pp:273-337 [Journal]
  140. Ting Zhang, Henny B. Sipma, Zohar Manna
    Decision procedures for term algebras with integer constraints. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:10, pp:1526-1574 [Journal]
  141. Zohar Manna
    Properties of Programs and the First-Order Predicate Calculus. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1969, v:16, n:2, pp:244-255 [Journal]
  142. Zohar Manna, Amir Pnueli
    Formalization of Properties of Functional Programs. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1970, v:17, n:3, pp:555-569 [Journal]
  143. Zohar Manna
    The Correctness of Programs. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1969, v:3, n:2, pp:119-127 [Journal]
  144. Zohar Manna
    Mathematical Theory of Partial Correctness. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1971, v:5, n:3, pp:239-253 [Journal]
  145. Zohar Manna
    Deductive Synthesis of the Unification Algorithm. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1981, v:1, n:1-2, pp:5-48 [Journal]
  146. Zohar Manna, Amir Pnueli
    Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1984, v:4, n:3, pp:257-289 [Journal]
  147. Zohar Manna, Richard J. Waldinger
    The Origin of a Binary-Search Paradigm. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1987, v:9, n:1, pp:37-83 [Journal]
  148. Edward A. Ashcroft, Zohar Manna
    Translating Program Schemas to While-Schemes. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1975, v:4, n:2, pp:125-146 [Journal]
  149. Zohar Manna, Adi Shamir
    The Theoretical Aspects of the Optimal Fixed Point. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1976, v:5, n:3, pp:414-426 [Journal]
  150. Yonathan Malachi, Zohar Manna, Richard J. Waldinger
    Tablog: Functional and Relational Programming in One Framework. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1986, v:3, n:1, pp:75-76 [Journal]
  151. Nikolaj Bjørner, Anca Browne, Zohar Manna
    Automatic Generation of Invariants and Intermediate Assertions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:173, n:1, pp:49-87 [Journal]
  152. Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe
    Deductive verification of real-time systems using STeP. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:253, n:1, pp:27-60 [Journal]
  153. Zohar Manna, Amir Pnueli
    Completing the Temporal Picture. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:83, n:1, pp:91-130 [Journal]
  154. Zohar Manna, Adi Shamir
    The Convergence of Functions to Fixedpoints of Recursive Definitions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1978, v:6, n:, pp:109-141 [Journal]
  155. Nachum Dershowitz, Zohar Manna
    The Evolution of Programs: Automatic Program Modification. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1977, v:3, n:6, pp:377-385 [Journal]
  156. Nachum Dershowitz, Zohar Manna
    Inference Rules for Program Annotation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1981, v:7, n:2, pp:207-222 [Journal]
  157. Zohar Manna, Richard J. Waldinger
    Synthesis: Dreams - Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1979, v:5, n:4, pp:294-328 [Journal]
  158. Zohar Manna, Richard J. Waldinger
    Fundamentals of Deductive Program Synthesis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1992, v:18, n:8, pp:674-704 [Journal]
  159. César Sánchez, Henny B. Sipma, Zohar Manna
    A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces. [Citation Graph (0, 0)][DBLP]
    FASE, 2007, pp:155-169 [Conf]
  160. César Sánchez, Henny B. Sipma, Zohar Manna
    Generating Efficient Distributed Deadlock Avoidance Controllers. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2007, pp:1-8 [Conf]
  161. Zohar Manna, Henny B. Sipma, Ting Zhang
    Verifying Balanced Trees. [Citation Graph (0, 0)][DBLP]
    LFCS, 2007, pp:363-378 [Conf]

  162. The Reaction Algebra: A Formal Language for Event Correlation. [Citation Graph (, )][DBLP]


  163. Temporal Verification of Reactive Systems: Response. [Citation Graph (, )][DBLP]


  164. Checking Safety by Inductive Generalization of Counterexamples to Induction. [Citation Graph (, )][DBLP]


Search in 0.036secs, Finished in 0.044secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002