S. Katz

Publications
Influence

Self-stabilizing extensions for message-passing systems

S. Katz, K. J. Perry
Computer Science
PODC '90
1 August 1990

A self-stabilizing program eventually resumes normal behavior even if excution begins in, an abnormal initial state. Expand

A superimposition control construct for distributed systems

S. Katz
Computer Science
TOPL
1 April 1993

A control structure called a superimposition is proposed. The structure contains schematic abstractions of processes called roletypes in its declaration. Each roletype may be bound to processes from… Expand

Aspect Categories and Classes of Temporal Properties

S. Katz
Computer Science
LNCS Trans. Aspect Oriented Softw. Dev.
2006

Generic categories of aspects are described, and their potential value is explained. Expand

Architectural views of aspects

M. Katara, S. Katz
Computer Science
AOSD '03
17 March 2003

An aspect architecture, a new software architecture viewtype, is proposed, and its general principles are explained. Expand

Appraising fairness in languages for distributed programming

K. Apt, N. Francez, S. Katz
Computer Science
Distributed Computing
1 March 1988

The relations among various languages and models for distributed computation and various possible definitions of fairness are considered. Expand

MAVEN: Modular Aspect Verification

M. Goldman, S. Katz
Computer Science
TACAS
24 March 2007

The MAVEN tool verifies the correctness of an aspect relative to its specification, independently of any underlying system to which it may be woven. Expand

Self-stabilizing extensions for meassage-passing systems

S. Katz, K. J. Perry
Computer Science
Distributed Computing
1 November 1993

A formal definition of the concept of one program being a self-stabilizing extension of another; (2) a characterization of what properties may hold in such extensions; (3) a demonstration of the possibility of mechanically creating such extensions. Expand

From aspectual requirements to proof obligations for aspect-oriented systems

S. Katz, A. Rashid
Computer Science
Proceedings. 12th IEEE International Requirements…
6 September 2004

This work presents PROBE, a framework for generation of proof obligations for aspect-oriented systems from the initial aspectual requirements. Expand

On the Feasibility of Distributed Constraint Satisfaction

Zeev Collin, R. Dechter, S. Katz
Computer Science
IJCAI
24 August 1991

We show that even for relatively simple constraint networks, such as rings, there is no general solution using a completely uniform, asynchronous, model. Expand

Self-Stabilizing Distributed Constraint Satisfaction

Zeev Collin, R. Dechter, S. Katz
Computer Science
Chic. J. Theor. Comput. Sci.
1999

This paper characterizes connectionist-type architectures that allow a distributed solution for classes of constraint satisfaction problems, and presents such solutions. Expand

Recommended Authors