M. Sihman

Aspect Validation Using Model Checking

Shmuel Katz, Marcelo Sihman, Shmuel Katz, 2003, Verification: Theory and Practice.

Model Checking Applications of Aspects and Superimpositions

Marcelo Sihman, M. Sihman, 2003 .

Superimpositions and Aspect-oriented Programming

Shmuel Katz, Marcelo Sihman, Shmuel Katz, 2003, Comput. J..

A calculus of superimpositions for distributed systems

Shmuel Katz, Marcelo Sihman, Shmuel Katz, 2002, AOSD '02.