|
СТ |
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 |
|
СТ |
Verification Constraint Problem with Strengthening |
2006 |
Bradley A. R., Manna Z. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
11.01.2007 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
Combining Decision Procedures |
2003 |
Manna Z., Zarba C. G. |
|
|
|
Lecture Notes in Computer Science |
25.12.2003 |
|
СТ |
Verification of Clocked and Hybrid Systems |
2000 |
Kester Y., Manna Z., Pnueli A. |
|
|
|
Acta Informatica |
13.07.2000 |
|
СТ |
Visual Abstractions for Temporal Verification |
1999 |
Manna Z., Browne A., Sipma H. B., Uribe T. E. |
|
|
|
Lecture Notes in Computer Science |
05.02.1999 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
Generalized Temporal Verification Diagrams |
1995 |
Browne I. A., Manna Z., Sipma H. B. |
|
|
|
Lecture Notes in Computer Science |
31.01.1996 |
|
СТ |
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 |
|
СТ |
Proving Safety Properties of Hybrid Systems |
1994 |
Papur A., Herzinger T. A., Manna Z., Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
19.10.1994 |
|
СТ |
Specification and Verification of Controlled Systems |
1994 |
Sipma H. B., Manna Z. |
|
|
|
Lecture Notes in Computer Science |
19.10.1994 |
|
СТ |
Annotation-Based Deduction in Temporal Logic |
1994 |
Mcguire H., Manna Z., Waldinger R. |
|
|
|
Lecture Notes in Artificial Intelligence |
12.08.1994 |
|
СТ |
Temporal Verification of Simulation and Refinement |
1994 |
Kesten Y., Manna Z., Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
05.08.1994 |
|
СТ |
Realizability and Synthesis of Reactive Modules |
1994 |
Anuchitanukul A., Manna Z. |
|
|
|
Lecture Notes in Computer Science |
28.07.1994 |
|
СТ |
Temporal Verification Diagrams |
1994 |
Manna Z., Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
05.05.1994 |
|
СТ |
Verifying Hybrid Systems |
1993 |
Manna Z., Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
08.12.1993 |
|
СТ |
Towards Refining Temporal Specifications into Hybrid Systems |
1993 |
Henzinger T. A., Manna Z., Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
08.12.1993 |
|
СТ |
Models for Reactivity |
1993 |
Manna Z., Pnueli A. |
|
|
|
Acta Informatica |
07.12.1993 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
From Timed to Hybrid Systems |
1992 |
Maler O., Manna Z., Pnueli A. |
|
|
|
Lecture Notes in Computer Science |
08.08.1992 |
|
СТ |
Completing the temporal picture |
1991 |
Manna Z., Pnueli A. |
|
|
|
Theoretical Computer Science |
10.09.1991 |
|
М |
The Logical Basis for Computer Programming |
1985 |
Manna Z., Waldinger R. |
|
|
|
|
30.01.1987 |
