Franklin Ramalho

According to our database, Franklin Ramalho authored at least 37 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Similar Bug Reports Recommendation System using BERT.

Guilherme Carneiro, José Ferreira, Franklin Ramalho, Tiago Massoni

Proceedings of the XXXVII Brazilian Symposium on Software Engineering, 2023

Investigating Bug Report Changes in Bugzilla.

Felipe Emerson de Oliveira Calixto, Franklin Ramalho, Tiago Massoni, José Ferreira

Proceedings of the 25th International Conference on Enterprise Information Systems, 2023

2020

A domain-specific language for verifying software requirement constraints.

Marzina Vidal, Tiago Massoni, Franklin Ramalho

Sci. Comput. Program., 2020

Improving Traceability Recovery Between Bug Reports and Manual Test Cases.

Lucas Raniére Juvino Santos, Guilherme Gadelha, Franklin Ramalho, Tiago Massoni

Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

An Approach to Identify and Classify State Machine Changes from Code Changes.

Matheus de Oliveira Barbosa, Franklin Ramalho

Proceedings of the SBCARS '20: 14th Brazilian Symposium on Software Components, 2020

2019

Feature Evaluation for Project Preferences Representation in GitHub.

Thaciana G. O. Cerqueira, Leandro Balby Marinho, Franklin Ramalho

Proceedings of the Machine Learning and Data Mining in Pattern Recognition, 2019

2016

Towards Measuring the Change Impact in ATL Model Transformations.

Andreza Vieira, Franklin Ramalho

Int. J. Softw. Eng. Knowl. Eng., 2016

A Content-Based Approach for Recommending UML Sequence Diagrams.

Thaciana G. O. Cerqueira, Franklin Ramalho, Leandro Balby Marinho

Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

2015

Automating test-based inspection of design models.

Anne Caroline O. Rocha, Franklin Ramalho, Patrícia D. L. Machado

Softw. Qual. J., 2015

Towards a requirements traceability process centered on the traceability model.

Arthur Marques, Franklin Ramalho, Wilkerson de L. Andrade

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

TRL: a traceability representation language.

Arthur Marques, Franklin Ramalho, Wilkerson de L. Andrade

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014

Automatic generation of built-in contract test drivers.

Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho

Softw. Syst. Model., 2014

Metrics to Measure the Change Impact in ATL Model Transformations.

Andreza Vieira, Franklin Ramalho

Proceedings of the Product-Focused Software Process Improvement, 2014

Comparing Model-Based Testing with Traditional Testing Strategies: An Empirical Study.

Arthur Marques, Franklin Ramalho, Wilkerson de L. Andrade

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013

Evaluating Maintainability of MDA Software Process Models.

Bruno Carreiro da Silva, Rita Suzana Pitangueira Maciel, Franklin Ramalho

Proceedings of the Product-Focused Software Process Improvement, 2013

2012

MetaTT - A Metamodel Based Approach for Writing Textual Transformations.

Anderson Ledo, Franklin Ramalho, Nata Melo

Proceedings of the Sixth Brazilian Symposium on Software Components, 2012

2011

A Static Analyzer for Model Transformations.

Andreza Vieira, Franklin Ramalho

Proceedings of the 3rd International Workshop on Model Transformation with ATL, 2011

Testing Architectures for Real Time Systems.

Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho

Proceedings of the Fifth Brazilian Symposium on Software Components, 2011

Guidelines for Platform Independent Modeling for Real Time Systems Using UML.

Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho

Proceedings of the Fifth Brazilian Symposium on Software Components, 2011

Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System.

Filipe Moutinho, Luís Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro

Proceedings of the Technological Innovation for Sustainability, 2011

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, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, André Aranha

Proceedings of the Technological Innovation for Sustainability, 2011

2010

An integration testing approach based on test patterns and MDA techniques.

Camila L. Maciel, Patrícia D. L. Machado, Franklin Ramalho

Proceedings of the 8th Latin American Conference on Pattern Languages of Programs, 2010

Checking UML Design Patterns in Java Implementations.

Waldemar Pires, Franklin Ramalho, Anderson Ledo, Dalton Serey

Proceedings of the Fourth Brazilian Symposium on Software Components, 2010

Properties Preservation in Distributed Execution of Petri Nets Models.

Anikó Costa, Paulo E. S. Barbosa, Luís Gomes, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior

Proceedings of the Emerging Trends in Technological Innovation, 2010

Semantic Equations for Formal Models in the Model-Driven Architecture.

Paulo E. S. Barbosa, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, Luís Gomes, Antonio D. dos S. Junior

Proceedings of the Emerging Trends in Technological Innovation, 2010

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

J. Univers. Comput. Sci., 2009

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

Proceedings of the Third Brazilian Symposium on Software Components, 2009

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

Proceedings of the 32nd Annual IEEE Software Engineering Workshop, 2008

UML-based design test generation.

Waldemar Pires, João Brunet, Franklin Ramalho

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Incorporating Semantic Algebra in the MDA Framework.

Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior

Proceedings of the ICSOFT 2008, 2008

2007

Automatic Generation of Platform Independent Built-in Contract Testers.

Helton S. Lima, Franklin Ramalho, Patrícia D. L. Machado, Everton L. Galdino

Proceedings of the First Brazilian Symposium on Software Components, 2007

2005

Metamodel Reuse with MOF.

Xavier Blanc, Franklin Ramalho, Jacques Robin

Proceedings of the Model Driven Engineering Languages and Systems, 2005

2004

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

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

Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams.

Franklin Ramalho, Jacques Robin, Ulrich Schiel

Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003

Can Ontologies Improve Web Search Engine Effectiveness Before the Advent of the Semantic Web?

Jacques Robin, Franklin Ramalho

Proceedings of the XVIII Simpósio Brasileiro de Bancos de Dados, 2003

2002

Atualizando Informação Dinâmica na Web: o Caso do Conteúdo de Notícias.

Luciano Barbosa, Franklin Ramalho, Ana Carolina Salgado

RITA, 2002