E-LIB Suche - Ergebnisse für: Manna, Zohar

1

Time for verification

essays in memory of Amir Pnueli Lecture notes in computer science ; 6200

Manna, Zohar ; Pnueli, Amir ; Peled, Doron A. , 2010

Link: http://dx.doi.org/10.100..

2

Property-directed incremental invariant generation:

Bradley, Aaron R. ; Manna, Zohar
Formal Aspects of Computing. 20 (2008) 4-5 - p. 379-405 , 2008

Link: https://doi.org/10.1007/..

3

Deductive verification of alternating systems:

Slanina, Matteo ; Sipma, Henny B. ; Manna, Zohar
Formal Aspects of Computing. 20 (2008) 4-5 - p. 507-560 , 2008

Link: https://doi.org/10.1007/..

4

Constructing invariants for hybrid systems:

Sankaranarayanan, Sriram ; Sipma, Henny B. ; Manna, Zohar
Formal Methods in System Design. 32 (2007) 1 - p. 25-55 , 2007

Link: https://doi.org/10.1007/..

5

Decision procedures for term algebras with integer constrai..:

Zhang, Ting ; Sipma, Henny B. ; Manna, Zohar
Information and Computation. 204 (2006) 10 - p. 1526-1574 , 2006

Link: https://doi.org/10.1016/..

6

On efficient distributed deadlock avoidance for real-time a..:

, In: Proceedings of the 20th international conference on Parallel and distributed processing,

Sánchez, César ; Sipma, Henny B. ; Manna, Zohar.. - p. 133 ff. , 2006

Link: https://dl.acm.org/doi/1..

7

Efficient distributed deadlock avoidance with liveness guar..:

, In: Proceedings of the 6th ACM & IEEE International conference on Embedded software,

Sánchez, César ; Sipma, Henny B. ; Manna, Zohar. - p. 12-20 , 2006

Link: https://dl.acm.org/doi/1..

8

Termination of Polynomial Programs:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Bradley, Aaron R. ; Manna, Zohar ; Sipma, Henny B. - p. 113-129 , 2005

Link: https://doi.org/10.1007/..

9

Termination of polynomial programs:

, In: Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation,

Bradley, Aaron R. ; Manna, Zohar ; Sipma, Henny B. - p. 113-129 , 2005

Link: https://dl.acm.org/doi/1..

10

Scalable Analysis of Linear Systems Using Mathematical Prog..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Sankaranarayanan, Sriram ; Sipma, Henny B. ; Manna, Zohar - p. 25-41 , 2005

Link: https://doi.org/10.1007/..

11

Scalable analysis of linear systems using mathematical prog..:

, In: Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation,

Sankaranarayanan, Sriram ; Sipma, Henny B. ; Manna, Zohar - p. 25-41 , 2005

Link: https://dl.acm.org/doi/1..

12

Non-linear loop invariant generation using Gröbner bases:

, In: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Sankaranarayanan, Sriram ; Sipma, Henny B. ; Manna, Zohar - p. 318-329 , 2004

Link: https://dl.acm.org/doi/1..

13

Non-linear loop invariant generation using Gröbner bases:

Sankaranarayanan, Sriram ; Sipma, Henny B. ; Manna, Zohar
ACM SIGPLAN Notices. 39 (2004) 1 - p. 318-329 , 2004

Link: https://doi.org/10.1145/..

14

Deductive verification of real-time systems using STeP:

Bjørner, Nikolaj S. ; Manna, Zohar ; Sipma, Henny B..
Theoretical Computer Science. 253 (2001) 1 - p. 27-60 , 2001

Link: https://doi.org/10.1016/..

15

Verification of clocked and hybrid systems:

Kesten, Yonit ; Manna, Zohar ; Pnueli, Amir
Acta Informatica. 36 (2000) 11 - p. 837-912 , 2000

Link: https://doi.org/10.1007/..