Zohar Manna

190 papers A* 44A 10B 12C 6Misc 3Journal 50Unranked 55
YearRankTypeTitle / Venue / Authors
2010 — conf
Temporal Verification of Reactive Systems: Response.
Essays in Memory of Amir Pnueli
Zohar Manna, Amir Pnueli
2010 — ed.
Time for Verification, Essays in Memory of Amir Pnueli
Essays in Memory of Amir Pnueli
Zohar Manna, Doron A. Peled
2008 J jnl
Constructing invariants for hybrid systems.
Formal Methods Syst. Des.
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
2008 J jnl
Deductive verification of alternating systems.
Formal Aspects Comput.
Matteo Slanina, Henny B. Sipma, Zohar Manna
2008 J jnl
Property-directed incremental invariant generation.
Formal Aspects Comput.
Aaron R. Bradley, Zohar Manna
2008 — conf
The Reaction Algebra: A Formal Language for Event Correlation.
Pillars of Computer Science
César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna
2007 B conf
A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces.
FASE
César Sánchez, Henny B. Sipma, Zohar Manna
2007 B conf
Checking Safety by Inductive Generalization of Counterexamples to Induction.
FMCAD
Aaron R. Bradley, Zohar Manna
2007 A conf
Generating Efficient Distributed Deadlock Avoidance Controllers.
IPDPS
César Sánchez, Henny B. Sipma, Zohar Manna
2007 — book
The calculus of computation - decision procedures with applications to verification.
Aaron R. Bradley, Zohar Manna
2007 Misc conf
Verifying Balanced Trees.
LFCS
Zohar Manna, Henny B. Sipma, Ting Zhang
2006 J jnl
Decision procedures for term algebras with integer constraints.
Inf. Comput.
Ting Zhang, Henny B. Sipma, Zohar Manna
2006 B conf
Distributed Priority Inheritance for Real-Time and Embedded Systems.
OPODIS
César Sánchez, Henny B. Sipma, Christopher D. Gill, Zohar Manna
2006 B conf
Efficient Strongly Relational Polyhedral Analysis.
VMCAI
Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna
2006 Misc conf
Efficient distributed deadlock avoidance with liveness guarantees.
EMSOFT
César Sánchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill
2006 — conf
Fixed Point Iteration for Computing the Time Elapse Operator.
HSCC
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
2006 A conf
On efficient distributed deadlock avoidance for real-time and embedded systems.
IPDPS
César Sánchez, Henny B. Sipma, Zohar Manna, Venkita Subramonian, Christopher D. Gill
2006 C conf
Proving ATL* Properties of Infinite-State Systems.
ICTAC
Matteo Slanina, Henny B. Sipma, Zohar Manna
2006 C conf
Verification Constraint Problems with Strengthening.
ICTAC
Aaron R. Bradley, Zohar Manna
2006 B conf
What's Decidable About Arrays?
VMCAI
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
2005 — conf
Decision Procedures for Queues with Integer Constraints.
FSTTCS
Ting Zhang, Henny B. Sipma, Zohar Manna
2005 C conf
Expressive Completeness of an Event-Pattern Reactive Programming Language.
FORTE
César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna
2005 B conf
Final Semantics for Event-Pattern Reactive Programs.
CALCO
César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna
2005 C conf
LOLA: Runtime Monitoring of Synchronous Systems.
TIME
Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna
2005 A* conf
Linear Ranking with Reachability.
CAV
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
2005 B conf
Scalable Analysis of Linear Systems Using Mathematical Programming.
VMCAI
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
2005 B conf
Termination Analysis of Integer Linear Loops.
CONCUR
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
2005 B conf
Termination and Invariance Analysis of Loops.
ATVA
Aaron R. Bradley, Zohar Manna
2005 B conf
Termination of Polynomial Programs.
VMCAI
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
2005 A conf
The Decidability of the First-Order Theory of Knuth-Bendix Order.
CADE
Ting Zhang, Henny B. Sipma, Zohar Manna
2005 A* conf
The Polyranking Principle.
ICALP
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
2005 C conf
Thread Allocation Protocols for Distributed Real-Time and Embedded Systems.
FORTE
César Sánchez, Henny B. Sipma, Venkita Subramonian, Christopher D. Gill, Zohar Manna
2004 B conf
Constraint-Based Linear-Relations Analysis.
SAS
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
2004 — conf
Constructing Invariants for Hybrid Systems.
HSCC
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
2004 A conf
Decision Procedures for Recursive Data Structures with Integer Constraints.
IJCAR
Ting Zhang, Henny B. Sipma, Zohar Manna
2004 A* conf
Non-linear loop invariant generation using Gröbner bases.
POPL
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
2004 — conf
Term Algebras with Length Function and Bounded Quantifier Alternation.
TPHOLs
Ting Zhang, Henny B. Sipma, Zohar Manna
2003 Misc conf
Event Correlation: Language and Semantics.
EMSOFT
César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna
2003 — conf
Petri Net Analysis Using Invariant Generation.
Verification: Theory and Practice
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
2002 — conf
Combining Decision Procedures.
10th Anniversary Colloquium of UNU/IIST
Zohar Manna, Calogero G. Zarba
2001 J jnl
Deductive verification of real-time systems using STeP.
Theor. Comput. Sci.
Nikolaj S. Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe
2000 A* conf
Alternating the Temporal Picture for Safety.
ICALP
Zohar Manna, Henny Sipma
2000 J jnl
The 'Cash-Point' Service: A Verification Case Study Using STeP.
Formal Aspects Comput.
Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma
2000 J jnl
Verification of Clocked and Hybrid Systems.
Acta Informatica
Yonit Kesten, Zohar Manna, Amir Pnueli
2000 J jnl
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial.
Formal Methods Syst. Des.
Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe
1999 J jnl
Deductive Model Checking.
Formal Methods Syst. Des.
Henny Sipma, Tomás E. Uribe, Zohar Manna
1999 A* conf
Verification of Parameterized Systems by Dynamic Induction on Diagrams.
CAV
Zohar Manna, Henny Sipma
1999 C conf
Visual Verification of Temporal Properties.
TIME
Zohar Manna
1998 — conf
An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems.
Tool Support for System Specification, Development and Verification
Zohar Manna, Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe
1998 — conf
Deductive Verification of Hybrid Systems Using STeP.
HSCC
Zohar Manna, Henny Sipma
1998 — conf
Visual Abstractions for Temporal Verification.
AMAST
Zohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe
1997 — conf
Abstraction and Modular Verification of Infinite-State Reactive Systems.
Requirements Targeting Software and Systems Engineering
Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe
1997 J jnl
Automatic Generation of Invariants and Intermediate Assertions.
Theor. Comput. Sci.
Nikolaj S. Bjørner, Anca Browne, Zohar Manna
1997 — conf
Deductive Verification of Modular Systems.
COMPOS
Bernd Finkbeiner, Zohar Manna, Henny Sipma
1997 — conf
Deductive Verification of Real-Time Systems Using STeP.
ARTS
Nikolaj S. Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe
1997 A conf
Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification.
STACS
Luca de Alfaro, Arjun Kapur, Zohar Manna
1997 — conf
Verification of Progress Properties.
APPIA-GULP-PRODE
Zohar Manna
1997 A conf
Visual Verification of Reactive Systems.
TACAS
Luca de Alfaro, Zohar Manna, Henny B. Sipma, Tomás E. Uribe
1996 A* conf
Deductive Model Checking.
CAV
Henny Sipma, Tomás E. Uribe, Zohar Manna
1996 — conf
Hierarchical Verification Using Verification Diagrams.
ASIAN
Anca Browne, Zohar Manna, Henny Sipma
1996 A* conf
STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems.
CAV
Nikolaj S. Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Arjun Kapur, Zohar Manna, Henny Sipma, Tomás E. Uribe
1996 A* conf
Temporal Verification by Diagram Transformations.
CAV
Luca de Alfaro, Zohar Manna
1996 — conf
Verification of Clocked and Hybrid Systems.
European Educational Forum: School on Embedded Systems
Yonit Kesten, Zohar Manna, Amir Pnueli
1995 — conf
A Temporal Plan Theory.
WOCFAI
Zohar Manna, Massimo Paltrinieri, Richard J. Waldinger
1995 A conf
Automatic Generation of Invariants and Assertions.
CP
Nikolaj S. Bjørner, Anca Browne, Zohar Manna
1995 — ch.
Differential BDDs.
Computer Science Today
Anuchit Anuchitanukul, Zohar Manna, Tomás E. Uribe
1995 — conf
Generalized Temporal Verification Diagrams.
FSTTCS
Anca Browne, Zohar Manna, Henny Sipma
1995 — conf
STeP: The Stanford Temporal Prover.
TAPSOFT
Zohar Manna, Nikolaj S. 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
1995 — book
Temporal verification of reactive systems - safety.
Zohar Manna, Amir Pnueli
1995 — conf
Verification in Continuous Time by Discrete Reasoning.
AMAST
Luca de Alfaro, Zohar Manna
1995 — conf
Verifying Clocked Transition Systems.
Hybrid Systems
Yonit Kesten, Zohar Manna, Amir Pnueli
1994 — conf
Annotation-Based Deduction in Temporal Logic.
ICTL
Hugh McGuire, Zohar Manna, Richard J. Waldinger
1994 A* conf
Beyond Model Checking.
CAV
Zohar Manna
1994 A* conf
Compositional Verification of Real-Time Systems
LICS
Edward Y. Chang, Zohar Manna, Amir Pnueli
1994 — conf
Prooving Safety Properties of Hybrid Systems.
FTRTFT
Arjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli
1994 A* conf
Realizability and Synthesis of Reactive Modules.
CAV
Anuchit Anuchitanukul, Zohar Manna
1994 — conf
Specification and Verification of Controlled Systems.
FTRTFT
Henny Sipma, Zohar Manna
1994 J jnl
Temporal Proof Methodologies for Timed Transition Systems
Inf. Comput.
Thomas A. Henzinger, Zohar Manna, Amir Pnueli
1994 — conf
Temporal Verification Diagrams.
TACS
Zohar Manna, Amir Pnueli
1993 A* conf
A Decision Algorithm for Full Propositional Temporal Logic.
CAV
Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli
1993 J jnl
Models for Reactivity.
Acta Informatica
Zohar Manna, Amir Pnueli
1993 — conf
Temporal Verification of Simulation and Refinement.
REX School/Symposium
Yonit Kesten, Zohar Manna, Amir Pnueli
1993 — book
The deductive foundations of computer programming - a one-volume version of "The logical basis for computer programming".
Zohar Manna, Richard J. Waldinger
1993 — ch.
Verification of parameterized programs.
Specification and validation methods
Zohar Manna, Amir Pnueli
1992 — conf
A Temporal Proof Methodology for Reactive Systems.
NATO ASI PDC
Zohar Manna, Amir Pnueli
1992 A* conf
Characterization of Temporal Property Classes.
ICALP
Edward Y. Chang, Zohar Manna, Amir Pnueli
1992 J jnl
Fundamentals of Deductive Program Synthesis.
IEEE Trans. Software Eng.
Zohar Manna, Richard J. Waldinger
1992 A conf
The Special-Relation Rules are Incomplete.
CADE
Zohar Manna, Richard J. Waldinger
1992 — book
The temporal logic of reactive and concurrent systems - specification.
Zohar Manna, Amir Pnueli
1992 — conf
Time for Concurrency.
25th Anniversary of INRIA
Zohar Manna, Amir Pnueli
1992 — conf
Towards Refining Temporal Specifications into Hybrid Systems.
Hybrid Systems
Thomas A. Henzinger, Zohar Manna, Amir Pnueli
1992 — conf
Verifying Hybrid Systems.
Hybrid Systems
Zohar Manna, Amir Pnueli
1992 A* conf
What Good Are Digital Clocks?
ICALP
Thomas A. Henzinger, Zohar Manna, Amir Pnueli
1991 J jnl
Completing the Temporal Picture.
Theor. Comput. Sci.
Zohar Manna, Amir Pnueli
1991 — conf
From Timed to Hybrid Systems.
REX Workshop
Oded Maler, Zohar Manna, Amir Pnueli
1991 — conf
Monotonicity Properties in Automated Deduction.
Artificial and Mathematical Theory of Computation
Zohar Manna, Mark E. Stickel, Richard Waldinger
1991 B conf
On the Faithfulness of Formal Models.
MFCS
Zohar Manna, Amir Pnueli
1991 A* conf
Temporal Proof Methodologies for Real-time Systems.
POPL
Thomas A. Henzinger, Zohar Manna, Amir Pnueli
1991 — conf
Timed Transition Systems.
REX Workshop
Thomas A. Henzinger, Zohar Manna, Amir Pnueli
1990 A* conf
A Hierarchy of Temporal Properties.
PODC
Zohar Manna, Amir Pnueli
1990 — conf
A temporal proof methodology for reactive systems.
Jerusalem Conference on Information Technology
Zohar Manna, Amir Pnueli
1990 — conf
An interleaving model for real-time.
Jerusalem Conference on Information Technology
Thomas A. Henzinger, Zohar Manna, Amir Pnueli
1990 J jnl
Nonclausal Deduction in First-Order Temporal Logic
J. ACM
Martín Abadi, Zohar Manna
1989 A* conf
Completing the Temporal Picture.
ICALP
Zohar Manna, Amir Pnueli
1989 J jnl
Temporal Logic Programming.
J. Symb. Comput.
Martín Abadi, Zohar Manna
1988 — conf
The anchored version of the temporal framework.
REX Workshop
Zohar Manna, Amir Pnueli
1987 A* conf
A Hierarchy of Temporal Properties (Abstract).
PODC
Zohar Manna, Amir Pnueli
1987 J jnl
How to Clear a Block: A Theory of Plans.
J. Autom. Reason.
Zohar Manna, Richard J. Waldinger
1987 A* conf
Specification and Verification of Concurrent Programs By Forall-Automata.
POPL
Zohar Manna, Amir Pnueli
1987 — conf
Specification and Verification of Concurrent Programs by forall-Automata.
Temporal Logic in Specification
Zohar Manna, Amir Pnueli
1987 — conf
Temporal Logic Programming.
SLP
Martín Abadi, Zohar Manna
1987 A* conf
The Deductive Synthesis of Imperative LISP Programs.
AAAI
Zohar Manna, Richard J. Waldinger
1987 J jnl
The Origin of a Binary-Search Paradigm.
Sci. Comput. Program.
Zohar Manna, Richard J. Waldinger
1986 A* conf
A Timely Resolution
LICS
Martín Abadi, Zohar Manna
1986 A conf
How to Clear a Block: Plan Formation in Situational Logic.
CADE
Zohar Manna, Richard J. Waldinger
1986 A conf
Modal Theorem Proving.
CADE
Martín Abadi, Zohar Manna
1986 J jnl
Special relations in automated deduction.
J. ACM
Zohar Manna, Richard J. Waldinger
1986 — ch.
TABLOG: A New Approach To Logic Programming.
Logic Programming: Functions, Relations, and Equations
Yonathan Malachi, Zohar Manna, Richard J. Waldinger
1986 J jnl
Tablog: Functional and Relational Programming in One Framework.
IEEE Softw.
Yonathan Malachi, Zohar Manna, Richard J. Waldinger
1986 A* conf
Towards Deductive Synthesis of Dataflow Networks
LICS
Bengt Jonsson, Zohar Manna, Richard J. Waldinger
1985 — conf
Deduction with Relation Matching.
FSTTCS
Zohar Manna, Richard J. Waldinger
1985 — conf
Nonclausal Temporal Deduction.
Logic of Programs
Martín Abadi, Zohar Manna
1985 A* conf
Special Relations in Automated Deduction.
ICALP
Zohar Manna, Richard J. Waldinger
1985 A* conf
The Origin of the Binary-Search Paradigm.
IJCAI
Zohar Manna, Richard J. Waldinger
1984 J jnl
Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Programs.
Sci. Comput. Program.
Zohar Manna, Amir Pnueli
1984 J jnl
Synthesis of Communicating Processes from Temporal Logic Specifications.
ACM Trans. Program. Lang. Syst.
Zohar Manna, Pierre Wolper
1984 — conf
TABLOG: The Deductive-Tableau Programming Language.
LISP and Functional Programming
Yonathan Malachi, Zohar Manna, Richard J. Waldinger
1983 A* conf
A Hardware Semantics Based on Temporal Intervals.
ICALP
Joseph Y. Halpern, Zohar Manna, Ben C. Moszkowski
1983 A* conf
How to Cook a Temporal Proof System for Your Pet Language.
POPL
Zohar Manna, Amir Pnueli
1983 A* conf
Proving Precedence Properties: The Temporal Way.
ICALP
Zohar Manna, Amir Pnueli
1983 — conf
Reasoning in Interval Temporal Logic.
Logic of Programs
Ben C. Moszkowski, Zohar Manna
1983 J jnl
The Temporal Logic of Branching Time.
Acta Informatica
Mordechai Ben-Ari, Amir Pnueli, Zohar Manna
1981 J jnl
Deductive Synthesis of the Unification Algorithm.
Sci. Comput. Program.
Zohar Manna, Richard J. Waldinger
1981 J jnl
Inference Rules for Program Annotation.
IEEE Trans. Software Eng.
Nachum Dershowitz, Zohar Manna
1981 J jnl
Problematic Features of Programming Languages: A Situational-Calculus Approach.
Acta Informatica
Zohar Manna, Richard J. Waldinger
1981 — conf
Synthesis of Communicating Processes from Temporal Logic Specifications.
Logic of Programs
Zohar Manna, Pierre Wolper
1981 A* conf
The Temporal Logic of Branching Time.
POPL
Mordechai Ben-Ari, Zohar Manna, Amir Pnueli
1981 — conf
Verification of Concurrent Programs: Temporal Proof Principles.
Logic of Programs
Zohar Manna, Amir Pnueli
1980 J jnl
A Deductive Approach to Program Synthesis.
ACM Trans. Program. Lang. Syst.
Zohar Manna, Richard J. Waldinger
1980 — conf
Logics of Programs.
IFIP Congress
Zohar Manna
1980 A* conf
Synchronous Schemes and Their Decision Problems.
POPL
Zohar Manna, Amir Pnueli
1979 A* conf
A Deductive Approach to Program Synthesis.
IJCAI
Zohar Manna, Richard Waldinger
1979 J jnl
Proving Termination with Multiset Orderings.
Commun. ACM
Nachum Dershowitz, Zohar Manna
1979 A* conf
Proving termination with Multiset Orderings.
ICALP
Nachum Dershowitz, Zohar Manna
1979 J jnl
Synthesis: Dreams - Programs.
IEEE Trans. Software Eng.
Zohar Manna, Richard J. Waldinger
1979 A* conf
The Modal Logic of Programs.
ICALP
Zohar Manna, Amir Pnueli
1978 — conf
DEDALUS - The DEDuctive ALgorithm Ur-Synthesizer.
AFIPS National Computer Conference
Zohar Manna, Richard Waldinger
1978 A* conf
Inference Rules for Program Annotation.
ICSE
Nachum Dershowitz, Zohar Manna
1978 J jnl
Is "Sometime" Sometimes Better Than "Always"? (Intermittent Assertions in Proving Program Correctness).
Commun. ACM
Zohar Manna, Richard J. Waldinger
1978 J jnl
The Convergence of Functions to Fixedpoints of Recursive Definitions.
Theor. Comput. Sci.
Zohar Manna, Adi Shamir
1978 J jnl
The Logic of Computer Programming.
IEEE Trans. Software Eng.
Zohar Manna, Richard J. Waldinger
1978 A* conf
The Synthesis of Structure Changing Programs.
ICSE
Zohar Manna, Richard J. Waldinger
1977 A* conf
The Automatic Synthesis of Systems of Recursive Programs.
IJCAI
Zohar Manna, Richard J. Waldinger
1977 A* conf
The Evolution of Programs: A System for Automatic Program Modification.
POPL
Nachum Dershowitz, Zohar Manna
1977 J jnl
The Evolution of Programs: Automatic Program Modification.
IEEE Trans. Software Eng.
Nachum Dershowitz, Zohar Manna
1977 J jnl
The Optimal Approach to Recursive Programs.
Commun. ACM
Zohar Manna, Adi Shamir
1977 — conf
The automatic synthesis of recursive programs.
Artificial Intelligence and Programming Languages
Zohar Manna, Richard Waldinger
1976 A* conf
Is 'Sometime' Sometimes Better Than 'Always'? Intermittent Assertions in Proving Program Correctness.
ICSE
Zohar Manna, Richard J. Waldinger
1976 J jnl
Logical Analysis of Programs.
Commun. ACM
Shmuel Katz, Zohar Manna
1976 J jnl
On the Power of Programming Features.
Comput. Lang.
Ashok K. Chandra, Zohar Manna
1976 J jnl
The Theoretical Aspects of the Optimal Fixed Point.
SIAM J. Comput.
Zohar Manna, Adi Shamir
1975 J jnl
A Closer Look at Termination.
Acta Informatica
Shmuel Katz, Zohar Manna
1975 A* conf
Knowledge and Reasoning in Program Synthesis.
IJCAI
Richard J. Waldinger, Zohar Manna
1975 J jnl
Knowledge and Reasoning in Program Synthesis.
Artif. Intell.
Zohar Manna, Richard J. Waldinger
1975 A* conf
The Optimal Fixedpoint of Recursive Programs
STOC
Zohar Manna, Adi Shamir
1975 — conf
Towards automatic debugging of programs.
Reliable Software
Shmuel Katz, Zohar Manna
1975 J jnl
Translating Program Schemas to While-Schemas.
SIAM J. Comput.
Edward A. Ashcroft, Zohar Manna
1974 J jnl
Axiomatic Approach to Total Correctness of Programs.
Acta Informatica
Zohar Manna, Amir Pnueli
1974 — conf
Knowledge and Reasoning in Program Synthesis.
Programming Methodology
Zohar Manna
1973 A* conf
A Heuristic Approach to Program Verification.
IJCAI
Shmuel Katz, Zohar Manna
1973 J jnl
Decidable Properties of Monadic Functional Schemas.
J. ACM
Edward A. Ashcroft, Zohar Manna, Amir Pnueli
1973 J jnl
Inductive Methods for Proving Properties of Programs.
Commun. ACM
Zohar Manna, Stephen Nes, Jean Vuillemin
1972 — conf
Computation of recursive programs: theory vs practice.
AFIPS Spring Joint Computing Conference
Zohar Manna
1972 J jnl
Fix Point Approach to the Theory of Computation.
Commun. ACM
Zohar Manna, Jean Vuillemin
1972 A* conf
Fixpoint Approach to the Theory of Computation.
ICALP
Zohar Manna, Jean Vuillemin
1972 — conf
Inductive methods for proving properties of programs.
Proving Assertions About Programs
Zohar Manna, Stephen Nes, Jean Vuillemin
1972 A* conf
Program Schemas with Equality
STOC
Ashok K. Chandra, Zohar Manna
1972 — conf
Recursive definitions of partial functions and their computations.
Proving Assertions About Programs
Jean-Marie Cadiou, Zohar Manna
1971 J jnl
Mathematical Theory of Partial Correctness.
J. Comput. Syst. Sci.
Zohar Manna
1971 — ch.
Mathematical theory of partial correctness.
Symposium on Semantics of Algorithmic Languages
Zohar Manna
1971 — conf
The Translation of 'Go To' Programs to 'While' Programs.
IFIP Congress (1)
Edward A. Ashcroft, Zohar Manna
1971 J jnl
Toward Automatic Program Synthesis.
Commun. ACM
Zohar Manna, Richard J. Waldinger
1971 — ch.
Towards automatic program synthesis.
Symposium on Semantics of Algorithmic Languages
Zohar Manna, Richard J. Waldinger
1970 J jnl
Formalization of Properties of Functional Programs.
J. ACM
Zohar Manna, Amir Pnueli
1970 A* conf
Second-Order Mathematical Theory of Computation
STOC
Zohar Manna
1970 — conf
Termination of programs represented as interpreted graphs.
AFIPS Spring Joint Computing Conference
Zohar Manna
1970 J jnl
The Correctness of Nondeterministic Programs.
Artif. Intell.
Zohar Manna
1969 A* conf
Formalization of Properties of Recursively Defined Functions
STOC
Zohar Manna, Amir Pnueli
1969 J jnl
Properties of Programs and the First-Order Predicate Calculus.
J. ACM
Zohar Manna
1969 J jnl
The Correctness of Programs.
J. Comput. Syst. Sci.
Zohar Manna