Journal Papers:
1. Paulo E. S. Barbosa ; RAMALHO, F. ; Jorge C. A. de Figueiredo ; Antonio D. dos S. Junior ; Costa, A. ; Gomes, L. . Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. Journal of Universal Computer Science, v. 15, p. 2196-2224, 2009.
2. RAMALHO, F. ; ROBIN, J. . Avaliação Empírica da Expansão de Consultas Baseada em um Thesaurus: Aplicação em um Engenho. RITA - Revista de Informática Teórica e Aplicada, v. 10, p. 09-28, 2004.
3. RAMALHO, F. ; ROBIN, J. ; Schiel, U. . Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class. Electronic Notes in Theoretical Computer Science, v. 95, p. 83-109, 2004.
4. RAMALHO, F. ; ROBIN, J. ; BARROS, R. S. M. . XOCL An XML language for specifying logical constraints in. JUCS - Journal of the Universal Computer Science, v. 9, n. 8, p. 956-969, 2003.
5. BARBOSA, L. A. ; RAMALHO, F. ; SALGADO, A. C. . Atualizando Informação Dinâmica na Web: o caso doconteúdo. Revista de Informática Teórica e Aplicada, Porto Alegre, Brasil, v. 9, n. 3, p. 59-72, 2002.
Book Chapters:
1. Costa, A. ; Paulo E. S. Barbosa ; Gomes, L. ; RAMALHO, F. ; Jorge C. A. de Figueiredo ; Antonio D. dos S. Junior . Properties Preservation in Distributed Execution of Petri Nets Models. In: Camarinha-Matos, Luis M.; Pereira, Pedro; Ribeiro, Luis (Eds.). (Org.). Emerging Trends in Technological Innovation. 1 ed. Boston: Springer, 2010, v. 314, p. 241-250.
2. Paulo E. S. Barbosa ; RAMALHO, F. ; Jorge C. A. de Figueiredo ; Costa, A. ; Gomes, L. ; Antonio D. dos S. Junior . Semantic Equations for Formal Models in the Model-Driven Architecture. In: Camarinha-Matos, Luis M.; Pereira, Pedro; Ribeiro, Luis. (Org.). Emerging Trends in Technological Innovation. 1 ed. Boston: Springer, 2010, v. 314, p. 251-260.
Conferences papers:
1. Paulo E. S. Barbosa ; RAMALHO, F. ; Jorge C. A. de Figueiredo ; Antonio D. dos S. Junior . An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations. In: 32nd Annual IEEE Software Engineering Workshop (SEW 2008), 2009, Kassandra. Proceeedings of the 32nd Annual IEEE Software Engineering Workshop (SEW 2008), 2008.
2. MACIEL, C. L. ; MACHADO, P. D. L. ; RAMALHO, F. . Uma Técnica MDT para a Geração Automática de Casos de Teste Usando Padrões de Teste. In: SAST 2009 - Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2009, Gramado. SAST 2009 - Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2009. p. 1-10.
3. ROCHA, A. C. O. ; MACHADO, P. D. L. ; RAMALHO, F. . Automação da Técnica de Inspeção Guiada Usando MDA e Simulação de Modelos. In: III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2009, Natal. Anais do III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2009.
4. Paulo E. S. Barbosa ; Costa, A. ; Jorge C. A. de Figueiredo ; RAMALHO, F. ; Gomes, L. ; Antonio D. dos S. Junior . Modeling Complex Petri Nets Operations in the Model-Driven Architecture. In: The 35th Annual Conference of the IEEE Industrial Electronics Society, 2009, Porto. Proceedings of the 35th Annual Conference of the IEEE Industrial Electronics Society, 2009.
5. NETO, W. ; BRUNET, J. ; RAMALHO, F. ; GUERRERO, D. . UML-based Design Test Generation. In: 23rd Annual ACM Symposium on Applied Computing, 2008, Fortaleza. 23rd Annual ACM Symposium on Applied Computing - The Software Engineering Track, 2008. v. 1. p. 735-740.
6. Paulo E. S. Barbosa ; RAMALHO, F. ; Jorge C. A. de Figueiredo ; Antonio D. dos S. Junior . Incorporating Semantic Algebra in the MDA Framework. In: Third ICSOFT - International Conference on Software and Data Technologies, 2008, Porto. ICSOFT 2008 - Third International Conference on Software and Data Technologies, 2008. p. 330-336.
7. NETO, W. ; RAMALHO, F. ; Serey, D. ; LEDO, A. . UDT - Uma Ferramenta para Geração de Testes de Design. In: II Brazilian Workshop on Systematic and Automated Software Testing, 2008, Campinas. Anais do II SAST, 2008. p. 64-73.
8. ALVES, E. ; MACHADO, P. ; RAMALHO, F. . Uma Abordagem Integrada para Desenvolvimento e Testes Dirigidos por Modelos. In: II Brazilian Workshop on Systematic and Automated Software Testing, 2008, Campinas. II Brazilian Workshop on Systematic and Automated Software Testing, 2008. p. 74-83.
9. RAMALHO, F. ; ROBIN, J. ; BLANC, X. . Reconciling Model-Driven, Agile and Formal Development by Model Transformations from UML/OCL PIMs to Object-Oriented Logic Programs. In: Simpósio Brasileiro de Métodos Formais, 2007, Ouro Preto. Simpósio Brasileiro de Métodos Formais, 2007. p. 38-53.
10. LIMA, H. ; RAMALHO, F. ; MACHADO, P. ; ALVES, E. . Automatic Generation of Platform Independent Built-in Contract Testers. In: Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2007, Campinas. Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2007. p. 47-60.
11. LIMA, H. ; ALVES, E. ; RAMALHO, F. . Seleção e Geração Automática de Casos de Teste a partir de Diagramas de Máquina de Estados Comportamentais UML 2. In: st Brazilian Workshop on Systematic and Automated Software Testing, 2007, João Pessoa. st Brazilian Workshop on Systematic and Automated Software Testing, 2007.
12. BLANC, X. ; RAMALHO, F. ; ROBIN, J. . Metamodel Reuse with MOF. In: MODELS/UML, 2005, Montego Bay. ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, 2005. p. 661-675.
13. RAMALHO, F. ; ROBIN, J. . Mapping UML Class Diagrams to Object-Oriented Logic Programs for Formal Model-Driven Development. In: 3rd Workshop in Software Model Engineering - WiISME, 2004, Lisboa. 3rd Workshop in Software Model Engineering - WiISME Proceedings, 2004.
14. RAMALHO, F. ; ROBIN, J. ; Schiel, U. . Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class. In: 6th Workshop on Formal Methods, 2003, Campina Grande - PB. 6th Workshop on Formal Methods, 2003. p. 59-74.
15. RAMALHO, F. ; ROBIN, J. ; BARROS, R. S. M. . XOCL An XML language for specifying logical constraints in. In: 7th Brazilian Symposium on Programing Languages, 2003, Ouro Preto - MG. VII Simposio Brasileiro de Linguagens de Programação, 2003. p. 243-268.
16. ROBIN, J. ; RAMALHO, F. . Can Ontologies Improve Web Search Engine Effectiveness Before the Advent of the Semantic Web?. In: 18th Brazilian Symposium on Databases, 2003, Manaus. 18 Simposio Brasileiro de Banco de Dados, 2003. p. 157-169.
17. BARBOSA, L. A. ; SALGADO, A. C. ; T. NETO, M. C. ; RAMALHO, F. . Dynamic Indexing of Information in the Web: The Case of News. In: IRMA International Conference, 2003, Philadelphia. 2003 Information Management Association International Conference, 2003. p. 279-282.
18. ROBIN, J. ; RAMALHO, F. . Empirically evaluating WordNet-based query expansion in a web search engine setting. In: International Workshop on Information Retrieval, 2001, Oulu. International Workshop on Information Retrieval, 2001. p. 80-89.