Home

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.
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.