Zohar Manna

On-line papers (in reverse chronological order):

• I. Anca Browne, Zohar Manna and Henny Sipma. Generalized Temporal Verification Diagrams. In 15th Conference on the Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science, Bangalore, India (December 1995).

• Zohar Manna and Amir Pnueli. Clocked Transition Systems. A tribute to Prof. C.S. Tang on his 70th birthday. Presented at the Workshop on Verification and Control of Hybrid Systems, New Brunswick, NJ., October 1995.

• Nikolaj Bjørner, I. Anca Browne and Zohar Manna. Automatic Generation of Invariants and Intermediate Assertions. In 1st International Conference on Principles and Practice of Constraint Programming, Lecture Notes in Computer Science 976, Cassis, France (September 1995), pp. 589-623.

• Anuchit Anuchitanukul, Zohar Manna and Tomás Uribe. Differential BDDs. In J. van Leeuwen, ed, Lecture Notes in Computer Science, Vol. 1000, Springer-Verlag, 1995.

• L. de Alfaro and Z. Manna, Verification in Continuous Time by Discrete Reasoning, 4th International Conference on Algebraic Methodology and Software Technology (AMAST), Montreal, Canada (July 1995), pp. 292-306.

• Edward Chang, Zohar Manna and Amir Pnueli. Compositional Verification of Real-time Systems. In IEEE Symposium on Logic in Computer Science, Paris, 1994, pp. 458-465.

• Arjun Kapur, Thomas A. Henzinger, Zohar Manna and Amir Pnueli. Proving Safety Properties of Hybrid Systems. International Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, Lecture Notes in Computer Science 863, Springer-Verlag, 1994, pp. 431-454.

• Henny B. Sipma and Zohar Manna, Specification and Verification of Controlled Systems, International Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, Lecture Notes in Computer Science 863, Springer-Verlag, 1994, pp. 641-659.

• Thomas A. Henzinger, Zohar Manna and Amir Pnueli. Temporal Proof Methodologies for Timed Transition Systems. Information and Computation, Vol. 112, No. 2, 1994, pp. 273-337.
  A shorter version appeared in the 18th Annual ACM Symposium on Principles of Programming Languages, Orlando, Florida (January 1991), pp. 353-366.

• Yonit Kesten, Zohar Manna and Amir Pnueli. Temporal Verification of Simulation and Refinement. In REX Symposium A Decade of Concurrency, Lecture Notes in Computer Science 803, Springer-Verlag, 1994, pp. 273-346.

• Hugh McGuire, Zohar Manna and Richard Waldinger, Annotation-Based Deduction in Temporal Logic. First International Conference on Temporal Logic, Lecture Notes in Computer Science 827, Springer-Verlag, 1994. pp. 430-444.

• Zohar Manna and the STeP group. STeP: The Stanford Temporal Prover. Technical report STAN-CS-TR-94-1518, Computer Science Department, Stanford University, July 1994.

• Zohar Manna and the STeP group. STeP: The Stanford Temporal Prover (2-page abstract). In TAPSOFT'95: Theory and Practice of Software Development, Lecture Notes in Computer Science 915, May 1995, pp. 793-794.

• Zohar Manna and Amir Pnueli. Verification of Parameterized Programs. In Specification and Validation Methods (E. Borger, ed.), Oxford University Press, 1994, pp. 167-230.

• Zohar Manna and Amir Pnueli. Temporal Verification Diagrams. In International Symposium on Theoretical Aspects of Computer Software, Lecture Notes in Computer Science 789, Springer-Verlag. 1994, pp. 726-765.

• Zohar Manna and Amir Pnueli. Models for Reactivity. Acta Informatica, Vol. 30, 1993, pp. 609-678.

• Thomas A. Henzinger, Zohar Manna and Amir Pnueli. Towards Refining Temporal Specifications into Hybrid Systems. In Hybrid Systems, Lecture Notes in Computer Science 736, Springer-Verlag. 1993, pp. 60-76.

• Yonit Kesten, Zohar Manna, Hugh McGuire and Amir Pnueli. A Decision Algorithm for Full Propositional Temporal Logic. In 5th Conference on Computer Aided Verification, Lecture Notes in Computer Science 697, Springer-Verlag, 1993, pp. 97-109.

• Zohar Manna and Amir Pnueli. Verifying Hybrid Systems. In Hybrid Systems, Lecture Notes in Computer Science 736, Springer-Verlag, 1993, pp. 4-35.

• Zohar Manna and Amir Pnueli. A Temporal Proof Methodology for Reactive Systems. in Program Design Calculi, NATO ASI Series, Series F: Computer and System Sciences, Springer-Verlag, Vol. 118, 1993.
  An extended version is also available.

• Edward Chang, Zohar Manna and Amir Pnueli. Characterization of Temporal Property Classes. In 19th International Colloquium on Automata, Languages, and Programming, Lecture Notes in Computer Science 623, Springer-Verlag, 1992, pp. 474-486.

• Thomas A. Henzinger, Zohar Manna and Amir Pnueli. Timed Transition Systems. In REX workshop Real-Time: Theory in Practice, Lecture Notes in Computer Science 600, Springer-Verlag, 1992, pp. 226-251.

• Thomas A. Henzinger, Zohar Manna and Amir Pnueli. What Good are Digital Clocks? In 19th International Colloquium on Automata, Languages, and Programming, Lecture Notes in Computer Science 623, Springer-Verlag, 1992, pp. 545-558.

• Oded Maler, Zohar Manna and Amir Pnueli. From Timed to Hybrid Systems. In REX workshop Real-Time: Theory in Practice, Lecture Notes in Computer Science 600, Springer-Verlag, 1992, pp. 447-484.

• Zohar Manna and Amir Pnueli. Time for Concurrency. In 25th Anniversary of INRIA, Lecture Notes in Computer Science 653, Springer-Verlag, 1992, pp. 129-153.

• Zohar Manna and Richard Waldinger. Fundamentals of Deductive Program Synthesis. In Logic, Algebra, and Computation (F.L. Bauer, ed.), NATO Advanced Science Institutes Series, subseries F: Computer and System Sciences, Vol. 79, Springer-Verlag, 1991, pp. 41-107. Also in IEEE Transactions on Software Engineering, Vol. 18, No. 8 (August 1992), pp. 674-704.

• Edward Chang, Zohar Manna and Amir Pnueli. The Safety-Progress Classification. In Logic and Algebra of Specifications (F.L. Bauer, W. Brauer, and H. Schwichtenberg, eds.), NATO Advanced Science Institutes Series, Springer-Verlag, 1991, pp. 143-202.

• Zohar Manna and Amir Pnueli. Tools and Rules for the Practicing Verifier . In CMU Computer Science: A 25th Anniversary Commemorative, (R.F. Rashid, ed.), ACM Press and Addison-Wesley, 1991, pp. 125-159.

• Zohar Manna and Amir Pnueli. On the Faithfulness of Formal Models. In Mathematical Foundations of Computer Science, Lecture Notes in Computer Science 520, Springer-Verlag, 1991, pp. 28-42.

• Zohar Manna and Amir Pnueli. An Exercise in the Verification of Multi-Process Programs. In Beauty is Our Business (W.H.J. Feijen, A.J.M. van Gasteren, D. Gries, J. Misra, eds.), Springer-Verlag, 1990, pp. 289-301.

• Zohar Manna and Amir Pnueli. A Hierarchy of Temporal Properties. In 9th Symposium on Principles of Distributed Computing, Quebec, Canada, Aug. 1990, pp. 377-408.

• Zohar Manna and Amir Pnueli. Completing the Temporal Picture. In Theoretical Computer Science Journal, Vol. 83, No. 1, 1991, pp. 97-130. Also in 16th International Colloquium on Automata, Languages, and Programming, Springer-Verlag, Berlin, 1989, pp. 534-558.

• Zohar Manna and Amir Pnueli. The Anchored Version of the Temporal Framework. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Lecture Notes in Computer Science 354, Springer-Verlag, Berlin, 1989, pp. 201-284.

The Stanford home page.

The Computer Science Department home page.

The Theory Division home page.