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