| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Cluster Computing, Vol. 5, No. 3. (1 July 2002), pp. 305-314.
|
| |
Algorithms and Architectures for Parallel Processing, 2002. Proceedings. Fifth International Conference on In Algorithms and Architectures for Parallel Processing, 2002. Proceedings. Fifth International Conference on (06 February 2003), pp. 378-383.
|
| |
Fusion Engineering and Design, Vol. 74, No. 1-4. (November 2005), pp. 809-813.
|
| |
|
| |
IEEE Trans. on Knowl. and Data Eng., Vol. 4, No. 6. (December 1992), pp. 509-516.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Data Engineering, International Conference on, Vol. 0 (2000), 67.
|
| |
In SIGMOD '95: Proceedings of the 1995 ACM SIGMOD international conference on Management of data, Vol. 24, No. 2. (May 1995), pp. 1-10.
|
| |
In TCLTK'96: Proceedings of the 4th conference on USENIX Tcl/Tk Workshop, 1996 (1996), pp. 7-7.
|
| |
In VLDB '04: Proceedings of the Thirtieth international conference on Very large data bases (2004), pp. 1227-1230.
|
| |
ASE tutorial (October 2003)
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 6, No. 2. (April 1997), pp. 173-210.
|
| |
Theoretical Computer Science In Formal Methods for Components and Objects, Formal Methods for Components and Objects, Vol. 365, No. 1-2. (10 November 2006), pp. 109-142.
|
| |
Fundamental Approaches to Software Engineering (2004), pp. 281-294.
|
| |
Runtime Verification (2007), pp. 63-74.
|
| |
In ICSE '07: Proceedings of the 29th international conference on Software Engineering (2007), pp. 220-229.
|
| |
Design, Automation and Test in Europe Conference and Exhibition, 2004. Proceedings In Design, Automation and Test in Europe Conference and Exhibition, 2004. Proceedings, Vol. 2 (2004), pp. 1184-1189 Vol.2.
|
| |
Objects, Components, Models and Patterns (2008), pp. 278-296.
|
| |
The Computer Journal, Vol. 52, No. 5. (1 August 2009), pp. 545-556.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 6, No. 3. (July 1997), pp. 213-249.
|
| |
|
| |
|
| |
In ICSE '03: Proceedings of the 25th International Conference on Software Engineering (2003), pp. 660-667.
|
| |
In ICSE '00: Proceedings of the Conference on The Future of Software Engineering (2000), pp. 103-116.
|
| |
Reverse Engineering, 1993., Proceedings of Working Conference on In Reverse Engineering, 1993., Proceedings of Working Conference on (1993), pp. 202-211.
|
| |
Application-Specific Systems and Software Engineering and Technology, 1999. ASSET '99. Proceedings. 1999 IEEE Symposium on In Application-Specific Systems and Software Engineering and Technology, 1999. ASSET '99. Proceedings. 1999 IEEE Symposium on (1999), pp. 42-49.
|
| |
Formal Aspects of Computing, Vol. 21, No. 1. (1 February 2009), pp. 133-154.
|
| |
Communicating Sequential Processes (2005), pp. 151-174.
|
| |
Theoretical Aspects of Computing - ICTAC 2008 In Proceedings of the 5th international colloquium on Theoretical Aspects of Computing (2008), pp. 258-273.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems In Tools and Algorithms for the Construction and Analysis of Systems, Vol. 3440/2005 (2005), pp. 551-556.
|
| |
|
| |
|
| |
Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings (2002), pp. 151-161.
|
Search
