2008 | ||
---|---|---|
168 | EE | 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 | EE | Aaron R. Bradley, Zohar Manna: Property-directed incremental invariant generation. Formal Asp. Comput. 20(4-5): 379-405 (2008) |
166 | EE | Matteo Slanina, Henny B. Sipma, Zohar Manna: Deductive verification of alternating systems. Formal Asp. Comput. 20(4-5): 507-560 (2008) |
165 | EE | Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna: Constructing invariants for hybrid systems. Formal Methods in System Design 32(1): 25-55 (2008) |
2007 | ||
164 | EE | 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 | EE | Aaron R. Bradley, Zohar Manna: Checking Safety by Inductive Generalization of Counterexamples to Induction. FMCAD 2007: 173-180 |
162 | EE | César Sánchez, Henny B. Sipma, Zohar Manna: Generating Efficient Distributed Deadlock Avoidance Controllers. IPDPS 2007: 1-8 |
161 | EE | Zohar Manna, Henny B. Sipma, Ting Zhang: Verifying Balanced Trees. LFCS 2007: 363-378 |
2006 | ||
160 | EE | César Sánchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill: Efficient distributed deadlock avoidance with liveness guarantees. EMSOFT 2006: 12-20 |
159 | EE | Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna: Fixed Point Iteration for Computing the Time Elapse Operator. HSCC 2006: 537-551 |
158 | EE | Matteo Slanina, Henny B. Sipma, Zohar Manna: Proving ATL* Properties of Infinite-State Systems. ICTAC 2006: 242-256 |
157 | EE | Aaron R. Bradley, Zohar Manna: Verification Constraint Problems with Strengthening. ICTAC 2006: 35-49 |
156 | EE | 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 | EE | 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 | EE | Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna: Efficient Strongly Relational Polyhedral Analysis. VMCAI 2006: 111-125 |
153 | EE | Aaron R. Bradley, Zohar Manna, Henny B. Sipma: What's Decidable About Arrays? VMCAI 2006: 427-442 |
152 | EE | Ting Zhang, Henny B. Sipma, Zohar Manna: Decision procedures for term algebras with integer constraints. Inf. Comput. 204(10): 1526-1574 (2006) |
2005 | ||
151 | EE | Aaron R. Bradley, Zohar Manna: Termination and Invariance Analysis of Loops. ATVA 2005: 2 |
150 | EE | Ting Zhang, Henny B. Sipma, Zohar Manna: The Decidability of the First-Order Theory of Knuth-Bendix Order. CADE 2005: 131-148 |
149 | EE | César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna: Final Semantics for Event-Pattern Reactive Programs. CALCO 2005: 364-378 |
148 | EE | Aaron R. Bradley, Zohar Manna, Henny B. Sipma: Linear Ranking with Reachability. CAV 2005: 491-504 |
147 | EE | Aaron R. Bradley, Zohar Manna, Henny B. Sipma: Termination Analysis of Integer Linear Loops. CONCUR 2005: 488-502 |
146 | EE | 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 | EE | 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 | EE | Ting Zhang, Henny B. Sipma, Zohar Manna: Decision Procedures for Queues with Integer Constraints. FSTTCS 2005: 225-237 |
143 | EE | Aaron R. Bradley, Zohar Manna, Henny B. Sipma: The Polyranking Principle. ICALP 2005: 1349-1361 |
142 | EE | 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 | EE | Aaron R. Bradley, Zohar Manna, Henny B. Sipma: Termination of Polynomial Programs. VMCAI 2005: 113-129 |
140 | EE | Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna: Scalable Analysis of Linear Systems Using Mathematical Programming. VMCAI 2005: 25-41 |
2004 | ||
139 | EE | Sriram Sankaranarayanan, Henny Sipma, Zohar Manna: Constructing Invariants for Hybrid Systems. HSCC 2004: 539-554 |
138 | EE | Ting Zhang, Henny B. Sipma, Zohar Manna: Decision Procedures for Recursive Data Structures with Integer Constraints. IJCAR 2004: 152-167 |
137 | EE | Sriram Sankaranarayanan, Henny Sipma, Zohar Manna: Non-linear loop invariant generation using Gröbner bases. POPL 2004: 318-329 |
136 | EE | Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna: Constraint-Based Linear-Relations Analysis. SAS 2004: 53-68 |
135 | EE | Ting Zhang, Henny B. Sipma, Zohar Manna: Term Algebras with Length Function and Bounded Quantifier Alternation. TPHOLs 2004: 321-336 |
2003 | ||
134 | EE | 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 | EE | Sriram Sankaranarayanan, Henny Sipma, Zohar Manna: Petri Net Analysis Using Invariant Generation. Verification: Theory and Practice 2003: 682-701 |
2002 | ||
132 | EE | Zohar Manna, Calogero G. Zarba: Combining Decision Procedures. 10th Anniversary Colloquium of UNU/IIST 2002: 381-422 |
2001 | ||
131 | EE | 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 | EE | Zohar Manna, Henny Sipma: Alternating the Temporal Picture for Safety. ICALP 2000: 429-450 |
129 | EE | Yonit Kesten, Zohar Manna, Amir Pnueli: Verification of Clocked and Hybrid Systems. Acta Inf. 36(11): 837-912 (2000) |
128 | EE | 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 | EE | Zohar Manna, Henny Sipma: Verification of Parameterized Systems by Dynamic Induction on Diagrams. CAV 1999: 25-41 |
125 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Zohar Manna, Amir Pnueli: A Hierarchy of Temporal Properties. PODC 1990: 377-410 |
78 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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) |