Especialistas Seniores em Covid-19 com atuação no Brasil

Marcio de Medeiros Ribeiro

Márcio Ribeiro é Professor Adjunto do Instituto de Computação da Universidade Federal de Alagoas (UFAL). É Doutor em Ciência da Computação pela Universidade Federal de Pernambuco (2012), Mestre em Ciência da Computação pela mesma universidade (2008) e Bacharel em Ciência da Computação pela Universidade Federal de Alagoas (2005). Durante o Mestrado participou do projeto de pesquisa Brazil Test Center em parceria com a Motorola do Brasil, onde ganhou o prêmio de membro destaque de 2007. Durante o Doutorado teve sua proposta premiada como a melhor do Simpósio de Doutorado de uma das conferências mais importantes do mundo na área de sistemas e linguagens de programação (ACM SIGPLAN Object-Oriented Programming, Systems, Languages and Applications - OOPSLA), o que lhe rendeu o prêmio John Vlissides Award, sendo o primeiro brasileiro contemplado com tal prêmio. A ferramenta de seu Doutorado ficou em Primeiro Lugar na Sessão de Ferramentas do Congresso Brasileiro de Software (CBSoft 2011). Sua Tese de Doutorado foi também considerada a melhor do Brasil em Computação de 2012, prêmio concedido durante o Concurso de Teses de Dissertações (CTD) no Congresso Brasileiro da Sociedade Brasileira de Computação (CSBC 2013). A tese encontra-se publicada em um Livro da editora Springer. Integra o corpo docente permanente do Programa de Pós-Graduação em Informática (PPGI) da UFAL. Foi Vice-Coordenador do programa por dois anos. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: Famílias e Linhas de Produtos de Software, Engenharia de Software Empírica, Refatoramento e Testes de Software. Publicou artigos em periódicos e conferências nacionais e internacionais de destaque, tais como TSE, TOSEM, EMSE, IST, JSS, ICSE, ESEC/FSE, PLDI, ECOOP, AOSD/Modularity, ICSME, ICST, SANER, SPLC, GPCE, ICPC, ESEM, EASE, ISSRE e GECCO. Foi Coordenador Geral do Congresso Brasileiro de Software (CBSoft 2014), realizado na cidade de Maceió-AL. Organizou e participou do comitê do ICSE 2017 PhD and Young Researchers Warm Up Symposium, simpósio com o objetivo de preparar alunos de Doutorado para submeterem artigos competitivos para a conferência ICSE. Foi o Chair do Comitê de Programa do Simpósio Brasileiro de Componentes, Arquiteturas e Reúso de Software (SBCARS 2017). Em 2021, será Chair do Comitê de Programa do Simpósio Brasileiro de Engenharia de Software (SBES 2021). Já integrou/integra o Comitê de Programa de "top-ranked conferences" como OOPSLA, ECOOP e ASE. Foi Palestrante Especial do Simpósio Brasileiro de Qualidade de Software (SBQS 2016). Colabora com vários pesquisadores no Brasil (UFCG, UFPE, PUC-Rio, UnB, USP, UFSCar) e no exterior (Alemanha, EUA, Canadá, Dinamarca e Portugal). Executa também projetos na área de Energias Renováveis, sendo destaque na mídia Alagoana (impressa e TV) e rendendo audiências com o então Ministro de Ciência e Tecnologia (MCTI) em busca de recursos. Márcio é o idealizador, criador e desenvolvedor do aplicativo Aglomerações, um aplicativo que permite o registro e o rastreamento de aglomerações de pessoas. O aplicativo foi criado durante a pandemia do COVID-19. Milhares de downloads do aplicativo foram registrados nas lojas Google Play e App Store. Além disso, o aplicativo ganhou destaque na imprensa alagoana e nacional e foi utilizado em 25 estados do Brasil e o Distrito Federal, além de dois outros países, i.e., Portugal e Suécia. Mais sobre Márcio pode ser encontrado em https://www.ic.ufal.br/marcio/ (Texto informado pelo autor)

  • https://lattes.cnpq.br/9300936571715992 (08/09/2021)
  • Rótulo/Grupo:
  • Bolsa CNPq: Nível 2
  • Período de análise:
  • Endereço: Universidade Federal de Alagoas, Instituto de Computação. Campus A. C. Simões - Av. Lourival Melo Mota, s/n, Cidade Universitária Cidade Universitária 57072900 - Maceió, AL - Brasil Telefone: (82) 32141401 Ramal: 1826 URL da Homepage: https://www.ic.ufal.br/professor/marcio/
  • Grande área: Ciências Exatas e da Terra
  • Área: Ciência da Computação
  • Citações: Google Acadêmico

Produção bibliográfica

Produção técnica

Produção artística

Orientações em andamento

Supervisões e orientações concluídas

Projetos de pesquisa

Prêmios e títulos

Participação em eventos

Organização de eventos

Lista de colaborações

Produção bibliográfica

Produção técnica

Produção artística

Orientações em andamento

Supervisões e orientações concluídas

Projetos de pesquisa

  • Total de projetos de pesquisa (11)
    1. 2020-Atual. FAPEAL/FAPESP - Validacao de Aplicacoes para Cidades Inteligentes: Uma Abordagem Baseada em Defeitos
      Descrição: Contexto: Aplicações para Cidades Inteligentes já são uma realidade para diversos domínios críticos como transporte e mobilidade urbana, saúde, residências, e segurança pública, dentre outros. Por exemplo, tecnologias para o controle de tráfego ajudam a reduzir o tempo no trânsito em grandes cidades; porém, falhas em tempos semafóricos, por exemplo, podem causar acidentes, trazendo sérios danos à população e elevando o nível de desconfiança em relação a essas tecnologias. Assim, essas aplicações precisam ser robustas e corretas. A despeito disso, observa-se que técnicas atuais para se implementar tais atributos de qualidade focam em partes específicas dos sistemas (por exemplo, nas redes de sensores) ou não são suficientemente refinadas para serem aplicadas em nível de código fonte. Objetivo: Definir uma abordagem baseada em defeitos, contemplando-se técnicas de tolerância a de- feitos e teste de mutação, para o desenvolvimento e a validação de aplicações para Cidades Inteligentes, com foco nos domínios de mobilidade urbana e gestão de tráfego. Método: Será construído um catá- logo de tipos de defeitos, erros e falhas inerentes a esses sistemas. O catálogo embasará a definição de abordagens de tolerância a defeitos e de teste de mutação para o contexto investigado. Ferramental de apoio (injeção de erros, e teste de mutação) será desenvolvido e integrado entre si, e também integrado em um simulador de aplicações para Cidades Inteligentes. Estudos experimentais serão conduzidos para avaliar e refinar as abordagens e ferramentas propostas. Resultados Esperados: Contribuições teóricas (catálogo de tipos de defeitos, erros e falhas; e as abordagens de tolerância a defeitos e de teste de mutação), de automatização (ferramentas) e experimentais (resultados de estudos de avaliação), as quais promovem avanço no desenvolvimento de aplicações para Cidades Inteligentes e contribuem para a transferência tenológica academia-indústria nesse importante domínio de sistemas computacionais. (Valor aproximado: R$ 75.000,00). Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (5) Doutorado: (2) . Integrantes: Márcio de Medeiros Ribeiro - Coordenador / Fabiano Ferrari - Integrante / Baldoino Fonseca - Integrante / GHEYI, ROHIT - Integrante / Francisco Dalton - Integrante / Auri Vincenzi - Integrante / Pedro Pinheiro - Integrante / OFFUTT, JEFF - Integrante / André Aquino - Integrante / Bento Siqueira - Integrante / Kathiani Souza - Integrante / Valter Camargo - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de Alagoas - Auxílio financeiro.
      Membro: Marcio de Medeiros Ribeiro.
    2. 2019-Atual. Universal/CNPq - Faixa B - Um Catalogo de Refatoramentos para Remover Fraquezas em Sistemas Configuraveis e Linhas de Produtos de Software Baseados em Pre-Processadores
      Descrição: Para implementar variabilidade em sistemas configuráveis e linhas de produtos de software, muitos desenvolvedores da indústria utilizam pré-processadores. Entretanto, apesar de ser um mecanismo simples, o uso de pré-processadores pode trazer problemas de legibilidade e entendimento de código, além de susceptibilidade à introdução de fraquezas, tais como memory leaks, resource leaks, buffer overflows, ponteiros nulos e variáveis não inicializadas. Uma fraqueza de memory leak, por exemplo, pode diminuir a quantidade de memória disponível no sistema, fazendo com que sua performance fique inaceitável ou até mesmo fazendo com que ele pare de funcionar. No contexto de sistemas configuráveis e linhas de produtos (que podem facilmente conter milhões de diferentes combinações de produtos), fraquezas são bastante difíceis de encontrar e corrigir, pois só se descobre-as quando exercitando produtos que possuem a configuração de features problemática. Desta maneira, estas fraquezas podem ser descobertas muito tardiamente (em dias, semanas ou até anos), aumentando o esforço dos desenvolvedores e diminuindo a produtividade. Assim sendo, esse projeto consiste em investigar fraquezas introduzidas em sistemas configuráveis e linhas de produtos de software implementados com pré-processadores, propor e avaliar um catálogo de refatoramentos e implementar um suporte ferramental para remover tais fraquezas automaticamente. Para tanto, sistemas configuráveis e linhas de produtos de software reais serão analisados para melhor entender e dimensionar o problema. Após essa análise, as formas como os desenvolvedores introduzem fraquezas serão documentadas para, posteriormente, servir de entrada para a criação de um catálogo de refatoramentos para remover tais fraquezas. Após isso, uma ferramenta será implementada para automatizar a aplicação do catálogo. Nossa hipótese é que, com a ferramenta, os desenvolvedores terminarão tarefas de identificação, entendimento e remoção de fraquezas em menos tempo e com maior qualidade. Para avaliar essa hipótese e entender os benefícios e limitações da ferramenta, este projeto também realizará estudos empíricos. Em particular, pretende-se realizar entrevistas com desenvolvedores bem como utilizar um dispositivo de Eye Tracking, que possibilita um melhor entendimento de como o desenvolvedor está realizando tarefas de manutenção de código. (Valor aproximado: R$ 40.000,00). Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) / Doutorado: (2) . Integrantes: Márcio de Medeiros Ribeiro - Coordenador / Baldoino Fonseca - Integrante / GHEYI, ROHIT - Integrante / Francisco Dalton - Integrante / Christian Kästner - Integrante / Sven Apel - Integrante / Larissa Braz - Integrante / Andrzej Wasowski - Integrante / FERNANDES, LEONARDO - Integrante / Marcio Augusto Guimarães - Integrante / Pedro Pinheiro - Integrante / José Carlos Viana - Integrante / MEDEIROS, FLAVIO - Integrante / Fernando Oliveira - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
      Membro: Marcio de Medeiros Ribeiro.
    3. 2017-2018. FAPEAL - Suporte a Manutencao de Familias de Sistemas atraves de Anotacoes de Pre-Processamento Disciplinadas
      Descrição: Gerenciar variabilidade pode trazer um ganho competitivo para as empresas de software. Nesse contexto, elas podem produzir famílias de sistemas, software similares mas que, ao mesmo tempo, possuem peculiaridades específicas para cada um de seus clientes. Na indústria, para lidar com essas variabilidades, muitos desenvolvedores utilizam pré-processadores. Todavia, apesar de simples, o uso de pré-processadores pode trazer problemas de legibilidade e entendimento de código e susceptibilidade a erros sutis. Isso acontece especialmente quando os desenvolvedores anotam o código das features de maneira não disciplinada, i.e., quando anotam pedaços de um mesmo comando em diferentes diretivas de compilação condicional. Para minimizar problemas de legibilidade e introdução de erros sutis causados por anotações não disciplinadas, este projeto tem por objetivo geral propor, implementar e avaliar suporte ferramental a refatoramentos para discipliná-las. Em outras palavras, nosso plano consiste em, inicialmente, descobrir, através de estudos empíricos em dezenas de sistemas reais open source, padrões de anotações não disciplinadas que causam problemas. Ao encontrar estes padrões, iremos propor e implementar uma ferramenta para realizar refatoramentos automáticos para disciplinar anotações. O plano também prevê a avaliação deste suporte ferramental em termos de estudos empíricos e experimentos controlados. Nossa hipótese é que, disciplinar anotações pode melhorar a legibilidade e entendimento do código, ajudando os desenvolvedores a evitarem problemas causados por anotações não disciplinadas e contribuindo para a melhoria na manutenção de software, alcançando melhores níveis de produtividade sem comprometer a qualidade. (Valor aproximado: R$ 25.000,00). Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (1) . Integrantes: Márcio de Medeiros Ribeiro - Coordenador / GHEYI, ROHIT - Integrante / Francisco Dalton - Integrante / Melina Mongiovi - Integrante / Sarah Nadi - Integrante / Sven Apel - Integrante / Larissa Braz - Integrante / Romero Malaquias - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de Alagoas - Auxílio financeiro.
      Membro: Marcio de Medeiros Ribeiro.
    4. 2017-Atual. CAPES/PGCI - Modern Refactoring
      Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (2) . Integrantes: Márcio de Medeiros Ribeiro - Integrante / Hyggo Oliveira de Almeida - Integrante / GHEYI, ROHIT - Coordenador / Melina Mongiovi - Integrante / Gustavo Soares - Integrante / Larissa Braz - Integrante / Volker Stolz - Integrante. Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.
      Membro: Marcio de Medeiros Ribeiro.
    5. 2014-2018. DEVASSES: DEsign, Verification and Validation of large-scale, dynamic Service SystEmS
      Descrição: The DEVASSES project aims at taking a step forward in the design and deployment of large-scale, dynamic service-based software systems by supporting the transfer of knowledge on novel state of the art methods, techniques, and tools for both design time and run time verification and validation. The goal is to reinforce existing partners cooperation through a coordinated program of exchange of researchers, taking as context a common research problem, which provides the frame for the project scientific activities and cannot currently be tackled by any of the partners individually. The project includes joint research activities, focused training activities, and joint workshops, designed to exploit complementary expertise and to create synergies among the partners, establishing the basis for sustainable future cooperation at different levels, including: co-advising of PhD candidates, joint organization of international events (workshops, conferences, summer schools, etc.), participation in bilateral project proposals, participation in large-scale international project proposals, etc. Situação: Concluído; Natureza: Pesquisa. Integrantes: Márcio de Medeiros Ribeiro - Integrante / Baldoino Fonseca - Integrante / Cecília Rubira - Integrante / Eliane Martins - Integrante / Regina Lúcia de Oliveira Moraes - Integrante / Marco Vieira - Coordenador / Andrea Bondavalli - Integrante.
      Membro: Marcio de Medeiros Ribeiro.
    6. 2014-2018. FAPEAL - Sistema de Irrigacao Automatico e Autossustentavel para a Regiao do Semiarido Alagoano que Margeia o Canal do Sertao
      Descrição: O objetivo deste projeto consiste em desenvolver uma alternativa sustentável e inovadora para a agricultura irrigada em culturas de interesse regional, através do desenvolvimento de protótipo de sistema de irrigação automatizado em escala reduzida, que pode ser implantado também em locais onde há dificuldade de instalação de linhas de distribuição, buscando melhorar os índices de desenvolvimento humano das comunidades nordestina, em especial das famílias que vivem às margens do canal do sertão no semiárido alagoano. Como a energia nas áreas que margeiam o canal é praticamente inexistente, o projeto busca a utilização de fontes energia renováveis, i.e., solar e eólica.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Márcio de Medeiros Ribeiro - Integrante / Davi Bibiano - Integrante / Dacio Rocha Brito - Coordenador / Gilberto da Cruz Gouveia Neto - Integrante / Joilson Batista de Almeida Rego - Integrante.
      Membro: Marcio de Medeiros Ribeiro.
    7. 2014-2017. Universal/CNPq - Faixa A - Disciplinando Anotacoes de Pre-processamento para Evitar Erros Sintaticos e Semanticos Durante a Manutencao de Familias e Linhas de Produtos de Software
      Descrição: Gerenciar variabilidade pode trazer um ganho competitivo para as empresas de desenvolvimento de software. Para implementar variabilidade em famílias e linhas de produtos de software, muitos desenvolvedores da indústria utilizam pré-processadores. Entretanto, apesar de ser um mecanismo simples, o uso de pré-processadores pode trazer problemas de legibilidade e entendimento de código, além de susceptibilidade à introdução de erros sutis. Em particular, esses problemas são agravados quando os desenvolvedores utilizam anotações de pré-processamento de maneira não disciplinada, isto é, quando as diretivas englobam apenas parte de uma unidade sintática da linguagem C, como parte da condição de um comando if. Dessa maneira, o objetivo deste projeto consiste em investigar os problemas causados por anotações não disciplinadas, propor, implementar e avaliar suporte ferramental a refatoramentos para discipliná-las. Para tanto, famílias de linhas de produtos de software reais serão analisadas afim de entender e melhor dimensionar o problema. Após essa análise, uma ferramenta para realizar refatoramentos automáticos para disciplinar tais anotações será implementada e, por fim, avaliada através de estudos estudos empíricos e controlados. (Valor aproximado: R$ 21.000,00).. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (2) . Integrantes: Márcio de Medeiros Ribeiro - Coordenador / Claus Brabrand - Integrante / BORBA, PAULO - Integrante / Baldoino Fonseca - Integrante / MEDEIROS, FLÁVIO - Integrante / GHEYI, ROHIT - Integrante / Christian Kästner - Integrante / Iran Rodrigues - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
      Membro: Marcio de Medeiros Ribeiro.
    8. 2013-2016. RHAE/CNPq - Sistema de Learning Analytics para Avaliacao de Aprendizado de Alunos em Programacao de Computadores
      Descrição: The Huxley é uma ferramenta web que permite a alunos submeterem código em diversas linguagens de programação como respostas a exercícios de uma base de centenas de problemas. Para cada submissão, o aluno recebe feedback da correção automática pelo sistema através de análise sintática do código e testes de aceitação, sendo direcionado para conteúdo de suporte no caso de erros. Além dos alunos, os professores também são grandes beneficiados com o processo. Com o aumento do número de alunos em instituições de ensino, professores de Programação de Computadores são obrigados a investir grandes esforços na concepção de exercícios e, principalmente, na correção dos mesmos. Ainda que se utilizem monitores, trata-se de uma tarefa árdua e que, aos poucos, torna-se pouco personalizada de acordo com a real necessidade dos alunos quanto mais alunos, menos personalizado o tratamento. Com o The Huxley, o professor tem uma visão mais analítica e fidedigna do desempenho de seus alunos, incluindo a quantidade de problemas resolvidos, porcentagem de acertos/erros, tipos de problemas com mais erros, detecção de plágio e erros específicos de cada aluno. Em outras palavras, o professor passa a atacar de forma mais eficaz os problemas peculiares de aprendizado dos alunos, em vez de consumir seu tempo com a atividade de correção. A grande lacuna na versão atual do produto, identificada através das diversas interações com os professores usuários das diversas instituições, é que a heurística de análise do The Huxley é muito focada em quantidade de exercícios, de acordo com o nível de dificuldade de cada problema. Porém, várias perguntas de extrema importância para uma análise qualitativa de desempenho por parte dos professores não são respondidas: Qual o erro mais comum ao se utilizar determinada estrutura de um programa (for, while, etc)? Quais tipos de exercício têm mais acertos em uma primeira tentativa? Qual a evolução, dia a dia, de cada aluno em relação aos demais do mesmo grupo e em relação aos demais no sistema The Huxley? Como tornar mais eficaz a atribuição da nota de um aluno, levando em conta quantidade, a qualidade e o nível de dificuldade dos exercícios? Como obter a partir de um conjunto de exercícios, notas sobre conceitos específicos (uso de estruturas de repetição, alocação de memória, etc)? As perguntas acima, dentre várias outras relacionadas, são de extrema importância para a informação do professor sobre a suas turmas de alunos, permitindo direcionar melhor o ensino para o algo mais personalizado, considerando a necessidade de cada um, mas ainda sem sobrecarga de trabalho. Além disso, as respostas viabilizam uma avaliação por conceito, condizente com a estrutura atual de atribuição de notas dentro do currículo e do sistema acadêmico de cada instituição. Há diversas técnicas de análise estatística e mineração de dados, incluindo mineração de texto, que podem ser utilizadas para a avaliação de aprendizado. Várias técnicas de Learning Analytics estão disponíveis na literatura, mas que precisam ser adaptadas para aplicação no The Huxley. Para este trabalho, que envolve pesquisa e desenvolvimento, são indispensáveis profissionais com nível de mestrado. Como resultado do projeto, espera-se um sistema completo de análise de aprendizado integrado ao The Huxley, tornando-o uma ferramenta indispensável a professores e alunos de Programação em Computadores, o que trará o diferencial e a inovação necessários à introdução e massificação do produto no mercado. Situação: Concluído; Natureza: Pesquisa. Integrantes: Márcio de Medeiros Ribeiro - Integrante / Rodrigo de Barros Paes - Coordenador.
      Membro: Marcio de Medeiros Ribeiro.
    9. 2013-Atual. PROCAD/CAPES - CARECO - Sistemas de Recomendacao para Manutencao Colaborativa de Software
      Descrição: O objetivo deste projeto entitulado CAReCo: Cooperação Acadêmica em Sistemas de Recomendação para Manutenção Colaborativa de Software é investigar como sistemas de recomendação podem apoiar efetivamente as tarefas de manutenção de software e contornar as limitações mencionadas anteriormente. Este objetivo será alcançado através de cooperações entre especialistas com atuação destacada em cada uma das áreas relevantes e que fazem parte das instituições integrantes PUC-Rio, UFAL, UFCG e UFAM. A equipe do projeto é formada por pesquisadores de Programas de Pós-graduação nestas quatro instituições, localizadas em três diferentes regiões do país: Sudeste, Nordeste e Norte. Além disso, cada um dos Programas possuem diferentes níveis de maturidade, tanto com relação aos seus cursos de Mestrado, como os de Doutorado. O coordenador geral é o Prof. Carlos José Pereira de Lucena (bolsista produtividade nível 1A do CNPq), que possui ampla experiência na coordenação de projetos multi-institucionais. Os coordenadores das três equipes de IES associadas são pesquisadores de excelente produtividade, com reconhecimento nacional e internacional em suas áreas de atuação bem como ampla experiência na condução de projetos. As contribuições técnicas esperadas do projeto CAReCo são: (i) sistemas de recomendação para auxiliar manutenção colaborativa de sistemas de software, (ii) métodos que apóiem avaliação da qualidade de uso de sistemas de recomendação, (iii) novos mecanismos de colaboração, integrados a ambientes de desenvolvimento, para agilizar atividades de manutenção de software, (iv) aplicação de técnicas avançadas de inteligência artificial e banco de dados para desenvolvimento de sistemas de recomendação que apoiem a manutenção colaborativa de software e (v) projeto e avaliação de sistemas de recomendação para apoio ao ensino e aprendizagem de manutenção de software. As contribuições acadêmicas esperadas deste projeto são: (i) fortalecimento da cooperação existente entre pesquisadores dos Programas de Pós-Graduação emergentes da Computação UFAL, UFCG e UFAM e pesquisadores de um Programa de Pós-Graduação mais maduro PUC-Rio; (ii) fortalecimento destes Programas de Pós-Graduação emergentes; (iii) promoção do intercâmbio regional de pesquisa em diferentes áreas importantes da Ciência da Computação, a serem envolvidas no projeto, tais como: Engenharia de Software, Interação Humano-Computador, Inteligência Artificial, Bancos de Dados e Sistemas Colaborativos; (iv) atração de candidatos em potencial para concursos nas instituições de pesquisa e ensino dos Programas de Pós-Graduação emergentes envolvidos; (v) aumento da produtividade de todos os Programas envolvidos; (vi) construção de uma rede cooperativa de pesquisa para alavancar o ensino, a pesquisa e o desenvolvimento nas áreas citadas acima em regiões fora do eixo RJ-SP. Esta rede cooperativa deve promover uma maior interação e mobilização de pesquisadores e estudantes de Graduação e Pós-Graduação para a solução de novos desafios científico-tecnológicos. A histórica inserção internacional do Programa da PUC-Rio também contribuira para o aumento da internacionalização dos outros Programas participantes do projeto CAReCo. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (20) Doutorado: (10) . Integrantes: Márcio de Medeiros Ribeiro - Integrante / Evandro de Barros Costa - Integrante / Hyggo Oliveira de Almeida - Integrante / Leandro Dias - Integrante / Baldoino Fonseca - Integrante / GHEYI, ROHIT - Integrante / Carlos Lucena - Coordenador / Alessandro Garcia - Integrante / Tayana Conte - Integrante / Altigram Silva - Integrante.
      Membro: Marcio de Medeiros Ribeiro.
    10. 2011-2014. Universal/CNPq - Modularizacao Emergente para Linhas de Produtos de Software
      Descrição: Linhas de Produto de Software (LPS) permitem o desenvolvimento de produtos adaptados às peculiaridades de clientes específicos, com agilidade e custos reduzidos, sem comprometer qualidade. Para garantir as vantagens dessa abordagem, o suporte linguístico para estruturar variações em LPS é essencial. No entanto, o uso desses mecanismos linguísticos pode facilitar o desenvolvimento ou manutenção de uma feature mas, ao mesmo tempo, pode levar a dificuldades para manutenção de outras. A separação virtual de preocupações (Virtual Separation of Concerns ou VSoC) tenta reduzir esse problema através da possibilidade de esconder o código de features. Assim, há um certo ganho em manutenção, mas não em reuso e modularidade. De fato, desenvolvedores não têm nenhuma informação sobre as features escondidas e podem introduzir defeitos nelas que, potencialmente, têm elementos, como métodos e variáveis, em comum com a feature sendo modificada. Por esses motivos, durante a realização deste projeto nós pretendemos propor, formalizar, implementar, e avaliar suporte ao desenvolvimento e evolução modulares de features em LPS desenvolvidas com técnicas de variação como compilação condicional e aspectos. Assim, iremos implementar o conceito de modularização emergente de features, que suportará, sob demanda, a inferência de contratos (interfaces) entre implementações de features, contendo informações essenciais para permitir o desenvolvimento e evolução independentes de uma dada feature e, consequentemente, alcançando modularidade de fato. A nossa hipótese é que a inferência de interfaces entre features ajudará a alcançar melhores níveis de produtividade e qualidade, e a efetivamente raciocinar sobre features apenas com base em suas interfaces. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (3) . Integrantes: Márcio de Medeiros Ribeiro - Integrante / Paulo Borba - Coordenador / Sergio Soares - Integrante / Leopoldo Teixeira - Integrante / Társis Tolêdo - Integrante / Fernando Castor - Integrante / Marcelo d'Amorim - Integrante.
      Membro: Marcio de Medeiros Ribeiro.
    11. 2010-2012. PROBRAL/CAPES - Suporte Linguistico para o Desenvolvimento de Linhas de Produtos de Software
      Descrição: Linguagens orientadas a ob jetos (OO) não suportam o paradigma de Linhas de Produtos de maneira apropriada; seus mecanismos de modularidade e variação não atendem às necessidades do desenvolvimento de linhas de produtos. Para reduzir tais problemas, muitas técnicas foram criadas, tais como colaborações, tipos virtuais, linguagens orientadas a aspectos, etc. Entretanto, cada um desses mecanismos têm suas próprias limitações. Desta maneira, o principal objetivo deste pr jeto é analisar e propor soluções para tais limitações, oferecendo melhor suporte linguístico para desenvolvimento de linhas de produtos de software, e trazendo maior produtividade e qualidade para o desenvolvimento e manutenção de linhas de produtos. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (3) . Integrantes: Márcio de Medeiros Ribeiro - Integrante / Paulo Borba - Coordenador / Rodrigo Bonifácio - Integrante / Carlos Eduardo Pontual - Integrante / Vaidas Gasiunas - Integrante / Mira Mezini - Integrante. Financiador(es): Darmstadt University of Technology - Cooperação / Deutscher Akademischer Austauschdienst - Auxílio financeiro.
      Membro: Marcio de Medeiros Ribeiro.

Prêmios e títulos

  • Total de prêmios e títulos (25)
    1. Distinguished Reviewer do XXXIV Simpósio Brasileiro de Engenharia de Software (SBES 2020), SBC.. 2020.
      Membro: Márcio de Medeiros Ribeiro.
    2. Melhor Artigo do XXXIV Simpósio Brasileiro de Engenharia de Software (SBES 2020), com F. Kenji, G. Pinto, S. Soares, I. Wiese, SBC.. 2020.
      Membro: Márcio de Medeiros Ribeiro.
    3. Bolsista de Produtividade do CNPq - Nível 2 (2019 - 2022), Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq).. 2019.
      Membro: Márcio de Medeiros Ribeiro.
    4. Distinguished Reviewer do XXXIII Simpósio Brasileiro de Engenharia de Software (SBES 2019), SBC.. 2019.
      Membro: Márcio de Medeiros Ribeiro.
    5. Professor Homenageado da Turma 21 da Residência em Testes de Software do convênio CIn / UFPE / Motorola, Motorola., Motorola.. 2019.
      Membro: Márcio de Medeiros Ribeiro.
    6. Prêmio de Excelência Acadêmica (PIBIC/CNPq) para o orientando Luiz Matheus de Alencar Carvalho, CNPq.. 2018.
      Membro: Márcio de Medeiros Ribeiro.
    7. Melhor Artigo do III Simpósio Brasileiro de Teste de Software Sistemático e Automatizado (SAST 2018), Mutation Operators for Code Annotations, com P. Pinheiro, L. Fernandes, B. Fonseca, Sociedade Brasileira de Computação (SBC).. 2018.
      Membro: Márcio de Medeiros Ribeiro.
    8. Professor Homenageado da Turma 20 da Residência em Testes de Software do convênio CIn / UFPE / Motorola, Motorola., Motorola.. 2018.
      Membro: Márcio de Medeiros Ribeiro.
    9. Professor Homenageado da Turma 19 da Residência em Testes de Software do convênio CIn / UFPE / Motorola, Motorola.. 2017.
      Membro: Márcio de Medeiros Ribeiro.
    10. Palestrante Especial do XV Simpósio Brasileiro de Qualidade de Software (SBQS 2016). https://sbqs.com.br/o-evento/palestras/evoluindo-sistemas-configuraveis-baseados-em-pre-processadores, Sociedade Brasileira de Computação (SBC).. 2016.
      Membro: Márcio de Medeiros Ribeiro.
    11. Bolsista de Produtividade do CNPq - Nível 2 (2016 - 2018), Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq).. 2016.
      Membro: Márcio de Medeiros Ribeiro.
    12. Professor Homenageado da Turma 18 da Residência em Testes de Software do convênio CIn / UFPE / Motorola, Motorola.. 2016.
      Membro: Márcio de Medeiros Ribeiro.
    13. Artigo indicado como um dos melhores da 15th International Conference on Generative Programming: Concepts & Experience (GPCE 2016), ACM.. 2016.
      Membro: Márcio de Medeiros Ribeiro.
    14. FCE, Certificate in English, University of Cambridge, London.. 2015.
      Membro: Márcio de Medeiros Ribeiro.
    15. Melhor Artigo do XXIX Simpósio Brasileiro de Engenharia de Software (SBES 2015), On the Conceptual Cohesion of Co-Change Clusters, com M. Oliveira, R. Bonifácio e G. Ramos, Sociedade Brasileira de Computação.. 2015.
      Membro: Márcio de Medeiros Ribeiro.
    16. Artigo indicado como um dos melhores da 14th International Conference on Generative Programming: Concepts & Experience (GPCE 2015), ACM.. 2015.
      Membro: Márcio de Medeiros Ribeiro.
    17. Segundo lugar no Deutscher IT-Sicherheitspreis, pelo trabalho SPLLift, em análise de detecção de vulnerabilidades em linhas de produtos (com E. Bodden, T. Tôledo, C. Brabrand, P. Borba e M. Mezini), Horst Görtz Foundation.. 2014.
      Membro: Márcio de Medeiros Ribeiro.
    18. Melhor Tese de Doutorado do Brasil em Computação de 2012 (CTD/CSBC 2013), Sociedade Brasileira de Computação.. 2013.
      Membro: Márcio de Medeiros Ribeiro.
    19. Segundo melhor poster para o orientando Francisco Dalton, Primeira Escola Latino Americana de Engenharia de Software, PUC-Rio.. 2013.
      Membro: Márcio de Medeiros Ribeiro.
    20. Segundo melhor artigo do VII Simpósio Brasileiro de Componentes, Arquiteturas e Reuso de Software (SBCARS 2013), AspectJ-based Idioms for Flexible Feature BInding, com R. Andrade e outros, Sociedade Brasileira de Computação.. 2013.
      Membro: Márcio de Medeiros Ribeiro.
    21. Artigo indicado como um dos melhores da 11th International ACM Conference on Aspect-Oriented Software Development (AOSD 2012) com o artigo Intraprocedural Dataflow Analysis for Software Product Lines, Association for Computing Machinery (ACM).. 2012.
      Membro: Márcio de Medeiros Ribeiro.
    22. Artigo indicado como um dos melhores do 6th Latin American Workshop on Aspect-Oriented Software Development (LA-WASP), em conjunto com Felipe Queiroz, Sérgio Soares e Paulo Borba, .. 2012.
      Membro: Márcio de Medeiros Ribeiro.
    23. Best Demo Paper, Checking Contracts for AOP using XPIDRs, 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), em conjunto com Henrique Rebêlo, Ricardo Massa, .. 2012.
      Membro: Márcio de Medeiros Ribeiro.
    24. Primeiro lugar na Sessão de Ferramentas do II Congresso Brasileiro de Software (CBSoft 2011), com a ferramenta Emergo, em conjunto com Társis Tolêdo, Claus Brabrand e Paulo Borba., Sociedade Brasileira de Computação.. 2011.
      Membro: Márcio de Medeiros Ribeiro.
    25. ACM SIGPLAN John Vlissides Award - https://www.sigplan.org/Awards/Vlissides/Main, ACM SIGPLAN.. 2010.
      Membro: Márcio de Medeiros Ribeiro.

Participação em eventos

  • Total de participação em eventos (33)
    1. XI Congresso Brasileiro de Software (CBSoft 2020). 2020. (Congresso).
    2. X Congresso Brasileiro de Software (CBSoft 2019). 2019. (Congresso).
    3. 12th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2018). Equivalent Mutants in Configurable Systems: An Empirical Study. 2018. (Congresso).
    4. IX Congresso Brasileiro de Software (CBSoft 2018). 2018. (Congresso).
    5. 16th International Conference on Generative Programming: Concepts & Experience (GPCE 2017).. 2017. (Congresso).
    6. 25th International Conference on Program Comprehension (ICPC 2017). The Discipline of Preprocessor-Based Annotations Does #ifdef TAG n't #endif Matter. 2017. (Congresso).
    7. VIII Congresso Brasileiro de Software (CBSoft 2017). 2017. (Congresso).
    8. VII Congresso Brasileiro de Software (CBSoft 2016). 2016. (Congresso).
    9. XV Simpósio Brasileiro de Qualidade de Software (SBQS 2016).Evoluindo Sistemas Configuráveis Baseados em Pré-Processadores. 2016. (Simpósio).
    10. XXXVI Congresso da Sociedade Brasileira de Computação (CSBC 2016). 2016. (Congresso).
    11. 14th International Conference on Generative Programming: Concepts & Experience (GPCE 2015). 2015. (Congresso).
    12. Feature-Oriented Software Development (FOSD) Meeting 2015.An Empirical Study on Fine-Grained Feature Dependencies. 2015. (Encontro).
    13. VI Congresso Brasileiro de Software (CBSoft 2015). 2015. (Congresso).
    14. 13th International Conference on Generative Programming: Concepts & Experiences (GPCE 2014). 2014. (Congresso).
    15. 36th International Conference on Software Engineering (ICSE 2014). Feature Maintenance with Emergent Interfaces. 2014. (Congresso).
    16. 6th International Workshop on Feature-Oriented Software Development (FOSD 2014). 2014. (Outra).
    17. 7th International Conference on Software Language Engineering (SLE 2014). 2014. (Congresso).
    18. V Congresso Brasileiro de Software (CBSoft 2014). 2014. (Congresso).
    19. XXXIV Congresso da Sociedade Brasileira de Computação (CSBC 2014). 2014. (Congresso).
    20. 12th International Conference on Generative Programming and Component Engineering (GPCE 2013). 2013. (Congresso).
    21. 4th ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2013). 2013. (Congresso).
    22. Dagstuhl Seminar 13091: Analysis, Test and Verification in The Presence of Variability.Feature Maintenance with Emergent Interfaces. 2013. (Seminário).
    23. IV Congresso Brasileiro de Software (CBSoft 2013). 2013. (Congresso).
    24. XXXIII Congresso da Sociedade Brasileira de Computação (CSBC 2013). Emergent Feature Modularization. 2013. (Congresso).
    25. 11th International Conference on Aspect-Oriented Software Development - Perspectives on Modularity (AOSD 2012). Emergo: A Tool for Improving Maintainability of Preprocessor-based Product Lines. 2012. (Congresso).
    26. III Congresso Brasileiro de Software (CBSoft 2012). 2012. (Congresso).
    27. VI Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2012) (Advanced Modularization Techniques). 2012. (Outra).
    28. 10th International Conference on Aspect-Oriented Software Development - Perspectives on Modularity (AOSD 2011). 2011. (Congresso).
    29. 10th International Conference on Generative Programming and Component Engineering (GPCE 2011). On the Impact of Feature Dependencies when Maintaining Preprocessor-based Software Product Lines. 2011. (Congresso).
    30. 2nd ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2011). 2011. (Congresso).
    31. II Congresso Brasileiro de Software (CBSoft 2011). A Tool for Improving Maintainability of Preprocessor-based Product Lines. 2011. (Congresso).
    32. 1st ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2010).Emergent Feature Modularization. 2010. (Simpósio).
    33. I Congresso Brasileiro de Software (CBSoft 2010). Mini-curso: Defining and Implementing Domain-Specific Languages. 2010. (Congresso).

Organização de eventos

  • Total de organização de eventos (7)
    1. RIBEIRO, MÁRCIO; FONSECA, B. ; DIAS, L.. V Congresso Brasileiro de Software (CBSoft 2014). 2014. Congresso
    2. BERGER, T. ; RIBEIRO, MÁRCIO. 6th International Workshop on Feature-Oriented Software Development (FOSD 2014). 2014. Outro
    3. RIBEIRO, Márcio; GHEYI, ROHIT ; GARCIA, A. ; UCHITEL, S.. ICSE 2017 PhD and Young Researchers Warm Up Symposium. 2014. Outro
    4. VELOSO, A. ; RIBEIRO, Márcio. XXXII Concurso de Trabalhos de Iniciação Científica (CTIC 2013). 2013. Concurso
    5. RIBEIRO, Márcio; SANT'ANNA, C. ; FERRARI, F.. VII Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2013) (Advanced Modularization Techniques). 2013. Congresso
    6. RIBEIRO, Márcio; FONSECA, B.. Workshop on Software - IC (WSIC 2013). 2013. Outro
    7. RIBEIRO, Márcio. Congresso Alagoano de Tecnologia da Informação - CATI'03. 2003. (Congresso).. . 0.

Lista de colaborações

  • Colaborações endôgenas (1)
    • Márcio de Medeiros Ribeiro ⇔ Marcos Kalinowski (1.0)
      1. CORREIA, J. L. ; PEREIRA, J. A. ; MELLO, R. ; GARCIA, A. ; FONSECA, B. ; RIBEIRO, M. ; GHEYI, R. ; TIENGO, W. ; KALINOWSKI, M. ; CERQUEIRA, R.. Data Scientists: Revealing their Challenges and Practices on Machine Learning Model Development. Em: XIX Brazilian Symposium on Software Quality (SBQS 2020), p. 1-10, 2020.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]




(*) Relatório criado com produções desde 2010 até 2021
Data de processamento: 06/11/2021 15:23:30