Ferrucio de Franco Rosa

Ferrucio de Franco Rosa é Tecnologista Sênior do Comando da Aeronáutica, em exercício no Centro de Tecnologia da Informação Renato Archer (CTI), e professor do Programa de Mestrado em Ciência da Computação da UNIFACCAMP. Doutor em Engenharia Elétrica, tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: Avaliação de Sistemas e Segurança da Informação.

Informações coletadas do Lattes em 29/06/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Doutorado em Engenharia Elétrica

2013 - 2018

Universidade Estadual de Campinas
Título: HCAPP-SEC: Seleção e Análise de Itens de Avaliação de Segurança Baseadas em Heurísticas e Critérios
Orientador: Mario Jino

Mestrado em Engenharia Eletrônica e Computação

2006 - 2008

Instituto Tecnológico de Aeronáutica
Título: Uma abordagem para busca de serviços web usando anotações semânticas, perfis individuais de usuário e CBR,Ano de Obtenção: 2008
José Maria Parente de Oliveira.Palavras-chave: Web Semântica; Ontologias; CBR.Grande área: Ciências Exatas e da TerraGrande Á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: Sistemas de Informação. Setores de atividade: Aeronáutica e Espaço.

Especialização em Redes de Computadores

2001 - 2002

Universidade Federal de Uberlândia
Título: Protótipo de um aplicativo para acesso a banco de dados através de dispositivos móveis utilizando WAP
Orientador: Jamil Salem Barbar

Aperfeiçoamento em Eletrotécnica

1999 - 1999

Escola Estadual Uberlândia
Título: Técnico em Eletrotécnica. Ano de finalização: 1999

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

1996 - 2000

Centro Universitário do Triângulo
Orientador: Ronaldo Castro de Oliveira

Seção coletada automaticamente pelo Escavador

Formação complementar

2014 - 2014

Auditor Interno ISO 17025. (Carga horária: 24h). , BSI Management System, BSI, Brasil.

2011 - 2011

Extensão universitária em IA369 I - Teste de Software. (Carga horária: 60h). , Universidade Estadual de Campinas, UNICAMP, Brasil.

2011 - 2011

Extensão universitária em Formação de Pesquisadores em Computação Forense. (Carga horária: 40h). , Centro de Tecnologia da Informação Renato Archer, CTI, Brasil.

2011 - 2011

Extensão universitária em Treinamento em Contra-Inteligência. (Carga horária: 40h). , Centro de Tecnologia da Informação Renato Archer, CTI, Brasil.

2011 - 2011

Extensão universitária em CT019 - Instrumentos de Política e Gestão em C,T&I. (Carga horária: 60h). , Universidade Estadual de Campinas, UNICAMP, Brasil.

2010 - 2010

Extensão universitária em Formação de Peritos em Computação Forense. (Carga horária: 40h). , Federação Brasileira de Bancos, FEBRABAN, Brasil.

2010 - 2010

Extensão universitária em Introdução à Inteligência Estratégica. (Carga horária: 40h). , Centro de Tecnologia da Informação Renato Archer, CTI, Brasil.

2009 - 2009

Extensão universitária em CT002 - Ciência, Tecnologia e Sociedade. (Carga horária: 48h). , Universidade Estadual de Campinas, UNICAMP, Brasil.

2009 - 2009

Extensão universitária em MB262 - Gerência de Projetos e Programas. (Carga horária: 48h). , Instituto Tecnológico de Aeronáutica, ITA, Brasil.

2009 - 2009

Processo de Teste de Software. (Carga horária: 8h). , Núcleo Softex Campinas, SOFTEX CAMPINAS, Brasil.

2009 - 2009

Documentação de Teste de Software. (Carga horária: 8h). , Núcleo Softex Campinas, SOFTEX CAMPINAS, Brasil.

2009 - 2009

Técnicas de Teste de Software. (Carga horária: 8h). , Núcleo Softex Campinas, SOFTEX CAMPINAS, Brasil.

2009 - 2009

Aspectos Fundamentais de Teste de Software. (Carga horária: 8h). , Núcleo Softex Campinas, SOFTEX CAMPINAS, Brasil.

2009 - 2009

Segurança da Informação. (Carga horária: 24h). , Intel - Next Generation Center, INTEL, Brasil.

2009 - 2009

Automação de Teste de Software. (Carga horária: 8h). , Núcleo Softex Campinas, SOFTEX CAMPINAS, Brasil.

2009 - 2009

Web Testing & Exploiting Workshop. (Carga horária: 16h). , Bonsai - Information Security Services, BONSAI, Brasil.

2008 - 2008

Auditor Líder ISO 27001:2005 (BS 7799). (Carga horária: 40h). , BSI Management System, BSI, Brasil.

2008 - 2008

Auditor Interno ISO 27001:2005 (BS 7799). (Carga horária: 16h). , BSI Management System, BSI, Brasil.

2007 - 2007

Sistemas de Gestão da Qualidade. (Carga horária: 24h). , Comando-geral de Tecnologia Aeroespacial, CTA, Brasil.

2007 - 2007

Capacitação Gestão de Ciência, Tecnol. e Inovação. (Carga horária: 16h). , Faculdade de Ciências Agronômicas, FCA / Unesp, Brasil.

2007 - 2007

Curso Geral sobre Propriedade Intelectual. (Carga horária: 50h). , Organização Mundial da Propriedade Intelectual, OMPI / WIPO, Suiça.

2007 - 2007

MS Project 2003 Fundamentos. (Carga horária: 20h). , People Computação LTDA, PEOPLE, Brasil.

2006 - 2006

Propriedade Intelectual p/ gestores de Tecnologia. (Carga horária: 40h). , Instituto Nacional da Propriedade Industrial, INPI, Brasil.

2006 - 2006

Visual Studio .NET Avançado. (Carga horária: 32h). , People Computação LTDA, PEOPLE, Brasil.

2005 - 2005

Sistemas de Telemetria. (Carga horária: 24h). , Centro Técnico Aeroespacial, CTA, Brasil.

2004 - 2004

Visual Studio .NET. (Carga horária: 48h). , ATPS Informática S/C LTDA, ATPS, Brasil.

2003 - 2003

Extensão universitária em CT201 - Lógica para a Ciência da Computação. (Carga horária: 48h). , Instituto Tecnológico de Aeronáutica, ITA, Brasil.

2003 - 2003

MS - SQL Server 2000. (Carga horária: 40h). , ATPS Informática S/C LTDA, ATPS, Brasil.

2002 - 2002

Extensão universitária em CT202 - Álgebra para Ciência da Computação. (Carga horária: 48h). , Instituto Tecnológico de Aeronáutica, ITA, Brasil.

2002 - 2002

Javascript. (Carga horária: 24h). , ATPS Informática S/C LTDA, ATPS, Brasil.

2002 - 2002

ASP. (Carga horária: 32h). , ATPS Informática S/C LTDA, ATPS, Brasil.

2001 - 2001

2072 - Administering the Microsoft SQL Server 2000. (Carga horária: 40h). , Microsoft, MSB, Brasil.

2001 - 2001

MicroStation & Banco de Dados. (Carga horária: 16h). , Virtual CAD Ltda., VCAD, Brasil.

2001 - 2001

Introdução ao MicroStation BASIC. (Carga horária: 16h). , Virtual CAD Ltda., VCAD, Brasil.

1999 - 1999

MicroStation 2D Básico. (Carga horária: 40h). , Virtual CAD Ltda., VCAD, Brasil.

1999 - 1999

Visual Basic. (Carga horária: 60h). , Artic Informática, ARTIC, Brasil.

1998 - 1999

Técnico em Eletrotécnica. (Carga horária: 600h). , Escola Estadual Uberlândia, EEU, Brasil.

1998 - 1998

Desenvolvimento de Supervisores de Processos. (Carga horária: 40h). , Companhia Energética de Minas Gerais S/A, CEMIG, Brasil.

1997 - 1997

Prevenção de Acidentes do Trabalho - CIPA. (Carga horária: 16h). , CEMIG - Escola de Formação e Aperfeiçoamento Profissional, EFAP, Brasil.

1997 - 1997

Introdução ao Sistema de Distribuição Básico II. (Carga horária: 200h). , CEMIG - Escola de Formação e Aperfeiçoamento Profissional, EFAP, Brasil.

1993 - 1993

Fundamentos da Qualidade Total. (Carga horária: 8h). , CEMIG - Escola de Formação e Aperfeiçoamento Profissional, EFAP, Brasil.

1991 - 1991

Eletricista de Distribuição RDA. (Carga horária: 600h). , CEMIG - Escola de Formação e Aperfeiçoamento Profissional, EFAP, Brasil.

1987 - 1987

Digitação e Introdução ao Processamento de Dados. (Carga horária: 36h). , CETIL Processamento de Dados LTDA, CETIL, Brasil.

Seção coletada automaticamente pelo Escavador

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Espanhol

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

Bandeira representando o idioma Português

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

Seção coletada automaticamente pelo Escavador

Á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: Segurança 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: Engenharia de Software.

Seção coletada automaticamente pelo Escavador

Organização de eventos

ROSA, F. F. . VI Workshop GESITI - Gestão dos Sistemas e Tecnologias da Informação. 2010. (Outro).

Carmo, Maristela Simões do ; Capanema, L.M. ; Comitre, V. ; ROSA, F. F. ; Salles Filho, Sérgio Luiz Monteiro ; GUARINO, Luiz Eduardo ; Bastos, Cândido Ricardo . Workshop Análise Prospectiva da Agência Paulista de Tecnologia dos Agronegócios. 2007. (Outro).

Souza, F. M. ; ROSA, F. F. ; KUSUMOTO, André Yoshimi ; Travassos, P. R. . II Workshop de Desenvolvimento de Aplicativos da UNIP. 2007. (Outro).

Capanema, L.M. ; ROSA, F. F. ; GUARINO, Luiz Eduardo ; Comitre, V. ; Salles Filho, Sérgio Luiz Monteiro ; Bastos, Cândido Ricardo ; Carmo, Maristela Simões do . Workshop Prospecção de demandas científicas e tecnológicas para o desenvolvimento dos agronegócios do Vale do Paraíba. 2006. (Outro).

Seção coletada automaticamente pelo Escavador

Participação em eventos

2ª Conferência Internacional de Segurança em Aplicações Web - OWASP AppSec Brasil. 2010. (Outra).

Simpósio de Aplicações Operacionais em Áreas de Defesa - SIGE.Coleta de Artefatos Maliciosos na Internet Brasileira. 2010. (Simpósio).

VI Workshop GESITI e Evento Acoplado II GESITI Saúde. 2010. (Oficina).

XXX Encontro Nacional de Engenharia de Produção. Salvaguarda de Conhecimento Sensível: Estudo de Caso na Gestão das Comunicações em Projetos Governamentais. 2010. (Congresso).

7 Seminário de Ciência, Tecnologia e Inovação de Interesse da Defesa Nacional. 2009. (Seminário).

Workshop Análise Prospectiva da Agência Paulista de Tecnologia dos Agronegócios. 2007. (Oficina).

WTDWeb: Workshop on ongoing thesis and dissertations - WebMedia.Uma abordagem para busca por serviços web usando CBR e Ontologias. 2007. (Oficina).

XIII Brazilian Symposium on Multimedia and the Web. 2007. (Simpósio).

VIII Simpósio Segurança em Informática. 2006. (Simpósio).

Workshop - Prospecção de Demandas Científicas e Tecnológicas para o Desenvolvimento do Agronegócio do Vale do Paraíba. 2006. (Outra).

III Seminário de Tecnologia da Informação do CTA (Comando-geral de Tecnologia Aeroespacial). 2005. (Seminário).

SBrT'05 - XXII Simpósio Brasileiro de Telecomunicações. 2005. (Simpósio).

Workshop "Gestão da Documentação Pública": A responsabilidade do Administrador na gestão da documentação pública. 2005. (Outra).

III Seminário de Gestão do Conhecimento em Educação e Tecnologia da Informação. 2004. (Seminário).

II TecEAD - II Seminário Nacional de Tecnologia para EAD.Uso de Wap em EAD. 2002. (Seminário).

V Mostra de Software do II Simpósio de Informática da UNITRI (Centro Unviersitário do Triângulo). 2000. (Simpósio).

II Convenção Regional do CCQ (Círculo de Controle da Qualidade).Aplicação de fundamentos de Qualidade Total na DT/UL(M) - Distribuição Triângulo, área de manutenção. 1999. (Outra).

VI Encontro de Desdobramento QTC (Qualidade Total CEMIG). 1997. (Encontro).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Hebert de Oliveira Silva

Moraes, R.L.O.; Montecchi, L.;ROSA, F. F.. Uma abordagem baseada em anonimização para privacidade de dados em plataformas analíticas. 2019. Dissertação (Mestrado em TECNOLOGIA) - Universidade Estadual de Campinas.

Aluno: Emerson Rezende Mendes

ROSA, F. F.; COSTA, I. C.; COSTA, A. D.. Uma Abordagem Tridimensional de Rubricas para Estudos e Avaliações. 2011. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Instituto Tecnológico de Aeronáutica.

Aluno: Luis Antonio de Almeida Rodriguez

ROSA, F. F.; Souza, F. M.; COSTA, A. D.. Uma Ferramenta para Construção de Ontologias a partir de Histórias de Uso. 2011. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Instituto Tecnológico de Aeronáutica.

Aluno: Andrade, Elaine Aparecida et al

SANTOS, M. V.;ROSA, F. F.; Pereira, Vaniza. .Chassi Indústria e Comércio LTDA. 2007. Trabalho de Conclusão de Curso (Graduação em Administração de Empresas) - Universidade Paulista.

Aluno: Fonseca, Rodrigo Menezes

Ishisaki, Norio;ROSA, F. F.; Morais, Guaraci Lima. EMPLANEJ Planejamento Construtora e Incorporadora LTDA - Projeto de Otimização da Produção e Redução de Desperdícios - POPRD. 2007. Trabalho de Conclusão de Curso (Graduação em Administração de Empresas) - Universidade Paulista.

Aluno: Carneiro, Janaina Pereira

Oliveira, A. L. H. M.;ROSA, F. F.; Ishisaki, M. L. M.. MARS Brasil. 2007. Trabalho de Conclusão de Curso (Graduação em Administração de Empresas) - Universidade Paulista.

Aluno: Rafael Siqueira Sousa et al

Florentino, E.; Briguente, F. P.;ROSA, F. F.. .Otimização dos processos estratégicos visando a eficácia gerencial na Capri Magazine utilizando a TI (Tecnologia da Informação) como ferramenta de suporte. 2007. Trabalho de Conclusão de Curso (Graduação em Administração de Empresas) - Universidade Paulista.

Aluno: Israel Cordeiro Rocha

HEMERLY, E. M.; LEITE, N. P. O.;ROSA, F. F.. Desenvolvimento de Aplicativo para Trajetografia GPS diferencial com Pseudodistâncias. 2007. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto Tecnológico de Aeronáutica.

Aluno: Santos, Daniele Aparecida do Prado et al

ROSA, F. F.; Ishisaki, Norio. .Qualidade de vida no trabalho: uma proposta de melhoria de gestão de pessoas em uma empresa de automação industrial. 2006. Trabalho de Conclusão de Curso (Graduação em Administração de Empresas) - Universidade Paulista.

Aluno: Zocchio, Elaine Ulrich Fernandes et al

ROSA, F. F.; Roceli, Roseli Maria. .Análise da viabilidade da exportação de cadeiras de madeira para piscina pela marcenaria Costa Flores LTDA. 2006. Trabalho de Conclusão de Curso (Graduação em Administração de Empresas) - Universidade Paulista.

Aluno: Guedes, Ana Paula Castilho et al

ROSA, F. F.; Ishisaki, Norio. .Implementação de Data Warehouse em um operador logístico. 2006. Trabalho de Conclusão de Curso (Graduação em Administração de Empresas) - Universidade Paulista.

Aluno: Molinari, Anderson de Oliveira et al

ROSA, F. F.; Morais, Guaraci Lima. .Redução de custos e tempo de entrega na importação. 2006. Trabalho de Conclusão de Curso (Graduação em Administração de Empresas) - Universidade Paulista.

Aluno: David, Cátia Regina et al

ROSA, F. F.; Marinho, Antonio Luiz Fernandes. .Gestão de Processos de Manufatura na empresa Freundenberg Não-Tecidos LTDA. 2005. Trabalho de Conclusão de Curso (Graduação em Administração de Empresas) - Universidade Paulista.

Aluno: Rodrigues, Marimilia Diniz et al

ROSA, F. F.; Oliveira, Newton. .Consórcio de Exportação: Uma proposta de Internacionalização para uma pequena empresa do setor de máquinas e aquipamentos. 2005. Trabalho de Conclusão de Curso (Graduação em Administração de Empresas) - Universidade Paulista.

Aluno: Oliveira, Ademir Benigno de et al

ROSA, F. F.; Marinho, Antonio Luiz Fernandes. .Plano de Melhoria na empresa CELPEX Indústria e Comércio LTDA - Implantação da Gerência de Exportação. 2005. Trabalho de Conclusão de Curso (Graduação em Administração de Empresas) - Universidade Paulista.

Aluno: Saldanha, Ana Paula Pereira et al

ROSA, F. F.; Marinho, Antonio Luiz Fernandes. .Redução de Custos através do melhor aproveitamento da cadeia logística - A nacionalização de materiais. 2005. Trabalho de Conclusão de Curso (Graduação em Administração de Empresas) - Universidade Paulista.

Aluno: Godoi, Celio Ricardo de et al

ROSA, F. F.; Oliveira, Newton. .Elaboração de Plano de Melhoria na empresa J. Macêdo S/A. 2005. Trabalho de Conclusão de Curso (Graduação em Administração de Empresas) - Universidade Paulista.

ROSA, F. F.; BONACIN, R.; BALCAO FILHO, A. F.. Concurso Público para o cargo de Técnico da Carreira de Ciência e Tecnologia. 2012. Centro de Tecnologia da Informação Renato Archer.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Jansen Rubens da Silva

SILVA, J. R.. A Análise Orientada a Objetos e sua Aplicação na Engenharia de Software. 2000. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário do Triângulo.

Germano de Souza kienbaum

HIRATA, Celso Massaki; OLIVEIRA, J. M. P.; FERNANDES, Clovis Torres;KIENBAUM, G. S.. Uma Abordagem para a Busca de Serviços WEB Usando Anotações Semânticas, Perfis Individuais de Usuários e CBR. 2008. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Ivan Luiz Marques Ricarte

JINO, M.WESTPHALL, C. M.; YANO, E. T.;RICARTE, I. L. M.ATTUX, R. R. F.. HCapp-Sec: Seleção e análise de itens de avaliação de segurança baseadas em heurísticas e critérios. 2018. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Ivan Luiz Marques Ricarte

JINO, M.RICARTE, I. L. M.ATTUX, R. R. F.. Arquitetura conceitual para avaliação de segurança de sistemas de informação. 2015. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Estadual de Campinas.

José Maria Parente de Oliveira

HIRATA, C. M.PARENTE DE OLIVEIRA, J. M.FERNANDES, C. T.; KIENBAUM, G. S.. Uma Abrodagem para Busca de Serviços Web Usando Anotações Semânticas, Perfis Individuais de Usuários e CBR. 2008. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Romis Ribeiro de Faissol Attux

JINO, M.; WESTPHALL, C. M.; YANO, E. T.; RICARTE, I. L. M.;ATTUX, R. R. F.. HCApp-Sec: Seleção e Análise de Itens de Avaliação de Segurança Baseadas em Heurísticas e Critérios. 2018. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Romis Ribeiro de Faissol Attux

JINO, M.; RICARTE, I. L. M.;ATTUX, R. R. F.. Arquitetura Conceitual para Avaliação de Segurança de Sistemas de Informação. 2015. Exame de qualificação (Doutorando em Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Celso Massaki Hirata

HIRATA, C. M.. UMA ABORDAGEM PARA BUSCA DE SERVIÇOS WEB USANDO ANOTAÇÕES SEMÂNTICAS, PERFIS INDIVIDUAIS DE USUÁRIOS E CBR. 2008. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Seção coletada automaticamente pelo Escavador

Orientou

Ricardo Resende de Mendonça

Recuperação de Postagens com Intenções de Atos Criminosos em Redes Sociais; 2020; Dissertação (Mestrado em Ciência da Computação) - Centro Universitário Campo Limpo Paulista, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Ferrucio de Franco Rosa;

Luiz Antonio Lima Teixeira Junior

Teste de Segurança de Software: Ferramenta de Software para Geração de Critérios de Teste de Segurança; 2015; Orientação de outra natureza - Centro de Tecnologia da Informação Renato Archer, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ferrucio de Franco Rosa;

Edson Corrêa Teracine

Tecnologia de Avaliação de Segurança de Software; 2013; Orientação de outra natureza - Centro de Tecnologia da Informação Renato Archer, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ferrucio de Franco Rosa;

Celso Penteado de Barros

Modelo para Base de Conhecimento de Segurança; 2013; Orientação de outra natureza - Centro de Tecnologia da Informação Renato Archer, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ferrucio de Franco Rosa;

Asp

Of; Eng; Israel Cordeiro Rocha; DESENVOLVIMENTO DE APLICATIVO PARA TRAJETOGRAFIA GPS DIFERENCIAL COM PSEUDODISTÂNCIAS; 2007; Orientação de outra natureza; (Engenharia de Computação) - Instituto Tecnológico de Aeronáutica; Orientador: Ferrucio de Franco Rosa;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Ronaldo Castro de Oliveira

A Análise Orientada a Obetos e sua Aplicação na Engenharia de Software; 2000; 0 f; Trabalho de Conclusão de Curso; (Graduação em Curso de Ciência da Computação) - Centro Universitário do Triângulo; Orientador: Ronaldo Castro de Oliveira;

José Maria Parente de Oliveira

Uma abordagem para busca de serviços web usando anotações semânticas, perfis individuais de usuário e CBR; 2008; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: José Maria Parente de Oliveira;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • MENDONCA, R. R. ; BRITO, D. F. ; ROSA, F. F. ; REIS, J. C. ; BONACIN, R. . A Framework for Detecting Intentions of Criminal Acts in Social Media: A Case Study on Twitter. INFORMATION , v. 11, p. 1-40, 2020.

  • ROSA, FERRUCIO DE FRANCO ; Jino, Mario ; BUENO, PAULO MARCOS SIQUEIRA ; BONACIN, RODRIGO . Applying heuristics to the selection and prioritisation of security assessment items in software assessment: the case of ISO/IEC 27001 the case of ISO/IEC 27001. ACTA IMEKO , v. 8, p. 12-20, 2019.

Seção coletada automaticamente pelo Escavador

Outras produções

ROSA, F. F. . Member of the Program Committee (Semantic Technologies in Smart Information Sharing and Web Collaboration). 2020.

ROSA, F. F. . Especificação, Desenvolvimento e Manutenção do Site da empresa SERTRIM Com. Serv. LTDA. 2001.

ROSA, F. F. ; GUARINO, Luiz Eduardo . SIAPRO - Sistema de Apoio à Prospecção de Demandas. 2006.

ROSA, F. F. . GIRAFA - Aplicativo com interface gráfica para criptografia de arquivos. 2006.

ROSA, F. F. ; GUARINO, Luiz Eduardo ; KUSUMOTO, André Yoshimi . Processo de Desenvolvimento de Sistemas do Grupo Especial de Ensaios em Vôo. 2006.

ROSA, F. F. ; BONACIN, R. ; JINO, M. . The Security Assessment Domain: A Survey of Taxonomies and Ontologies. 2017.

ROSA, F. F. . Conjunto de Características, Critérios, Condições Mínimas e Medidas para Auditoria de Segurança da Informação em Programas e Equipamentos. 2015.

ROSA, F. F. . Modelo de Governança para a Auditoria de Segurança da Informação em Programas e Equipamentos. 2015.

ROSA, F. F. ; DUARTE, L. O. ; KAWAKAMI, H. ; BALCAO FILHO, A. F. . Relatório de Análise de Patentes. 2009.

ROSA, F. F. ; DUARTE, L. O. . Relatório de Acompanhamento da Execução do Plano de Testes. 2009.

BALCAO FILHO, A. F. ; DUARTE, L. O. ; MONTES FILHO, A. ; ROSA, F. F. . Relatório sobre os requisitos. 2008.

DUARTE, L. O. ; BALCAO FILHO, A. F. ; MONTES FILHO, A. ; ROSA, F. F. . Relatório sobre os mecanismos. 2008.

DUARTE, L. O. ; BALCAO FILHO, A. F. ; MONTES FILHO, A. ; ROSA, F. F. . Sinopse sobre as normas. 2008.

DUARTE, L. O. ; BALCAO FILHO, A. F. ; MONTES FILHO, A. ; ROSA, F. F. . Projeto dos testes. 2008.

DUARTE, L. O. ; BALCAO FILHO, A. F. ; MONTES FILHO, A. ; ROSA, F. F. . Relatório sobre os testes - RPA. 2008.

DUARTE, L. O. ; BALCAO FILHO, A. F. ; MONTES FILHO, A. ; ROSA, F. F. . Projeto dos testes públicos. 2008.

ROSA, F. F. ; KUSUMOTO, André Yoshimi ; PEDRO, Fátima Aparecida ; TRISTÃO, Jefferson ; TADANO, Jorge ; SOUZA, Lucas Benedito de ; GUARINO, Luiz Eduardo ; LEITE, Nelson Paiva de Oliveira ; PLOVAS, Ronaldo ; LIMA, Wagner de Oliveira . Projeto Integração. 2004.

ROSA, F. F. . SOA e web Services. 2009. (Desenvolvimento de material didático ou instrucional - Aula em disciplina de Pós-Graduação).

ROSA, F. F. . Web Services Semânticos. 2008. (Desenvolvimento de material didático ou instrucional - Aula em disciplina de Pós-Graduação).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2015 - Atual

    Framework para geração de conjunto de critérios de teste de segurança de software., Descrição: Projeto de Segurança de Sistemas de Informação: Pesquisa e Capacitação em Segurança de Sistemas de Informação.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (2) . , Integrantes: Ferrucio de Franco Rosa - Coordenador / Amandio Ferreira Balcao Filho - Integrante / Luiz Antonio Lima Teixeira Junior - Integrante / Mario Jino - Integrante., Número de orientações: 1

  • 2008 - 2010

    Avaliação do sistema eletrônico de votação brasileiro do ponto de vista de segurança, Descrição: Projeto de pesquisa que envolve o desenvolvimento de metodologia de análise de riscos para sistemas eleitorais eletrônicos; o desenvolvimento de técnicas para o levantamento de vulnerabilidades técnicas em sistemas eleitorais eletrônicos; o desenvolvimento de metodologia para o mapeamento de processos de desenvolvimento de softwares de urna. Formalização no CTI: PRJ02.74 - Contratação de serviços técnicos para auxílio no aprimoramento tecnológico do sistema eletrônico de votação. Função: Coordenação de Projeto. PRJ04.40 - Serviços de Engenharia para Análises Técnicas nas Urnas Eletrônicas e Outros Componentes do Sistema Eletrônico de Votação. Função: Execução Técnico-científica.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (2) . , Integrantes: Ferrucio de Franco Rosa - Integrante / Antonio Montes Filho - Integrante / Amandio Ferreira Balcao Filho - Coordenador / Luiz Otávio Duarte - Integrante.

  • 2006 - 2007

    Desenvolvimento de Modelo Institucional para o Fortalecimento da Estrutura da Pesquisa Pública do Agronegócio do Estado de São Paulo, Descrição: objetivo do trabalho é desenvolver e aplicar um modelo institucional para o fortalecimento da estrutura de pesquisa pública do Estado de São Paulo, destinado à Agência Paulista de Tecnologia dos Agronegócios (APTA). Pretende-se realizar essa pesquisa, como experiência piloto, no Pólo Regional de Desenvolvimento Tecnológico dos Agronegócios do Vale do Paraíba, com sede em Pindamonhangaba e abrangência de trinta e nove municípios. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ferrucio de Franco Rosa - Integrante / Luiz Eduardo Guarino - Integrante / Luiza M. Capanema - Integrante / Valéria Comitre - Integrante / Maristela Simões do Carmo - Coordenador / Cândido Ricardo Bastos - Integrante / Sérgio Luiz Monteiro Salles Filho - Integrante / Sandra Maria Pereira da Silva - Integrante / Rui Henrique Pereira Leite de Albuquerque - Integrante / Irenilza de Alencar Nääs - Integrante / Elias José Simon - Integrante / José Matheus Yalenti Perosa - Integrante / Agliberto do Socorro Chagas - Integrante / Paule Jeanne Vieira Mendes - Integrante / Paulo Rogério Palma de Oliveira - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Secretaria de Agricultura e Abastecimento do Estado de São Paulo - Auxílio financeiro.

  • 2005 - 2007

    Prospecção de Demandas de Pesquisa para o Pólo Regional do Vale do Paraíba da Agência Paulista de Tecnologia dos Agronegócios, Descrição: O projeto proposto refere-se a um levantamento prospectivo de demandas de pesquisa para o Pólo Regional de Desenvolvimento Tecnológico dos Agronegócios do Vale do Paraíba, cujo objetivo é contribuir para o desenvolvimento regional considerando-se as variáveis econômicas, sociais, ambientais e vocacionais da região. Com o trabalho de prospecção de demandas para o Pólo, pretende-se atender parte das propostas contidas no Plano Diretor da Instituição, contribuindo, assim, para a elaboração de um modelo de pesquisa orientado para o usuário e com isso, criar condições que permitam o fortalecimento de alianças na identificação de problemas e na elaboração de projetos em P&D pautados na realidade regional.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ferrucio de Franco Rosa - Integrante / Luiz Eduardo Guarino - Integrante / Luiza M. Capanema - Coordenador / Valéria Comitre - Integrante / Maristela Simões do Carmo - Integrante / Cândido Ricardo Bastos - Integrante / Sérgio Luiz Monteiro Salles Filho - Integrante., Financiador(es): Secretaria de Agricultura e Abastecimento do Estado de São Paulo - Auxílio financeiro / Fundação de Apoio à Pesquisa Agrícola - Auxílio financeiro., Número de produções C, T & A: 3

Seção coletada automaticamente pelo Escavador

Projetos de desenvolvimento

  • 2007 - 2008

    Desenvolvimento e Integração de Sistema de Controle para Telemetria de Aeronaves, Descrição: 1 - Desenvolvimento e Integrção de um novo Sistema de Aquisição, Processamento e Distribuição de Dados em Tempo Real para a Estação de Fixa de Telemetria e para a Estação Móvel de Telemetria com microcomputadores genéricos. 2 - Desenvolvimento, integração e testes de ferramentas de apoio a decisão em tempo real para aplicação nas campanhas de ensaios em vôo de aeronaves. 3 - Capacitação de RH no desenvolvimento de aplicações em tempo real. Este sistema será utilizado nas campanhas de ensaios em vôo de desenvolvimento e certificação de aeronaves e sistemas aeronáuticos, bem como nos ensaios em vôo de formação de pilotos e engenheiros de ensaios em vôo que cursam o Curso de Ensaios em Vôo (CEV) nas modalidades de asas rotativas e fixas, para o COMAER e para as Indústrias do setor aeronáutico (i.e. EMBRAER). Todas as ferramentas de apoio a decisão serão ajustadas e testadas especialmente para possibilitar a otimização do desenvolvimento de aeronaves militares e sistemas de defesa, atendendo comitantemente os objetivos do GEEV e da EMBRAER.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ferrucio de Franco Rosa - Integrante / Nelson Paiva de Oliveira Leite - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2007 - 2008

    Desenvolvimento e Integração de Sistema de Controle para Telemetria de Aeronaves, Descrição: 1 - Desenvolvimento e Integrção de um novo Sistema de Aquisição, Processamento e Distribuição de Dados em Tempo Real para a Estação de Fixa de Telemetria e para a Estação Móvel de Telemetria com microcomputadores genéricos. 2 - Desenvolvimento, integração e testes de ferramentas de apoio a decisão em tempo real para aplicação nas campanhas de ensaios em vôo de aeronaves. 3 - Capacitação de RH no desenvolvimento de aplicações em tempo real. Este sistema será utilizado nas campanhas de ensaios em vôo de desenvolvimento e certificação de aeronaves e sistemas aeronáuticos, bem como nos ensaios em vôo de formação de pilotos e engenheiros de ensaios em vôo que cursam o Curso de Ensaios em Vôo (CEV) nas modalidades de asas rotativas e fixas, para o COMAER e para as Indústrias do setor aeronáutico (i.e. EMBRAER). Todas as ferramentas de apoio a decisão serão ajustadas e testadas especialmente para possibilitar a otimização do desenvolvimento de aeronaves militares e sistemas de defesa, atendendo comitantemente os objetivos do GEEV e da EMBRAER.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ferrucio de Franco Rosa - Integrante / Nelson Paiva de Oliveira Leite - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2007 - 2008

    Desenvolvimento e Integração de Sistema de Controle para Telemetria de Aeronaves, Descrição: 1 - Desenvolvimento e Integrção de um novo Sistema de Aquisição, Processamento e Distribuição de Dados em Tempo Real para a Estação de Fixa de Telemetria e para a Estação Móvel de Telemetria com microcomputadores genéricos. 2 - Desenvolvimento, integração e testes de ferramentas de apoio a decisão em tempo real para aplicação nas campanhas de ensaios em vôo de aeronaves. 3 - Capacitação de RH no desenvolvimento de aplicações em tempo real. Este sistema será utilizado nas campanhas de ensaios em vôo de desenvolvimento e certificação de aeronaves e sistemas aeronáuticos, bem como nos ensaios em vôo de formação de pilotos e engenheiros de ensaios em vôo que cursam o Curso de Ensaios em Vôo (CEV) nas modalidades de asas rotativas e fixas, para o COMAER e para as Indústrias do setor aeronáutico (i.e. EMBRAER). Todas as ferramentas de apoio a decisão serão ajustadas e testadas especialmente para possibilitar a otimização do desenvolvimento de aeronaves militares e sistemas de defesa, atendendo comitantemente os objetivos do GEEV e da EMBRAER.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ferrucio de Franco Rosa - Integrante / Nelson Paiva de Oliveira Leite - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2007 - 2008

    Desenvolvimento e Integração de Sistema de Controle para Telemetria de Aeronaves, Descrição: 1 - Desenvolvimento e Integrção de um novo Sistema de Aquisição, Processamento e Distribuição de Dados em Tempo Real para a Estação de Fixa de Telemetria e para a Estação Móvel de Telemetria com microcomputadores genéricos. 2 - Desenvolvimento, integração e testes de ferramentas de apoio a decisão em tempo real para aplicação nas campanhas de ensaios em vôo de aeronaves. 3 - Capacitação de RH no desenvolvimento de aplicações em tempo real. Este sistema será utilizado nas campanhas de ensaios em vôo de desenvolvimento e certificação de aeronaves e sistemas aeronáuticos, bem como nos ensaios em vôo de formação de pilotos e engenheiros de ensaios em vôo que cursam o Curso de Ensaios em Vôo (CEV) nas modalidades de asas rotativas e fixas, para o COMAER e para as Indústrias do setor aeronáutico (i.e. EMBRAER). Todas as ferramentas de apoio a decisão serão ajustadas e testadas especialmente para possibilitar a otimização do desenvolvimento de aeronaves militares e sistemas de defesa, atendendo comitantemente os objetivos do GEEV e da EMBRAER.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ferrucio de Franco Rosa - Integrante / Nelson Paiva de Oliveira Leite - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2007 - 2008

    Desenvolvimento e Integração de Sistema de Controle para Telemetria de Aeronaves, Descrição: 1 - Desenvolvimento e Integrção de um novo Sistema de Aquisição, Processamento e Distribuição de Dados em Tempo Real para a Estação de Fixa de Telemetria e para a Estação Móvel de Telemetria com microcomputadores genéricos. 2 - Desenvolvimento, integração e testes de ferramentas de apoio a decisão em tempo real para aplicação nas campanhas de ensaios em vôo de aeronaves. 3 - Capacitação de RH no desenvolvimento de aplicações em tempo real. Este sistema será utilizado nas campanhas de ensaios em vôo de desenvolvimento e certificação de aeronaves e sistemas aeronáuticos, bem como nos ensaios em vôo de formação de pilotos e engenheiros de ensaios em vôo que cursam o Curso de Ensaios em Vôo (CEV) nas modalidades de asas rotativas e fixas, para o COMAER e para as Indústrias do setor aeronáutico (i.e. EMBRAER). Todas as ferramentas de apoio a decisão serão ajustadas e testadas especialmente para possibilitar a otimização do desenvolvimento de aeronaves militares e sistemas de defesa, atendendo comitantemente os objetivos do GEEV e da EMBRAER.. , Situação: Concluído; Natureza: Desenvolvimento.

  • 2007 - 2008

    Desenvolvimento e Integração de Sistema de Controle para Telemetria de Aeronaves, Descrição: 1 - Desenvolvimento e Integrção de um novo Sistema de Aquisição, Processamento e Distribuição de Dados em Tempo Real para a Estação de Fixa de Telemetria e para a Estação Móvel de Telemetria com microcomputadores genéricos. 2 - Desenvolvimento, integração e testes de ferramentas de apoio a decisão em tempo real para aplicação nas campanhas de ensaios em vôo de aeronaves. 3 - Capacitação de RH no desenvolvimento de aplicações em tempo real. Este sistema será utilizado nas campanhas de ensaios em vôo de desenvolvimento e certificação de aeronaves e sistemas aeronáuticos, bem como nos ensaios em vôo de formação de pilotos e engenheiros de ensaios em vôo que cursam o Curso de Ensaios em Vôo (CEV) nas modalidades de asas rotativas e fixas, para o COMAER e para as Indústrias do setor aeronáutico (i.e. EMBRAER). Todas as ferramentas de apoio a decisão serão ajustadas e testadas especialmente para possibilitar a otimização do desenvolvimento de aeronaves militares e sistemas de defesa, atendendo comitantemente os objetivos do GEEV e da EMBRAER.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ferrucio de Franco Rosa - Integrante / Nelson Paiva de Oliveira Leite - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2007 - 2008

    Desenvolvimento e Integração de Sistema de Controle para Telemetria de Aeronaves, Descrição: 1 - Desenvolvimento e Integrção de um novo Sistema de Aquisição, Processamento e Distribuição de Dados em Tempo Real para a Estação de Fixa de Telemetria e para a Estação Móvel de Telemetria com microcomputadores genéricos. 2 - Desenvolvimento, integração e testes de ferramentas de apoio a decisão em tempo real para aplicação nas campanhas de ensaios em vôo de aeronaves. 3 - Capacitação de RH no desenvolvimento de aplicações em tempo real. Este sistema será utilizado nas campanhas de ensaios em vôo de desenvolvimento e certificação de aeronaves e sistemas aeronáuticos, bem como nos ensaios em vôo de formação de pilotos e engenheiros de ensaios em vôo que cursam o Curso de Ensaios em Vôo (CEV) nas modalidades de asas rotativas e fixas, para o COMAER e para as Indústrias do setor aeronáutico (i.e. EMBRAER). Todas as ferramentas de apoio a decisão serão ajustadas e testadas especialmente para possibilitar a otimização do desenvolvimento de aeronaves militares e sistemas de defesa, atendendo comitantemente os objetivos do GEEV e da EMBRAER.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ferrucio de Franco Rosa - Integrante / Nelson Paiva de Oliveira Leite - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2007 - 2008

    Desenvolvimento e Integração de Sistema de Controle para Telemetria de Aeronaves, Descrição: 1 - Desenvolvimento e Integrção de um novo Sistema de Aquisição, Processamento e Distribuição de Dados em Tempo Real para a Estação de Fixa de Telemetria e para a Estação Móvel de Telemetria com microcomputadores genéricos. 2 - Desenvolvimento, integração e testes de ferramentas de apoio a decisão em tempo real para aplicação nas campanhas de ensaios em vôo de aeronaves. 3 - Capacitação de RH no desenvolvimento de aplicações em tempo real. Este sistema será utilizado nas campanhas de ensaios em vôo de desenvolvimento e certificação de aeronaves e sistemas aeronáuticos, bem como nos ensaios em vôo de formação de pilotos e engenheiros de ensaios em vôo que cursam o Curso de Ensaios em Vôo (CEV) nas modalidades de asas rotativas e fixas, para o COMAER e para as Indústrias do setor aeronáutico (i.e. EMBRAER). Todas as ferramentas de apoio a decisão serão ajustadas e testadas especialmente para possibilitar a otimização do desenvolvimento de aeronaves militares e sistemas de defesa, atendendo comitantemente os objetivos do GEEV e da EMBRAER.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ferrucio de Franco Rosa - Integrante / Nelson Paiva de Oliveira Leite - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

  • 2007 - 2008

    Desenvolvimento e Integração de Sistema de Controle para Telemetria de Aeronaves, Descrição: 1 - Desenvolvimento e Integrção de um novo Sistema de Aquisição, Processamento e Distribuição de Dados em Tempo Real para a Estação de Fixa de Telemetria e para a Estação Móvel de Telemetria com microcomputadores genéricos. 2 - Desenvolvimento, integração e testes de ferramentas de apoio a decisão em tempo real para aplicação nas campanhas de ensaios em vôo de aeronaves. 3 - Capacitação de RH no desenvolvimento de aplicações em tempo real. Este sistema será utilizado nas campanhas de ensaios em vôo de desenvolvimento e certificação de aeronaves e sistemas aeronáuticos, bem como nos ensaios em vôo de formação de pilotos e engenheiros de ensaios em vôo que cursam o Curso de Ensaios em Vôo (CEV) nas modalidades de asas rotativas e fixas, para o COMAER e para as Indústrias do setor aeronáutico (i.e. EMBRAER). Todas as ferramentas de apoio a decisão serão ajustadas e testadas especialmente para possibilitar a otimização do desenvolvimento de aeronaves militares e sistemas de defesa, atendendo comitantemente os objetivos do GEEV e da EMBRAER.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Ferrucio de Franco Rosa - Integrante / Nelson Paiva de Oliveira Leite - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

Seção coletada automaticamente pelo Escavador

Prêmios

2009

Medalha Militar de Bronze, Grupo Especial de Ensaios em Vôo / Comando-Geral de Tecnologia Aeroespacial.

2008

Auditor Líder ISO 27001:2005 (BS 7799), BSI Management System. Com acreditação do IRCA (International Register of Certified Auditors).

2007

Honorable Mention - International Collegiate Programming Contest (COACH), ACM - Association for Computing Machinery.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Centro de Tecnologia da Informação Renato Archer, Coordenação-Geral de Projetos e Serviços - CGPS. , Rodovia Dom Pedro I, km 143,6, Amarais, 13069901 - Campinas, SP - Brasil, Telefone: (19) 37466017

Seção coletada automaticamente pelo Escavador

Experiência profissional

2016 - Atual

Centro de Tecnologia da Informação Renato Archer

Vínculo: Servidor Público, Enquadramento Funcional: Tecnologista Sênior, Carga horária: 40

2008 - 2016

Centro de Tecnologia da Informação Renato Archer

Vínculo: Servidor Público, Enquadramento Funcional: Tecnologista Pleno, Carga horária: 40

Atividades

  • 03/2017

    Conselhos, Comissões e Consultoria, Direção, .,Cargo ou função, Comissão Permanente para conduzir processo de Avaliação de Desempenho de Servidores Públicos, com vistas à progressão e promoção funcional. Portaria CTI 049/2017. Função: Coordenador Adjunto..

  • 03/2017

    Conselhos, Comissões e Consultoria, Direção, .,Cargo ou função, Subcomissão Permanente de Acompanhamento da Avaliação de Desempenho de Servidores Públicos - SubCAD. Portaria CTI 048/2017. Função: Membro..

  • 12/2016

    Pesquisa e desenvolvimento , Coordenação-Geral de Projetos e Serviços - CGPS, .,Linhas de pesquisa

  • 01/2014 - 02/2017

    Conselhos, Comissões e Consultoria, DSSI - Divisão de Segurança de Sistemas de Informação, .,Cargo ou função, Comitê Especial para conduzir processo de Avaliação de Desempenho de Servidores Públicos, com vistas à progressão e promoção funcional. Portaria CTI 114/2014. Função: Membro..

  • 11/2013 - 02/2017

    Conselhos, Comissões e Consultoria, DSSI - Divisão de Segurança de Sistemas de Informação, .,Cargo ou função, Subcomissão Permanente de Acompanhamento da Avaliação de Desempenho - SubCAD. Portaria CTI 109/2013. Função: Membro..

  • 02/2015 - 11/2016

    Pesquisa e desenvolvimento , DSSI - Divisão de Segurança de Sistemas de Informação, .,Linhas de pesquisa

  • 09/2012 - 02/2015

    Direção e administração, DSSI - Divisão de Segurança de Sistemas de Informação, .,Cargo ou função, Chefe de Divisão.

  • 02/2008 - 02/2015

    Pesquisa e desenvolvimento , DSSI - Divisão de Segurança de Sistemas de Informação, .,Linhas de pesquisa

  • 01/2014 - 12/2014

    Conselhos, Comissões e Consultoria, DSSI - Divisão de Segurança de Sistemas de Informação, .,Cargo ou função, Grupo de Trabalho visando conduzir os novos procedimentos do processo de avaliação de desempenho, com vistas à progressão funcional e promoção dos servidores do CTI. Portaria CTI 96/2014. Função: Membro..

  • 01/2013 - 12/2013

    Conselhos, Comissões e Consultoria, DSSI - Divisão de Segurança de Sistemas de Informação, .,Cargo ou função, Comissão Especial para elaborar o Plano Diretor de Tecnologia da Informação - PDTI. Portaria 19/2013. Função: Membro..

  • 01/2013 - 12/2013

    Conselhos, Comissões e Consultoria, DSSI - Divisão de Segurança de Sistemas de Informação, .,Cargo ou função, Comissão Interna Especial para Análise e Pronunciamento sobre Processos de Concessão de Gratificação de Qualificação (GQ) para servidores públicos. Portaria CTI 23/2013. Função: Vice-Coordenador..

  • 01/2013 - 12/2013

    Conselhos, Comissões e Consultoria, DSSI - Divisão de Segurança de Sistemas de Informação, .,Cargo ou função, Comissão Interna para acompanhamento do processo de avaliação de desempenho de metodologia transitória e específica para o primeiro ciclo. Portaria CTI 10/2013. Função: Membro..

  • 01/2012 - 12/2013

    Conselhos, Comissões e Consultoria, DSSI - Divisão de Segurança de Sistemas de Informação, .,Cargo ou função, Grupo de Trabalho para analisar a documentação dos candidatos nomeados para os cargos pertencentes ao Plano de Carreiras para a área de Ciência e Tecnologia, classificados nos concursos públicos do CTI do ano de 2012. Portaria: 94/2012. Função: Membro..

  • 12/2011 - 08/2012

    Direção e administração, DSSI - Divisão de Segurança de Sistemas de Informação, .,Cargo ou função, Chefe Substituto.

2019 - Atual

CENTRO UNIVERSITÁRIO CAMPO LIMPO PAULISTA

Vínculo: Bolsista, Enquadramento Funcional: Professor

Outras informações:
Professor do Programa de Pós-graduação em Ciência da Computação

Atividades

  • 02/2020

    Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Engenharia de Software

  • 02/2019

    Pesquisa e desenvolvimento , Programa de Mestrado em Ciência da Computação, .,Linhas de pesquisa

2009 - Atual

Instituto Tecnológico de Aeronáutica

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

Outras informações:
LECTON - GRUPO DE PESQUISA EM WEB SEMÂNTICA E MÉTODOS FORMAIS. As pesquisas do grupo de estudos seguem duas linhas principais: Web Semântica e Métodos Formais. No que se refere à Web Semântica, busca-se cada vez mais apoiar a construção de sistemas e aplicações para a Web, em que significados são tornados explícitos, de tal forma a que máquinas possam processar e integrar recursos da Web. Sistemas baseados e contextos e web services semânticos são exemplos importantes da relevância dessa linha de investigação. A segunda linha de pesquisa se insere no contexto de desenvolvimento de software, em que métodos formais envolvem a especificação formal, a análise e a comprovação da especificação, o desenvolvimento transformacional e a verificação de programas. Para tanto, esses métodos se baseiam em conceitos matemáticos da lógica e da álgebra, que oferecem como benefício imediato a descoberta de erros de especificação e a apresentação da especificação sem ambigüidades. Nos sistemas em que falhas precisam ser evitadas, o emprego de métodos formais é ainda mais justificável. Em conseqüência, o uso de métodos formais vem aumentando em áreas especializadas de desenvolvimento de sistemas críticos, em que propriedades como confiabilidade e proteção são importantes. Alguns exemplos de sistemas críticos nos quais métodos formais foram aplicados com sucesso são os seguintes: Sistema de Informação de Controle de Tráfego Aéreo, Sistemas de Sinalização de Estradas de Ferro, Sistemas de Naves Espaciais e Sistemas de Controle Médico. Nota-se uma crescente demanda pela certificação de garantia de correção, segurança e qualidade desses sistemas críticos. A verificação de formal de programas visa garantir a segurança e certificação de programas. Maiores Informações: http://dgp.cnpq.br/buscaoperacional/detalhegrupo.jsp?grupo=7693103K1DNU4F. Home page: http://lecton.wikidot.com/

Atividades

  • 03/2009

    Pesquisa e desenvolvimento , Reitoria, Pós-Graduação.,Linhas de pesquisa

2006 - 2008

Comando-Geral de Tecnologia Aeroespacial

Vínculo: Servidor Público, Enquadramento Funcional: Tecnologista Pleno - Ciência da Computação, Carga horária: 40

Atividades

  • 01/2006 - 02/2008

    Pesquisa e desenvolvimento , Grupo Especial de Ensaios em Vôo, .,Linhas de pesquisa

  • 01/2006 - 02/2008

    Serviços técnicos especializados , Grupo Especial de Ensaios em Vôo, .,Serviço realizado, Análise e especificação de sistemas..

2005 - 2011

Universidade Paulista

Vínculo: Celetista formal, Enquadramento Funcional: Professor Assistente, Carga horária: 12

Atividades

  • 02/2006 - 02/2008

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Redes de Computadores, Técnicas em Ambientes de Programação, Transmissão de Dados

  • 08/2005 - 02/2008

    Ensino, Administração de Empresas, Nível: Graduação,Disciplinas ministradas, Administração de Sistemas de Informação, Tecnologia da Informação Aplicada à Administração, Tecnologias da Informação

  • 08/2007 - 11/2007

    Outras atividades técnico-científicas , Campus São José dos Campos, Campus São José dos Campos.,Atividade realizada, Responsável pela equipe da unidade na Maratona de Programação.

  • 02/2006 - 12/2006

    Ensino, Secretariado Executivo Bilíngüe, Nível: Graduação,Disciplinas ministradas, Fundamentos de Informática

2002 - 2005

Centro Técnico Aeroespacial

Vínculo: Servidor Público, Enquadramento Funcional: Tecnologista Pleno - Ciência da Computação, Carga horária: 40

Atividades

  • 04/2002 - 12/2005

    Pesquisa e desenvolvimento , Instituto de Aeronáutica e Espaço - IAE, .,Linhas de pesquisa

  • 04/2002 - 12/2005

    Serviços técnicos especializados , Instituto de Aeronáutica e Espaço - IAE, .,Serviço realizado, Modelagem de processos e dados de sistemas computacionais voltados para a atividade de ensaio em vôo..

2002 - 2002

Empresa de Tecnologia e Informações da Previdência Social

Vínculo: Celetista, Enquadramento Funcional: Analista de Tecnologia da Informação, Carga horária: 40

Atividades

  • 01/2002 - 03/2002

    Serviços técnicos especializados , Centro de Tratamento da Informação - CT/DF, .,Serviço realizado, Desenvolvimento/manutenção de site para intranet..

2000 - 2001

SERTRIM Com. Serv. Ltda

Vínculo: Autônomo, Enquadramento Funcional: Consultor de Informática, Carga horária: 10

Outras informações:
Contrato de Prestação de Serviços na área de Informática como Consultor Autônomo. Serviços de implantação e manutenção de rede de computadores e especificação e desenvolvimento do Site da emprea.

1991 - 2001

Companhia Energética de Minas Gerais S/A

Vínculo: Celetista, Enquadramento Funcional: Téc. Industrial - Eletrotécnica/Informática, Carga horária: 40

Atividades

  • 03/1999 - 10/2001

    Serviços técnicos especializados , Engenharia Planejamento e Projetos de Distribuição de Energia- EP/TA, .,Serviço realizado, Desenvolvimento/manutenção de sistemas relacionados com a área de engenharia. Suporte de rede corporativa..

  • 03/1999 - 10/2001

    Serviços técnicos especializados , Engenharia Planejamento e Projetos de Distribuição de Energia- EP/TA, .,Serviço realizado, Coordenação da Proteção do Sistema Elétrico de Distribuição.

  • 03/1999 - 10/2001

    Serviços técnicos especializados , Engenharia Planejamento e Projetos de Distribuição de Energia- EP/TA, .,Serviço realizado, Estudos para expansão e melhoria do sistema elétrico de distribuição.

  • 07/1996 - 03/1999

    Serviços técnicos especializados , Engenharia - Manutenção do Sistema Elétrico de Distribuição, .,Serviço realizado, Operação e Manutenção de Rede de Distribuição Subterrânea (RDS).

  • 11/1996 - 02/1998

    Conselhos, Comissões e Consultoria, Região de Distribuição de Uberlândia - DT/UL, .,Cargo ou função, Membro de Comissão Interna de Prevenção de Acidentes - CIPA.

  • 07/1994 - 07/1996

    Serviços técnicos especializados , Engenharia - Manutenção do Sistema Elétrico de Distribuição, .,Serviço realizado, Operação e Manutenção de Rede de Distribuição Aérea (RDA).

  • 01/1992 - 07/1994

    Serviços técnicos especializados , Engenharia - Comercialização de Energia (Distribuição), .,Serviço realizado, Medição de Energia em RDA, RDR e RDS.

  • 03/1991 - 12/1991

    Serviços técnicos especializados , Engenharia - Manutenção do Sistema Elétrico de Distribuição, .,Serviço realizado, Estágio - Aprendiz CEMIG-SENAI (Eletrotécnica - Distribuição).