Zohar Manna

Publication Activity (10 Years)

Years Active: 1969-2010
Publications (10 Years): 0

Publications

Zohar Manna, Amir Pnueli
Temporal Verification of Reactive Systems: Response. Essays in Memory of Amir Pnueli (2010)
Aaron R. Bradley, Zohar Manna
Property-directed incremental invariant generation. Formal Aspects Comput. 20 (4-5) (2008)
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)
Matteo Slanina, Henny B. Sipma, Zohar Manna
Deductive verification of alternating systems. Formal Aspects Comput. 20 (4-5) (2008)
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
Constructing invariants for hybrid systems. Formal Methods Syst. Des. 32 (1) (2008)
Zohar Manna, Henny B. Sipma, Ting Zhang
Verifying Balanced Trees. LFCS (2007)
Aaron R. Bradley, Zohar Manna
Checking Safety by Inductive Generalization of Counterexamples to Induction. FMCAD (2007)
César Sánchez, Henny B. Sipma, Zohar Manna
A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces. FASE (2007)
César Sánchez, Henny B. Sipma, Zohar Manna
Generating Efficient Distributed Deadlock Avoidance Controllers. IPDPS (2007)
César Sánchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill
Efficient distributed deadlock avoidance with liveness guarantees. EMSOFT (2006)
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
What's Decidable About Arrays? VMCAI (2006)
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)
Ting Zhang, Henny B. Sipma, Zohar Manna
Decision procedures for term algebras with integer constraints. Inf. Comput. 204 (10) (2006)
Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna
Efficient Strongly Relational Polyhedral Analysis. VMCAI (2006)
César Sánchez, Henny B. Sipma, Christopher D. Gill, Zohar Manna
Distributed Priority Inheritance for Real-Time and Embedded Systems. OPODIS (2006)
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
Fixed Point Iteration for Computing the Time Elapse Operator. HSCC (2006)
Matteo Slanina, Henny B. Sipma, Zohar Manna
Proving ATL* Properties of Infinite-State Systems. ICTAC (2006)
Aaron R. Bradley, Zohar Manna
Verification Constraint Problems with Strengthening. ICTAC (2006)
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
Termination of Polynomial Programs. VMCAI (2005)
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)
Aaron R. Bradley, Zohar Manna
Termination and Invariance Analysis of Loops. ATVA (2005)
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
Scalable Analysis of Linear Systems Using Mathematical Programming. VMCAI (2005)
Ting Zhang, Henny B. Sipma, Zohar Manna
The Decidability of the First-Order Theory of Knuth-Bendix Order. CADE (2005)
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
The Polyranking Principle. ICALP (2005)
César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna
Expressive Completeness of an Event-Pattern Reactive Programming Language. FORTE (2005)
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
Termination Analysis of Integer Linear Loops. CONCUR (2005)
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
Linear Ranking with Reachability. CAV (2005)
César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna
Final Semantics for Event-Pattern Reactive Programs. CALCO (2005)
Ting Zhang, Henny B. Sipma, Zohar Manna
Decision Procedures for Queues with Integer Constraints. FSTTCS (2005)
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)
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
Non-linear loop invariant generation using Gröbner bases. POPL (2004)
Ting Zhang, Henny B. Sipma, Zohar Manna
Decision Procedures for Recursive Data Structures with Integer Constraints. IJCAR (2004)
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
Constructing Invariants for Hybrid Systems. HSCC (2004)
Ting Zhang, Henny B. Sipma, Zohar Manna
Term Algebras with Length Function and Bounded Quantifier Alternation. TPHOLs (2004)
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
Constraint-Based Linear-Relations Analysis. SAS (2004)
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
Petri Net Analysis Using Invariant Generation. Verification: Theory and Practice (2003)
César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna
Event Correlation: Language and Semantics. EMSOFT (2003)
Zohar Manna, Calogero G. Zarba
Combining Decision Procedures. 10th Anniversary Colloquium of UNU/IIST (2002)
Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe
Deductive verification of real-time systems using STeP. Theor. Comput. Sci. 253 (1) (2001)
Yonit Kesten, Zohar Manna, Amir Pnueli
Verification of Clocked and Hybrid Systems. Acta Informatica 36 (11) (2000)
Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma
The 'Cash-Point' Service: A Verification Case Study Using STeP. Formal Aspects Comput. 12 (4) (2000)
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 Syst. Des. 16 (3) (2000)
Zohar Manna, Henny Sipma
Alternating the Temporal Picture for Safety. ICALP (2000)
Henny Sipma, Tomás E. Uribe, Zohar Manna
Deductive Model Checking. Formal Methods Syst. Des. 15 (1) (1999)
Zohar Manna
Visual Verification of Temporal Properties. TIME (1999)
Zohar Manna, Henny Sipma
Verification of Parameterized Systems by Dynamic Induction on Diagrams. CAV (1999)
Zohar Manna, Henny Sipma
Deductive Verification of Hybrid Systems Using STeP. HSCC (1998)
Zohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe
Visual Abstractions for Temporal Verification. AMAST (1998)
Zohar Manna, Nikolaj Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe
An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems. Tool Support for System Specification, Development and Verification (1998)
Bernd Finkbeiner, Zohar Manna, Henny Sipma
Deductive Verification of Modular Systems. COMPOS (1997)
Luca de Alfaro, Zohar Manna, Henny B. Sipma, Tomás E. Uribe
Visual Verification of Reactive Systems. TACAS (1997)
Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe
Deductive Verification of Real-Time Systems Using STeP. ARTS (1997)
Zohar Manna
Verification of Progress Properties. APPIA-GULP-PRODE (1997)
Luca de Alfaro, Arjun Kapur, Zohar Manna
Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification. STACS (1997)
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)
Nikolaj Bjørner, Anca Browne, Zohar Manna
Automatic Generation of Invariants and Intermediate Assertions. Theor. Comput. Sci. 173 (1) (1997)
Henny Sipma, Tomás E. Uribe, Zohar Manna
Deductive Model Checking. CAV (1996)
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)
Luca de Alfaro, Zohar Manna
Temporal Verification by Diagram Transformations. CAV (1996)
Yonit Kesten, Zohar Manna, Amir Pnueli
Verification of Clocked and Hybrid Systems. European Educational Forum: School on Embedded Systems (1996)
Anca Browne, Zohar Manna, Henny Sipma
Hierarchical Verification Using Verification Diagrams. ASIAN (1996)
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)
Luca de Alfaro, Zohar Manna
Verification in Continuous Time by Discrete Reasoning. AMAST (1995)
Anca Browne, Zohar Manna, Henny Sipma
Generalized Temporal Verification Diagrams. FSTTCS (1995)
Yonit Kesten, Zohar Manna, Amir Pnueli
Verifying Clocked Transition Systems. Hybrid Systems (1995)
Zohar Manna, Massimo Paltrinieri, Richard J. Waldinger
A Temporal Plan Theory. WOCFAI (1995)
Nikolaj Bjørner, Anca Browne, Zohar Manna
Automatic Generation of Invariants and Assertions. CP (1995)
Thomas A. Henzinger, Zohar Manna, Amir Pnueli
Temporal Proof Methodologies for Timed Transition Systems Inf. Comput. 112 (2) (1994)
Anuchit Anuchitanukul, Zohar Manna
Realizability and Synthesis of Reactive Modules. CAV (1994)
Zohar Manna, Amir Pnueli
Temporal Verification Diagrams. TACS (1994)
Arjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli
Prooving Safety Properties of Hybrid Systems. FTRTFT (1994)
Hugh McGuire, Zohar Manna, Richard J. Waldinger
Annotation-Based Deduction in Temporal Logic. ICTL (1994)
Henny Sipma, Zohar Manna
Specification and Verification of Controlled Systems. FTRTFT (1994)
Zohar Manna
Beyond Model Checking. CAV (1994)
Edward Y. Chang, Zohar Manna, Amir Pnueli
Compositional Verification of Real-Time Systems LICS (1994)
Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli
A Decision Algorithm for Full Propositional Temporal Logic. CAV (1993)
Zohar Manna, Amir Pnueli
Models for Reactivity. Acta Informatica 30 (7) (1993)
Yonit Kesten, Zohar Manna, Amir Pnueli
Temporal Verification of Simulation and Refinement. REX School/Symposium (1993)
Zohar Manna, Richard J. Waldinger
The Special-Relation Rules are Incomplete. CADE (1992)
Edward Y. Chang, Zohar Manna, Amir Pnueli
Characterization of Temporal Property Classes. ICALP (1992)
Zohar Manna, Amir Pnueli
Time for Concurrency. 25th Anniversary of INRIA (1992)
Thomas A. Henzinger, Zohar Manna, Amir Pnueli
What Good Are Digital Clocks? ICALP (1992)
Zohar Manna, Amir Pnueli
Verifying Hybrid Systems. Hybrid Systems (1992)
Zohar Manna, Richard J. Waldinger
Fundamentals of Deductive Program Synthesis. IEEE Trans. Software Eng. 18 (8) (1992)
Thomas A. Henzinger, Zohar Manna, Amir Pnueli
Towards Refining Temporal Specifications into Hybrid Systems. Hybrid Systems (1992)
Zohar Manna, Amir Pnueli
A Temporal Proof Methodology for Reactive Systems. NATO ASI PDC (1992)
Zohar Manna, Amir Pnueli
On the Faithfulness of Formal Models. MFCS (1991)
Zohar Manna, Mark E. Stickel, Richard Waldinger
Monotonicity Properties in Automated Deduction. Artificial and Mathematical Theory of Computation (1991)
Thomas A. Henzinger, Zohar Manna, Amir Pnueli
Timed Transition Systems. REX Workshop (1991)
Zohar Manna, Amir Pnueli
Completing the Temporal Picture. Theor. Comput. Sci. 83 (1) (1991)
Oded Maler, Zohar Manna, Amir Pnueli
From Timed to Hybrid Systems. REX Workshop (1991)
Thomas A. Henzinger, Zohar Manna, Amir Pnueli
Temporal Proof Methodologies for Real-time Systems. POPL (1991)
Zohar Manna, Amir Pnueli
A Hierarchy of Temporal Properties. PODC (1990)
Thomas A. Henzinger, Zohar Manna, Amir Pnueli
An interleaving model for real-time. Jerusalem Conference on Information Technology (1990)
Martín Abadi, Zohar Manna
Nonclausal Deduction in First-Order Temporal Logic J. ACM 37 (2) (1990)
Zohar Manna, Amir Pnueli
A temporal proof methodology for reactive systems. Jerusalem Conference on Information Technology (1990)
Zohar Manna, Amir Pnueli
Completing the Temporal Picture. ICALP (1989)
Martín Abadi, Zohar Manna
Temporal Logic Programming. J. Symb. Comput. 8 (3) (1989)
Zohar Manna, Amir Pnueli
The anchored version of the temporal framework. REX Workshop (1988)
Martín Abadi, Zohar Manna
Temporal Logic Programming. SLP (1987)

Zohar Manna.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Zohar Manna