| 2009 |
|---|
| 68 | EE | Emilia Katz,
Shmuel Katz:
Modular verification of strongly invasive aspects: summary.
FOAL 2009: 7-12 |
| 2008 |
|---|
| 67 | EE | Shmuel Katz:
Aspects and Formal Methods.
FM 2008: 1-11 |
| 66 | EE | Emilia Katz,
Shmuel Katz:
Incremental analysis of interference among aspects.
FOAL 2008: 29-38 |
| 65 | EE | Oren Mishali,
Yael Dubinsky,
Shmuel Katz:
The TDD-Guide Training and Guidance Tool for Test-Driven Development.
XP 2008: 63-72 |
| 2007 |
|---|
| 64 | EE | Max Goldman,
Shmuel Katz:
MAVEN: Modular Aspect Verification.
TACAS 2007: 308-322 |
| 63 | EE | Orna Grumberg,
Shmuel Katz:
VeriTech: a framework for translating among model description notations.
STTT 9(2): 119-132 (2007) |
| 62 | EE | Mika Katara,
Shmuel Katz:
A concern architecture view for aspect-oriented software design.
Software and System Modeling 6(3): 247-265 (2007) |
| 2006 |
|---|
| 61 | EE | Oren Mishali,
Shmuel Katz:
Using aspects to support the software process: XP over Eclipse.
AOSD 2006: 169-179 |
| 60 | EE | Shmuel Katz:
Rigorous Fault Tolerance Using Aspects and Formal Methods.
RODIN Book 2006: 226-240 |
| 59 | EE | Johan Brichau,
Ruzanna Chitchyan,
Siobhán Clarke,
Ellie D'Hondt,
Alessandro Garcia,
Michael Haupt,
Wouter Joosen,
Shmuel Katz,
Jacques Noyé,
Awais Rashid,
Mario Südholt:
A Model Curriculum for Aspect-Oriented Software Development.
IEEE Software 23(6): 53-61 (2006) |
| 58 | EE | Shmuel Katz:
Aspect Categories and Classes of Temporal Properties.
T. Aspect-Oriented Software Development I: 106-134 (2006) |
| 2005 |
|---|
| 57 | EE | Emilia Katz,
Shmuel Katz:
Verifying Scenario-Based Aspect Specifications.
FM 2005: 432-447 |
| 56 | EE | Iris Reinhartz-Berger,
Dov Dori,
Shmuel Katz:
Modelling code mobility and migration: an OPM/Web approach.
Int. J. Web Eng. Technol. 2(1): 6-28 (2005) |
| 2004 |
|---|
| 55 | EE | Shmuel Katz,
Awais Rashid:
From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems.
RE 2004: 48-57 |
| 2003 |
|---|
| 54 | EE | Mika Katara,
Shmuel Katz:
Architectural views of aspects.
AOSD 2003: 1-10 |
| 53 | EE | Marcelo Glusman,
Shmuel Katz:
Model Checking Conformance with Scenario-Based Specifications.
CAV 2003: 328-340 |
| 52 | EE | Shmuel Katz,
Marcelo Sihman:
Aspect Validation Using Model Checking.
Verification: Theory and Practice 2003: 373-394 |
| 51 | EE | Marcelo Sihman,
Shmuel Katz:
Superimpositions and Aspect-oriented Programming.
Comput. J. 46(5): 529-541 (2003) |
| 50 | EE | Marcelo Glusman,
Shmuel Katz:
A Mechanized Proof Environment for the Convenient Computations Proof Method.
Formal Methods in System Design 23(2): 115-142 (2003) |
| 2002 |
|---|
| 49 | EE | Marcelo Sihman,
Shmuel Katz:
A calculus of superimpositions for distributed systems.
AOSD 2002: 28-40 |
| 48 | EE | Iris Reinhartz-Berger,
Dov Dori,
Shmuel Katz:
Open Reuse of Component Designs in OPM/We.
COMPSAC 2002: 19-26 |
| 47 | EE | Shmuel Katz,
Orna Grumberg:
A Framework for Translating Models and Specifications.
IFM 2002: 145-164 |
| 46 | EE | Katerina Korenblat,
Orna Grumberg,
Shmuel Katz:
Translations between Textual Transition Systems and Petri Nets.
IFM 2002: 339-359 |
| 45 | | Iris Reinhartz-Berger,
Dov Dori,
Shmuel Katz:
OPM/Web - Object-Process Methodology for Developing Web Applications.
Ann. Software Eng. 13(1-4): 141-161 (2002) |
| 2001 |
|---|
| 44 | EE | Marcelo Glusman,
Shmuel Katz:
Extending Memory Consistency of Finite Prefixes to Infinite Computations.
CONCUR 2001: 411-425 |
| 43 | | Iris Reinhartz-Berger,
Dov Dori,
Shmuel Katz:
Developing Web Applications with OPM/Web.
DIWeb 2001: 47-61 |
| 42 | EE | Shmuel Katz:
Faithful Translations among Models and Specifications.
FME 2001: 419-434 |
| 1999 |
|---|
| 41 | EE | Marcelo Glusman,
Shmuel Katz:
Mechanizing Proofs of Computation Equivalence.
CAV 1999: 354-367 |
| 40 | | Shmuel Katz,
Joseph Gil:
Aspects and Superimpositions.
ECOOP Workshops 1999: 308-309 |
| 39 | EE | Zeev Collin,
Rina Dechter,
Shmuel Katz:
Self-Stabilizing Distributed Constraint Satisfaction.
Chicago J. Theor. Comput. Sci. 1999: (1999) |
| 38 | | Shmuel Katz,
Hillel Miller:
Saving Space by Fully Exploiting Invisible Transitions.
Formal Methods in System Design 14(3): 311-332 (1999) |
| 1997 |
|---|
| 37 | | Shmuel Katz,
Patrick Lincoln,
John M. Rushby:
Low-Overhead Time-Triggered Group Membership.
WDAG 1997: 155-169 |
| 1996 |
|---|
| 36 | | Hillel Miller,
Shmuel Katz:
Saving Space by Fully Exploiting Invisible Transitions.
CAV 1996: 336-347 |
| 1994 |
|---|
| 35 | | Shmuel Katz:
Global Equivalence Proofs for ISTL.
ICTL 1994: 17-29 |
| 34 | | John H. Howard,
Shmuel Katz:
Reconciliations.
PODC 1994: 14-21 |
| 33 | | Gadi Taubenfeld,
Shmuel Katz,
Shlomo Moran:
Impossibility Results in the Presence of Multiple Faulty Processes
Inf. Comput. 113(2): 173-198 (1994) |
| 1993 |
|---|
| 32 | EE | Shmuel Katz:
A Superimposition Control Construct for Distributed Systems.
ACM Trans. Program. Lang. Syst. 15(2): 337-356 (1993) |
| 31 | | Shmuel Katz,
Kenneth J. Perry:
Self-Stabilizing Extensions for Message-Passing Systems.
Distributed Computing 7(1): 17-26 (1993) |
| 1992 |
|---|
| 30 | | Shmuel Katz,
Doron Peled:
Verification of Distributed Programs Using Representative Interleaving Sequences.
Distributed Computing 6(2): 107-120 (1992) |
| 29 | | Shmuel Katz,
Doron Peled:
Defining Conditional Independence Using Collapses.
Theor. Comput. Sci. 101(2): 337-359 (1992) |
| 1991 |
|---|
| 28 | | Zeev Collin,
Rina Dechter,
Shmuel Katz:
On the Feasibility of Distributed Constraint Satisfaction.
IJCAI 1991: 318-324 |
| 27 | | Doron Peled,
Shmuel Katz,
Amir Pnueli:
Specifying and Proving Serializability in Temporal Logic
LICS 1991: 232-244 |
| 26 | | Martín Abadi,
Bowen Alpern,
Krzysztof R. Apt,
Nissim Francez,
Shmuel Katz,
Leslie Lamport,
Fred B. Schneider:
Preserving Liveness: Comments on ``Safety and Liveness from a Methodological Point of View''.
Inf. Process. Lett. 40(3): 141-142 (1991) |
| 1990 |
|---|
| 25 | EE | Shmuel Katz,
Kenneth J. Perry:
Self-Stabilizing Extensions for Message-Passing Systems.
PODC 1990: 91-101 |
| 24 | EE | Germán S. Goldszmidt,
Shaula Yemini,
Shmuel Katz:
High-Level Language Debugging for Concurrent Programs.
ACM Trans. Comput. Syst. 8(4): 311-336 (1990) |
| 23 | | Shmuel Katz,
Doron Peled:
Interleaving Set Temporal Logic.
Theor. Comput. Sci. 75(3): 263-287 (1990) |
| 1989 |
|---|
| 22 | | Gadi Taubenfeld,
Shmuel Katz,
Shlomo Moran:
Impossibility Results in the Presence of Multiple Faulty Processes (Preliminary Version).
FSTTCS 1989: 109-120 |
| 21 | EE | Michael Evangelist,
Nissim Francez,
Shmuel Katz:
Multiparty Interactions for Interprocess Communication and Synchronization.
IEEE Trans. Software Eng. 15(11): 1417-1426 (1989) |
| 1988 |
|---|
| 20 | | Shmuel Katz,
Doron Peled:
An efficient verification method for parallel and distributed programs.
REX Workshop 1988: 489-507 |
| 19 | | Germán S. Goldszmidt,
Shmuel Katz,
Shaula Yemini:
Interactive Blackbox Debugging for Concurrent Languages.
Workshop on Parallel and Distributed Debugging 1988: 271-282 |
| 18 | | Krzysztof R. Apt,
Nissim Francez,
Shmuel Katz:
Appraising Fairness in Languages for Distributed Programming.
Distributed Computing 2(4): 226-241 (1988) |
| 17 | | Orit Baruch,
Shmuel Katz:
Partially Interpreted Schemas for CSP Programming.
Sci. Comput. Program. 10(1): 1-18 (1988) |
| 1987 |
|---|
| 16 | | Shmuel Katz,
Doron Peled:
Interleaving Set Temporal Logic (Preliminary Version).
PODC 1987: 178-190 |
| 15 | | Krzysztof R. Apt,
Nissim Francez,
Shmuel Katz:
Appraising Fairness in Languages for Distributed Programming.
POPL 1987: 189-198 |
| 14 | | Shmuel Katz,
Doron Peled:
Interleaving Set Temporal Logic.
Temporal Logic in Specification 1987: 21-43 |
| 13 | | Shmuel Katz,
Oded Shmueli:
Cooperative Distributed Algorithms for Dynamic Cycle Prevention.
IEEE Trans. Software Eng. 13(5): 540-552 (1987) |
| 1986 |
|---|
| 12 | | Shmuel Katz,
Gadi Taubenfeld:
What Processes Know: Definitions and Proof Methods (Preliminary Version).
PODC 1986: 249-262 |
| 11 | | Orna Grumberg,
Nissim Francez,
Shmuel Katz:
A Complete Rule for Equifair Termination.
J. Comput. Syst. Sci. 33(3): 313-332 (1986) |
| 1985 |
|---|
| 10 | | Nissim Francez,
Orna Grumberg,
Shmuel Katz,
Amir Pnueli:
Proving Termination of Prolog Programs.
Logic of Programs 1985: 89-105 |
| 1984 |
|---|
| 9 | | Orna Grumberg,
Nissim Francez,
Shmuel Katz:
Fail Termination of Communicating Processe.
PODC 1984: 254-265 |
| 1983 |
|---|
| 8 | | Orna Grumberg,
Nissim Francez,
Shmuel Katz:
A Compete Proof Rule for Strong Equifair Termination.
Logic of Programs 1983: 257-278 |
| 1981 |
|---|
| 7 | | Shmuel Katz,
Ruth Zimmerman:
An Advisory System for Developing Data Representations.
IJCAI 1981: 1030-1036 |
| 1980 |
|---|
| 6 | | Shmuel Katz,
Lawrence J. Risman,
Michael Rodeh:
A System for Constructing Linear Programming Models.
IBM Systems Journal 19(4): 505-520 (1980) |
| 1978 |
|---|
| 5 | | Shmuel Katz:
Program Optimization Using Invariants.
IEEE Trans. Software Eng. 4(5): 378-389 (1978) |
| 1976 |
|---|
| 4 | | Shmuel Katz:
Program Optimization Using Invariants.
ECI 1976: 287-309 |
| 3 | | Shmuel Katz,
Zohar Manna:
Logical Analysis of Programs.
Commun. ACM 19(4): 188-206 (1976) |
| 1975 |
|---|
| 2 | | Shmuel Katz,
Zohar Manna:
A Closer Look at Termination
Acta Inf. 5: 333-352 (1975) |
| 1973 |
|---|
| 1 | | Shmuel Katz,
Zohar Manna:
A Heuristic Approach to Program Verification.
IJCAI 1973: 500-512 |
