►Journal Papers:
Barbosa, P. E. S. ; RAMALHO, F. ; Jorge C. A. de Figueiredo ; A. D. dos S. ; Costa, A. ; Gomes, L. . Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. Journal of Universal Computer Science, v. 15, p. 2196-2224, 2009.
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.
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.
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.
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:
Costa, A., Barbosa, P. E., Moutinho, F., Pereira, F., RAMALHO, F., Figueiredo, J. C., & Gomes, L. (2013). MDA-Based Methodology for Verifying Distributed Execution of Embedded Systems Models. In Z. Li, & A. Al-Ahmari (Eds.), Formal Methods in Manufacturing Systems: Recent Advances (pp. 112-135). Hershey, PA: . doi:10.4018/978-1-4666-4034-4.ch006
Moutinho, F., Gomes, L., Paulo E. S. Barbosa, BARROS, J. P., RAMALHO, F., Jorge C. A. de Figueiredo, Costa, A., MONTEIRO, A. Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System In: Technological Innovation for Sustainability Second IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems ed. : Springer Boston, 2011, v.349, p. 237-245.
Barbosa, P. E. S., BARROS, J. P., RAMALHO, F., Gomes, L., Jorge C. A. de Figueiredo, Moutinho, F., Costa, A., MONTEIRO, A. SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design In: Technological Innovation for Sustainability Second IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems ed. : Springer Boston, 2011, v.349, p. 256-265.
Costa, A. ; Barbosa, P. E. S.; Gomes, L. ; RAMALHO, F. ; Jorge C. A. de Figueiredo ; A. D. dos S. 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.
Barbosa, P. E. S. ; RAMALHO, F. ; Jorge C. A. de Figueiredo ; Costa, A. ; Gomes, L. ; A. D. dos S. 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.
►Conference papers:
Ledo, A. ; RAMALHO, F. ; MeloO, N. V. . MetaTT - A Metamodel Based Approach for Writing Textual Transformations. In: SBCARS- Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software, 2012, nATAL. Proceedings of SBCARS- Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software, 2012.
Vieira, C. ; RAMALHO, F. . WSMDA Um Framework para Executar Transformações MDA como Web Services. In: Congresso Brasileiro de Software: Teoria e Prática (CBSoft) - Sessão de Ferramentas, 2012. Anais do Congresso Brasileiro de Software: Teoria e Prática (CBSoft) - Sessão de Ferramentas, 2012.
Gondim, D. ; RAMALHO, F. ; Farias, A. . UCL Uma Linguagem Unificada para Construção de Compiladores. In: II Workshop de Teses e Dissertações do CBSoft, 2012, Natal. Anais do II Workshop de Teses e Dissertações do CBSoft, 2012.
Vieira, A. ; RAMALHO, F. . Identifying Guidelines for Constructing Metamodels. In: III Brazilian Workshop on Model-Driven Software Development, 2012, Natal. Proceedings of the III Brazilian Workshop on Model-Driven Software Development, 2012.
Rabelo Junior, S. ; RAMALHO, F. ; Serey, D. . Design Tests for Verifying UML Sequence Diagrams against Java Code. In: III Brazilian Workshop on Model-Driven Software Development, 2012, Natal. Proceedings of the III Brazilian Workshop on Model-Driven Software Development, 2012.
Alves, E. ; Machado, P. D. L. ; RAMALHO, F. . Diretrizes para Modelagem Independente de Plataforma de Sistemas de Tempo Real usando UML. In: SBCARS - Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2011, São Paulo. Anais do SBCARS - Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2011.
Alves, E. ; Machado, P. D. L. ; RAMALHO, F. . Arquiteturas de Teste para Sistemas de Tempo Real. In: SBCARS - Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2011, São Paulo. Anais do SBCARS - Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2011.
Vieira, C. ; Paes, C. ; RAMALHO, F. . WSMDA - A Framework to Provide MDA Operations as Web Services. In: Brazilizan Workshop on Model-Driven Software Development, 2011, São Paulo. Proceeding of the II Brazilizan Workshop on Model-Driven Software Development, 2011.
Vieira, A. and RAMALHO, F. A Static Analyser for Model Transformations In: 3rd International Workshop on Model Transformation with ATL (co-located with TOOLS 2011 Federated Conferences), 2011, Zurich. In Proceedings of the 3rd International Workshop on Model Transformation with ATL. CEUR-WS, 2011. v.742. p.75 - 88, 2011.
Barbosa, P. E. S., Costa, A., Gomes, L., RAMALHO, F., Jorge C. A. de Figueiredo, Antonio D. dos S. Junior A MDA-based Contribution for Integrating Web Services within Embedded System’s Design In: 8th IEEE International Conference on Industrial Informatics (INDIN), 2010, Osaka. In Proceedings of the 8th IEEE International Conference on Industrial Informatics., 2010.
Maciel, C. L., Machado, P. D. L. and Ramalho, Franklin. Automação de Padrões de Teste para a Geração de Casos de Teste de Integração usando MDA In VIII Latin American Conference on Pattern Languages of Programming, Salvador, Brazil, 2010.
ALVES, E., MACEDO, A., ANDRADE, W., MACHADO, P. AND RAMALHO, F. Mapeando Modelos de Teste em UTP para a plataforma FreeRTOS. In Proceedings of the 4th Brazilian Workshop on Systematic and Automated Software Testing, Natal, Brazil, 2010.
ROCHA, A. C. O. ; MACHADO, P. D. L. ; and RAMALHO, F. Automating Inspection of Design Models Guided by Test Cases. In Proc. of the 22 IFIP International Conference on Testing Software and Systems, Natal, Brazil, 2010.
NETO, W. ; RAMALHO, F. ; LEDO, A. and GUERRERO, D. Checking UML Design Patterns in Java Implementations. In The Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), Salvador, Brazil, 2010.
LEDO, A., MELO, N., RAMALHO, F. Guidelines for Improving Model To Text Transformations In: I Brazilian Workshop On Model-Driven Development, 2010, Salvador. Proceeding of the I Brazilian Workshop On Model-Driven Development. , 2010.
VIEIRA, A., RAMALHO, F., MACHADO, P., LEAL, F. Applying Data Mining Techniques to Semi-Automatically Discover Guidelines for Metamodels In: I Brazilian Workshop On Model-Driven Development, 2010, Salvador. Proceeding of the I Brazilian Workshop On Model-Driven Development. , 2010.
Moutinho, F. Gomes, L. Ramalho, F. Figueiredo, J. A., Barros, J. P., Barbosa, P. E. S., Pais, R. and Costa, A. Ecore Representation for Extending PNML for Input-Output Place-Transition Nets. In Proceedings of the 36th Annual Conference of the IEEE Industrial Electronics Society, Phoenix, USA, 2010.
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.
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.
Barbosa, P. E. S. ; Costa, A. ; Jorge C. A. de Figueiredo ; RAMALHO, F. ; Gomes, L. ; A. D. dos S. 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.
Barbosa, P. E. S. ; RAMALHO, F. ; Jorge C. A. de Figueiredo ; Junior, A. D. dos S. 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.
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.
Barbosa, P. E. S. ; RAMALHO, F. ; Jorge C. A. de Figueiredo ; A. D. dos S. 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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.