Home

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