Home
Primary tabs
"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.