Rodrigo Teixeira Ramos

É doutor, mestre e graduado em Ciência da Computação pela Universidade Federal de Pernambuco. Possui mais de 10 anos de experiência em empresas públicas e privadas no Brasil, sendo , atualmente, analista de sistemas na Petrobras - Petróleo Brasileiro. Além disto, tem amplo interesse em pesquisas na área de Engenharia de Software e Modelagem e Análise Científica de Dados.

Informações coletadas do Lattes em 17/02/2026

Acadêmico

Formação acadêmica

Doutorado em Ciências da Computação

2006 - 2011

Universidade Federal de Pernambuco
Título: Systematic Development of Trustworthy Component-based Systems
Augusto Cesar Alvez Sampaio. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: métodos formais; evolução de software; Componentes de Software.Grande área: Ciências Exatas e da Terra

Mestrado em Ciências da Computação

2003 - 2005

Universidade Federal de Pernambuco
Título: Desenvolvimento Rigoroso com UML-RT,Ano de Obtenção: 2005
Orientador: Augusto Cesar Alvez Sampaio
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Circus; UML-RT; Processo de Desenvolvimento; métodos formais.Grande área: Ciências Exatas e da Terra

Graduação em Ciência da Computação

1997 - 2002

Universidade Federal de Pernambuco
Título: Geração Automática de Java Assertions a partir de Especificações CSPz
Orientador: Augusto César Alves Sampaio

Formação complementar

2002 - 2004

Extensão universitária em Análise de Teste de Software. , Universidade Federal de Pernambuco, UFPE, Brasil.

Idiomas

Inglês

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.

Participação em eventos

16th International Symposium on Formal Methods. Systematic Development of Trustworthy Component Systems. 2009. (Congresso).

23rd Annual ACM Symposium on Applied Computing (SAC 2008).ramework Composition Conformance via Refinement Checking. 2008. (Simpósio).

10th Brazilian Symposium on Formal Methods (SBMF 2007).Checking Framework Composition Conformance via Reﬁnement. 2007. (Simpósio).

8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS?06). Transformation Laws for UML-RT. 2006. (Congresso).

Concurso de Teses e Dissertacoes (CTD).Rigorous Development with UML-RT. 2006. (Outra).

7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS?05). A Semantics for UML-RT Active Classes via Mapping into Circus. 2005. (Congresso).

High Reliability Software, Training Course. 2005. (Outra).

School on Software Engineering: Refinement. 2004. (Outra).

VI Braziliam Workshop on Formal Methods. Class and Capsule Refinement in UML for Real Time. 2003. (Congresso).

Participação em bancas

Aluno: Philippe José De Fontes Oliveira

João Murilo Azevedo;RAMOS, R.; Genésio Gomes Neto. Utilização de Tokens, Smart Cards e XML para o Repasse do Prontuário Eletrônico dos Pacientes do Programa Saúde da Família. 2007. Trabalho de Conclusão de Curso (Graduação em Sistema da Informação) - Faculdade Integrada do Recife.

Orientou

José Dihego da Silva Oliveira

Automação de Leis de Refatoração e Casamentos de Padrões Arquiteturais; 2008; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Rodrigo Teixeira Ramos;

Flávia Leite Soares Cavalcanti

Realizando Padrões de Workflow em Sistemas Baseados em Componentes; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Rodrigo Teixeira Ramos;

Eliaquim Lima Sá Neto

Automação de refatoramentos em linguagens de modelagem para descrição arquitetural; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Rodrigo Teixeira Ramos;

Sérgio Ricardo Camelo Galindo

Gerenciamento Eletrônico de Documentos ? GED; 2007; Trabalho de Conclusão de Curso; (Graduação em Sistema da Informação) - Faculdade Integrada do Recife; Orientador: Rodrigo Teixeira Ramos;

Gustavo da Fonseca Limaverde Cabral

Automação do processo de transformação de modelos UML-RT; 2004; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Rodrigo Teixeira Ramos;

Francinaldo da Fonseca Cabral

Aplicativos para análise de dados públicos; 2015; Iniciação Científica; (Graduando em Sistemas Para Internet) - Faculdade Estácio do Rio Grande do Norte; Orientador: Rodrigo Teixeira Ramos;

Produções bibliográficas

OLIVEIRA, M. V. M. ; ANTONINO, P. ; RAMOS, R. ; SAMPAIO, A. ; MOTA, A. ; ROSCOE, A. W. . Rigorous development of component-based systems using component metadata and patterns. Formal Aspects of Computing , v. 1, p. 1, 2016.
RAMOS, R. ; Sampaio, Augusto ; Mota, Alexandre . Conformance notions for the coordination of interaction components. Science of Computer Programming (Print) , v. 75, p. 350-373, 2010.
SAMPAIO, A ; A. Mota ; RAMOS, R. . Class and Capsule Refinement in UML for Real Time. Electronic Notes in Theoretical Computer Science , v. 95, p. 23-51, 2004.
RAMOS, R. ; A. Sampaio ; A. Mota . Systematic Development of Trustworthy Component Systems. In: International Symposium on Formal Methods (FM2009), 2009, Eindhoven, The Netherlands. 16th International Symposium on Formal Methods, 2009. v. 5850. p. 140-156.
RAMOS, R. ; A. Sampaio ; A. Mota . Framework Composition Conformance via Refinement Checking. In: ACM Symposium on Applied Computing (SAC 2008), 2008, Fortaleza, Brazil. 23rd ACM Symposium on Applied Computing, 2008. v. 23. p. 119-125.
RAMOS, R. ; Olivier Barais ; Jean-Marc Jezequel . Matching Model-Snippets. In: International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), 2007, Nashville, Tennesse. 10th International Conference on Model Driven Engineering Languages and Systems, 2007. v. 4735. p. 121-135.
Brice Morin ; Olivier Barais ; Jean-Marc Jezequel ; RAMOS, R. . Towards a Generic Aspect-Oriented Modeling Framework. In: 3rd Workshop on Models and Aspects - Handling Crosscutting Concerns in MDSD (Satellite workshop at the ECOOP 2007), 2007, Berlin. Crosscutting Concerns in MDSD (Satellite workshop at the ECOOP 2007), 2007.
RAMOS, R. ; A. Sampaio ; A. Mota . Transformation Laws for UML-RT. In: 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS?06), 2006, Bolonha. 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS?06), Proceedings. Londres: Springer - Lecture Notes in Computer Science, 2006. v. 4037. p. 123-138.
Godoi, R ; RAMOS, R. ; A. Sampaio . Uma Extensão do RUP para Modelagem Rigorosa de Sistemas Concorrentes. In: Simposio Brasileiro de Engenharia de Software (SBES'06), 2006, Florianópolis. XI Simposio Brasileiro de Engenharia de Software, 2006.
RAMOS, R. ; A. Sampaio ; A. Mota . A Semantics for UML-RT Active Classes via Mapping into Circus. In: International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS?05), 2005, Atenas. 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems. Londres: Springer - Lecture Notes in Computer Science, 2005. v. 3535. p. 99-114.
H. M. Marques ; RAMOS, R. ; I. G. L. Silva . Adaptação de um Processo de Desenvolvimento para Fábricas de Software Distribuídas. In: Workshop Ibero-Americano de Engenharia de Requisitos e Ambientes de Software (IDEAS'2004), 2004, Arequipa. 7º Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes Software, 2004. p. 326-336.
Thiago Santos ; RAMOS, R. ; Börje Karlsson . Usando Padrões para Reestruturação de uma Aplicação Legada. In: Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP'04), SPA Track, 2004, Fortaleza, Brazil. 4th Latin American Conference on Pattern Languages of Programming, 2004.
A. Sampaio ; A. Mota ; RAMOS, R. . Class and Capsule Refinement in UML for Real Time. In: Braziliam Workshop on Formal Methods (WBMF 2003), 2003, Campina Grande. VI Workshop on Formal Methods, 2003. p. 15-34.
RAMOS, R. ; A. Sampaio ; A. Mota . Rigorous Development with UML-RT. In: Concurso de Teses e Dissertacoes (CTD), 2006, Campo Grande. Concurso de Teses e Dissertacoes (CTD), 2006.
RAMOS, R. ; A. Sampaio ; A. Mota . Checking Framework Composition Conformance via Refinement. In: Brazilian Symposium on Formal Methods (SBMF 2007), 2007, Ouro Preto. 10th Brazilian Symposium on Formal Methods, 2007.

Outras produções

SANTOS, E. M. ; RAMOS, R. . Ingles Instrumental. 2013. (Desenvolvimento de material didático ou instrucional - Caderno Webaula).

RABELO, R. A. C. ; CARVALHO, R. A. S. ; TORRES, R. M. ; SANTANA, C. A. ; RAMOS, R. ; MELO, M. A. B. . REGULAMENTO PROJETO INTEGRADOR CURSOS DE INFORMÁTICA. 2013. (Desenvolvimento de material didático ou instrucional - Publicações Didáticos Pedagógicas).

Prêmios

2002

SUN Certified Programmer for Java 2, Sun Microsystem.

Histórico profissional

Experiência profissional

2010 - Atual

Petróleo Brasileiro - Rio de Janeiro - Matriz

Vínculo: Celetista formal, Enquadramento Funcional: Analista de Sistemas, Regime: Dedicação exclusiva.

2017 - Atual

Universidade Federal do Rio Grande do Norte

Vínculo: Servidor Público, Enquadramento Funcional: Professor Substituto, Carga horária: 20

2016 - 2016

Universidade Federal do Rio Grande do Norte

Vínculo: , Enquadramento Funcional: Professor Substituto, Carga horária: 20

2014 - Atual

Faculdade Estácio do Rio Grande do Norte, Estácio FATERN

Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 8

Outras informações:
Disciplinas Ministradas: - Linguagem de Programação - Algoritmos - Estruturas de Dados

2012 - 2013

Faculdade de Administração e Negócios de Sergipe

Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 8

Outras informações:
Disciplinas Ministradas: - Lógica Matemática - Arquitetura de Sistemas da Informação

2009 - 2010

Serviço Federal de Processamento de Dados

Vínculo: Celetista formal, Enquadramento Funcional: Analista de Sistemas, Regime: Dedicação exclusiva.

2006 - 2006

Institut National de Recherche en Informatique et en Automatique (INRIA)

Vínculo: Colaborador, Enquadramento Funcional: Research Assistant, Carga horária: 40

Outras informações:
Estágio de pesquisa no grupo Triskell/ INRIA para a pesquisa de casamento de padrões de modelo em linguagens de modelagem, como UML. Como resultado foi implementado um sistema integrado ao ambiente para meta modelagem Kermeta/Eclipse, utilizando Flora (Prolog) e Java.

2005 - 2006

International Institute for Software Technology - United Nations University

Vínculo: Colaborador, Enquadramento Funcional: Fellow, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Pesquisa sobre a especificação formal de arquiteturas baseadas em componentes de software, assim como a definição de elementos de coordenação destes componentes, na linguagem de descrição arquitetural rCOS.

2007 - 2009

Faculdade Integrada do Recife

Vínculo: Colaborador, Enquadramento Funcional: Docente, Carga horária: 8

Atividades

07/2007 - 08/2009
Ensino, Sistema da Informação, Nível: Graduação,Disciplinas ministradas, Laboratório de Programação Orientada a Objetos

2004 - 2006

Qualiti Assessoria e Consultoria S/A

Vínculo: Colaborador, Enquadramento Funcional: Instrutor

Atividades

11/2004 - 06/2006
Treinamentos ministrados , Qualiti Software Processes, .,Treinamentos ministrados, - Gerência de Configuração, Programa de Qualificação Tecnológica (PQT), carga horária de 20 horas., - Métricas de Desenvolvimento de Software Orientado a Objetos, curso de treinamento para TIM Nordeste, carga horária de 12 horas., - Introdução a ferramentas de testes. curso de treinamento para o Cesar/Motorola, carga horária de 12 horas., - Modulo de Gerência de Configuração do Curso de Especialização em Engenharia de Software da Faculdade Boa Viagem (FBV).

2003 - 2007

Fundação de Apoio ao Desenvolvimento da Universidade Federal de Pernambuco

Vínculo: Livre, Enquadramento Funcional: Instrutor

Outras informações:
- Instrutor Auxiliar nos cursos de Gerência da Configuração, Análise e Projeto Orientado a Objetos, e Ferramentas de Testes no Curso de Formação Complementar em Testes de Software.

2003 - 2004

Fundação de Apoio ao Desenvolvimento da Universidade Federal de Pernambuco

Vínculo: Colaborador, Enquadramento Funcional: Engenheiro de Software, Carga horária: 20

Outras informações:
Desenvolvimento de aplicações Web em Java para o gerenciamento e monitoramento de recursos e de alunos no Centro de Informática da UFPE.

2002 - 2003

Fundação de Apoio ao Desenvolvimento da Universidade Federal de Pernambuco

Vínculo: Colaborador, Enquadramento Funcional: Engenheiro de Testes, Carga horária: 40

Outras informações:
Bolsita do Convênio Motorola/Cin-UFPE, Unidade Cin-STP, para o desenvolvimento, execução e manutenção de procedimentos de testes para softwares embutidos em celulares da Motorola. Dentre as principais atividades executadas estão: Desenvolvimento de uma ferramenta de teste para mensagens EMS; Procedimentos de inspeção formal de artefatos de software.

Atividades

08/2003 - 07/2007
Treinamentos ministrados , Fundação de Apoio ao Desenvolvimento da Universidade Federal de Pernambuco, .,Treinamentos ministrados, - Gerência de Configuração, Curso de Formação Complementar em Análise de Testes, carga horária de 20 horas., - Introdução a ferramentas de testes, Curso de Formação Complementar em Análise de Testes, carga horária de 20 horas.

2002 - 2004

Fabrick Tecnologia da Informação Ltda

Vínculo: Livre, Enquadramento Funcional: Consultor, Carga horária: 15

Outras informações:
Consultoria e treinamento em Sistemas de Informação para a Web; Desenvolvimento e manutenção de softwares em Java.

2000 - 2002

Mobile Software Technology Ltda

Vínculo: Celetista, Enquadramento Funcional: Engenheiro de Software, Carga horária: 30

Outras informações:
Desenvolvimento de aplicações WEB na plataforma Java dentro do grupo de Recuperação e Busca do Engenho de Busca RADIX.

Atividades

03/2000 - 03/2001
Estágios , Mobile Software Technology Ltda, .,Estágio realizado, Desenvolvimento e Manutenção do sistema de indexação do engenho de busca Radix, utilizando diversas mídias, como imagens, pdfs e páginas web..

1998 - 1999

F C A Braga Industrial Mutação Tecnológica

Vínculo: Técnico em Eletrônica, Enquadramento Funcional: Técnico em Eletrônica, Carga horária: 20

Outras informações:
Desenvolvimento de equipamentos embarcados utilizando micro controladores da família 8085. Técnico responsável pelo desenvolvimento de um sistema de rastreamento automotivo, utilizando GPS, destinado para o armazenamento de rotas de veículos de manutenção pública ou de entrega de serviços privados.