Seguir
Shmuel Katz
Shmuel Katz
Computer Science
Dirección de correo verificada de cs.technion.ac.il
Título
Citado por
Citado por
Año
Self-stabilizing extensions for meassage-passing systems
S Katz, KJ Perry
Distributed Computing 7 (1), 17-26, 1993
3641993
A superimposition control construct for distributed systems
S Katz
ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (2), 337-356, 1993
2731993
Appraising fairness in languages for distributed programming
KR Apt, N Francez, S Katz
Distributed Computing 2 (4), 226-241, 1988
2361988
Logical analysis of programs
S Katz, Z Manna
Communications of the ACM 19 (4), 188-206, 1976
1911976
Defining conditional independence using collapses
S Katz, D Peled
Theoretical Computer Science 101 (2), 337-359, 1992
1821992
Architectural views of aspects
M Katara, S Katz
Proceedings of the 2nd international conference on Aspect-oriented software …, 2003
1552003
Verification of distributed programs using representative interleaving sequences
S Katz, D Peled
Distributed Computing 6 (2), 107-120, 1992
1221992
On the feasibility of distributed constraint satisfaction
Z Collin, R Dechter, S Katz
University of California (Los Angeles). Computer Science Department, 1991
1221991
Aspect categories and classes of temporal properties
S Katz
Transactions on aspect-oriented software development I, 106-134, 2006
1202006
PARIS: A system for reusing partially interpreted schemas
S Katz, CA Richter
Software reuse: emerging technology, 290-298, 1988
1171988
PARIS: A system for reusing partially interpreted schemas
S Katz, CA Richter
Proceedings of the 9th international conference on Software Engineering, 377-385, 1987
1171987
Interleaving set temporal logic
S Katz, D Peled
Proceedings of the sixth annual ACM Symposium on Principles of distributed …, 1987
1121987
An efficient verification method for parallel and distributed programs: Preliminary version
S Katz, D Peled
Linear Time, Branching Time and Partial Order in Logics and Models for …, 1989
911989
A heuristic approach to program verification
S Katz, Z Manna
IJCAI, 500-512, 1973
861973
Superimpositions and aspect-oriented programming
M Sihman, S Katz
The Computer Journal 46 (5), 529-541, 2003
762003
Diagnosis of harmful aspects using regression verification
S Katz, H Israel
FOAL: Foundations Of Aspect-Oriented Languages, 1-6, 2004
702004
Multiparty interactions for interprocess communication and synchronization
M Evangelist, N Francez, S Katz
IEEE Transactions on Software Engineering 15 (11), 1417-1426, 1989
671989
From aspectual requirements to proof obligations for aspect-oriented systems
S Katz, A Rashid
Proceedings. 12th IEEE International Requirements Engineering Conference …, 2004
612004
OPM/Web–object-process methodology for developing web applications
I Reinhartz-Berger, D Dori, S Katz
Annals of Software Engineering 13 (1-4), 141-161, 2002
582002
Incremental analysis of interference among aspects
E Katz, S Katz
Proceedings of the 7th workshop on Foundations of aspect-oriented languages …, 2008
572008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20