Rodrigo Bonifacio de Almeida http://lattes.cnpq.br/0368311142108150

Última atualização do Lattes: 04.12.2024

Nomes de citação: BONIFACIO, Rodrigo / BONIFÁCIO, RODRIGO / ALMEIDA, RODRIGO
Mestrado: 18
Doutorado: 2
Pos-Doutorado: 0
Outras: 49
  • Software (5)+
    • Ano
      2023
      Título
      DogeFuzz: um framework extensível para estudos de fuzzing na análise dinâmica de Smart Contracts
    • Ano
      2022
      Título
      RV-Sec
    • Ano
      2018
      Título
      SVFA - Scala
    • Ano
      2008
      Título
      Hephaestus - Haskell Libraries and Tools for Variability Management
    • Ano
      2003
      Título
      FotonUCP
PINTO, GUSTAVO Paulo Borba Roberta Coelho Uirá Kulesza BORBA, PAULO CANEDO, EDNA DIAS RIBEIRO, MÁRCIO Sérgio Soares Márcio de Mederiros Ribeiro DIAS CANEDO, EDNA Vander Ramos Alves MONTEIRO, EDUARDO Fernando Castor MARCILIO, DIEGO LUCAS, WALTER Edna Dias Canedo Paulo Masiero LUZ, WELDER ACCIOLY, PAOLA GHEYI, ROHIT AMARAL, LUIS LIMA, FERNANDA GARCIA, ALESSANDRO DE OLIVEIRA, MARCOS CÉSAR MEDEIROS, ISMAEL Carla Silva TORRES, ADRIANO Carlos Lucena Guilherme Ramos et.al Valter Camargo Eduardo Figueiredo Eduardo Steiner Pedro Henrique Teixeira Costa Marcos Dósea Lucinéia Turnes Christina Chavez Alberto Costa Neto Genaina Rodrigues Fabiano Ferrari Eduardo Piveta DA SILVA, INGRID LORRAINE LUZ, WELDER PINHEIRO CARVALHO, LUIZ ASSUNÇÃO, WESLEY K. G. TIZZEI, LEONARDO P. COLANZI, THELMA ELITA MARCÍLIO, DIEGO FORTES, JOSE MEDEIROS, MARCOS KULESZA, UIRA TEIXEIRA, LEOPOLDO OLIVEIRA, NAELSON FONSECA, BALDOINO DA SILVA, JOÃO VICTOR SARAIVA, JOÃO CARVALHO, FAUSTO FERNANDES, RICARDO PALMEIRA, ALISSON LO, DAVID CARVALHO, ANTONIO AGILAR, EVERTON RIBEIRO, MARCIO COSTA, PEDRO HENRIQUE TEIXEIRA FANTIN, LUISA Carlos Pontual ADACHI, EIJI Ralf Lammel Euler Marinho Alysson Mendonça OLIVEIRA, MARCOS C. SEREBRENIK, ALEXANDER OKIMOTO, MÁRCIO VINICIUS Lyrene Silva Paulo Pires Nabor Mendonça Nélio Cacho MORAES, JOAO PEDRO SMETHURST, GUILHERME Stefan Kruger Krishna Narasimhan Eric Bodden BARBOSA, MATHEUS Idarlan Machado WIESE, IGOR ALENCAR, DANIEL OKIMOTO, MARCIO CERQUEIRA, ANDERSON MENDES, FABIANA Giselle Machado GOMES, KARINE FIGUEIREDO, THIAGO LOBÃO, GABRIEL CAMARGO, LEOMAR Mira Mezini FERREIRA CAMPOS, URIEL Otávio Lemos RODRIGUES, GENAÍNA NUNES MARTINS, HUGO Lucas Mariano WANDERLEY, FERNANDO GARCÊZ DE MOURA, PEDRO EVANGELISTA, WEUDES REIS, RAFAEL Marcos César de Oliveira Fausto Carvalho LADEIRA, MARCELO RODRIGUES, GENAÍNA N. PAIVA, RENATO SENA, DEMÓSTENES MEDEIROS DE MENDONÇA, JÔNATAS MALAQUIAS, ROMERO Edmilson Campos AMARAL, LUIS HENRIQUE VIEIRA DE FARIA, HENRIQUE MEDRADO FAZZOLINO, RAFAEL DE MELO, CARLOS EDUARDO R. Leonardo Guilherme de Freitas SILVA, URIEL Luiggi Monteiro Reffatti Igor Rafael de Sousa Anderson Campos Cardoso DANTAS, RENO Carla Castanho MEDEIROS, FLAVIO Paola Accioly RAMOS, GUILHERME N. SANTOS, GALILEU Pedro Henrique Costa BANDEIRA, IAN NERY NARASIMHAN, KRISHNA Gabriel Nascimento MENEZES, THALES DA COSTA, FRANCISCO HANDRICK João Saraiva FURIA, CARLO A. FREITAS, DAVI REBOUÇAS, MARCEL FERRAZ, CRISTIANO ABRANTES, JOILSON DE CASTRO, THIAGO MAEL LIMA, LUCAS ARAÚJO, JOÃO CALAZANS, ANGELICA TOFFANO SEIDEL CANÇADO, EMILLE CATARINE RODRIGUES OLIVEIRA, CAIO José Vicente Clavo Tafur Karina Roggia Cristiano Vasconcelos BODDEN, ERIC LEGUNSEN, OWOLABI D'AMORIM, MARCELO PASTRO, JONATA NUNES, RAFAEL CAMPOS TEIXEIRA COSTA, PEDRO HENRIQUE NERY BANDEIRA, IAN BARBOSA MOTA, ALANA PAULA RODRIGUES CANÇADO, EMILLE CATARINE QUEIROGA, PEDRO OKIMOTO, MÁRCIO MOREIRA, ANA Luciano Uchoa Mello, Rafael de Camila Carneiro Erika Lopes CASTRO, THIAGO M. FERNANDES, FABIANO CAVALCANTI FERREIRA, ALEXANDRE Alessandra Marques Marília Tavares DE OLIVEIRA, MATHEUS BARBOSA DE JESUS, GALILEU SANTOS BARBOSA, EIJI ADACHI TREUDE, CHRISTOPH SANTOS, ANDRÉ MACHADO, IVAN SOUZA, EMERSON ARANDA, MANOEL SOARES, ELVYS Cerqueira, Renato NETO, ALBERTO COSTA ALFÉREZ, MAURICIO SANT?ANNA, CLAUDIO Julio Leite BRAGA, ROSANA Flávio Delicato Leopoldo Teixeira PIRES, PAULO F. PONTUAL, CARLOS EDUARDO
Empirical methods in software engineering cryptographic API misuse detection Desenvolvimento de Software software security static analysis Software Maintenance Análise Estática Dispositivos Móveis Procecesso de Desenvolvimento de Software runtime verification Programação Orientada a Aspectos Ferramentas CASE Jogos Eletrônicos Clusterização de software API misuse Software product lines Source-code Rejuvenation Transformação de Programas Desenvolvimento de Aplicações J2EE Modularidade Engenharia de Software Empírica program analysis Fuzzing Software testing Framework Desenvolvimento de Aplicações OO Gerência de Projetos Model Driven Linha de Produto de Software Delta-oriented Programming Malware Business-to-Business requirements engineering Expressões Lambda Large Language Models bug-introducing commits Métodos Empíricos em Engenharia de Software Program Transformations Qualidade de Software computação orientada a serviços Evolução de Linguagens P2P Grounded Theory DevOps static analysis tools domain specific languages Processos de Negócio Variability management Variability modeling Unmanned Aerial Vehicles Smart Contracts Semantic Conflicts Bug Localization Conflito Semântico de Merge Social aspects of software engineering Code Snippet Mineração de Sandboxes Comunicação Mediada por Computador Tecnologia .NET Linguagem de Programação Java Use case scenarios Use scenarios Stack Overflow domain engineering Requirements specification Java Script repackaging C++ Programming Language Design Structure Matrices Mineração de repositório de software NeoIDL erlang Análise dinâmica Dynamic Analysis Symbian android platform aprendizagem de máquina Segurança em Software Design Thinking Privacy Continuous Integration Software Product Line service-oriented architecture C pre-processor Compreensão de Programas Métodos Ágeis software comprehension arquitetura de software Componentes de Software Raciocínio Baseado em Casos Web Services Arquitetura Server Push Enducação a Distância Integração entre Editoras e Livrarias Tecnologia Java merge scenarios Evolução da Linguagem Java REST co-change clusters Metaprogramming Software Rejuvenation Test smells Malware Detection Home Banking UML XSLT Software Médico Help Desk Comércio Eletrônico Processamento Digital de Imagens Portal de Turismo
CTIT UFMG