Franklin Ramalho

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 9

Top Topics

Software Projects

Sequence Diagrams

Representation Language

Top Venues

Publications

Felipe Emerson de Oliveira Calixto, Franklin Ramalho, Tiago Massoni, José Ferreira
Investigating Bug Report Changes in Bugzilla. ICEIS (2) (2023)
Guilherme Carneiro, José Ferreira, Franklin Ramalho, Tiago Massoni
Similar Bug Reports Recommendation System using BERT. SBES (2023)
Marzina Vidal, Tiago Massoni, Franklin Ramalho
A domain-specific language for verifying software requirement constraints. Sci. Comput. Program. 197 (2020)
Lucas Raniére Juvino Santos, Guilherme Gadelha, Franklin Ramalho, Tiago Massoni
Improving Traceability Recovery Between Bug Reports and Manual Test Cases. SBES (2020)
Matheus de Oliveira Barbosa, Franklin Ramalho
An Approach to Identify and Classify State Machine Changes from Code Changes. SBCARS (2020)
Marzina Vidal, Tiago Massoni, Franklin Ramalho
A Domain-Specific Language for Verifying Software Requirement Constraints. CoRR (2019)
Thaciana G. O. Cerqueira, Leandro Balby Marinho, Franklin Ramalho
Feature Evaluation for Project Preferences Representation in GitHub. MLDM (2) (2019)
Thaciana G. O. Cerqueira, Franklin Ramalho, Leandro Balby Marinho
A Content-Based Approach for Recommending UML Sequence Diagrams. SEKE (2016)
Andreza Vieira, Franklin Ramalho
Towards Measuring the Change Impact in ATL Model Transformations. Int. J. Softw. Eng. Knowl. Eng. 26 (2) (2016)
Arthur Marques, Franklin Ramalho, Wilkerson de L. Andrade
Towards a requirements traceability process centered on the traceability model. SAC (2015)
Anne Caroline O. Rocha, Franklin Ramalho, Patrícia D. L. Machado
Automating test-based inspection of design models. Softw. Qual. J. 23 (1) (2015)
Arthur Marques, Franklin Ramalho, Wilkerson de L. Andrade
TRL: a traceability representation language. SAC (2015)
Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho
Automatic generation of built-in contract test drivers. Softw. Syst. Model. 13 (3) (2014)
Arthur Marques, Franklin Ramalho, Wilkerson de L. Andrade
Comparing Model-Based Testing with Traditional Testing Strategies: An Empirical Study. ICST Workshops (2014)
Andreza Vieira, Franklin Ramalho
Metrics to Measure the Change Impact in ATL Model Transformations. PROFES (2014)
Bruno Carreiro da Silva, Rita Suzana Pitangueira Maciel, Franklin Ramalho
Evaluating Maintainability of MDA Software Process Models. PROFES (2013)
Anderson Ledo, Franklin Ramalho, Nata Melo
MetaTT - A Metamodel Based Approach for Writing Textual Transformations. SBCARS (2012)
Filipe Moutinho, Luís Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro
Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. DoCEIS (2011)
Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Luís Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, André Aranha
SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. DoCEIS (2011)
Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho
Guidelines for Platform Independent Modeling for Real Time Systems Using UML. SBCARS (2011)
Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho
Testing Architectures for Real Time Systems. SBCARS (2011)
Andreza Vieira, Franklin Ramalho
A Static Analyzer for Model Transformations. MtATL@TOOLS (2011)
Waldemar Pires, Franklin Ramalho, Anderson Ledo, Dalton Serey
Checking UML Design Patterns in Java Implementations. SBCARS (2010)
Paulo E. S. Barbosa, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, Luís Gomes, Antonio D. dos S. Junior
Semantic Equations for Formal Models in the Model-Driven Architecture. DoCEIS (2010)
Anikó Costa, Paulo E. S. Barbosa, Luís Gomes, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior
Properties Preservation in Distributed Execution of Petri Nets Models. DoCEIS (2010)
Camila L. Maciel, Patrícia D. L. Machado, Franklin Ramalho
An integration testing approach based on test patterns and MDA techniques. SugarLoafPLoP (2010)
Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior, Anikó Costa, Luís Gomes
Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. J. Univers. Comput. Sci. 15 (11) (2009)
Anne Caroline O. Rocha, Franklin Ramalho, Patrícia D. L. Machado
Automação da Técnica de Inspeção Guiada Usando MDA e Simulação de Modelos. SBCARS (2009)
Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior
An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations. SEW (2008)
Waldemar Pires, João Brunet, Franklin Ramalho
UML-based design test generation. SAC (2008)
Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior
Incorporating Semantic Algebra in the MDA Framework. ICSOFT (SE/MUSE/GSDCA) (2008)
Helton S. Lima, Franklin Ramalho, Patrícia D. L. Machado, Everton L. Galdino
Automatic Generation of Platform Independent Built-in Contract Testers. SBCARS (2007)
Xavier Blanc, Franklin Ramalho, Jacques Robin
Metamodel Reuse with MOF. MoDELS (2005)
Franklin Ramalho, Jacques Robin
Avaliação Empírica da Expansão de Consultas Baseada em um Thesaurus: aplicação em um engenho de busca na Web. RITA 10 (2) (2004)
Franklin Ramalho, Jacques Robin, Ulrich Schiel
Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams. Electron. Notes Theor. Comput. Sci. 95 (2004)
Jacques Robin, Franklin Ramalho
Can Ontologies Improve Web Search Engine Effectiveness Before the Advent of the Semantic Web? SBBD (2003)
Franklin Ramalho, Jacques Robin, Roberto Souto Maior de Barros
XOCL - an XML Language for Specifying Logical Constraints in Object Oriented Models. J. Univers. Comput. Sci. 9 (8) (2003)
Luciano Barbosa, Franklin Ramalho, Ana Carolina Salgado
Atualizando Informação Dinâmica na Web: o Caso do Conteúdo de Notícias. RITA 9 (3) (2002)