Márcio de Medeiros Ribeiro

Bolsista de Produtividade em Pesquisa do CNPq - Nível 2

  • Endereço para acessar este CV: http://lattes.cnpq.br/9300936571715992
  • Última atualização do currículo em 30/07/2018


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, Programação Orientada a Objetos e Aspectos, Engenharia de Software Empírica, Refatoramento, Modularidade de Software e Análise Estática de programas. Publicou artigos em periódicos e conferências nacionais e internacionais de destaque, tais como TSE, TOSEM, IST, JSS, ICSE, ESEC/FSE, PLDI, ECOOP, AOSD/Modularity, ICSME, SPLC, GPCE, ICPC e ISSRE. 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). 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. Mais sobre Márcio pode ser encontrado em http://www.ic.ufal.br/marcio/ (Texto informado pelo autor)


Identificação


Nome
Márcio de Medeiros Ribeiro
Nome em citações bibliográficas
RIBEIRO, Márcio;RIBEIRO, MÁRCIO;RIBEIRO, MARCIO;DE M. RIBEIRO, MÁRCIO

Endereço


Endereço Profissional
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: http://www.ic.ufal.br/professor/marcio/


Formação acadêmica/titulação


2008 - 2012
Doutorado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Emergent Feature Modularization, Ano de obtenção: 2012.
Orientador: Paulo Henrique Monteiro Borba.
Coorientador: Claus Brabrand.
Palavras-chave: Feature Modularity; Software Families; Software Product Lines; Preprocessors; Dataflow analysis; Static analysis.
Grande área: Ciências Exatas e da Terra
2006 - 2008
Mestrado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Restructuring Test Variabilities in Software Product Lines,Ano de Obtenção: 2008.
Orientador: Paulo Henrique Monteiro Borba.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Software Product Lines; Software Modularity; Software Testing.
Grande área: Ciências Exatas e da Terra
2002 - 2005
Graduação em Ciência da Computação.
Universidade Federal de Alagoas, UFAL, Brasil.
Título: Desenvolvimento de uma Infra-estrutura de Transações para o Arcabouço de Componentes COMPOR.
Orientador: Evandro de Barros Costa.




Formação Complementar


2003 - 2003
Administração de Redes TCP/IP - Linux. (Carga horária: 30h).
Quality Center, QC, Brasil.
2002 - 2002
Pré Cálculo Curso de Extensão.
Universidade Federal de Alagoas, UFAL, Brasil.
2002 - 2002
Administração de Redes Microsoft. (Carga horária: 40h).
Serviço Nacional de Aprendizagem Comercial, SENAC, Brasil.
2002 - 2002
Assistência Técnica de Computadores.
Centro Federal de Educação Tecnológica de Alagoas, CEFET/AL, Brasil.
2001 - 2001
Manutenção Em Microcomputadores.
Abc Informática, ABC2, Brasil.


Atuação Profissional



Universidade Federal de Pernambuco, UFPE, Brasil.
Vínculo institucional

2008 - 2012
Vínculo: Estudante de Doutorado, Enquadramento Funcional: Estudante de Doutorado, Carga horária: 40

Atividades

3/2006 - Atual
Pesquisa e desenvolvimento , Centro de Informática, .


Universidade Federal de Alagoas, UFAL, Brasil.
Vínculo institucional

2009 - Atual
Vínculo: , Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2003 - 2006
Vínculo: Bolsista, Enquadramento Funcional: Bolsista, Carga horária: 20

Atividades

04/2014 - Atual
Direção e administração, Instituto de Computação, .

Cargo ou função
Vice-Coordenador do Programa de Pós-Graduação em Informática.
01/2010 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Estruturas de Dados
Projeto de Software
Tecnologia da Informação
4/2003 - 10/2003
Treinamentos ministrados , Centro de Ciências Exatas e Naturais, Departamento de Tecnologia da Informação.

Treinamentos ministrados
Monitor na Disciplina de Lógica Aplicada à Ciência da Computação
4/2003 - 5/2003
Treinamentos ministrados , Centro de Ciências Exatas e Naturais, Departamento de Tecnologia da Informação.

Treinamentos ministrados
Monitoria na Disciplina de Programação 1


Linhas de pesquisa


1.
Programação Orientada a Objetos/Aspectos
2.
Linhas de Produto de Software
3.
Preprocessadores


Projetos de pesquisa


2017 - Atual
Modern Refactoring (CAPES / PGCI)

Projeto certificado pelo(a) coordenador(a) Rohit Gheyi em 13/03/2017.
Situação: Em andamento; Natureza: Pesquisa.
2017 - Atual
Suporte à Manutenção de Famílias de Sistemas através de Anotações de Pré-Processamento Disciplinadas (FAPEAL / PPGs)
Situação: Em andamento; 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.
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.
2014 - 2017
Disciplinando Anotações de Pré-processamento para Evitar Erros Sintáticos e Semânticos Durante a Manutenção de Famílias e Linhas de Produtos de Software (Universal CNPq)
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..
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.
2014 - Atual
Sistema de Irrigação Automático e Autossustentável para a Região do Semiárido Alagoano que Margeia o Canal do Sertão
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: Em andamento; Natureza: Pesquisa.
2013 - Atual
Sistema de Learning Analytics para Avaliação de Aprendizado de Alunos em Programação de Computadores (RHAE/CNPq)
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: Em andamento; Natureza: Pesquisa.
2013 - Atual
CARECO - Sistemas de Recomendação para Manutenção Colaborativa de Software (PROCAD/CAPES)
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.
2011 - 2014
Modularização Emergente para Linhas de Produtos de Software (Universal CNPq)
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.
2010 - 2012
Suporte Linguístico para o Desenvolvimento de Linhas de Produtos de Software (PROBRAL CAPES)
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): Deutscher Akademischer Austauschdienst - Auxílio financeiro / Darmstadt University of Technology - Cooperação.
2008 - 2012
Desenvolvimento de Linhas de Produto de Software usando Técnicas Orientadas a Aspectos (PROCAD - CAPES)
Descrição: O objetivo central desse projeto de cooperação científica é promover o intercâmbio entre membros de grupos de pesquisa atuando na área de Desenvolvimento de Software Orientado a Aspectos (DSOA) e Linhas de Produtos de Software (LPS). Em particular: (i) disseminar as abordagens (técnicas, linguagens e ferramentas) OA para desenvolvimento de LPS já propostas pelos grupos de pesquisa participantes do projeto, através da sua aplicação em um conjunto de estudos de caso comuns; (ii) discutir e avaliar criticamente as abordagens já propostas, através da identificação de seus benefícios e limitações durante a sua respectiva aplicação nos estudos de caso; (iiii) avaliar e promover a integração das abordagens propostas por cada grupo de acordo com a atividade de desenvolvimento ao qual se aplica (análise, projeto e implementação de domínio, derivação de produto); (iv) aplicar as abordagens de acordo com as diretrizes oferecidas pela metodologia de integração proposta, de forma a avaliar a efetividade tanto dos refinamentos individuais propostos para cada uma das abordagens, quanto das diretrizes oferecidas pela metodologia de integração. FINANCIAMENTO: Edital Procad 01/2007..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (4) Doutorado: (3) .
Integrantes: Márcio de Medeiros Ribeiro - Integrante / Paulo Borba - Coordenador / Rodrigo Bonifácio - Integrante / Leopoldo Teixeira - Integrante.
2008 - 2010
Suporte Linguístico para Modularização de Linhas de Produtos de Software (APQ - FACEPE)
Descrição: O objetivo deste trabalho de pesquisa é contribuir para aperfeiçoar o processo de desenvolvimento de Linhas de Produtos de Software, de forma que empresas que adotem esta abordagem tenham maior vantagem competitiva advindo de desenvolvimento e manutenção modulares, e consequente aumento de produtividade. Em particular, temos as seguintes metas: - definir, formalizar e implementar suporte linguístico adequado para modularização de features em 4 tipos de artefatos de LPS: cenários de caso de uso, arquitetura, código e testes; - realizar estudos empíricos avaliando custos e benefícios associados ao uso das extensões linguísticas propostas para desenvolvimento e extração de LPS reais..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (2) .
Integrantes: Márcio de Medeiros Ribeiro - Integrante / Paulo Borba - Coordenador / Rodrigo Bonifácio - Integrante / Carlos Eduardo Pontual - Integrante / Leopoldo Teixeira - Integrante.
2007 - 2009
FLIP
Descrição: Este projeto tem como objetivo investigar o desenvolvimento e validação de ferramentas de apoio ao processo de desenvolvimento de linhas de produtos de aplicações móveis, principalmente jogos, com o intuito de possibilitar no futuro o reuso estratégico de software na geração de produtos similares para a grande variedade de dispositivos existentes no mercado. Com este protótipo pretendemos ir em direção ao aumento da produtividade das empresas que desenvolvem aplicações móveis e, devido as exigências do mercado, despendem grandes esforços adaptando uma dada aplicação para uma vasta gama de dispositivos com recursos computacionais variados. Assim, pretende-se ajudar a diminuir a barreira de entrada de empresas brasileiras em um mercado novo, estratégico e muito competitivo..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (4) / Doutorado: (1) .
Integrantes: Márcio de Medeiros Ribeiro - Coordenador.
2007 - 2009
Gerenciamento Modular de Variações em Linhas de Produtos de Software (Universal CNPq)
Descrição: O objetivo deste trabalho de pesquisa é contribuir para aperfeiçoar as ferramentas de desenvolvimento de LPS, de forma que empresas que adotem esta abordagem tenham mais vantagem competitiva advindo do desenvolvimento e manutenção modulares, e consequente aumento de produtividade. Em particular, pretendemos definir, formalizar e implementar suporte linguístico adequado para modularização de features em 4 tipos de artefatos de LPS: cenários de caso de uso, arquitetura, código e testes. Além disso, iremos realizar estudos empíricos avaliando custos e benefícios associados ao uso das extensões linguísticas propostas para desenvolvimento e extração de LPS reais..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (2) .
Integrantes: Márcio de Medeiros Ribeiro - Integrante / Paulo Borba - Coordenador / Rodrigo Bonifácio - Integrante / Sergio Soares - Integrante / Carlos Eduardo Pontual - Integrante / Leopoldo Teixeira - Integrante.
2006 - 2008
Motorola - Testes de Aplicações para Disseminação, Capacitação e Manutenção de Dispositivios Celulares
Descrição: O objetivo central desta proposta é investigar e propor processos e ferramentas para o teste de aplicações voltadas a disseminação e manipulação da informação em dispositivos celulares, com elevado padrão de qualidade, tornando as atividades de teste mais efetivas, com conseqüente aumento de produtividade e redução de custos. Os objetivos mais específicos são: 1. Definição de um padrão para a documentação sistemática de requisitos que possa servir como base para a geração de casos de teste; 2. Geração automática de casos de teste de unidade e de integração; 3. Seleção de pontos de teste para cada caso de teste; 4. Suporte à construção/geração automática de código de teste; 5. Análise de cobertura de casos de teste e resultados de sua execução; 6. Desenvolvimento de processos para aplicação integrada das soluções propostas. Neste contexto, teste de unidade tem como escopo serviços atômicos (features) disponibilizados nas aplicações, enquanto que o teste de integração está relacionado às interações entre estes serviços. Ao final do projeto, deverá ser apresentado um conjunto integrado de notações, processos e ferramentas de suporte ao teste de aplicações-chave de tecnologia da informação para dispositivos celulares dentro do escopo das metas definidas. Tais resultados serão refletidos na concretização de trabalhos acadêmicos como dissertações de mestrado e teses de doutorado, bem como publicações em eventos e periódicos especializados na área..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (3) .
Integrantes: Márcio de Medeiros Ribeiro - Coordenador.
2005 - 2006
Arcabouço de Comunidades - ArCo
Descrição: ArCo é um arcabouço extensível e de código aberto para a construção de ambientes de comunidades virtuais. O arcabouço dispõe de ferramentas para a interação e colaboração de atores, componentes de infra-estrutura e interface gráfica, além de dar suporte a integração com outros sistemas. A construção de ambientes utilizando o ArCo é baseada no conceito de montagem de componentes de prateleira, os quais encapsulam serviços de comunidades virtuais bem conhecidos, tais como chat, fórum, indexação de conteúdo, e-mail, videoconferência, entre outros..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (8) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Márcio de Medeiros Ribeiro - Integrante / Mário Hozano Lucas de Souza - Integrante / Evandro de Barros Costa - Coordenador / Luiz Eugênio Fernandes Tenório - Integrante / Márcio Aguiar Ribeiro - Integrante / Camila Patrícia Basílio Nunes - Integrante / Willy Carvalho Tiengo - Integrante.Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.
2005 - 2006
COMPOR - Software Composition
Descrição: O projeto COMPOR (http://www.compor.net) visa a definição de métodos, linguagens, arcabouços, modelos e ferramentas para a composição dinâmica de software baseada nos diversos paradigmas de engenharia de software: componentes, serviços, agentes etc..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Márcio de Medeiros Ribeiro - Integrante / Evandro de Barros Costa - Integrante / Luiz Eugênio Fernandes Tenório - Integrante / Hyggo Oliveira de Almeida - Coordenador / Angelo Perkusich - Integrante / Glauber Vinícius Ventura de Melo Ferreira - Integrante / Alan Pedro da Silva - Integrante / Emerson Cavalcante Loureiro Filho - Integrante / Rodrigo de Barros Paes - Integrante.
2003 - 2005
Construção de Conhecimento por Agrupamento de Dados - CoCADa
Descrição: Uma das características da sociedade da informação é a constante e crescente geração de informações, muitas vezes chamada "inundação de informações" (information flood). Muitos autores afirmam que este acúmulo incessante de dados é o principal obstáculo para a construção de conhecimento útil a partir dos dados disponíveis, como pode ser constatado ao procurar informações úteis na Internet. Vários problemas de relevância estratégica e social podem ser compreendidos e tratados uma vez identificados grupos ou categorias menores dentro do volume total de informações. Alguns exemplos destes problemas, a serem tratados neste projeto, são: (i) a extração de informações em imagens médicas para diagnóstico e de sensoriamento remoto para segurança e monitoramento ambiental, (ii) a categorização de moléculas para fins farmacológicos e de estudos de biodiversidade, e (iii) o agrupamento de documentos e mídias similares disponíveis na Internet para busca e recuperação de informação. Muitas das técnicas desenvolvidas para atacar estes problemas são genericamente denominadas data mining, ou mineração de dados. Os problemas mencionados pertencem a domínios diferentes, no entanto a busca de soluções para eles pode ser descrita e tratada de forma unificada como problemas de otimização combinatória. Esses problemas têm sido abordados na prática com heurísticas que dependem fortemente da aplicação e que, em muitos casos, requerem usuários especialmente treinados para o seu uso, bem como conhecimento a priori. Uma pesquisa recente propõe a busca de categorias em um conjunto de entes através do mapeamento deste problema em um modelo magnético associado (o modelo de Potts não homogêneo), e a posterior observação do seu comportamento dinâmico. Esta nova abordagem permite construir agrupamentos de forma robusta (com pouca dependência do problema particular), eficiente (do ponto de vista computacional) e em quaisquer níveis de granularidade..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (6) / Mestrado profissional: (0) / Doutorado: (2) .
Integrantes: Márcio de Medeiros Ribeiro - Integrante / Talita Perciano Costa Leite - Integrante / Alejandro César Frery - Coordenador / Mário Hozano Lucas de Souza - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.


Revisor de periódico


2014 - 2015
Periódico: Software and Systems Modeling (Print)


Áreas de atuação


1.
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.
2.
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.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Banco de Dados.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende RazoavelmenteLê Razoavelmente.


Prêmios e títulos


2018
Prêmio de Excelência Acadêmica (PIBIC/CNPq) para o orientando Luiz Matheus de Alencar Carvalho, CNPq.
2017
Professor Homenageado da Turma 19 da Residência em Testes de Software do convênio CIn / UFPE / Motorola, Motorola.
2016
Palestrante Especial do XV Simpósio Brasileiro de Qualidade de Software (SBQS 2016). http://sbqs.com.br/o-evento/palestras/evoluindo-sistemas-configuraveis-baseados-em-pre-processadores, Sociedade Brasileira de Computação (SBC).
2016
Bolsista de Produtividade do CNPq - Nível 2 (2016 - 2018), Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq).
2016
Professor Homenageado da Turma 18 da Residência em Testes de Software do convênio CIn / UFPE / Motorola, Motorola.
2016
Artigo indicado como um dos melhores da 15th International Conference on Generative Programming: Concepts & Experience (GPCE 2016), ACM.
2015
FCE, Certificate in English, University of Cambridge, London.
2015
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
Artigo indicado como um dos melhores da 14th International Conference on Generative Programming: Concepts & Experience (GPCE 2015), ACM.
2014
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.
2013
Melhor Tese de Doutorado do Brasil em Computação de 2012 (CTD/CSBC 2013), Sociedade Brasileira de Computação.
2013
Segundo melhor poster para o orientando Francisco Dalton, Primeira Escola Latino Americana de Engenharia de Software, PUC-Rio.
2013
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.
2012
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
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
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, .
2011
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.
2010
ACM SIGPLAN John Vlissides Award - http://www.sigplan.org/Awards/Vlissides/Main, ACM SIGPLAN.
2007
Prêmio de Destaque devido a contribuição acima do esperado entre os Membros do Projeto de Pesquisa, Motorola.
2005
1º lugar no English Around the World Festival, Cultura Inglesa.
2002
4º lugar no Vestibular em Ciência da Computação da Universidade Federal de Alagoas, Universidade Federal de Alagoas.
2001
1º lugar no Vestibular CESMAC no curso de Informática, CESMAC.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
ABAL, I.2018ABAL, I. ; MELO, J. ; STANCIULESCU, S. ; BRABRAND, C. ; RIBEIRO, Márcio ; WASOWSKI, A. . Variability Bugs in Highly Configurable Systems. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, v. 26, p. 1-34, 2018.

2.
BRAZ, LARISSA2018BRAZ, LARISSA ; GHEYI, ROHIT ; MONGIOVI, MELINA ; RIBEIRO, Márcio ; MEDEIROS, FLÁVIO ; TEIXEIRA, Leopoldo ; SOUTO, S. . A change-aware per-file analysis to compile configurable systems with #ifdefs. COMPUTER LANGUAGES SYSTEMS & STRUCTURES, v. ?, p. ?, 2018.

3.
MEDEIROS, FLAVIO2018 MEDEIROS, FLAVIO ; RIBEIRO, MARCIO ; GHEYI, ROHIT ; APEL, SVEN ; KASTNER, CHRISTIAN ; FERREIRA, BRUNO ; CARVALHO, LUIZ ; FONSECA, BALDOINO . Discipline Matters: Refactoring of Preprocessor Directives in the #ifdef Hell. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v. 44, p. 453-469, 2018.

4.
MONGIOVI, MELINA2018MONGIOVI, MELINA ; GHEYI, ROHIT ; SOARES, GUSTAVO ; RIBEIRO, MARCIO ; BORBA, PAULO ; TEIXEIRA, Leopoldo . Detecting overly strong preconditions in refactoring engines. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v. 44, p. 429-452, 2018.

5.
GHEYI, ROHIT2017GHEYI, ROHIT ; BORBA, PAULO ; SAMPAIO, AUGUSTO ; RIBEIRO, MÁRCIO . An idiom to represent data types in Alloy. Information and Software Technology, v. 82, p. 173-176, 2017.

6.
RODRIGUES, I.2016RODRIGUES, I. ; RIBEIRO, Márcio ; MEDEIROS, FLÁVIO ; BORBA, P. ; GHEYI, ROHIT ; FONSECA, B. . Assessing Fine-Grained Feature Dependencies. Information and Software Technology, v. 78, p. 27-52, 2016.

7.
MEDEIROS, FLÁVIO2016MEDEIROS, FLÁVIO ; RODRIGUES, IRAN ; RIBEIRO, MÁRCIO ; TEIXEIRA, Leopoldo ; GHEYI, ROHIT . An empirical study on configuration-related issues: investigating undeclared and unused identifiers. SIGPLAN Notices (Cessou em 1991. Cont. ISSN 1523-2867 ACM SIGPLAN Notices), v. 51, p. 35-44, 2016.

8.
SANTOS NETO, BALDOINO FONSECA DOS2015SANTOS NETO, BALDOINO FONSECA DOS ; RIBEIRO, MÁRCIO ; SILVA, VIVIANE TORRES DA ; BRAGA, CHRISTIANO ; LUCENA, CARLOS JOSÉ PEREIRA DE ; COSTA, Evandro de Barros . AutoRefactoring: A platform to build refactoring agents. Expert Systems with Applications, v. 42, p. 1652-1664, 2015.

9.
DERMEVAL, DIEGO2015DERMEVAL, DIEGO ; TENÓRIO, THYAGO ; BITTENCOURT, IG IBERT ; SILVA, ALAN ; ISOTANI, SEIJI ; RIBEIRO, MÁRCIO . Ontology-based feature modeling: An empirical study in changing scenarios. Expert Systems with Applications, v. 42, p. 4950-4964, 2015.

10.
GARCIA, ALESSANDRO2015GARCIA, ALESSANDRO ; GHEYI, ROHIT ; RIBEIRO, MARCIO ; UCHITEL, SEBASTIAN . Report on the First PhD and Young Researchers Warm Up Symposium for ICSE 2017. Software Engineering Notes, v. 40, p. 38-38, 2015.

11.
ANDRADE, RODRIGO2015ANDRADE, RODRIGO ; RIBEIRO, MÁRCIO ; REBÊLO, HENRIQUE ; BORBA, PAULO ; GASIUNAS, VAIDAS ; SATABIN, LUCAS . Assessing Idioms for a Flexible Feature Binding Time. Computer Journal (Print), v. 59, p. bxv054-32, 2015.

12.
MEDEIROS, FLÁVIO2015MEDEIROS, FLÁVIO ; KASTNER, C. ; RIBEIRO, Márcio ; NADI, S. ; GHEYI, ROHIT . The Love/Hate Relationship with the C Preprocessor: An Interview Study (Artifact). Dagstuhl Artifacts Series - DARTS, v. 1, p. 1-32, 2015.

13.
CARDOSO, Rodrigo2014CARDOSO, Rodrigo ; REBÊLO, HENRIQUE ; RIBEIRO, Márcio ; BORBA, PAULO . Flexible feature binding with AspectJ-based idioms. Journal of Universal Computer Science (Print), v. 20, p. 692-719, 2014.

14.
MEDEIROS, FLÁVIO2014MEDEIROS, FLÁVIO ; RIBEIRO, Márcio ; GHEYI, ROHIT ; FONSECA, B. . A Catalogue of Refactorings to Remove Incomplete Annotations. Journal of Universal Computer Science (Print), v. 20, p. 746-771, 2014.

15.
MEDEIROS, FLÁVIO2014MEDEIROS, FLÁVIO ; RIBEIRO, MÁRCIO ; GHEYI, ROHIT . Investigating preprocessor-based syntax errors. SIGPLAN Notices (Cessou em 1991. Cont. ISSN 1523-2867 ACM SIGPLAN Notices), v. 49, p. 75-84, 2014.

16.
BRABRAND, C.2013BRABRAND, C. ; RIBEIRO, Márcio ; TOLEDO, T. ; WINTHER, J. ; BORBA, P. . Intraprocedural Dataflow Analysis for Software Product Lines. Transactions on Aspect-Oriented Software Development (Print), v. 7800, p. 73-108, 2013.

17.
COSTA NETO, A.2013COSTA NETO, A. ; BONIFACIO, R. ; RIBEIRO, MÁRCIO ; PONTUAL, C. E. ; BORBA, P. ; CASTOR, F. . A design rule language for aspect-oriented programming. The Journal of Systems and Software, v. 86, p. 2333-2356, 2013.

18.
BODDEN, E.2013BODDEN, E. ; TOLÊDO, TÁRSIS ; RIBEIRO, MÁRCIO ; BRABRAND, CLAUS ; BORBA, P. ; MEZINI, M. . SPLLIFT: statically analyzing software product lines in minutes instead of years. ACM SIGPLAN Notices, v. 48, p. 355-364, 2013.

19.
REBÊLO, HENRIQUE2013REBÊLO, HENRIQUE ; LIMA, RICARDO ; KULESZA, UIRÁ ; RIBEIRO, MÁRCIO ; CAI, YUANFANG ; COELHO, ROBERTA ; SANT'ANNA, CLÁUDIO ; MOTA, ALEXANDRE . QUANTIFYING THE EFFECTS OF ASPECTUAL DECOMPOSITIONS ON DESIGN BY CONTRACT MODULARIZATION: A MAINTENANCE STUDY. International Journal of Software Engineering and Knowledge Engineering, v. 23, p. 913-941, 2013.

20.
RIBEIRO, Márcio;RIBEIRO, MÁRCIO;RIBEIRO, MARCIO;DE M. RIBEIRO, MÁRCIO2012RIBEIRO, Márcio; QUEIROZ, F. ; BORBA, P. ; TOLEDO, T. ; BRABRAND, C. ; SOARES, S. . On the Impact of Feature Dependencies when Maintaining Preprocessor-based Software Product Lines. ACM SIGPLAN Notices, v. 47, p. 23-32, 2012.

21.
Rego, R.2009Rego, R. ; RIBEIRO, Márcio ; Aleixo, E. ; Souza, R. . A Self-organizing Based Approach for Bug Reports Retrieval. Journal of Digital Information Management, v. 7, p. 358-363, 2009.

Livros publicados/organizados ou edições
1.
RIBEIRO, Márcio. Proceedings of the 11th Brazilian Symposium on Software Components, Architectures, and Reuse. 1. ed. New York: ACM, 2017. 129p .

2.
BERGER, T. (Org.) ; RIBEIRO, MÁRCIO (Org.) . Proceedings of the 6th International Workshop on Feature-Oriented Software Development. 1. ed. , 2014. 53p .

3.
RIBEIRO, Márcio; BORBA, P. ; BRABRAND, C. . Emergent Interfaces for Feature Modularization. 1. ed. Springer, 2014. 84p .

4.
VELOSO, A. (Org.) ; RIBEIRO, Márcio (Org.) . Proceedings do XXXII Concurso de Trabalhos de Iniciação Científica. 1. ed. , 2013.

5.
RIBEIRO, MÁRCIO; SANT'ANNA, CLÁUDIO (Org.) . Proceedings of the 7th Latin American Workshop on Aspect-Oriented Software Development: Advanced Modularization Techiniques. 1. ed. Brazilian Computer Society, 2013. v. 1. 37p .

Capítulos de livros publicados
1.
RIBEIRO, Márcio; MATOS JUNIOR, P. ; BORBA, P. . Recommending Mechanisms for Modularizing Mobile Software Variabilities. In: Paulo Alencar; Donald Cowan. (Org.). Handbook of Research on Mobile Software Engineering. 1ed.: , 2012, v. , p. 299-316.

Trabalhos completos publicados em anais de congressos
1.
CARVALHO, L. ; GUIMARAES, M. A. ; RIBEIRO, Márcio ; FERNANDES, LEONARDO ; AL-HAJJAJI, M. ; GHEYI, ROHIT ; THUM, T. . Equivalent Mutants in Configurable Systems: An Empirical Study. In: 12th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2018), 2018, Madrid. 12th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2018), 2018.

2.
MUNIZ, R. ; GHEYI, ROHIT ; BRAZ, L. ; ANDRADE, W. ; FONSECA, B. ; RIBEIRO, Márcio . A Qualitative Analysis of Variability Weaknesses in Configurable Systems with #ifdefs. In: 12th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2018), 2018, Madrid. 12th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2018), 2018.

3.
PEREIRA, J. A. ; SCHULZE, S. ; RIBEIRO, Márcio ; KRIETER, S. ; SAAKE, G. . A Context-Aware Recommender System for Extended Software Product Line Configurations. In: 12th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2018), 2018, Madrid. 12th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2018), 2018.

4.
FERNANDES, LEONARDO ; RIBEIRO, Márcio ; SANTOS, ANDRÉ . Rules to Avoid Useless Mutants. In: VIII Workshop de Teses e Dissertações (WTDSoft 2018), 2018, São Carlos. VIII Workshop de Teses e Dissertações (WTDSoft 2018), 2018.

5.
PINHEIRO, P. ; VIANA, J. C. ; FERNANDES, LEONARDO ; RIBEIRO, Márcio ; FERRARI, F. ; FONSECA, B. ; GHEYI, ROHIT . Mutation Operators for Code Annotations. In: 3rd Brazilian Symposium on Systematic and Automated Software Testing (SAST 2018), 2018, São Carlos. 3rd Brazilian Symposium on Systematic and Automated Software Testing (SAST 2018), 2018.

6.
MALAQUIAS, R. ; RIBEIRO, Márcio ; BONIFACIO, R. ; MONTEIRO, E. ; MEDEIROS, FLÁVIO ; GARCIA, A. ; GHEYI, ROHIT . The Discipline of Preprocessor-Based Annotations Does #ifdef TAG n't #endif Matter. In: 25th International Conference on Program Comprehension (ICPC), 2017, Buenos Aires. 25th International Conference on Program Comprehension (ICPC), 2017.

7.
CEDRIM, DIEGO ; GARCIA, ALESSANDRO ; MONGIOVI, MELINA ; GHEYI, ROHIT ; SOUSA, LEONARDO ; DE MELLO, RAFAEL ; FONSECA, BALDOINO ; RIBEIRO, MÁRCIO ; CHÁVEZ, ALEXANDER . Understanding the impact of refactoring on smells: a longitudinal study of 23 software projects. In: the 2017 11th Joint Meeting, 2017, Paderborn. Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017, 2017. p. 465.

8.
FERNANDES, LEONARDO ; RIBEIRO, MÁRCIO ; CARVALHO, LUIZ ; GHEYI, ROHIT ; MONGIOVI, MELINA ; SANTOS, ANDRÉ ; CAVALCANTI, ANA ; FERRARI, FABIANO ; MALDONADO, JOSÉ CARLOS . Avoiding useless mutants. In: the 16th ACM SIGPLAN International Conference, 2017, Vancouver. Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences - GPCE 2017, 2017. p. 187.

9.
BRAZ, L. ; GHEYI, ROHIT ; STOLZ, V. ; RIBEIRO, Márcio . Analyzing Changes on Configurable Systems with #ifdefs. In: 29th Nordic Workshop on Programming Theory (NWPT 2017), 2017, Turku. 29th Nordic Workshop on Programming Theory (NWPT 2017), 2017.

10.
MEDEIROS, FLÁVIO ; KÄSTNER, CHRISTIAN ; RIBEIRO, MÁRCIO ; GHEYI, ROHIT ; APEL, SVEN . A comparison of 10 sampling algorithms for configurable systems. In: the 38th International Conference, 2016, Austin. Proceedings of the 38th International Conference on Software Engineering - ICSE '16, 2016. p. 643.

11.
DE OLIVEIRA, MARCOS CÉSAR ; BONIFÁCIO, RODRIGO ; RAMOS, GUILHERME N. ; RIBEIRO, MÁRCIO . Unveiling and reasoning about co-change dependencies. In: the 15th International Conference, 2016, Málaga. Proceedings of the 15th International Conference on Modularity - MODULARITY 2016, 2016. p. 25.

12.
THÜM, THOMAS ; RIBEIRO, MÁRCIO ; SCHRÖTER, REIMAR ; SIEGMUND, JANET ; DALTON, FRANCISCO . Product-line maintenance with emergent contract interfaces. In: the 20th International Systems and Software Product Line Conference, 2016, Beijing. Proceedings of the 20th International Systems and Software Product Line Conference on - SPLC '16. New York: ACM Press, 2016. p. 134.

13.
BRAZ, LARISSA ; GHEYI, ROHIT ; MONGIOVI, MELINA ; RIBEIRO, MÁRCIO ; MEDEIROS, FLÁVIO ; TEIXEIRA, Leopoldo . A change-centric approach to compile configurable systems with #ifdefs. In: the 2016 ACM SIGPLAN International Conference, 2016, Amsterdam. Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences - GPCE 2016, 2016. p. 109.

14.
MEDEIROS, FLÁVIO ; KASTNER, C. ; RIBEIRO, Márcio ; NADI, S. ; GHEYI, ROHIT . The Love/Hate Relationship with the C Preprocessor: An Interview Study. In: 29th European Conference on Object-Oriented Programming (ECOOP 2015), 2015, Praga. 29th European Conference on Object-Oriented Programming (ECOOP 2015), 2015.

15.
OLIVEIRA, MARCOS CESAR DE ; ALMEIDA, RODRIGO BONIFACIO DE ; RAMOS, GUILHERME N. ; RIBEIRO, MARCIO . On the Conceptual Cohesion of Co-Change Clusters. In: 2015 29th Brazilian Symposium on Software Engineering (SBES), 2015, Belo Horizonte-MG. 2015 29th Brazilian Symposium on Software Engineering, 2015. p. 120.

16.
MEDEIROS, FLÁVIO ; RODRIGUES, IRAN ; RIBEIRO, MÁRCIO ; TEIXEIRA, Leopoldo ; GHEYI, ROHIT . An empirical study on configuration-related issues: investigating undeclared and unused identifiers. In: the 2015 ACM SIGPLAN International Conference, 2015, Pittsburgh. Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences - GPCE 2015, 2015. p. 35.

17.
AMORIM, L. ; FONSECA, B. ; ANTUNES, N. ; RIBEIRO, Márcio ; COSTA, Evandro de Barros . Using Decision Trees for Detecting Code Smells. In: 26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015), 2015, Gaithersburg. 26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015), 2015.

18.
RIBEIRO, MÁRCIO; BORBA, PAULO ; KÄSTNER, CHRISTIAN . Feature maintenance with emergent interfaces. In: the 36th International Conference, 2014, Hyderabad. Proceedings of the 36th International Conference on Software Engineering - ICSE 2014. New York: ACM Press, 2014. p. 989.

19.
MONGIOVI, MELINA ; MENDES, GUSTAVO ; GHEYI, ROHIT ; SOARES, GUSTAVO ; RIBEIRO, MARCIO . Scaling Testing of Refactoring Engines. In: 2014 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2014, Victoria. 2014 IEEE International Conference on Software Maintenance and Evolution, 2014. p. 371.

20.
BODDEN, E. ; TOLEDO, T. ; RIBEIRO, Márcio ; BRABRAND, C. ; BORBA, P. ; MEZINI, M. . SPLlift ? Statically Analyzing Software Product Lines in Minutes Instead of Years. In: 34th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2013), 2013, Seattle. 34th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2013), 2013.

21.
REBELO, H. ; LEAVENS, G. T. ; LIMA, R. ; BORBA, P. ; RIBEIRO, Márcio . Modular Aspect-Oriented Design Rule Enforcement with XPIDRs. In: 12th Workshop on Foundations of Aspect-Oriented Languages (FOAL 2013), 2013, Fukuoka. 12th Workshop on Foundations of Aspect-Oriented Languages (FOAL 2013), 2013.

22.
MEDEIROS, FLÁVIO ; RIBEIRO, MÁRCIO ; GHEYI, ROHIT . Investigating preprocessor-based syntax errors. In: the 12th international conference, 2013, Indianapolis. Proceedings of the 12th international conference on Generative programming: concepts & experiences - GPCE '13. New York: ACM Press, 2013. p. 75.

23.
FONSECA, B. ; SILVA, V. T. ; RIBEIRO, Márcio ; COSTA, Evandro de Barros ; LUCENA, C. . Using Jason to Develop Refactoring Agents. In: Brazilian Conference on Intelligent Systems (BRACIS), 2013, Fortaleza. Brazilian Conference on Intelligent Systems (BRACIS), 2013.

24.
MEDEIROS, FLÁVIO ; LIMA, T. ; DALTON, F. ; RIBEIRO, Márcio ; GHEYI, ROHIT ; FONSECA, B. . Colligens: A Tool to Support the Development of Preprocessor-based Software Product Lines in C. In: Tool Session of the 4th Brazilian Congress on Software (CBSoft 2013), 2013, Brasília. 4th Brazilian Congress on Software (CBSoft 2013), 2013.

25.
RIBEIRO, Márcio; BORBA, PAULO ; BRABRAND, CLAUS . Emergent Feature Modularization. In: XXVI Concurso de Teses e Dissertações (CTD 2013), 2013, Maceió. XXVI Concurso de Teses e Dissertações (CTD 2013), 2013.

26.
ANDRADE, RODRIGO ; REBELO, HENRIQUE ; RIBEIRO, MARCIO ; BORBA, PAULO . AspectJ-Based Idioms for Flexible Feature Binding. In: 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2013, Brasília. 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse, 2013. p. 59.

27.
BRABRAND, CLAUS ; RIBEIRO, Márcio ; TOLÊDO, TÁRSIS ; BORBA, PAULO . Intraprocedural dataflow analysis for software product lines. In: the 11th annual international conference, 2012, Potsdam. Proceedings of the 11th annual international conference on Aspect-oriented Software Development - AOSD '12. New York: ACM Press. p. 13-24.

28.
RIBEIRO, Márcio; TOLEDO, T. ; WINTHER, J. ; BRABRAND, C. ; BORBA, P. . Emergo: A Tool for Improving Maintainability of Preprocessor-based Product Lines. In: 11th International ACM Conference on Aspect-Oriented Software Development (AOSD 2012), 2012, Potsdam. 11th International ACM Conference on Aspect-Oriented Software Development (AOSD 2012), Companion, Demo Track, 2012.

29.
REBELO, H. ; LIMA, R. ; MOTA, A. ; OLIVEIRA, C. ; RIBEIRO, Márcio . Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice. In: 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), 2012, San Francisco. 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), 2012.

30.
QUEIROZ, F. ; RIBEIRO, Márcio ; SOARES, S. ; BORBA, P. . Towards a Better Understanding of Feature Dependencies in Preprocessor-based Systems. In: Latin American Workshop on Aspect-Oriented Software Development (LA-WASP) (Advanced Modularization Techniques), 2012, Natal. Latin American Workshop on Aspect-Oriented Software Development (LA-WASP) (Advanced Modularization Techniques), 2012.

31.
CARDOSO, Rodrigo ; RIBEIRO, Márcio ; GASIUNAS, V. ; SATABIN, L. ; REBELO, H. ; BORBA, P. . Assessing Idioms for Implementing Features with Flexible Binding Times. In: 15th European Conference on Software Maintenance and Reengineering (CSMR 2011), 2011, Oldenburg. 15th European Conference on Software Maintenance and Reengineering (CSMR 2011), 2011. p. 231-240.

32.
REBELO, H. ; LIMA, R. ; KULESZA, U. ; SANT'ANNA, C. ; COELHO, R. ; MOTA, A. ; RIBEIRO, Márcio ; OLIVEIRA, C. . Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study. In: 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2011), 2011, Miami. 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2011), 2011.

33.
RIBEIRO, Márcio; TOLEDO, T. ; BORBA, P. ; BRABRAND, C. . A Tool for Improving Maintainability of Preprocessor-based Product Lines. In: 2nd Brazilian Congress on Software (CBSoft 2011), 2011, São Paulo. Tool Session of the 2nd Brazilian Congress on Software (CBSoft 2011), 2011.

34.
RIBEIRO, MÁRCIO; QUEIROZ, FELIPE ; BORBA, PAULO ; TOLÊDO, TÁRSIS ; BRABRAND, CLAUS ; SOARES, SÉRGIO . On the impact of feature dependencies when maintaining preprocessor-based software product lines. In: the 10th ACM international conference, 2011, Portland. Proceedings of the 10th ACM international conference on Generative programming and component engineering - GPCE '11. New York: ACM Press. p. 23-32.

35.
RIBEIRO, MÁRCIO; PACHECO, Humberto ; TEIXEIRA, Leopoldo ; BORBA, PAULO . Emergent feature modularization. In: the ACM international conference companion, 2010, Reno/Tahoe. Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '10. New York: ACM Press. p. 11-18.

36.
REBELO, H. ; LIMA, R. ; KULESZA, U. ; COELHO, R. ; MOTA, A. ; RIBEIRO, Márcio ; ARAUJO, J. E. . The Contract Enforcement Aspect Pattern. In: 8th Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP'10), 2010, Salvador. 8th Latin American Conference on Pattern Languages of Programming, 2010.

37.
RIBEIRO, Márcio; CARDOSO, Rodrigo ; BORBA, P. ; BONIFACIO, R. ; REBELO, H. . Does AspectJ Provide Modularity when Implementing Features with Flexible Binding Times?. In: III Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2009) in conjunction with XXIII Simpósio Brasileiro de Engenharia de Software (SBES 2009), 2009, Fortaleza. III Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2009), 2009.

38.
RIBEIRO, MÁRCIO; BORBA, PAULO . Improving Guidance when Restructuring Variabilities in Software Product Lines. In: , 2009, Kaiserslautern. , 2009. p. 79-88.

39.
ALMEIDA, Hyggo Oliveira de ; PEREIRA, M. ; RIBEIRO, Márcio ; PERKUSICH, Angelo ; LOUREIRO FILHO, Emerson Cavalcante ; COSTA, Evandro de Barros . Developing Enterprise Applications with Support to Dynamic Unanticipated Evolution. In: 20th International Conference on Software Engineering and Knowledge Engineering (SEKE 2008), 2008, San Francisco. 20th International Conference on Software Engineering and Knowledge Engineering (SEKE 2008), 2008. p. 599-602.

40.
DO REGO, RENATA L.M.E. ; RIBEIRO, MARCIO ; ALEIXO, EMANUELLA ; DE SOUZA, RENATA M.C.R . Bug reports retrieval using Self-organizing Map. In: 2008 Third International Conference on Digital Information Management (ICDIM), 2008, London. 2008 Third International Conference on Digital Information Management, 2008. p. 320-325.

41.
RIBEIRO, MÁRCIO; BORBA, PAULO . Recommending refactorings when restructuring variabilities in software product lines. In: the 2nd Workshop, 2008, Nashville. Proceedings of the 2nd Workshop on Refactoring Tools - WRT '08, 2008. p. 1.

42.
COSTA NETO, A. ; RIBEIRO, Márcio ; DOSEA, M. ; BONIFACIO, R. ; BORBA, P. ; SOARES, S. . Semantic Dependencies and Modularity of Aspect-Oriented Software. In: 1st International Workshop on Assessment of Contemporary Modularization Techniques (ACoM 2007), in conjunction with 29th ACM International Conference on Software Engineering (ICSE 2007), 2007, Minneapolis. 1st International Workshop on Assessment of Contemporary Modularization Techniques (ACoM 2007). Washington: IEEE Computer Society, 2007. p. 11-17.

43.
RIBEIRO, Márcio; MATOS JUNIOR, P. ; BORBA, P. ; CARDIM, I. . On the Modularity of Aspect-Oriented and other Techniques for Implementing Product Lines Variabilities. In: I Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2007), em conjunto com XXI Simpósio Brasileiro de Engenharia de Software (SBES 2007), 2007, João Pessoa. I Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2007), 2007. p. 119-130.

44.
RIBEIRO, Márcio; DOSEA, M. ; BONIFACIO, R. ; COSTA NETO, A. ; BORBA, P. ; SOARES, S. . Analyzing Class and Crosscutting Modularity with Design Structure Matrixes. In: XXI Simpósio Brasileiro de Engenharia de Software (SBES 2007), 2007, João Pessoa. XXI Simpósio Brasileiro de Engenharia de Software (SBES 2007), 2007. p. 167-181.

45.
SALES, Leandro Melo de ; PONTES, Felipe Barros ; RIBEIRO, Márcio ; TENÓRIO, Luiz Eugênio Fernandes ; COSTA, Evandro de Barros ; LUNA, Henrique Pacca Loureiro . ArCoLIVE: uma ferramenta de código livre baseada em componentes para videoconferência. In: II Simpósio Brasileiro de Sistemas de Informação (SBSI-2005), 2005, Florianópolis. II Simpósio Brasileiro de Sistemas de Informação (SBSI-2005), 2005.

46.
SALES, Leandro Melo de ; RIBEIRO, Márcio ; PONTES, Felipe Barros ; TENÓRIO, Luiz Eugênio Fernandes ; COSTA, Evandro de Barros ; LUNA, Henrique Pacca Loureiro . LVS - LividusVideoStreamer: uma ferramenta de código livre baseada em componentes para videoconferência. In: XII Semana de Informática da UFPA (SEMINF-2005), 2005, Belém. XII Semana de Informática da UFPA (SEMINF-2005), 2005.

47.
RIBEIRO, Márcio; PONTES, Felipe Barros ; SALES, Leandro Melo de ; LEITE, Talita Perciano Costa ; FRERY, Alejandro César . RSwing: uma biblioteca de componentes de código livre para geração de gráficos estatísticos. In: X Congresso Estadual de Informática e Telecomunicações - SUCESU, 2005, Cuiabá. X Congresso Estadual de Informática e Telecomunicações - SUCESU, 2005.

Resumos expandidos publicados em anais de congressos
1.
BODDEN, E. ; TOLEDO, T. ; RIBEIRO, Márcio ; BRABRAND, C. ; BORBA, P. ; MEZINI, M. . Statically analyzing software product lines in minutes instead of years. In: Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI), 2014. Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI), 2014. p. 81-82.

2.
REBELO, H. ; RIBEIRO, Márcio . Guiding the use of AspectJ Advice: An Initial Assessment. In: III Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2009) in conjunction with XXIII Simpósio Brasileiro de Engenharia de Software (SBES 2009), 2009, Fortaleza. III Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2009), 2009.

3.
PONTUAL, C. E. ; BONIFACIO, R. ; REBELO, H. ; RIBEIRO, Márcio ; BORBA, P. . Modularizing Variabilities with CaesarJ Collaboration Interfaces. In: 3rd Workshop on Assessment of Contemporary Modularization Techniques (ACoM 2009) with 24th ACM SIGPLAN conference on Object Oriented Programming Systems Languages and Applications (OOPSLA 2009), 2009, Orlando. 3rd Workshop on Assessment of Contemporary Modularization Techniques (ACoM 2009) with 24th ACM SIGPLAN conference on Object Oriented Programming Systems Languages and Applications (OOPSLA 2009), 2009.

4.
DE M. RIBEIRO, MÁRCIO; MATOS, PEDRO ; BORBA, PAULO . A decision model for implementing product lines variabilities. In: the 2008 ACM symposium, 2008, Fortaleza. Proceedings of the 2008 ACM symposium on Applied computing - SAC '08. New York: ACM Press, 2008. p. 276-277.

Resumos publicados em anais de congressos
1.
RIBEIRO, Márcio. Feature Maintenance with Emergent Interfaces. In: Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091), 2013. Dagstuhl Reports. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. v. 3. p. 162-163.

2.
REBELO, H. ; LIMA, R. ; MOTA, A. ; OLIVEIRA, C. ; RIBEIRO, Márcio . Checking Contracts for AOP using XPIDRs. In: 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), 2012, San Francisco. 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), 2012.

3.
RIBEIRO, MÁRCIO; BORBA, PAULO . Towards feature modularization. In: the ACM international conference companion, 2010, Reno/Tahoe. Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '10. New York: ACM Press, 2010. p. 225.

4.
RIBEIRO, Márcio; LEITE, Talita Perciano Costa ; SOUZA, Mário Hozano Lucas de ; FRERY, Alejandro César . SiGG - Sistema de Gráficos do graW: Sistema para Visualização de Gráficos Estatísticos na Web. In: I Congresso Acadêmico da UFAL, 2004, Maceió. I Congresso Acadêmico da UFAL, 2005.

5.
LEITE, Talita Perciano Costa ; RIBEIRO, Márcio ; SOUZA, Mário Hozano Lucas de ; FRERY, Alejandro César . Construção do Conhecimento por Agrupamento de Dados - Análise de Perfis de Usuários. In: I Congresso Acadêmico da UFAL, 2004, Maceió. I Congresso Acadêmico da UFAL, 2005.

6.
SOUZA, Mário Hozano Lucas de ; RIBEIRO, Márcio ; LEITE, Talita Perciano Costa ; FRERY, Alejandro César . Caracterização de Perfis de Comunidades Virtuais. In: I Congresso Acadêmico da UFAL, 2004, Maceió. I Congresso Acadêmico da UFAL, 2005.

7.
RIBEIRO, Márcio; LEITE, Talita Perciano Costa ; ARAÚJO JÚNIOR, Marcos Cerqueira de ; FRERY, Alejandro César . Construção de Conhecimento por Agrupamento de Dados - CoCADa. In: XIII Encontro de Iniciação Científica, 2003, Maceió. XIII Encontro de Iniciação Científica - Ciência e Educação. Maceió: Q Gráfica (UFAL), 2004. p. 42-42.

Apresentações de Trabalho
1.
RIBEIRO, Márcio. The Discipline of Preprocessor-Based Annotations Does #ifdef TAG n?t #endif Matter. 2017. (Apresentação de Trabalho/Congresso).

2.
RIBEIRO, Márcio. The Discipline of Preprocessor-Based Annotations Does #ifdef TAG n?t #endif Matter. 2017. (Apresentação de Trabalho/Outra).

3.
RIBEIRO, Márcio. Evolving Preprocessor-Based Program Families. 2016. (Apresentação de Trabalho/Conferência ou palestra).

4.
RIBEIRO, Márcio. Evoluindo Sistemas Configuráveis Baseados em Pré-Processadores. 2016. (Apresentação de Trabalho/Simpósio).

5.
RIBEIRO, Márcio. Maintenance of Software Product Lines. 2015. (Apresentação de Trabalho/Conferência ou palestra).

6.
RIBEIRO, Márcio. Feature Maintenance with Emergent Interfaces. 2014. (Apresentação de Trabalho/Congresso).

7.
RIBEIRO, Márcio. Feature Maintenance with Emergent Interfaces. 2013. (Apresentação de Trabalho/Seminário).

8.
RIBEIRO, Márcio. Emergent Feature Modularization. 2013. (Apresentação de Trabalho/Outra).

9.
RIBEIRO, Márcio. Emergo: A Tool for Improving Maintainability of Preprocessor-based Product Lines. 2012. (Apresentação de Trabalho/Conferência ou palestra).

10.
RIBEIRO, Márcio. A Tool for Improving Maintainability of Preprocessor-based Product Lines. 2011. (Apresentação de Trabalho/Congresso).

11.
RIBEIRO, Márcio. On the impact of feature dependencies when maintaining preprocessor-based software product lines. 2011. (Apresentação de Trabalho/Conferência ou palestra).

12.
RIBEIRO, Márcio. Emergent feature modularization. 2010. (Apresentação de Trabalho/Conferência ou palestra).

13.
RIBEIRO, Márcio. Towards Feature Modularization. 2010. (Apresentação de Trabalho/Simpósio).

14.
RIBEIRO, Márcio. Does AspectJ Provide Modularity when Implementing Features with Flexible Binding Times?. 2009. (Apresentação de Trabalho/Outra).

15.
RIBEIRO, Márcio. Improving Guidance when Restructuring Variabilities in Software Product Lines. 2009. (Apresentação de Trabalho/Conferência ou palestra).

16.
RIBEIRO, Márcio. A Decision Model for Implementing Product Line Variabilities. 2008. (Apresentação de Trabalho/Simpósio).

17.
RIBEIRO, Márcio. Analyzing Class and Crosscutting Modularity with Design Structure Matrixes. 2007. (Apresentação de Trabalho/Simpósio).

18.
RIBEIRO, Márcio. Apresentação do Projeto CoCADa. 2004. (Apresentação de Trabalho/Seminário).

19.
RIBEIRO, Márcio; PONTES, Felipe Barros . Equações Diferenciais Ordinárias: conceitos e aplicações. 2004. (Apresentação de Trabalho/Seminário).

20.
RIBEIRO, Márcio. Arquitetura Model-View-Controller (MVC). 2004. (Apresentação de Trabalho/Seminário).

21.
RIBEIRO, Márcio. Desenvolvendo aplicações Web com Model-View-Controller e Struts. 2004. (Apresentação de Trabalho/Seminário).

22.
RIBEIRO, Márcio; LEITE, Talita Perciano Costa . Uma Introdução ao Sistema R. 2003. (Apresentação de Trabalho/Seminário).

23.
RIBEIRO, Márcio. Princípios de Análise Multivariada. 2003. (Apresentação de Trabalho/Seminário).

24.
RIBEIRO, Márcio; LEITE, Talita Perciano Costa ; ARAÚJO JÚNIOR, Marcos Cerqueira de . Análise Descritiva de Dados: uma abordagem nos Municípios Alagoanos. 2003. (Apresentação de Trabalho/Seminário).

25.
RIBEIRO, Márcio. Análise e Agrupamento de Dados Multivariados. 2003. (Apresentação de Trabalho/Seminário).

Outras produções bibliográficas
1.
MAIA, M. ; RIBEIRO, MARCIO . Selected papers from the Brazilian Symposium on Components, Architectures, and Reuse (SBCARS 2017) (Guest Editor de uma Special Issue do Journal of the Brazilian Computer Society - JBCS). Springer, 2017 (Guest Editor).


Produção técnica
Programas de computador sem registro
1.
RIBEIRO, Márcio; MEDEIROS, FLÁVIO ; LIMA, T. ; DALTON, F. ; GHEYI, ROHIT ; FONSECA, B. . Colligens: A Tool to Support the Development of Preprocessor-based Software Product Lines in C. 2013.

2.
RIBEIRO, Márcio; TOLEDO, T. ; WINTHER, J. ; BRABRAND, C. ; BORBA, P. . Emergo: A Tool for Improving Maintainability of Preprocessor-based Product Lines. 2012.

3.
RIBEIRO, Márcio; PONTES, Felipe Barros ; BARROS, L. E. S. . Agência Universitária de Notícias - AUN/UFAL. 2004.

4.
RIBEIRO, Márcio. Ciclo de Seminários - NPD/UFAL. 2004.

5.
RIBEIRO, Márcio; TENÓRIO, Luiz Eugênio Fernandes . SiGG - Sistema de Gráficos do graW. 2004.

6.
RIBEIRO, Márcio; SALES, Leandro Melo de . VCNetSys - Sistema Administrativo do Provedor de Internet VCNet - Maceió/AL. 2004.

7.
RIBEIRO, Márcio. Ciclo de Seminários - TCI/UFAL. 2003.

Trabalhos técnicos
1.
RIBEIRO, Márcio. Membro do comitê de programa da 22nd International Systems and Software Product Line Conference (SPLC 2018). 2018.

2.
RIBEIRO, Márcio. Membro do comitê de programa do 
XII Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2018). 2018.

3.
RIBEIRO, Márcio. Membro do comitê de programa do XXXII Simpósio Brasileiro de Engenharia de Software (SBES 2018). 2018.

4.
RIBEIRO, Márcio. Membro do comitê de programa do XXXI Simpósio Brasileiro de Engenharia de Software (SBES 2017). 2017.

5.
RIBEIRO, Márcio. Membro do comitê externo da 32th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2017). 2017.

6.
RIBEIRO, Márcio. Membro do comitê de programa do Demonstrations Track da 11th Joint Meeting of the European Software Engineering Conference and The ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017). 2017.

7.
RIBEIRO, Márcio. Membro do comitê de programa do Doctoral Symposium da 16th International Conference on Software Reuse (ICSR 2017). 2017.

8.
RIBEIRO, Márcio. Membro do comitê de programa do 16th International Conference on Generative Programming: Concepts & Experiences (GPCE 2017). 2017.

9.
RIBEIRO, Márcio. Presidente do comitê de programa do 
XI Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2017). 2017.

10.
RIBEIRO, Márcio. Membro do comitê de programa da 30th European Conference on Object-Oriented Programming (ECOOP 2016). 2016.

11.
RIBEIRO, Márcio. Membro do comitê de programa do XXX Simpósio Brasileiro de Engenharia de Software (SBES 2016). 2016.

12.
RIBEIRO, Márcio. Membro do comitê de programa do International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE 2016). 2016.

13.
RIBEIRO, Márcio. Membro do comitê externo da 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016). 2016.

14.
RIBEIRO, Márcio. Membro do comitê de programa do 
X Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2016). 2016.

15.
RIBEIRO, Márcio. Membro do comitê de programa do 7th International Workshop on Feature-Oriented Software Development (FOSD 2016). 2016.

16.
RIBEIRO, Márcio. Membro do comitê de programa do Onward! The ACM Symposium on New Ideas in Programming and Reflections on Software (Onward! 2015). 2015.

17.
RIBEIRO, Márcio. Membro do comitê de programa do XXIX Simpósio Brasileiro de Engenharia de Software (SBES 2015). 2015.

18.
RIBEIRO, Márcio. Membro do comitê de programa do 
IX Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2015). 2015.

19.
RIBEIRO, Márcio. Membro do comitê de programa do 14th International Conference on Generative Programming: Concepts & Experiences (GPCE 2015). 2015.

20.
RIBEIRO, Márcio. Membro do comitê de programa do 13th International Conference on Generative Programming: Concepts & Experiences (GPCE 2014). 2014.

21.
RIBEIRO, Márcio. Membro do comitê de programa do 
VIII Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2014). 2014.

22.
RIBEIRO, Márcio. Membro do comitê de programa do 11th Workshop on Software Modularity (WMod 2014). 2014.

23.
RIBEIRO, Márcio. Membro do comitê de programa do XXVIII Simpósio Brasileiro de Engenharia de Software (SBES 2014). 2014.

24.
RIBEIRO, Márcio. Membro do comitê de avaliação de artefatos do 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013). 2013.

25.
RIBEIRO, Márcio. Membro do comitê de programa do VII Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2013). 2013.

26.
RIBEIRO, Márcio. Membro do comitê de programa do VII Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2013). 2013.

27.
RIBEIRO, Márcio. Co-Revisor de artigo, III Congresso Brasileiro de Software (CBSoft 2012). 2012.

28.
RIBEIRO, Márcio. Membro do comitê de programa, VI Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2012) (Advanced Modularization Techniques). 2012.

29.
RIBEIRO, Márcio. Co-Revisor de artigo, 26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011). 2011.

30.
RIBEIRO, Márcio. Co-Revisor de artigo, II Congresso Brasileiro de Software (CBSoft 2011). 2011.

31.
RIBEIRO, Márcio. Co-Revisor de artigo, 14th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2011). 2011.

32.
RIBEIRO, Márcio. Membro do comitê de programa, II Simpósio Interinstitucional de Computação do Vale do São Francisco (SICOMP 2011). 2011.

33.
RIBEIRO, Márcio. Co-Revisor de artigo, 8th International Conference on Aspect-Oriented Software Development (AOSD 2009). 2009.

34.
RIBEIRO, Márcio. Co-Revisor de artigo, XII Simpósio Brasileiro de Linguagens de Programação (SBLP 2009). 2009.

35.
RIBEIRO, Márcio. Co-Revisor de artigo, XXXV Conferencia Latinoamericana de Informática (CLEI 2009). 2009.

36.
RIBEIRO, Márcio. Co-Revisor de artigo, 2nd International Conference on Software Language Engineering (SLE 2009). 2009.

37.
RIBEIRO, Márcio. Co-Revisor de artigo, 2nd Workshop on Assessment of Contemporary Modularization Techniques (ACoM 2008). 2008.

38.
RIBEIRO, Márcio. Co-Revisor de artigo, 13th Conference on Software Engineering and Databases (JISBD 2008). 2008.

39.
RIBEIRO, Márcio. Co-Revisor de artigo, XXII Simpósio Brasileiro de Engenharia de Software (SBES 2008). 2008.

40.
RIBEIRO, Márcio. Co-Revisor de artigo, 11th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2008). 2008.

41.
RIBEIRO, Márcio. Co-Revisor de artigo, 6th IEEE International Conferences on Software Engineering and Formal Methods (SEFM 2008). 2008.

42.
RIBEIRO, Márcio. Co-Revisor de artigo, 7th International Conference on Aspect-Oriented Software Development (AOSD 2008). 2008.

43.
RIBEIRO, Márcio. Co-Revisor de artigo, IV Workshop on Modern Software Maintenance (WMSWM 2007). 2007.

44.
RIBEIRO, Márcio. Co-Revisor de artigo, XXI Simpósio Brasileiro de Engenharia de Software (SBES 2007). 2007.

Entrevistas, mesas redondas, programas e comentários na mídia
1.
RIBEIRO, Márcio; BIBIANO, D. . Alunos e professores da Ufal criam programas para ajudar a controlar gastos com a energia. 2016. (Programa de rádio ou TV/Entrevista).

2.
RIBEIRO, Márcio; BIBIANO, D. . Em visita ao Ministro Aldo Rebêlo, Universidade Federal de Alagoas busca apoio para expansão de projeto de irrigação solo. 2015. (Programa de rádio ou TV/Comentário).

3.
RIBEIRO, Márcio; BIBIANO, D. . Canal do Sertão: Fapeal e Secti buscam soluções inovadoras para políticas públicas. 2015. (Programa de rádio ou TV/Comentário).

4.
RIBEIRO, Márcio. Editora Internacional lança livro de docente do Instituto de Computação. 2015. (Programa de rádio ou TV/Comentário).

5.
RIBEIRO, MÁRCIO. Professor do Instituto de Computação da Ufal fala sobre Congresso de Software. 2014. (Programa de rádio ou TV/Entrevista).

6.
RIBEIRO, Márcio. Tese de doutorado de Computação é considerada a melhor do Brasil em 2012. 2013. (Programa de rádio ou TV/Comentário).

7.
RIBEIRO, Márcio. Professor do IC é o primeiro brasileiro a ganhar prêmio John Vlissides nos EUA. 2010. (Programa de rádio ou TV/Comentário).


Demais tipos de produção técnica
1.
BORBA, P. ; TEIXEIRA, Leopoldo ; RIBEIRO, Márcio . Defining and Implementing Domain-Specific Languages. 2010. (Curso de curta duração ministrado/Outra).

2.
RIBEIRO, Márcio. Introdução aos Testes de Software. 2008. (Curso de curta duração ministrado/Extensão).

3.
RIBEIRO, Márcio. Programação Orientada a Objetos em Java. 2007. (Curso de curta duração ministrado/Extensão).

4.
RIBEIRO, Márcio. Aprendendo R para aplicações à Estatística. 2004. (Curso de curta duração ministrado/Extensão).

5.
RIBEIRO, Márcio; LEITE, Talita Perciano Costa ; ARAÚJO JÚNIOR, Marcos Cerqueira de . Aprendendo R para aplicações em Data Mining. 2003. (Curso de curta duração ministrado/Especialização).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
RIBEIRO, Márcio; DIAS, L.; BRITO, Patrick; PERKUSICH, Angelo. Participação em banca de Bruno Roberto Santos. Um Método para Verificação Formal e Dinâmica de Sistemas de Software Concorrentes. 2016. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas.

2.
RIBEIRO, Márcio; TEIXEIRA, Leopoldo; GHEYI, ROHIT. Participação em banca de Larissa Nadja Braz Brasileiro. Uma Técnica para Compilar Sistemas Configuráveis com #ifdefs Baseada no Impacto da Mudança. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

3.
RIBEIRO, Márcio; MEDEIROS, FLÁVIO; PARAGUACU, F.; HERNANDEZ-DOMINGUEZ, A.. Participação em banca de Carlos Alberto Correia Lessa Filho. JIndie: Uma Abordagem Baseada no Reuso de Software e Linha de Produto de Software para Jogos Construcionistas. 2016. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas.

4.
RIBEIRO, Márcio; TEIXEIRA, Leopoldo; PAES, Rodrigo de Barros; DIAS, L.. Participação em banca de Diogo Cabral de Almeida. PRIDE: Uma Ferrmenta de Detecção de Similaridade em Código-fonte. 2015. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas.

5.
RIBEIRO, Márcio; GHEYI, ROHIT; PAES, Rodrigo de Barros. Participação em banca de Maria Helynne Lima Silva. Soft Skills do Programador de Software: Abordagem Conceitual e Definição de Métricas para Identificação Automática no Contexto de um Sistema de Juiz Online. 2015. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas.

6.
RIBEIRO, Márcio; BORBA, PAULO; BRITO, Patrick; FONSECA, B.. Participação em banca de Iran Rodrigues Gonzaga Júnior. Empirical Studies on Fine-Grained Feature Dependencies. 2015. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas.

7.
RIBEIRO, Márcio; COSTA NETO, A.; SOARES, M.. Participação em banca de Lidiany Cerqueira Santos. Um Estudo de Caso da Adoção da Programação Orientada a Aspectos para Melhoria do Processo de Manutenção e Evolução de Sistemas Integrados de Gestão. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

8.
RIBEIRO, MÁRCIO; GHEYI, ROHIT; MASSONI, T.. Participação em banca de Gustavo Wagner Diniz Mendes. Uma Abordagem para Testar Implementações de Refatoramentos Estruturais e Comportamentais de Programas. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

9.
RIBEIRO, MÁRCIO; BORBA, PAULO; GAMA, K.. Participação em banca de Jean Carlos de Carvalho Melo. Modular Reasoning for Software Product Lines with Emergent Feature Interfaces. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

10.
RIBEIRO, MÁRCIO; CASTOR, F.; CORNELIO, M.. Participação em banca de Francisco Miranda Soares da Silva Neto. Rewriting Concurrent Haskell Programs to STM. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

11.
RIBEIRO, MÁRCIO; GARCIA, A.; BRITO, Patrick. Participação em banca de Lucas Benevides Viana de Amorim. Um Método para Descoberta Automática de Regras para a Detecção de Bad Smells. 2014. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas.

12.
RIBEIRO, MÁRCIO; ISOTANI, S.; FERNANDES, C.; DIAS, L.; Bittencourt, I.. Participação em banca de Endhe Elias Soares. JOINT-E: Um Framework para Avaliação de Desempenho e Escalabilidade de APIs de Persistência em Ontologias. 2014. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas.

13.
RIBEIRO, Márcio; COSTA, Evandro de Barros; BRITO, Patrick; LUNA, Henrique Pacca Loureiro; ALMEIDA, Hyggo Oliveira de. Participação em banca de João Pedro Pontes Lima Matias. Construção e Refinamento de Perfil Baseado em Dados Georreferenciados e de Deslocamento: Uma Contribuição para Sistemas de Anúncio Baseados em Localização. 2012. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas.

Teses de doutorado
1.
RIBEIRO, Márcio; GOLDMAN, A.; MCINTOSH, S.; DENNER, C.; KON, F.. Participação em banca de Gustavo Ansaldi Oliva. On the Link between Structural Dependencies and Software Changes. 2017. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

2.
RIBEIRO, Márcio; BORBA, P.; GARCIA, V.; VASCONCELOS, A.; KULESZA, U.. Participação em banca de Waldemar Pires Ferreira Neto. Choose the Middle Way: Supporting Coding Experiments According to Their Particular Context Characteristics. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

3.
RIBEIRO, Márcio; GHEYI, ROHIT; BORBA, P.; MASSONI, T.; KASTNER, C.; SOARES, G.. Participação em banca de Flávio Mota Medeiros. An Approach to Safely Evolve Preprocessor-Based C Program Families. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

4.
RIBEIRO, Márcio; GHEYI, ROHIT; MASSONI, T.; BORBA, P.; TEIXEIRA, Leopoldo. Participação em banca de Melina Mongiovi. Scaling Testing of Refactoring Engines. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

Qualificações de Doutorado
1.
RIBEIRO, Márcio; FERRARI, F.; VINCENZI, A.; SOUZA, S.. Participação em banca de Alessandro Viola Pizzoleto. Investigação de Estratégias para Redução do Custo do Teste de Mutação. 2017. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de São Carlos.

2.
RIBEIRO, Márcio; KULESZA, U.; GUERRA, E.; ALMEIDA, Hyggo Oliveira de; PERKUSICH, Angelo; GORGONIO, K. C.. Participação em banca de Rodrigo de Almeida Vilar de Miranda. Uma Linguagem de Padrões para o Desenvolvimento de Interfaces Gráficas de Usuário em Aplicações Corporativas. 2016. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

3.
RIBEIRO, Márcio; GHEYI, ROHIT; BORBA, P.; TEIXEIRA, Leopoldo; MASSONI, T.. Participação em banca de Melina Mongiovi. Scaling Testing of Refactoring Engines. 2015. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

4.
RIBEIRO, Márcio; Bittencourt, I.; ISOTANI, SEIJI; COSTA, Evandro de Barros; SILVA, Alan Pedro da. Participação em banca de Diego Dermeval Medeiros da Cunha Matos. Autoria Dirigida por Linha de Produtos de Software e Ontologias para Construção de Sistemas Tutores Inteligentes Gamificados. 2015. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

5.
RIBEIRO, MÁRCIO; VALENTE, M. T.; ANDRADE, W.; MACHADO, P.; GHEYI, ROHIT; ALVES, V.. Participação em banca de Flávio Mota Medeiros. An Approach to Safely Evolve Preprocessor-Based C Program Families. 2014. Exame de qualificação (Doutorando em Pós-Graduação em Ciência da Computação) - Universidade Federal de Campina Grande.

Qualificações de Mestrado
1.
RIBEIRO, Márcio; BRITO, Patrick; COSTA, Evandro de Barros. Participação em banca de Bruno Rafael Ferreira Souza Barbosa da Silva. Objetos de Aprendizagem Baseados em Redes Sociais Voltados à Educação e Inclusão da Pessoa Surda. 2016. Exame de qualificação (Mestrando em Informática) - Universidade Federal de Alagoas.

2.
RIBEIRO, Márcio; COSTA NETO, A.. Participação em banca de Lidiany Cerqueira Santos. Um Estudo de Caso da Adoção da Programação Orientados a Aspectos para Melhoria do Processo de Manutenção e Evolução de Sistemas Integrados de Gestão. 2015. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Sergipe.

3.
RIBEIRO, Márcio; PAES, Rodrigo de Barros; BRITO, Patrick; FONSECA, B.. Participação em banca de Iran Rodrigues Gonzaga Junior. Assessing Fine-Grained Feature Dependencies. 2015. Exame de qualificação (Mestrando em Informática) - Universidade Federal de Alagoas.

4.
RIBEIRO, MÁRCIO; PAES, Rodrigo de Barros; DIAS, L.. Participação em banca de Maria Helynne Lima Silva. Perfil do Programador de Software: Conceitualização e Identificação de Soft Skills. 2014. Exame de qualificação (Mestrando em Informática) - Universidade Federal de Alagoas.

5.
RIBEIRO, Márcio; Bittencourt, I.; DIAS, L.. Participação em banca de Endhe Elias Soares. JOINT-E: Um Framework para Avaliação de Desempenho e Escalabilidade de APIs de Persistência em Ontologias. 2014. Exame de qualificação (Mestrando em Informática) - Universidade Federal de Alagoas.

Trabalhos de conclusão de curso de graduação
1.
RIBEIRO, Márcio; PAES, Rodrigo de Barros; FONSECA, B.. Participação em banca de Francisco Dalton Barbosa Dias.Adicionando Contratos a Interfaces Emergentes. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Alagoas.

2.
RIBEIRO, Márcio; FONSECA, B.; TIENGO, Willy Carvalho. Participação em banca de Marcos Paulo José de Melo Silva.Otimização de Percurso de Sistema de Transporte Público Utilizando Algoritmo de Colônia de Formigas. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Alagoas.

3.
RIBEIRO, Márcio; PAES, Rodrigo de Barros; DIAS, L.; GOMES, J. P.. Participação em banca de Alâynne Marcelle Santos Moreira.O Uso da Análise Técnica: Um Framework para a Simulação de Estratégias de Análise Técnica de Ações e sua Utilização para Avaliar a Efetividade dos Padrões de Candlesticks de Reversão. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Alagoas.

4.
RIBEIRO, Márcio; BRITO, Patrick; TEIXEIRA, Leopoldo. Participação em banca de Társis Wanderley Tolêdo.Uma Ferramenta para Interfaces Emergentes em Linhas de Produto de Software. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Alagoas.

5.
RIBEIRO, Márcio; COSTA, Evandro de Barros; SILVA, Alan Pedro da; Bittencourt, I.; BRITO, Patrick. Participação em banca de Diego Dermeval Medeiros da Cunha Matos.Especificação Sistemática de uma Linha de Produto de Software para Sistemas Tutores Inteligentes Clássicos: Foco no Nível Arquitetural. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Alagoas.

6.
RIBEIRO, Márcio; TIENGO, Willy Carvalho; Bittencourt, I.. Participação em banca de Felipe Augusto Monteiro de Souza.PMI x RUP: estudo das metodologias e proposta de integração. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Alagoas.

7.
Rafael de Amorim Silva; RIBEIRO, Márcio; Lobato, L. L.. Participação em banca de Sócrates de Halley Lopes Cordeiro.Proposta de uma Ferramenta de Apoio a Inspeções de Software. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Faculdade de Informática e Tecnologia de Pernambuco.



Participação em bancas de comissões julgadoras
Concurso público
1.
RIBEIRO, Márcio; BRITO, Patrick; FIDALGO, R.. Concurso Público para Professor Adjunto. 2013. Universidade Federal de Alagoas.

2.
RIBEIRO, Márcio; CORDEIRO, T.; SILVA, Alan Pedro da. Concurso para Professor Substituto. 2013. Universidade Federal de Alagoas.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
12th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2018). Equivalent Mutants in Configurable Systems: An Empirical Study. 2018. (Congresso).

2.
16th International Conference on Generative Programming: Concepts & Experience (GPCE 2017).. 2017. (Congresso).

3.
25th International Conference on Program Comprehension (ICPC 2017). The Discipline of Preprocessor-Based Annotations Does #ifdef TAG n't #endif Matter. 2017. (Congresso).

4.
VIII Congresso Brasileiro de Software (CBSoft 2017). 2017. (Congresso).

5.
VII Congresso Brasileiro de Software (CBSoft 2016). 2016. (Congresso).

6.
XV Simpósio Brasileiro de Qualidade de Software (SBQS 2016).Evoluindo Sistemas Configuráveis Baseados em Pré-Processadores. 2016. (Simpósio).

7.
XXXVI Congresso da Sociedade Brasileira de Computação (CSBC 2016). 2016. (Congresso).

8.
14th International Conference on Generative Programming: Concepts & Experience (GPCE 2015). 2015. (Congresso).

9.
Feature-Oriented Software Development (FOSD) Meeting 2015.An Empirical Study on Fine-Grained Feature Dependencies. 2015. (Encontro).

10.
VI Congresso Brasileiro de Software (CBSoft 2015). 2015. (Congresso).

11.
13th International Conference on Generative Programming: Concepts & Experiences (GPCE 2014). 2014. (Congresso).

12.
36th International Conference on Software Engineering (ICSE 2014). Feature Maintenance with Emergent Interfaces. 2014. (Congresso).

13.
6th International Workshop on Feature-Oriented Software Development (FOSD 2014). 2014. (Outra).

14.
7th International Conference on Software Language Engineering (SLE 2014). 2014. (Congresso).

15.
V Congresso Brasileiro de Software (CBSoft 2014). 2014. (Congresso).

16.
XXXIV Congresso da Sociedade Brasileira de Computação (CSBC 2014). 2014. (Congresso).

17.
12th International Conference on Generative Programming and Component Engineering (GPCE 2013). 2013. (Congresso).

18.
4th ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2013). 2013. (Congresso).

19.
Dagstuhl Seminar 13091: Analysis, Test and Verification in The Presence of Variability.Feature Maintenance with Emergent Interfaces. 2013. (Seminário).

20.
IV Congresso Brasileiro de Software (CBSoft 2013). 2013. (Congresso).

21.
XXXIII Congresso da Sociedade Brasileira de Computação (CSBC 2013). Emergent Feature Modularization. 2013. (Congresso).

22.
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).

23.
III Congresso Brasileiro de Software (CBSoft 2012). 2012. (Congresso).

24.
VI Latin American Workshop on Aspect-Oriented Software Development (LA-WASP 2012) (Advanced Modularization Techniques). 2012. (Outra).

25.
10th International Conference on Aspect-Oriented Software Development - Perspectives on Modularity (AOSD 2011). 2011. (Congresso).

26.
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).

27.
2nd ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2011). 2011. (Congresso).

28.
II Congresso Brasileiro de Software (CBSoft 2011). A Tool for Improving Maintainability of Preprocessor-based Product Lines. 2011. (Congresso).

29.
1st ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2010).Emergent Feature Modularization. 2010. (Simpósio).

30.
I Congresso Brasileiro de Software (CBSoft 2010). Mini-curso: Defining and Implementing Domain-Specific Languages. 2010. (Congresso).

31.
13th European Conference on Software Maintenance and Reengineering (CSMR 2009). Improving Guidance when Restructuring Variabilities in Software Product Lines. 2009. (Congresso).

32.
4th European Summer School on Aspect-oriented Software Development (AOSDSC 2009). 2009. (Outra).

33.
III Latin-American Workshop on Aspect-Oriented Software Development (LA-WASP 2009).Does AspectJ Provide Modularity when Implementing Features with Flexible Binding Times?. 2009. (Outra).

34.
XXIII Simpósio Brasileiro de Engenharia Software (SBES 2009). 2009. (Simpósio).

35.
23rd Annual ACM Symposium on Applied Computing (SAC 2008).A Decision Model for Implementing Product Line Variabilities. 2008. (Simpósio).

36.
2nd RiSE Summer School on Software Product Lines. 2008. (Outra).

37.
III Workshop para Introdução de Reuso em Empresas (WIRE 2008). 2008. (Outra).

38.
1st RiSE Summer School on Software Reuse. 2007. (Outra).

39.
2nd Pernambuco School of Software Engineering - Testing. 2007. (Outra).

40.
I Latin-American Workshop on Aspect-Oriented Software Development (LA-WASP 2007). 2007. (Encontro).

41.
XXI Simpósio Brasileiro de Engenharia de Software (SBES 2007).Analyzing Class and Crosscutting Modularity with Design Structure Matrixes. 2007. (Simpósio).

42.
XXI Simpósio Brasileiro de Engenharia de Software (SBES 2007). 2007. (Simpósio).

43.
SUCESU. RSwing: uma biblioteca de componentes de código livre para geração de gráficos estatísticos. 2005. (Congresso).

44.
Feira do Empreendedor: bons ventos para o seu negócio.IMISP - Integrated Manager for Internet Service Provider: Software para gerenciamento integrado de provedores de Internet banda larga. 2004. (Outra).

45.
Semana do Fera de Computação.Apresentação do Projeto CoCADa. 2004. (Seminário).

46.
XIV Encontro de Iniciação Científica. SiGG - Sistema de Gráficos do graW: um sistema para visualização de gráficos estatísticos na web. 2004. (Congresso).

47.
XXIV Congresso da Sociedade Brasileira de Computação. 2004. (Congresso).

48.
Congresso Alagoano de Tecnologia da Informação - CATI'03. 2003. (Congresso).

49.
XIII Encontro de Iniciação Científica.Construção do Conhecimento por Agrupamento de Dados - CoCADa. 2003. (Encontro).

50.
XXI Simpósio Brasileiro de Redes de Computadores. 2003. (Congresso).

51.
I Escola Alagoana de BioInformática. 2002. (Congresso).

52.
I Congresso Estadual de Tecnologia e Informática. 2001. (Congresso).

53.
II Seminário de Análise de Sistemas - Telecomunições e Internet. 2001. (Congresso).

54.
II Semana de Estudos Turísticos e Culturais. 1998. (Seminário).


Organização de eventos, congressos, exposições e feiras
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.
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).

5.
RIBEIRO, Márcio; FONSECA, B. . Workshop on Software - IC (WSIC 2013). 2013. (Outro).

6.
VELOSO, A. ; RIBEIRO, Márcio . XXXII Concurso de Trabalhos de Iniciação Científica (CTIC 2013). 2013. (Concurso).

7.
RIBEIRO, Márcio. Congresso Alagoano de Tecnologia da Informação - CATI'03. 2003. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Márcio Augusto dos Santos Guimarães. Sintetização de Programas para Derivação de Regras para Evitar Mutantes Equivalentes. Início: 2017. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas. (Orientador).

Tese de doutorado
1.
Larissa Nadja Brasileiro Braz. A change-centric approach to analyze configurable systems. Início: 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande. (Coorientador).

2.
Leonardo Fernandes Mendonça de Oliveira. Uma Técnica para Detectar Mutantes Equivalentes e Duplicados em Testes de Software. Início: 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco. (Coorientador).

3.
Felipe Barros Pontes. Estudos empíricos e controlados para o entendimento da semântica da linguagem Java. Início: 2014. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande. (Coorientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Romero Bezerra de Souza Malaquias. A Disciplinaridade de Anotações Condicionais de Pré-Processamento #ifdef TAG Não #endif Importa.. 2017. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas, . Orientador: Márcio de Medeiros Ribeiro.

2.
Bruno Roberto Santos. Um Método para Verificação Formal e Dinâmica de Sistemas de Software Concorrentes. 2016. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas, . Coorientador: Márcio de Medeiros Ribeiro.

3.
Iran Rodrigues Gonzaga Júnior. Empirical Studies on Fine-Grained Feature Dependencies. 2015. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas, . Orientador: Márcio de Medeiros Ribeiro.

4.
Diogo Cabral de Almeida. PRIDE: Uma Ferramenta de Detecção de Similaridade em Código-fonte. 2015. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas, . Coorientador: Márcio de Medeiros Ribeiro.

Tese de doutorado
1.
Flávio Mota Medeiros. An Approach to Safely Evolve Preprocessor-Based C Program Families. 2016. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Márcio de Medeiros Ribeiro.

Trabalho de conclusão de curso de graduação
1.
Luiz Matheus de Alencar Carvalho. Equivalent Mutants in Configurable Systems: An Empirical Study. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Márcio de Medeiros Ribeiro.

2.
Francisco Dalton Barbosa Dias. Adicionando Contratos a Interfaces Emergentes. 2014. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Márcio de Medeiros Ribeiro.

3.
Jean Melo. Modelagem de um Assistente Inteligente para Auxiliar a Manutenção de Linhas de Produto de Software. 2012. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Márcio de Medeiros Ribeiro.

4.
Luiz Américo Mesquita Jardim. Integrando JML a Interfaces Emergentes. 2012. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Márcio de Medeiros Ribeiro.

5.
Társis Wanderley Tolêdo. Uma Ferramenta para Interfaces Emergentes em Linhas de Produto de Software. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Márcio de Medeiros Ribeiro.

6.
Luiz Felipe de Oliveira Libório. Extensão de ferramenta para computação de Interfaces Emergentes. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Márcio de Medeiros Ribeiro.

7.
Francisco Barreto Costa Pimentel Filho. Extensão de ferramenta de auxílio à manutenção de Linhas de Produto de Software. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Márcio de Medeiros Ribeiro.

8.
Humberto de Sousa Pachêco. XCide: Uma Ferramenta para prover modularidade de Features implementadas com Separação Virtual de Interesses. 2010. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Márcio de Medeiros Ribeiro.

9.
Rodrigo Cardoso Amaral de Andrade. Avaliação de idiomas baseados em AspectJ para implementar features com binding times flexíveis em Linhas de Produto de Software. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Márcio de Medeiros Ribeiro.

10.
Sócrates de Halley Lopes Cordeiro. Proposta de uma Ferramenta de Apoio a Inspeções de Software. 2008. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Faculdade de Informática e Tecnologia de Pernambuco. Orientador: Márcio de Medeiros Ribeiro.

Iniciação científica
1.
José Carlos Viana Filho. Execução dos Testes Diferenciais em diferentes Sistemas Operacionais. 2016. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Márcio de Medeiros Ribeiro.

2.
Luiz Matheus de Alencar Carvalho. Projeto e Execução de Testes Diferenciais em Diferentes Compiladores Java. 2016. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Márcio de Medeiros Ribeiro.

3.
Luiz Matheus de Alencar Carvalho. Projeto do Experimento Controlado para Entender os Impactos de Anotações Não Disciplinadas com o Pré-Processador C. 2015. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Márcio de Medeiros Ribeiro.

4.
Wesley Marques Rocha. Instrumentação e Execução do Experimento Controlado para Entender os Impactos de Anotações Não Disciplinadas com o Pré-Processador C. 2015. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Márcio de Medeiros Ribeiro.

5.
Wesley Marques Rocha. Ferramenta que verifica refatoramentos em C como um plug-in para o Eclipse. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Márcio de Medeiros Ribeiro.

6.
Luiz Matheus de Alencar Carvalho. Definição de uma técnica para testar refatoramentos em C.. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Márcio de Medeiros Ribeiro.

7.
Eric Belarmino Diniz. Identificação e catalogação de dependências entre diretivas de pré-processamento. 2013. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Márcio de Medeiros Ribeiro.

8.
Erivaldo Lourenço Mariano. Elaboração e execução de estudos empíricos sobre dependências entre diretivas de pré-processamento. 2013. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Alagoas, Fundação de Amparo à Pesquisa do Estado de Alagoas. Orientador: Márcio de Medeiros Ribeiro.

Orientações de outra natureza
1.
Thiago Emmanuel de Oliveira Lima. Implementação de Refatoramentos para disciplinar diretivas de pré-processamento. 2013. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Márcio de Medeiros Ribeiro.

2.
Francisco Dalton Barbosa Dias. Definição e implementação de interface visual para uma ferramenta de refatoração de diretivas de pré-processamento não disciplinadas. 2013. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Márcio de Medeiros Ribeiro.

3.
Thiago Emmanuel de Oliveira Lima. Definição e implementação de interface visual para uma ferramenta de apoio ao desenvolvimento de software baseado em pré-processadores. 2012. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Márcio de Medeiros Ribeiro.

4.
Francisco Dalton Barbosa Dias. Desenvolvimento de algoritmos e módulos para o gerenciamento das diretivas de pré-processamento no editor do Eclipse CDT. 2012. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Márcio de Medeiros Ribeiro.



Outras informações relevantes


Membro do Instituto Nacional de Engenharia de Software (INES).



Página gerada pelo Sistema Currículo Lattes em 16/12/2018 às 11:43:03