Home

Primary tabs

2015
Marques, E. R. B., M. Ribeiro, J. Pinto, J. B. Sousa, and F. Martins, "NVL: a coordination language for unmanned vehicle networks", ACM Symposium on Applied Computing (SAC'15): ACM, 2015.
Marques, E. R. B., M. Ribeiro, J. Pinto, J. B. Sousa, and F. Martins, "Towards Programmable Coordination of Unmanned Vehicle Networks", IFAC NGCUV'15 (to appear), 2015.
2014
Marques, E. R. B., F. Martins, and M. Simões, "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.
Marques, E. R. B., F. Martins, and M. Simões, "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.
Marques, E. R. B., F. Martins, V. T. Vasconcelos, C. Santos, N. Ng, and N. Yoshida, Protocol-based verification of MPI programs, , 2014.
Vasconcelos, V. T., F. Martins, E. R. B. Marques, H. A. López, C. Santos, and N. Yoshida, Type-based verification of message-passing parallel programs, , 2014.
2013
Martins, N. Dias, C. Santos, E. R. B. Marques, F. Martins, and V. T. Vasconcelos, "Especificação e Verificação de Protocolos para Programas MPI", INFORUM, 2013.
Marques, E. R. B., "Fine-grained patches for Java software upgrades", HotSWUp'13: USENIX, 2013.
Pinto, J.., P.S.. Dias, R.. Martins, J.. Fortuna, E. R. B. Marques, and J.. Sousa, "The LSTS Toolchain for Networked Vehicle Systems", IEEE/MTS Oceans'13: IEEE, 2013.
Marques, E. R. B., F. Martins, N. Ng, C. Santos, V. T. Vasconcelos, and N. Yoshida, Specification and Verification of Protocols for MPI Programs, , 2013.
Marques, E. R. B., F. Martins, V. T. Vasconcelos, N. Ng, and N. Dias Martins, "Towards deductive verification of MPI programs against session types", arXiv preprint arXiv:1312.2705, 2013.
2012
Honda, K., E. R. B. Marques, F. Martins, N. Ng, V. T. Vasconcelos, and N. Yoshida, "Verification of MPI programs using session types", Recent Advances in the Message Passing Interface: Springer Berlin Heidelberg, pp. 291–293, 2012.