Marcelo Sihman

According to our database, Marcelo Sihman authored at least 5 papers between 1997 and 2003.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2003

Language and proof support for superimpositions and aspects.

Marcelo Sihman

PhD thesis, 2003

Superimpositions and Aspect-oriented Programming.

Marcelo Sihman, Shmuel Katz

Comput. J., 2003

Aspect Validation Using Model Checking.

Shmuel Katz, Marcelo Sihman

Proceedings of the Verification: Theory and Practice, 2003

2002

A calculus of superimpositions for distributed systems.

Marcelo Sihman, Shmuel Katz

Proceedings of the 1st International Conference on Aspect-Oriented Software Development, 2002

1997

Automatic Generation of CCS Specifications for Resource Sharing Problems.

Mario R. F. Benevides, Marcelo Sihman

Proceedings of the On Principles Of Distributed Systems, 1997