Searching for authors named "Shmuel Katz" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Diagnosis of Harmful Aspects Using Regression Verification
- … validation. Shmuel Katz Computer Science The Technion Haifa Israel katz@(email omitted); 1. INTRODUCTION…
- Cited by 7 (0 self) – Add To MetaCart
-
Mechanizing Proofs of Computation Equivalence
- …Mechanizing Proofs of Computation Equivalence (Extended Abstract) Marcelo Glusman Shmuel Katz…
- Cited by 3 (0 self) – Add To MetaCart
-
Model Checking Applications of Aspects and Superimpositions
- … preserve the properties being checked. Additionally, it has proven pop- Marcelo Sihman and Shmuel Katz…
- Cited by 6 (0 self) – Add To MetaCart
-
PROBE: From Requirements and Design to Proof Obligations for Aspect-Oriented Systems
- …PROBE: From Requirements and Design to Proof Obligations for Aspect- Oriented Systems Shmuel Katz…
- Cited by 1 (1 self) – Add To MetaCart
-
Faithful Translations Among Models and Specifications in VeriTech
- …Faithful Translations Among Models and Specifications in VeriTech Orna Grumberg and Shmuel Katz…
- Cited by 1 (0 self) – Add To MetaCart
-
From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems
- …From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems Shmuel Katz † , Awais…
- Cited by 10 (4 self) – Add To MetaCart
-
Superimpositions and aspect-oriented programming
- … rights reserved Superimpositions and Aspect-oriented Programming MARCELO SIHMAN AND SHMUEL KATZ…
- Cited by 14 (0 self) – Add To MetaCart
-
Low-overhead Time-Triggered Group Membership
- … in Computer Science Vol. 1320, pp. 155--169. Low-overhead Time-Triggered Group Membership ? Shmuel Katz 1…
- Cited by 20 (4 self) – Add To MetaCart
-
Self-Stabilizing Distributed Constraint Satisfaction
- …, CA dechter@(email omitted); Shmuel Katz y Computer Science Department Technion, Haifa, Israel katz…
- Cited by 23 (3 self) – Add To MetaCart
-
On the Feasibility of Distributed Constraint Satisfaction
- … Shmuel Katz CS, Technion --- Israel Institute of Technology, Haifa, 32000, Israel Abstract This paper…
- Cited by 55 (12 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
