Marcelo Sihman

According to our database1, Marcelo Sihman authored at least 6 papers between 1997 and 2005.

Collaborative distances:

Timeline

1997
1998
1999
2000
2001
2002
2003
2004
2005
0
1
2
3
4
1
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2005
Recovery oriented programming.
Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

2003
Language and proof support for superimpositions and aspects.
PhD thesis, 2003

Superimpositions and Aspect-oriented Programming.
Comput. J., 2003

Aspect Validation Using Model Checking.
Proceedings of the Verification: Theory and Practice, 2003

2002
A calculus of superimpositions for distributed systems.
Proceedings of the 1st International Conference on Aspect-Oriented Software Development, 2002

1997
Automatic Generation of CCS Specifications for Resource Sharing Problems.
Proceedings of the On Principles Of Distributed Systems, 1997


  Loading...