Automatic Generation of CCS Specifications for Resource Sharing Problems. - Mario R. F. Benevides; Marcelo Sihman (OPODIS, 1997)

A calculus of superimpositions for distributed systems. - Marcelo Sihman; Shmuel Katz (AOSD, 2002)

Aspect Validation Using Model Checking. - Shmuel Katz; Marcelo Sihman (Verification: Theory and Practice, 2003)

Superimpositions and Aspect-oriented Programming. - Marcelo Sihman; Shmuel Katz (Comput. J., 2003)

Language and proof support for superimpositions and aspects. - Marcelo Sihman (2003)

Recovery oriented programming. - Olga Brukman; Shlomi Dolev; Marcelo Sihman (SOSP, 2005)