"NVL: a coordination language for unmanned vehicle networks", ACM Symposium on Applied Computing (SAC'15): ACM, 2015.
"Towards Programmable Coordination of Unmanned Vehicle Networks", IFAC NGCUV'15 (to appear), 2015.
"Cooperari A tool for cooperative testing of multithreaded Java programs", Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools: ACM, pp. 200–206, 2014.
"Cooperari: A Tool for Cooperative Testing of Multithreaded Java Programs", PPPJ'14: 2014 International Conference on Principles and Practices of Programming on the Java Platform: ACM, 2014.
"Especificação e Verificação de Protocolos para Programas MPI", INFORUM, 2013.
"Fine-grained patches for Java software upgrades", HotSWUp'13: USENIX, 2013.
"The LSTS Toolchain for Networked Vehicle Systems", IEEE/MTS Oceans'13: IEEE, 2013.
"Towards deductive verification of MPI programs against session types", arXiv preprint arXiv:1312.2705, 2013.
"Verification of MPI programs using session types", Recent Advances in the Message Passing Interface: Springer Berlin Heidelberg, pp. 291–293, 2012.