| |
|
| |
|
| |
In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 691-692.
|
| |
Autonomic Computing Workshop, 2003 (2003), pp. 168-177.
|
| |
|
| |
In SRDS '05: Proceedings of the 24th IEEE Symposium on Reliable Distributed Systems (SRDS'05) (2005), pp. 95-108.
|
| |
Lecture Notes in Computer Science, Vol. 2218 (January 2001), 36.
|
| |
In A-MOST '05: Proceedings of the first international workshop on Advances in model-based testing, Vol. 30, No. 4. (July 2005), pp. 1-7.
|
| |
In CRPITS '02: Proceedings of the Fortieth International Confernece on Tools Pacific (2002), pp. 123-130.
|
| |
In ICSE '03: Proceedings of the 25th International Conference on Software Engineering (2003), pp. 484-489.
|
| |
In Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware (2004), pp. 493-511.
|
| |
In CRIPTS '03: Proceedings of the twenty-sixth Australasian computer science conference on Conference in research and practice in information technology (2003), pp. 199-206.
|
| |
In ACM-SE 42: Proceedings of the 42nd annual Southeast regional conference (2004), pp. 177-182.
|
| |
In SPIN '01: Proceedings of the 8th international SPIN workshop on Model checking of software (2001), pp. 163-182.
|
| |
In Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware (2004), pp. 195-211.
|
| |
In ICSE '03: Proceedings of the 25th International Conference on Software Engineering (2003), pp. 553-556.
|
| |
Computer, Vol. 36, No. 3. (March 2003), pp. 50-55.
|
| |
IEEE Internet Computing, Vol. 7, No. 3. (May 2003), pp. 18-23.
|
| |
In OOPSLA '02: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 37, No. 11. (November 2002), pp. 246-261.
|
Search
