Search the dblp DataBase
Zohar Manna :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Martín Abadi , Zohar Manna Temporal Logic Programming. [Citation Graph (5, 0)][DBLP ] SLP, 1987, pp:4-16 [Conf ] 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 ] 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 ] 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 ] Zohar Manna , Richard J. Waldinger The Deductive Synthesis of Imperative LISP Programs. [Citation Graph (3, 0)][DBLP ] AAAI, 1987, pp:155-160 [Conf ] Zohar Manna , Amir Pnueli The Modal Logic of Programs. [Citation Graph (3, 0)][DBLP ] ICALP, 1979, pp:385-409 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Zohar Manna Verification of Progress Properties. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:345-346 [Conf ] Luca de Alfaro , Zohar Manna Verification in Continuous Time by Discrete Reasoning. [Citation Graph (0, 0)][DBLP ] AMAST, 1995, pp:292-306 [Conf ] 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 ] 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 ] Anca Browne , Zohar Manna , Henny Sipma Hierarchical Verification Using Verification Diagrams. [Citation Graph (0, 0)][DBLP ] ASIAN, 1996, pp:276-286 [Conf ] Aaron R. Bradley , Zohar Manna Termination and Invariance Analysis of Loops. [Citation Graph (0, 0)][DBLP ] ATVA, 2005, pp:2- [Conf ] 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 ] Martín Abadi , Zohar Manna Modal Theorem Proving. [Citation Graph (0, 0)][DBLP ] CADE, 1986, pp:172-189 [Conf ] 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 ] Zohar Manna , Richard J. Waldinger The Special-Relation Rules are Incomplete. [Citation Graph (0, 0)][DBLP ] CADE, 1992, pp:492-506 [Conf ] 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 ] 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 ] 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 ] Luca de Alfaro , Zohar Manna Temporal Verification by Diagram Transformations. [Citation Graph (0, 0)][DBLP ] CAV, 1996, pp:288-299 [Conf ] Anuchit Anuchitanukul , Zohar Manna Realizability and Synthesis of Reactive Modules. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:156-168 [Conf ] 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 ] Aaron R. Bradley , Zohar Manna , Henny B. Sipma Linear Ranking with Reachability. [Citation Graph (0, 0)][DBLP ] CAV, 2005, pp:491-504 [Conf ] 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 ] Zohar Manna Beyond Model Checking. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:220-221 [Conf ] Zohar Manna , Henny Sipma Verification of Parameterized Systems by Dynamic Induction on Diagrams. [Citation Graph (0, 0)][DBLP ] CAV, 1999, pp:25-41 [Conf ] Henny Sipma , Tomás E. Uribe , Zohar Manna Deductive Model Checking. [Citation Graph (0, 0)][DBLP ] CAV, 1996, pp:208-219 [Conf ] Bernd Finkbeiner , Zohar Manna , Henny Sipma Deductive Verification of Modular Systems. [Citation Graph (0, 0)][DBLP ] COMPOS, 1997, pp:239-275 [Conf ] 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 ] Nikolaj Bjørner , Anca Browne , Zohar Manna Automatic Generation of Invariants and Assertions. [Citation Graph (0, 0)][DBLP ] CP, 1995, pp:589-623 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] Anca Browne , Zohar Manna , Henny Sipma Generalized Temporal Verification Diagrams. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1995, pp:484-498 [Conf ] Zohar Manna , Richard J. Waldinger Deduction with Relation Matching. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1985, pp:212-224 [Conf ] 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 ] 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 ] Henny Sipma , Zohar Manna Specification and Verification of Controlled Systems. [Citation Graph (0, 0)][DBLP ] FTRTFT, 1994, pp:641-659 [Conf ] 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 ] Yonit Kesten , Zohar Manna , Amir Pnueli Verifying Clocked Transition Systems. [Citation Graph (0, 0)][DBLP ] Hybrid Systems, 1995, pp:13-40 [Conf ] Zohar Manna , Amir Pnueli Verifying Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Hybrid Systems, 1992, pp:4-35 [Conf ] Zohar Manna , Henny Sipma Deductive Verification of Hybrid Systems Using STeP. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:305-318 [Conf ] Sriram Sankaranarayanan , Henny Sipma , Zohar Manna Constructing Invariants for Hybrid Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2004, pp:539-554 [Conf ] 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 ] Zohar Manna Knowledge and Reasoning in Program Synthesis. [Citation Graph (0, 0)][DBLP ] Programming Methodology, 1974, pp:236-277 [Conf ] Aaron R. Bradley , Zohar Manna , Henny B. Sipma The Polyranking Principle. [Citation Graph (0, 0)][DBLP ] ICALP, 2005, pp:1349-1361 [Conf ] Edward Y. Chang , Zohar Manna , Amir Pnueli Characterization of Temporal Property Classes. [Citation Graph (0, 0)][DBLP ] ICALP, 1992, pp:474-486 [Conf ] Nachum Dershowitz , Zohar Manna Proving termination with Multiset Orderings. [Citation Graph (0, 0)][DBLP ] ICALP, 1979, pp:188-202 [Conf ] 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 ] Thomas A. Henzinger , Zohar Manna , Amir Pnueli What Good Are Digital Clocks? [Citation Graph (0, 0)][DBLP ] ICALP, 1992, pp:545-558 [Conf ] Zohar Manna , Amir Pnueli Proving Precedence Properties: The Temporal Way. [Citation Graph (0, 0)][DBLP ] ICALP, 1983, pp:491-512 [Conf ] Zohar Manna , Amir Pnueli Completing the Temporal Picture. [Citation Graph (0, 0)][DBLP ] ICALP, 1989, pp:534-558 [Conf ] Zohar Manna , Henny Sipma Alternating the Temporal Picture for Safety. [Citation Graph (0, 0)][DBLP ] ICALP, 2000, pp:429-450 [Conf ] Zohar Manna , Jean Vuillemin Fixpoint Approach to the Theory of Computation. [Citation Graph (0, 0)][DBLP ] ICALP, 1972, pp:273-291 [Conf ] Zohar Manna , Richard J. Waldinger Special Relations in Automated Deduction. [Citation Graph (0, 0)][DBLP ] ICALP, 1985, pp:413-423 [Conf ] Nachum Dershowitz , Zohar Manna Inference Rules for Program Annotation. [Citation Graph (0, 0)][DBLP ] ICSE, 1978, pp:158-167 [Conf ] 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 ] Zohar Manna , Richard J. Waldinger The Synthesis of Structure Changing Programs. [Citation Graph (0, 0)][DBLP ] ICSE, 1978, pp:175-187 [Conf ] 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 ] Aaron R. Bradley , Zohar Manna Verification Constraint Problems with Strengthening. [Citation Graph (0, 0)][DBLP ] ICTAC, 2006, pp:35-49 [Conf ] Hugh McGuire , Zohar Manna , Richard J. Waldinger Annotation-Based Deduction in Temporal Logic. [Citation Graph (0, 0)][DBLP ] ICTL, 1994, pp:430-444 [Conf ] 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 ] Zohar Manna Logics of Programs. [Citation Graph (0, 0)][DBLP ] IFIP Congress, 1980, pp:41-51 [Conf ] Shmuel Katz , Zohar Manna A Heuristic Approach to Program Verification. [Citation Graph (0, 0)][DBLP ] IJCAI, 1973, pp:500-512 [Conf ] Zohar Manna , Richard J. Waldinger The Automatic Synthesis of Systems of Recursive Programs. [Citation Graph (0, 0)][DBLP ] IJCAI, 1977, pp:405-411 [Conf ] Zohar Manna , Richard J. Waldinger The Origin of the Binary-Search Paradigm. [Citation Graph (0, 0)][DBLP ] IJCAI, 1985, pp:222-224 [Conf ] Richard J. Waldinger , Zohar Manna Knowledge and Reasoning in Program Synthesis. [Citation Graph (0, 0)][DBLP ] IJCAI, 1975, pp:288-295 [Conf ] Zohar Manna , Amir Pnueli Time for Concurrency. [Citation Graph (0, 0)][DBLP ] 25th Anniversary of INRIA, 1992, pp:129-153 [Conf ] 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 ] 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 ] Martín Abadi , Zohar Manna A Timely Resolution [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:176-186 [Conf ] Edward Y. Chang , Zohar Manna , Amir Pnueli Compositional Verification of Real-Time Systems [Citation Graph (0, 0)][DBLP ] LICS, 1994, pp:458-465 [Conf ] Bengt Jonsson , Zohar Manna , Richard J. Waldinger Towards Deductive Synthesis of Dataflow Networks [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:26-37 [Conf ] Martín Abadi , Zohar Manna Nonclausal Temporal Deduction. [Citation Graph (0, 0)][DBLP ] Logic of Programs, 1985, pp:1-15 [Conf ] 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 ] Zohar Manna , Amir Pnueli Verification of Concurrent Programs: Temporal Proof Principles. [Citation Graph (0, 0)][DBLP ] Logic of Programs, 1981, pp:200-252 [Conf ] Ben C. Moszkowski , Zohar Manna Reasoning in Interval Temporal Logic. [Citation Graph (0, 0)][DBLP ] Logic of Programs, 1983, pp:371-382 [Conf ] Zohar Manna , Amir Pnueli On the Faithfulness of Formal Models. [Citation Graph (0, 0)][DBLP ] MFCS, 1991, pp:28-42 [Conf ] 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 ] Zohar Manna , Amir Pnueli A Hierarchy of Temporal Properties (Abstract). [Citation Graph (0, 0)][DBLP ] PODC, 1987, pp:205- [Conf ] Zohar Manna , Amir Pnueli A Hierarchy of Temporal Properties. [Citation Graph (0, 0)][DBLP ] PODC, 1990, pp:377-410 [Conf ] Mordechai Ben-Ari , Zohar Manna , Amir Pnueli The Temporal Logic of Branching Time. [Citation Graph (0, 0)][DBLP ] POPL, 1981, pp:164-176 [Conf ] 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 ] 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 ] Zohar Manna , Amir Pnueli Synchronous Schemes and Their Decision Problems. [Citation Graph (0, 0)][DBLP ] POPL, 1980, pp:62-67 [Conf ] 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 ] Zohar Manna , Amir Pnueli Specification and Verification of Concurrent Programs By Forall-Automata. [Citation Graph (0, 0)][DBLP ] POPL, 1987, pp:1-12 [Conf ] 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 ] Oded Maler , Zohar Manna , Amir Pnueli From Timed to Hybrid Systems. [Citation Graph (0, 0)][DBLP ] REX Workshop, 1991, pp:447-484 [Conf ] Zohar Manna , Amir Pnueli The anchored version of the temporal framework. [Citation Graph (0, 0)][DBLP ] REX Workshop, 1988, pp:201-284 [Conf ] Thomas A. Henzinger , Zohar Manna , Amir Pnueli Timed Transition Systems. [Citation Graph (0, 0)][DBLP ] REX Workshop, 1991, pp:226-251 [Conf ] 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 ] 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 ] Sriram Sankaranarayanan , Henny B. Sipma , Zohar Manna Constraint-Based Linear-Relations Analysis. [Citation Graph (0, 0)][DBLP ] SAS, 2004, pp:53-68 [Conf ] 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 ] Ashok K. Chandra , Zohar Manna Program Schemas with Equality [Citation Graph (0, 0)][DBLP ] STOC, 1972, pp:52-64 [Conf ] Zohar Manna Second-Order Mathematical Theory of Computation [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:158-168 [Conf ] Zohar Manna , Amir Pnueli Formalization of Properties of Recursively Defined Functions [Citation Graph (0, 0)][DBLP ] STOC, 1969, pp:201-210 [Conf ] Zohar Manna , Adi Shamir The Optimal Fixedpoint of Recursive Programs [Citation Graph (0, 0)][DBLP ] STOC, 1975, pp:194-206 [Conf ] Luca de Alfaro , Zohar Manna Visual Verification of Reactive Systems. [Citation Graph (0, 0)][DBLP ] TACAS, 1997, pp:334-350 [Conf ] Zohar Manna , Amir Pnueli Temporal Verification Diagrams. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:726-765 [Conf ] 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 ] 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 ] Zohar Manna Visual Verification of Temporal Properties. [Citation Graph (0, 0)][DBLP ] TIME, 1999, pp:6- [Conf ] 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 ] 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 ] Zohar Manna , Calogero G. Zarba Combining Decision Procedures. [Citation Graph (0, 0)][DBLP ] 10th Anniversary Colloquium of UNU/IIST, 2002, pp:381-422 [Conf ] Aaron R. Bradley , Zohar Manna , Henny B. Sipma Termination of Polynomial Programs. [Citation Graph (0, 0)][DBLP ] VMCAI, 2005, pp:113-129 [Conf ] Aaron R. Bradley , Zohar Manna , Henny B. Sipma What's Decidable About Arrays? [Citation Graph (0, 0)][DBLP ] VMCAI, 2006, pp:427-442 [Conf ] 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 ] 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 ] Zohar Manna , Massimo Paltrinieri , Richard J. Waldinger A Temporal Plan Theory. [Citation Graph (0, 0)][DBLP ] WOCFAI, 1995, pp:253-261 [Conf ] 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 ] Shmuel Katz , Zohar Manna A Closer Look at Termination [Citation Graph (0, 0)][DBLP ] Acta Inf., 1975, v:5, n:, pp:333-352 [Journal ] 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 ] 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 ] Zohar Manna , Amir Pnueli Models for Reactivity. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1993, v:30, n:7, pp:609-678 [Journal ] Zohar Manna The Correctness of Nondeterministic Programs. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1970, v:1, n:1/2, pp:1-26 [Journal ] 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 ] Shmuel Katz , Zohar Manna Logical Analysis of Programs. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1976, v:19, n:4, pp:188-206 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Zohar Manna The Correctness of Programs. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1969, v:3, n:2, pp:119-127 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Zohar Manna , Henny B. Sipma , Ting Zhang Verifying Balanced Trees. [Citation Graph (0, 0)][DBLP ] LFCS, 2007, pp:363-378 [Conf ] The Reaction Algebra: A Formal Language for Event Correlation. [Citation Graph (, )][DBLP ] Temporal Verification of Reactive Systems: Response. [Citation Graph (, )][DBLP ] Checking Safety by Inductive Generalization of Counterexamples to Induction. [Citation Graph (, )][DBLP ] Search in 0.008secs, Finished in 0.758secs