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
In: Stimulation of European industry through high performance computing. Proceedings of the 3rd SEIHPC workshop. Copernicus programme. No. COP-94-00774. Madrid, 1998..
Enhancing GRADE towards a professional parallel programming environment
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