In: High-performance computing and networking. International conference and exhibition. Proceedings. Amsterdam, 1998. (Lecture notes in computer science, 1401.).
The GRED graphical editor for the GRADE parallel program development environment
In: Recent advances in parallel virtual machine and message passing interface. 14th European PVM/MPI User's Group meeting. Paris, 2007. (Lecture notes in computer science 4757.).
Correctness debugging of message passing programs using model verification techniques