Publications

8 results for Shmuel Katz

Self-stabilizing extensions for meassage-passing systems
- - Shmuel Katz
  - Kenneth J. Perry
- 1993
- Distributed Computing
Preserving liveness: Comments on "safety and liveness from a methodological point of view"
- - Martín Abadi
  - Bowen Alpern
  - et al.
- 1991
- Information Processing Letters
High-Level Language Debugging for Concurrent Programs
- - German S. Goldszmidt
  - Shaula Yemini
  - et al.
- 1990
- ACM Transactions on Computer Systems (TOCS)
Interactive Blackbox Debugging for Concurrent Languages
- - German S. Goldszmidt
  - S. Katz
  - et al.
- 1989
- ACM SIGPLAN Notices
Interactive blackbox debugging for concurrent languages
- - German S. Goldszmidt
  - Shmuel Katz
  - et al.
- 1988
- WPADD 1988
Program Optimization Using Invariants
- - Shmuel Katz
- 1978
- IEEE TSE
Selection of representations for data structures
- - Stanley J. Rosenschein
  - Shmuel M. Katz
- 1977
- ACM SIGPLAN Notices
Logical Analysis of Programs
- - Shmuel Katz
  - Zohar Manna
- 1976
- CACM