|
СТ |
Aspect Validation Using Model Checking |
2003 |
Katz S., Sihman M. |
|
|
|
Lecture Notes in Computer Science |
26.03.2004 |
|
СТ |
Superimpositions and Aspect-oriented Programming |
2003 |
Sihman M., Katz S. |
|
|
|
The Computer J. |
23.09.2003 |
|
П |
Exploiting Independence for Verification, Refinement, and Modularity |
2002 |
Katz S. |
Lecture Notes in Computer Science |
|
Techn.Univ.Munchen |
|
24.08.2002 |
|
СТ |
Translations between Textual Transition Systems and Petri Nets |
2002 |
Korenblat K., Grumberg O., Katz S. |
|
|
|
Lecture Notes in Computer Science |
21.06.2002 |
|
СТ |
A Framework for Translating Models and Specifications |
2002 |
Katz S., Grumberg O. |
|
|
|
Lecture Notes in Computer Science |
21.06.2002 |
|
СТ |
Faithful Translations among Models and Specifications |
2001 |
Katz S. |
|
|
|
Lecture Notes in Computer Science |
06.04.2001 |
|
СТ |
Fairness and the Axioms of Control Predicates |
1987 |
Francez N., Katz S. |
|
|
|
Intern. J. Parallel Programming |
30.05.1995 |
|
СТ |
Initial Failures in Distributed Computations |
1989 |
Taubenfeld G., Katz S., Moran S. |
|
|
|
Intern. J. Parallel Programming |
30.05.1995 |
|
СТ |
Global Equivalence Proofs for ISTL |
1994 |
Katz S. |
|
|
|
Lecture Notes in Artificial Intelligence |
11.08.1994 |
