- ISSRE, page 180-189. IEEE, (2011)
- HASE, page 146-151. IEEE Computer Society, (2011)
- FTCS, page 68-75. IEEE Computer Society, (1999)
- FTCS, page 499-508. IEEE Computer Society, (1995)
- CoRR (2010)
- IEEE Trans. Software Eng. 26(9):817-819 (2000)
- IEEE Trans. Software Eng. 26(10):921-922 (2000)
- IEEE Trans. Parallel Distrib. Syst. 11(10):1019-1032 (2000)
- IT Professional 10(3):29-35 (2008)
- ICFEM, volume 6991 of Lecture Notes in Computer Science, page 420-436. Springer, (2011)
- SERENE, volume 6968 of Lecture Notes in Computer Science, page 145-155. Springer, (2011)
- SERENE, page 49-54. ACM, (2008)
- SERENE, page 39-48. ACM, (2008)
- SERENE, page 117-119. ACM, (2008)
- CEE-SET, volume 4980 of Lecture Notes in Computer Science, page 158-170. Springer, (2008)
- ISADS, page 99-106. IEEE Computer Society, (2003)
- Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, page 37--44. New York, NY, USA, ACM, (2006)
- WADS, volume 3069 of Lecture Notes in Computer Science, page 144-166. Springer, (2003)
- ECOOP Workshops, volume 3013 of Lecture Notes in Computer Science, page 1-10. Springer, (2003)
- Comput. Lang. 21(3/4):147-163 (1995)


author