default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFranklin Ramalho
Person information
- affiliation: Federal University of Pernambuco, Recife, Brazil
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c29]Felipe Emerson de Oliveira Calixto, Franklin Ramalho, Tiago Massoni, José Ferreira:
Investigating Bug Report Changes in Bugzilla. ICEIS (2) 2023: 55-64- [c28]Guilherme Carneiro
, José Ferreira, Franklin Ramalho, Tiago Massoni:
Similar Bug Reports Recommendation System using BERT. SBES 2023: 378-387 - 2020
- [j8]Marzina Vidal, Tiago Massoni, Franklin Ramalho:
A domain-specific language for verifying software requirement constraints. Sci. Comput. Program. 197: 102509 (2020) - [c27]Matheus de Oliveira Barbosa, Franklin Ramalho:
An Approach to Identify and Classify State Machine Changes from Code Changes. SBCARS 2020: 111-120 - [c26]Lucas Raniére Juvino Santos, Guilherme Gadelha, Franklin Ramalho, Tiago Massoni:
Improving Traceability Recovery Between Bug Reports and Manual Test Cases. SBES 2020: 293-302
2010 – 2019
- 2019
- [c25]Thaciana G. O. Cerqueira, Leandro Balby Marinho, Franklin Ramalho:
Feature Evaluation for Project Preferences Representation in GitHub. MLDM (2) 2019: 655-668 - [i1]Marzina Vidal, Tiago Massoni, Franklin Ramalho:
A Domain-Specific Language for Verifying Software Requirement Constraints. CoRR abs/1911.02679 (2019) - 2016
- [j7]Andreza Vieira, Franklin Ramalho:
Towards Measuring the Change Impact in ATL Model Transformations. Int. J. Softw. Eng. Knowl. Eng. 26(2): 153-182 (2016) - [c24]Thaciana G. O. Cerqueira, Franklin Ramalho, Leandro Balby Marinho:
A Content-Based Approach for Recommending UML Sequence Diagrams. SEKE 2016: 644-649 - 2015
- [j6]Anne Caroline O. Rocha, Franklin Ramalho, Patrícia D. L. Machado:
Automating test-based inspection of design models. Softw. Qual. J. 23(1): 3-28 (2015) - [c23]Arthur Marques, Franklin Ramalho, Wilkerson de L. Andrade:
TRL: a traceability representation language. SAC 2015: 1358-1363 - [c22]Arthur Marques, Franklin Ramalho, Wilkerson de L. Andrade:
Towards a requirements traceability process centered on the traceability model. SAC 2015: 1364-1369 - 2014
- [j5]Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho:
Automatic generation of built-in contract test drivers. Softw. Syst. Model. 13(3): 1141-1165 (2014) - [c21]Arthur Marques, Franklin Ramalho, Wilkerson de L. Andrade:
Comparing Model-Based Testing with Traditional Testing Strategies: An Empirical Study. ICST Workshops 2014: 264-273 - [c20]Andreza Vieira, Franklin Ramalho:
Metrics to Measure the Change Impact in ATL Model Transformations. PROFES 2014: 254-268 - 2013
- [c19]Bruno Carreiro da Silva, Rita Suzana Pitangueira Maciel, Franklin Ramalho:
Evaluating Maintainability of MDA Software Process Models. PROFES 2013: 199-213 - 2012
- [c18]Anderson Ledo, Franklin Ramalho, Nata Melo:
MetaTT - A Metamodel Based Approach for Writing Textual Transformations. SBCARS 2012: 61-70 - 2011
- [c17]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: 237-245 - [c16]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: 256-265 - [c15]Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho:
Guidelines for Platform Independent Modeling for Real Time Systems Using UML. SBCARS 2011: 110-119 - [c14]Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho:
Testing Architectures for Real Time Systems. SBCARS 2011: 120-129 - [c13]Andreza Vieira, Franklin Ramalho:
A Static Analyzer for Model Transformations. MtATL@TOOLS 2011: 75-88 - 2010
- [c12]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: 241-250 - [c11]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: 251-260 - [c10]Waldemar Pires, Franklin Ramalho, Anderson Ledo, Dalton Serey:
Checking UML Design Patterns in Java Implementations. SBCARS 2010: 120-129 - [c9]Camila L. Maciel, Patrícia D. L. Machado, Franklin Ramalho:
An integration testing approach based on test patterns and MDA techniques. SugarLoafPLoP 2010: 14:1-14:16
2000 – 2009
- 2009
- [j4]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): 2196-2224 (2009) - [c8]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: 181-194 - 2008
- [c7]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: 330-336 - [c6]Waldemar Pires, João Brunet, Franklin Ramalho:
UML-based design test generation. SAC 2008: 735-740 - [c5]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: 33-42 - 2007
- [c4]Helton S. Lima, Franklin Ramalho, Patrícia D. L. Machado, Everton L. Galdino:
Automatic Generation of Platform Independent Built-in Contract Testers. SBCARS 2007: 47-60 - 2005
- [c3]Xavier Blanc, Franklin Ramalho, Jacques Robin:
Metamodel Reuse with MOF. MoDELS 2005: 661-675 - 2004
- [j3]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): 9-28 (2004) - 2003
- [j2]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): 956-969 (2003) - [c2]Jacques Robin, Franklin Ramalho:
Can Ontologies Improve Web Search Engine Effectiveness Before the Advent of the Semantic Web? SBBD 2003: 157-169 - [c1]Franklin Ramalho, Jacques Robin, Ulrich Schiel:
Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams. WMF 2003: 83-109 - 2002
- [j1]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): 59-72 (2002)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
