Marcelo Sihman

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2003

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)

2002

2 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

	2003
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)
	2002
2		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

Coauthor Index