Вы здесь

Manna Z.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Decision Algorithm for Full Propositional Temporal Logic 1993 Kesten Y., Manna Z., Mcguire H., Pnueli A. Lecture Notes in Computer Science 20.08.1993
СТ Abstraction and Modular Verification of Infinite-State Reactive Systems 1998 Manna Z., Colon M. A., Finkbeiner B., Sipma H. B., Uribe T. E. Lecture Notes in Computer Science 10.12.1998
СТ Annotation-Based Deduction in Temporal Logic 1994 Mcguire H., Manna Z., Waldinger R. Lecture Notes in Artificial Intelligence 12.08.1994
СТ Combining Decision Procedures 2003 Manna Z., Zarba C. G. Lecture Notes in Computer Science 25.12.2003
СТ Completing the temporal picture 1991 Manna Z., Pnueli A. Theoretical Computer Science 10.09.1991
СТ Constraint-Based Linear Relations Analysis 2004 Sankaranarayanan S., Sipma H. B., Manna Z. Lecture Notes in Computer Science Lecture Notes in Computer Science 22.10.2004
СТ Deductive Verification of Modular Systems 1998 Finkbeiner B., Manna Z., Sipma H. B. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.01.1999
СТ From Timed to Hybrid Systems 1992 Maler O., Manna Z., Pnueli A. Lecture Notes in Computer Science 08.08.1992
СТ Generalized Temporal Verification Diagrams 1995 Browne I. A., Manna Z., Sipma H. B. Lecture Notes in Computer Science 31.01.1996
СТ Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification 1997 De Alfaro L., Kapur A., Manna Z. Lecture Notes in Computer Science 21.03.1997
СТ Models for Reactivity 1993 Manna Z., Pnueli A. Acta Informatica 07.12.1993
СТ Non-linear Invariant Generation using Grobner Bases 2004 Sankaranarayanan S., Sipma H. B., Manna Z. POPL 2004 09.06.2004
СТ Petri Net Analysis Using Invariant Generation 2003 Sankaranarayanan S., Sipma H., Manna Z. Lecture Notes in Computer Science 26.03.2004
СТ Proving Safety Properties of Hybrid Systems 1994 Papur A., Herzinger T. A., Manna Z., Pnueli A. Lecture Notes in Computer Science 19.10.1994
СТ Realizability and Synthesis of Reactive Modules 1994 Anuchitanukul A., Manna Z. Lecture Notes in Computer Science 28.07.1994
СТ Scalable Analysis of Liear Systems Using Mathematical Programming 2005 Sankaranaranayan S., Sipma H. B., Manna Z. Lecture Notes in Computer Science Lecture Notes in Computer Science 23.03.2005
СТ Specification and Verification of Controlled Systems 1994 Sipma H. B., Manna Z. Lecture Notes in Computer Science 19.10.1994
СТ Temporal Verification Diagrams 1994 Manna Z., Pnueli A. Lecture Notes in Computer Science 05.05.1994
СТ Temporal Verification of Simulation and Refinement 1994 Kesten Y., Manna Z., Pnueli A. Lecture Notes in Computer Science 05.08.1994
М The Logical Basis for Computer Programming 1985 Manna Z., Waldinger R. 30.01.1987
СТ The Reaction Algebra: A Formal Language for Event Correlation 2008 Sanchez C., Slanina M., Sipma H. B., Manna Z. Lecture Notes in Computer Science Lecture Notes in Computer Science 15.04.2008
СТ Time for Concurrency 1992 Manna Z., Pnueli A. Lecture Notes in Computer Science 25.12.1992
СТ Timed Transition Systems 1992 Henzinger T. A., Manna Z., Pnueli A. Lecture Notes in Computer Science 08.08.1992
СТ Towards Refining Temporal Specifications into Hybrid Systems 1993 Henzinger T. A., Manna Z., Pnueli A. Lecture Notes in Computer Science 08.12.1993
СТ Verification Constraint Problem with Strengthening 2006 Bradley A. R., Manna Z. Lecture Notes in Computer Science Lecture Notes in Computer Science 11.01.2007
СТ Verification in Continuous Time by Discrete Reasoning 1995 De Alfaro L., Manna Z. Lecture Notes in Computer Science Algebraic Methodology and Software Technology 13.09.1995
СТ Verification of Clocked and Hybrid Systems 2000 Kester Y., Manna Z., Pnueli A. Acta Informatica 13.07.2000
СТ Verifying Hybrid Systems 1993 Manna Z., Pnueli A. Lecture Notes in Computer Science 08.12.1993
СТ Visual Abstractions for Temporal Verification 1999 Manna Z., Browne A., Sipma H. B., Uribe T. E. Lecture Notes in Computer Science 05.02.1999
СТ Visual Verification of Reactive Systems 1997 De Alfaro L., Manna Z., Sipma H. B., Uribe T. E. Lecture Notes in Computer Science 12.04.1997

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Time for Verification: Essays in Memory of Amir Pnueli 2010 Lecture Notes in Computer Science
  1. Manna Z.
  2. Peled D. A.
14.09.2010