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: 2014 37th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO) IEEE, Rijeka, pp. 340-346.