"Towards deductive verification of MPI programs against session types", arXiv preprint arXiv:1312.2705, 2013.
"Deductive Verification of MPI Protocols", Behavioural Types: from Theory to Tools: River Publishers, pp. 353, 2017.
"Verification of MPI programs using session types", Recent Advances in the Message Passing Interface: Springer Berlin Heidelberg, pp. 291–293, 2012.