1. CoordInspector: a tool for extracting coordination data from legacy code;Rodrigues,2008
2. The role of coordination in software integration projects;Rodrigues,2011
3. Bigraphical modelling of architectural patterns;Sanchez,2011
4. Towards rigorous analysis of open source software;Barbosa,2011
5. Certification of open-source software: a role for formal methods?;Barbosa;Int. J. Comput. Syst. Sci. Eng.,2010