| |
| 2003 | ||
|---|---|---|
| 4 | EE | Shmuel Katz, Marcelo Sihman: Aspect Validation Using Model Checking. Verification: Theory and Practice 2003: 373-394 |
| 3 | EE | Marcelo Sihman, Shmuel Katz: Superimpositions and Aspect-oriented Programming. Comput. J. 46(5): 529-541 (2003) |
| 2002 | ||
| 2 | EE | Marcelo Sihman, Shmuel Katz: A calculus of superimpositions for distributed systems. AOSD 2002: 28-40 |
| 1997 | ||
| 1 | Mario R. F. Benevides, Marcelo Sihman: Automatic Generation of CCS Specifications for Resource Sharing Problems. OPODIS 1997: 111-122 | |
| 1 | Mario R. F. Benevides | [1] |
| 2 | Shmuel Katz | [2] [3] [4] |