Atualizando Informação Dinâmica na Web: o Caso do Conteúdo de Notícias. - Luciano Barbosa; Franklin Ramalho; Ana Carolina Salgado (RITA, 2002)

Can Ontologies Improve Web Search Engine Effectiveness Before the Advent of the Semantic Web? - Jacques Robin; Franklin Ramalho (SBBD, 2003)

Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams. - Franklin Ramalho; Jacques Robin; Ulrich Schiel (WMF, 2003)

XOCL - an XML Language for Specifying Logical Constraints in Object Oriented Models. - Franklin Ramalho; Jacques Robin; Roberto Souto Maior de Barros (J. Univers. Comput. Sci., 2003)

Avaliação Empírica da Expansão de Consultas Baseada em um Thesaurus: aplicação em um engenho de busca na Web. - Franklin Ramalho; Jacques Robin (RITA, 2004)

Metamodel Reuse with MOF. - Xavier Blanc 001; Franklin Ramalho; Jacques Robin (MoDELS, 2005)

Automatic Generation of Platform Independent Built-in Contract Testers. - Helton S. Lima; Franklin Ramalho; Patrícia D. L. Machado; Everton L. Galdino (SBCARS, 2007)

Incorporating Semantic Algebra in the MDA Framework. - Paulo E. S. Barbosa; Franklin Ramalho; Jorge C. A. de Figueiredo; Antonio D. dos S. Junior (ICSOFT (SE/MUSE/GSDCA), 2008)

UML-based design test generation. - Waldemar Pires; João Brunet; Franklin Ramalho (SAC, 2008)

An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations. - Paulo E. S. Barbosa; Franklin Ramalho; Jorge C. A. de Figueiredo; Antonio D. dos S. Junior (SEW, 2008)

Automação da Técnica de Inspeção Guiada Usando MDA e Simulação de Modelos. - Anne Caroline O. Rocha; Franklin Ramalho; Patrícia D. L. Machado (SBCARS, 2009)

Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. - Paulo E. S. Barbosa; Franklin Ramalho; Jorge C. A. de Figueiredo; Antonio D. dos S. Junior; Anikó Costa; Luís Gomes 001 (J. Univers. Comput. Sci., 2009)

Semantic Equations for Formal Models in the Model-Driven Architecture. - Paulo E. S. Barbosa; Franklin Ramalho; Jorge Figueiredo 001; Anikó Costa; Luís Gomes 001; Antonio D. dos S. Junior (DoCEIS, 2010)

Properties Preservation in Distributed Execution of Petri Nets Models. - Anikó Costa; Paulo E. S. Barbosa; Luís Gomes 001; Franklin Ramalho; Jorge C. A. de Figueiredo; Antonio D. dos S. Junior (DoCEIS, 2010)

Checking UML Design Patterns in Java Implementations. - Waldemar Pires; Franklin Ramalho; Anderson Ledo; Dalton Serey (SBCARS, 2010)

An integration testing approach based on test patterns and MDA techniques. - Camila L. Maciel; Patrícia D. L. Machado; Franklin Ramalho (SugarLoafPLoP, 2010)

SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. - Paulo E. S. Barbosa; João Paulo Barros; Franklin Ramalho; Luís Gomes 001; Jorge Figueiredo 001; Filipe Moutinho; Anikó Costa; André Aranha (DoCEIS, 2011)

Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. - Filipe Moutinho; Luís Gomes 001; Paulo E. S. Barbosa; João Paulo Barros; Franklin Ramalho; Jorge Figueiredo 001; Anikó Costa; André Monteiro (DoCEIS, 2011)

Guidelines for Platform Independent Modeling for Real Time Systems Using UML. - Everton L. G. Alves; Patrícia D. L. Machado; Franklin Ramalho (SBCARS, 2011)

Testing Architectures for Real Time Systems. - Everton L. G. Alves; Patrícia D. L. Machado; Franklin Ramalho (SBCARS, 2011)

A Static Analyzer for Model Transformations. - Andreza Vieira; Franklin Ramalho (MtATL@TOOLS, 2011)

MetaTT - A Metamodel Based Approach for Writing Textual Transformations. - Anderson Ledo; Franklin Ramalho; Nata Melo (SBCARS, 2012)

Evaluating Maintainability of MDA Software Process Models. - Bruno Carreiro da Silva; Rita Suzana Pitangueira Maciel; Franklin Ramalho (PROFES, 2013)

Comparing Model-Based Testing with Traditional Testing Strategies: An Empirical Study. - Arthur Marques; Franklin Ramalho; Wilkerson de L. Andrade (ICST Workshops, 2014)

Metrics to Measure the Change Impact in ATL Model Transformations. - Andreza Vieira; Franklin Ramalho (PROFES, 2014)

Automatic generation of built-in contract test drivers. - Everton L. G. Alves; Patrícia D. L. Machado; Franklin Ramalho (Softw. Syst. Model., 2014)

TRL: a traceability representation language. - Arthur Marques; Franklin Ramalho; Wilkerson de L. Andrade (SAC, 2015)

Towards a requirements traceability process centered on the traceability model. - Arthur Marques; Franklin Ramalho; Wilkerson de L. Andrade (SAC, 2015)

Automating test-based inspection of design models. - Anne Caroline O. Rocha; Franklin Ramalho; Patrícia D. L. Machado (Softw. Qual. J., 2015)

A Content-Based Approach for Recommending UML Sequence Diagrams. - Thaciana G. O. Cerqueira; Franklin Ramalho; Leandro Balby Marinho (SEKE, 2016)

Towards Measuring the Change Impact in ATL Model Transformations. - Andreza Vieira; Franklin Ramalho (Int. J. Softw. Eng. Knowl. Eng., 2016)

Feature Evaluation for Project Preferences Representation in GitHub. - Thaciana G. O. Cerqueira; Leandro Balby Marinho; Franklin Ramalho (MLDM (2), 2019)

An Approach to Identify and Classify State Machine Changes from Code Changes. - Matheus de Oliveira Barbosa; Franklin Ramalho (SBCARS, 2020)

Improving Traceability Recovery Between Bug Reports and Manual Test Cases. - Lucas Raniére Juvino Santos; Guilherme Gadelha; Franklin Ramalho; Tiago Massoni (SBES, 2020)

A domain-specific language for verifying software requirement constraints. - Marzina Vidal; Tiago Massoni; Franklin Ramalho (Sci. Comput. Program., 2020)

Investigating Bug Report Changes in Bugzilla. - Felipe Emerson de Oliveira Calixto; Franklin Ramalho; Tiago Massoni; José Ferreira (ICEIS (2), 2023)

Similar Bug Reports Recommendation System using BERT. - Guilherme Carneiro; José Ferreira; Franklin Ramalho; Tiago Massoni (SBES, 2023)