Franklin Ramalho

39 papers A 1B 2C 2Misc 3Journal 9Unranked 22

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