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: International Conference BOINC:FAST 2015 Proceedings of the Second International Conference BOINC-based High Performance Computing: Fundamental Research and Development (BOINC:FAST 2015), 2015.09.14-2015.09.18, Petrozavodsk.
Orchestrated service deployment, maintenance, and debugging in IaaS clouds for crowd computing