default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZohar Manna
Person information
- affiliation: Stanford University, USA
- award (2016): Herbrand Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2010
[c130]Zohar Manna, Amir Pnueli:
Temporal Verification of Reactive Systems: Response. Essays in Memory of Amir Pnueli 2010: 279-361- [e1]Zohar Manna, Doron A. Peled:
Time for Verification, Essays in Memory of Amir Pnueli. Lecture Notes in Computer Science 6200, Springer 2010, ISBN 978-3-642-13753-2 [contents]
2000 – 2009
- 2008
- [j50]Aaron R. Bradley, Zohar Manna:
Property-directed incremental invariant generation. Formal Aspects Comput. 20(4-5): 379-405 (2008) - [j49]Matteo Slanina, Henny B. Sipma, Zohar Manna:
Deductive verification of alternating systems. Formal Aspects Comput. 20(4-5): 507-560 (2008) - [j48]Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna:
Constructing invariants for hybrid systems. Formal Methods Syst. Des. 32(1): 25-55 (2008) - [c129]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 - 2007
- [b4]Aaron R. Bradley, Zohar Manna:
The calculus of computation - decision procedures with applications to verification. Springer 2007, pp. I-XV, 1-366 - [c128]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 - [c127]Aaron R. Bradley, Zohar Manna:
Checking Safety by Inductive Generalization of Counterexamples to Induction. FMCAD 2007: 173-180 - [c126]César Sánchez, Henny B. Sipma, Zohar Manna:
Generating Efficient Distributed Deadlock Avoidance Controllers. IPDPS 2007: 1-8 - [c125]Zohar Manna, Henny B. Sipma, Ting Zhang:
Verifying Balanced Trees. LFCS 2007: 363-378 - 2006
- [j47]Ting Zhang, Henny B. Sipma, Zohar Manna:
Decision procedures for term algebras with integer constraints. Inf. Comput. 204(10): 1526-1574 (2006) - [c124]César Sánchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill:
Efficient distributed deadlock avoidance with liveness guarantees. EMSOFT 2006: 12-20 - [c123]Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna:
Fixed Point Iteration for Computing the Time Elapse Operator. HSCC 2006: 537-551 - [c122]Aaron R. Bradley, Zohar Manna:
Verification Constraint Problems with Strengthening. ICTAC 2006: 35-49 - [c121]Matteo Slanina, Henny B. Sipma, Zohar Manna:
Proving ATL* Properties of Infinite-State Systems. ICTAC 2006: 242-256 - [c120]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 - [c119]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 - [c118]Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna:
Efficient Strongly Relational Polyhedral Analysis. VMCAI 2006: 111-125 - [c117]Aaron R. Bradley, Zohar Manna, Henny B. Sipma:
What's Decidable About Arrays? VMCAI 2006: 427-442 - 2005
- [c116]Aaron R. Bradley, Zohar Manna:
Termination and Invariance Analysis of Loops. ATVA 2005: 2 - [c115]Ting Zhang, Henny B. Sipma, Zohar Manna:
The Decidability of the First-Order Theory of Knuth-Bendix Order. CADE 2005: 131-148 - [c114]César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna:
Final Semantics for Event-Pattern Reactive Programs. CALCO 2005: 364-378 - [c113]Aaron R. Bradley, Zohar Manna, Henny B. Sipma:
Linear Ranking with Reachability. CAV 2005: 491-504 - [c112]Aaron R. Bradley, Zohar Manna, Henny B. Sipma:
Termination Analysis of Integer Linear Loops. CONCUR 2005: 488-502 - [c111]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 - [c110]César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna:
Expressive Completeness of an Event-Pattern Reactive Programming Language. FORTE 2005: 529-532 - [c109]Ting Zhang, Henny B. Sipma, Zohar Manna:
Decision Procedures for Queues with Integer Constraints. FSTTCS 2005: 225-237 - [c108]Aaron R. Bradley, Zohar Manna, Henny B. Sipma:
The Polyranking Principle. ICALP 2005: 1349-1361 - [c107]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 - [c106]Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna:
Scalable Analysis of Linear Systems Using Mathematical Programming. VMCAI 2005: 25-41 - [c105]Aaron R. Bradley, Zohar Manna, Henny B. Sipma:
Termination of Polynomial Programs. VMCAI 2005: 113-129 - 2004
- [c104]Ting Zhang, Henny B. Sipma, Zohar Manna:
Decision Procedures for Recursive Data Structures with Integer Constraints. IJCAR 2004: 152-167 - [c103]Sriram Sankaranarayanan, Henny Sipma, Zohar Manna:
Constructing Invariants for Hybrid Systems. HSCC 2004: 539-554 - [c102]Sriram Sankaranarayanan, Henny Sipma, Zohar Manna:
Non-linear loop invariant generation using Gröbner bases. POPL 2004: 318-329 - [c101]Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna:
Constraint-Based Linear-Relations Analysis. SAS 2004: 53-68 - [c100]Ting Zhang, Henny B. Sipma, Zohar Manna:
Term Algebras with Length Function and Bounded Quantifier Alternation. TPHOLs 2004: 321-336 - 2003
- [c99]Sriram Sankaranarayanan, Henny Sipma, Zohar Manna:
Petri Net Analysis Using Invariant Generation. Verification: Theory and Practice 2003: 682-701 - [c98]César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna:
Event Correlation: Language and Semantics. EMSOFT 2003: 323-339 - 2002
- [c97]Zohar Manna, Calogero G. Zarba:
Combining Decision Procedures. 10th Anniversary Colloquium of UNU/IIST 2002: 381-422 - 2001
- [j46]Nikolaj S. 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
- [j45]Yonit Kesten, Zohar Manna, Amir Pnueli:
Verification of Clocked and Hybrid Systems. Acta Informatica 36(11): 837-912 (2000) - [j44]Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma:
The 'Cash-Point' Service: A Verification Case Study Using STeP. Formal Aspects Comput. 12(4): 218-219 (2000) - [j43]Nikolaj S. 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): 227-270 (2000) - [c96]Zohar Manna, Henny Sipma:
Alternating the Temporal Picture for Safety. ICALP 2000: 429-450
1990 – 1999
- 1999
- [j42]Henny Sipma, Tomás E. Uribe, Zohar Manna:
Deductive Model Checking. Formal Methods Syst. Des. 15(1): 49-74 (1999) - [c95]Zohar Manna, Henny Sipma:
Verification of Parameterized Systems by Dynamic Induction on Diagrams. CAV 1999: 25-41 - [c94]Zohar Manna:
Visual Verification of Temporal Properties. TIME 1999: 6 - 1998
- [c93]Zohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe:
Visual Abstractions for Temporal Verification. AMAST 1998: 28-41 - [c92]Zohar Manna, Henny Sipma:
Deductive Verification of Hybrid Systems Using STeP. HSCC 1998: 305-318 - [c91]Zohar Manna, Nikolaj S. 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: 174-188 - 1997
- [j41]Nikolaj S. Bjørner, Anca Browne, Zohar Manna:
Automatic Generation of Invariants and Intermediate Assertions. Theor. Comput. Sci. 173(1): 49-87 (1997) - [c90]Zohar Manna:
Verification of Progress Properties. APPIA-GULP-PRODE 1997: 345-346 - [c89]Nikolaj S. Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe:
Deductive Verification of Real-Time Systems Using STeP. ARTS 1997: 22-43 - [c88]Bernd Finkbeiner, Zohar Manna, Henny Sipma:
Deductive Verification of Modular Systems. COMPOS 1997: 239-275 - [c87]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 - [c86]Luca de Alfaro, Arjun Kapur, Zohar Manna:
Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification. STACS 1997: 153-164 - [c85]Luca de Alfaro, Zohar Manna, Henny B. Sipma, Tomás E. Uribe:
Visual Verification of Reactive Systems. TACAS 1997: 334-350 - 1996
- [c84]Anca Browne, Zohar Manna, Henny Sipma:
Hierarchical Verification Using Verification Diagrams. ASIAN 1996: 276-286 - [c83]Henny Sipma, Tomás E. Uribe, Zohar Manna:
Deductive Model Checking. CAV 1996: 208-219 - [c82]Luca de Alfaro, Zohar Manna:
Temporal Verification by Diagram Transformations. CAV 1996: 288-299 - [c81]Nikolaj S. 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 - [c80]Yonit Kesten, Zohar Manna, Amir Pnueli:
Verification of Clocked and Hybrid Systems. European Educational Forum: School on Embedded Systems 1996: 4-73 - 1995
- [b3]Zohar Manna, Amir Pnueli:
Temporal verification of reactive systems - safety. Springer 1995, ISBN 978-0-387-94459-3, pp. I-XV, 1-512 - [c79]Luca de Alfaro, Zohar Manna:
Verification in Continuous Time by Discrete Reasoning. AMAST 1995: 292-306 - [c78]Nikolaj S. Bjørner, Anca Browne, Zohar Manna:
Automatic Generation of Invariants and Assertions. CP 1995: 589-623 - [c77]Anca Browne, Zohar Manna, Henny Sipma:
Generalized Temporal Verification Diagrams. FSTTCS 1995: 484-498 - [c76]Yonit Kesten, Zohar Manna, Amir Pnueli:
Verifying Clocked Transition Systems. Hybrid Systems 1995: 13-40 - [c75]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:
STeP: The Stanford Temporal Prover. TAPSOFT 1995: 793-794 - [c74]Zohar Manna, Massimo Paltrinieri, Richard J. Waldinger:
A Temporal Plan Theory. WOCFAI 1995: 253-261 - [p5]Anuchit Anuchitanukul, Zohar Manna, Tomás E. Uribe:
Differential BDDs. Computer Science Today 1995: 218-233 - 1994
- [j40]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Temporal Proof Methodologies for Timed Transition Systems. Inf. Comput. 112(2): 273-337 (1994) - [c73]Anuchit Anuchitanukul, Zohar Manna:
Realizability and Synthesis of Reactive Modules. CAV 1994: 156-168 - [c72]Zohar Manna:
Beyond Model Checking. CAV 1994: 220-221 - [c71]Arjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Prooving Safety Properties of Hybrid Systems. FTRTFT 1994: 431-454 - [c70]Henny Sipma, Zohar Manna:
Specification and Verification of Controlled Systems. FTRTFT 1994: 641-659 - [c69]Hugh McGuire, Zohar Manna, Richard J. Waldinger:
Annotation-Based Deduction in Temporal Logic. ICTL 1994: 430-444 - [c68]Edward Y. Chang, Zohar Manna, Amir Pnueli:
Compositional Verification of Real-Time Systems. LICS 1994: 458-465 - [c67]Zohar Manna, Amir Pnueli:
Temporal Verification Diagrams. TACS 1994: 726-765 - 1993
- [b2]Zohar Manna, Richard J. Waldinger:
The deductive foundations of computer programming - a one-volume version of "The logical basis for computer programming". Addison-Wesley 1993, ISBN 978-0-201-54886-0, pp. I-XIV, 1-717 - [j39]Zohar Manna, Amir Pnueli:
Models for Reactivity. Acta Informatica 30(7): 609-678 (1993) - [c66]Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli:
A Decision Algorithm for Full Propositional Temporal Logic. CAV 1993: 97-109 - [c65]Yonit Kesten, Zohar Manna, Amir Pnueli:
Temporal Verification of Simulation and Refinement. REX School/Symposium 1993: 273-346 - [p4]Zohar Manna, Amir Pnueli:
Verification of parameterized programs. Specification and validation methods 1993: 167-230 - 1992
- [b1]Zohar Manna, Amir Pnueli:
The temporal logic of reactive and concurrent systems - specification. Springer 1992, ISBN 978-3-540-97664-6, pp. I-XIV, 1-427 - [j38]Zohar Manna, Richard J. Waldinger:
Fundamentals of Deductive Program Synthesis. IEEE Trans. Software Eng. 18(8): 674-704 (1992) - [c64]Zohar Manna, Richard J. Waldinger:
The Special-Relation Rules are Incomplete. CADE 1992: 492-506 - [c63]Zohar Manna, Amir Pnueli:
Verifying Hybrid Systems. Hybrid Systems 1992: 4-35 - [c62]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Towards Refining Temporal Specifications into Hybrid Systems. Hybrid Systems 1992: 60-76 - [c61]Edward Y. Chang, Zohar Manna, Amir Pnueli:
Characterization of Temporal Property Classes. ICALP 1992: 474-486 - [c60]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
What Good Are Digital Clocks? ICALP 1992: 545-558 - [c59]Zohar Manna, Amir Pnueli:
Time for Concurrency. 25th Anniversary of INRIA 1992: 129-153 - [c58]Zohar Manna, Amir Pnueli:
A Temporal Proof Methodology for Reactive Systems. NATO ASI PDC 1992: 287-323 - 1991
- [j37]Zohar Manna, Amir Pnueli:
Completing the Temporal Picture. Theor. Comput. Sci. 83(1): 91-130 (1991) - [c57]Zohar Manna, Mark E. Stickel, Richard Waldinger:
Monotonicity Properties in Automated Deduction. Artificial and Mathematical Theory of Computation 1991: 261-280 - [c56]Zohar Manna, Amir Pnueli:
On the Faithfulness of Formal Models. MFCS 1991: 28-42 - [c55]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Temporal Proof Methodologies for Real-time Systems. POPL 1991: 353-366 - [c54]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Timed Transition Systems. REX Workshop 1991: 226-251 - [c53]Oded Maler, Zohar Manna, Amir Pnueli:
From Timed to Hybrid Systems. REX Workshop 1991: 447-484 - 1990
- [j36]Martín Abadi, Zohar Manna:
Nonclausal Deduction in First-Order Temporal Logic. J. ACM 37(2): 279-317 (1990) - [c52]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
An interleaving model for real-time. Jerusalem Conference on Information Technology 1990: 717-730 - [c51]Zohar Manna, Amir Pnueli:
A temporal proof methodology for reactive systems. Jerusalem Conference on Information Technology 1990: 757-773 - [c50]Zohar Manna, Amir Pnueli:
A Hierarchy of Temporal Properties. PODC 1990: 377-410
1980 – 1989
- 1989
- [j35]Martín Abadi, Zohar Manna:
Temporal Logic Programming. J. Symb. Comput. 8(3): 277-295 (1989) - [c49]Zohar Manna, Amir Pnueli:
Completing the Temporal Picture. ICALP 1989: 534-558 - 1988
- [c48]Zohar Manna, Amir Pnueli:
The anchored version of the temporal framework. REX Workshop 1988: 201-284 - 1987
- [j34]Zohar Manna, Richard J. Waldinger:
How to Clear a Block: A Theory of Plans. J. Autom. Reason. 3(4): 343-377 (1987) - [j33]Zohar Manna, Richard J. Waldinger:
The Origin of a Binary-Search Paradigm. Sci. Comput. Program. 9(1): 37-83 (1987) - [c47]Zohar Manna, Richard J. Waldinger:
The Deductive Synthesis of Imperative LISP Programs. AAAI 1987: 155-160 - [c46]Zohar Manna, Amir Pnueli:
A Hierarchy of Temporal Properties (Abstract). PODC 1987: 205 - [c45]Zohar Manna, Amir Pnueli:
Specification and Verification of Concurrent Programs By Forall-Automata. POPL 1987: 1-12 - [c44]Martín Abadi, Zohar Manna:
Temporal Logic Programming. SLP 1987: 4-16 - [c43]Zohar Manna, Amir Pnueli:
Specification and Verification of Concurrent Programs by forall-Automata. Temporal Logic in Specification 1987: 124-164 - 1986
- [j32]Zohar Manna, Richard J. Waldinger:
Special relations in automated deduction. J. ACM 33(1): 1-59 (1986) - [j31]Yonathan Malachi, Zohar Manna, Richard J. Waldinger:
Tablog: Functional and Relational Programming in One Framework. IEEE Softw. 3(1): 75-76 (1986) - [c42]Martín Abadi, Zohar Manna:
Modal Theorem Proving. CADE 1986: 172-189 - [c41]Zohar Manna, Richard J. Waldinger:
How to Clear a Block: Plan Formation in Situational Logic. CADE 1986: 622-640 - [c40]Bengt Jonsson, Zohar Manna, Richard J. Waldinger:
Towards Deductive Synthesis of Dataflow Networks. LICS 1986: 26-37 - [c39]Martín Abadi, Zohar Manna:
A Timely Resolution. LICS 1986: 176-186 - [p3]Yonathan Malachi, Zohar Manna, Richard J. Waldinger:
TABLOG: A New Approach To Logic Programming. Logic Programming: Functions, Relations, and Equations 1986: 365-394 - 1985
- [c38]Zohar Manna, Richard J. Waldinger:
Deduction with Relation Matching. FSTTCS 1985: 212-224 - [c37]Zohar Manna, Richard J. Waldinger:
Special Relations in Automated Deduction. ICALP 1985: 413-423 - [c36]Zohar Manna, Richard J. Waldinger:
The Origin of the Binary-Search Paradigm. IJCAI 1985: 222-224 - [c35]Martín Abadi, Zohar Manna</