Marcelo Sihman (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Shmuel Katz, Marcelo Sihman: Aspect Validation Using Model Checking. Verification: Theory and Practice 2003: 373-394

3 Marcelo Sihman, Shmuel Katz: Superimpositions and Aspect-oriented Programming. Comput. J. 46(5): 529-541 (2003)

2 Marcelo Sihman, Shmuel Katz: A calculus of superimpositions for distributed systems. AOSD 2002: 28-40

Selection of 3 from 4 records - Marcelo Sihman has 2 coauthors

4		Shmuel Katz, Marcelo Sihman: Aspect Validation Using Model Checking. Verification: Theory and Practice 2003: 373-394
3		Marcelo Sihman, Shmuel Katz: Superimpositions and Aspect-oriented Programming. Comput. J. 46(5): 529-541 (2003)
2		Marcelo Sihman, Shmuel Katz: A calculus of superimpositions for distributed systems. AOSD 2002: 28-40