Vander Ramos Alves

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


Vander Alves é Professor Associado 1 do Departamento de Ciência da Computação da Universidade de Brasília. Ele se interessa por pesquisa, desenvolvimento, e ensino em Engenharia de Software (sub-áreas Linha de Produtos de Software, Desenvolvimento de Software Orientado a Modelos) e em Comando e Controle. Vander é doutor em Ciência da Computação (Engenharia de Software) pela Universidade Federal de Pernambuco. Ele foi CAPES-Humboldt Experienced Research Fellow na Universidade de Passau (Alemanha) em colaboração com o Prof. Sven Apel, trabalhou como pesquisador pós-doutor no Fraunhofer Institute for Experimental Software Engineering (Alemanha) e na Lancaster University (Inglaterra), participando de projetos europeus nas áreas de Linha de Produtos de Software, Desenvolvimento de Software Orientado a Aspectos e a Modelos, Ambient Assited Living, e Smart Homes. Ele também trabalhou no IBM Silicon Valley laboratory em San Jose, Califórnia (EUA), na implementação da linha de produtos Information Integration, e é co-autor de uma patente licenciada nos EUA. (Texto informado pelo autor)


Identificação


Nome
Vander Ramos Alves
Nome em citações bibliográficas
ALVES, Vander;Alves, Vander;ALVES, V.

Endereço


Endereço Profissional
Universidade de Brasília, Departamento de Ciência da Computação.
Departamento de Ciência da Computação, Universidade de Brasilia, Campus Darcy Ribeiro
Asa Norte
70900010 - Brasília, DF - Brasil
Telefone: (61) 31077411


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


2003 - 2007
Doutorado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Implementing Software Product Line Adoption Strategies, Ano de obtenção: 2007.
Orientador: Paulo Henrique Monteiro Borba.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Linha de Produtos de Software; Programação Orientada a Aspectos; Aplicações ubíquas; Generative programming.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Desenvolvimento de Programas (Software).
1999 - 2000
Mestrado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: An Implementation Method for Distributed Object-Oriented Applications,Ano de Obtenção: 2000.
Orientador: Paulo Henrique Monteiro Borba.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
1994 - 1997
Graduação em Ciencia da Computacao.
Universidade de Brasília, UnB, Brasil.
Título: Utilização de redes neurais para estimar chuvas fortes sobre o Brasil.
Orientador: Li Weigang.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.


Pós-doutorado


2017 - 2018
Pós-Doutorado.
Universität Passau, UNI/Passau, Alemanha.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra
2008 - 2009
Pós-Doutorado.
Fraunhofer Institute for Experimental Software Engineering, IESE, Alemanha.
Grande área: Ciências Exatas e da Terra
2006 - 2008
Pós-Doutorado.
Lancaster University, LANCS, Inglaterra.
Grande área: Ciências Exatas e da Terra


Formação Complementar


2017 - 2017
DeepSpec Summer School. (Carga horária: 100h).
University of Pennsylvania, UPENN, Estados Unidos.
2012 - 2012
NASA/NIA PVS CLASS. (Carga horária: 30h).
National Institute of Aerospace, NIA, Estados Unidos.


Atuação Profissional



Universidade Federal da Bahia, UFBA, Brasil.
Vínculo institucional

2018 - Atual
Vínculo: , Enquadramento Funcional:


Technische Universität Dresden, TUD, Alemanha.
Vínculo institucional

2013 - 2013
Vínculo: Professor Visitante, Enquadramento Funcional: Professor visitante
Outras informações
Desenvolvimento de pesquisa na área de reconfiguração dinâmica em configuração multi-passos em linha de produtos de software


Universidade de Brasília, UnB, Brasil.
Vínculo institucional

2017 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado 1, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

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

Vínculo institucional

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

Vínculo institucional

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

Vínculo institucional

2009 - 2011
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto 1, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

10/2009 - 12/2009
Conselhos, Comissões e Consultoria, Departamento de Ciência da Computação, .

Cargo ou função
Membro da comissão para seleção dos candidatos inscritos para o programa de mestrado em 2010.
08/2009 - 12/2009
Ensino, Ciencia da Computacao, Nível: Graduação

Disciplinas ministradas
Engenharia de Software; Arquitetura de Software; Trabalho de Graduação

Fraunhofer Institute for Experimental Software Engineering, IESE, Alemanha.
Vínculo institucional

2008 - 2009
Vínculo: Colaborador, Enquadramento Funcional: Pesquisador pos-doutor, Regime: Dedicação exclusiva.


Lancaster University, LANCASTER, Inglaterra.
Vínculo institucional

2006 - 2008
Vínculo: Colaborador, Enquadramento Funcional: Pesquisador pos-doutor, Regime: Dedicação exclusiva.


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

2006 - 2007
Vínculo: Colaborador, Enquadramento Funcional: Doutorando, Regime: Dedicação exclusiva.


International Business Machines, IBM, Estados Unidos.
Vínculo institucional

2001 - 2003
Vínculo: Estagiário, Enquadramento Funcional: Desenvolvedor, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Membro da equipe DB2 Federated (SVL SBTI Query Gateway Department)

Atividades

11/2001 - 01/2003
Estágios , Silicon Valley Laboratory/DBTI Query Gateway, .

Estágio realizado
Implementação de invólucro (wrapper) entre o SGBD DB2 e o middleare MQSeries preservando semântica transacional (transactional MQ UDFs).
11/2001 - 01/2003
Estágios , Silicon Valley Laboratory/DBTI Query Gateway, .

Estágio realizado
Teste funcional (FVT) de diversos invólucros (wrappers) integrantes do DB2 Federated.
11/2001 - 01/2003
Estágios , Silicon Valley Laboratory/DBTI Query Gateway, .

Estágio realizado
Implementação de invólucro (wrapper) conectando DB2 e bases de dado Teradata.

Sociedade Objetivo de Ensino Superior, SOES, Brasil.
Vínculo institucional

1998 - 1998
Vínculo: Colaborador, Enquadramento Funcional: Professor

Atividades

08/1998 - 12/1998
Ensino, Ciência de Computação, Nível: Graduação

Disciplinas ministradas
Laboratório de Programação


Projetos de pesquisa


2018 - Atual
Generalization and Mechanized Formalization of Product Line of Software Product Line Analysis Strategies
Descrição: The goal of this project is twofold: 1) generalize an existing theory of reliability analysis of software product lines to other properties; 2) provide mechanized evidence using a proof assistant that different analysis in the theory commute..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (1) .
Integrantes: Vander Ramos Alves - Coordenador / Leopoldo Teixeira - Integrante / Maxime Cordy - Integrante / Pierre-Yves Schobbens - Integrante / CASTRO, THIAGO - Integrante / APEL, SVEN - Integrante.Financiador(es): Alexander Von Humboldt-Stiftung/Foundation - Auxílio financeiro.
2018 - Atual
Testing Highly Configurable Systems
Descrição: O objetivo deste projeto é investigar, através de estudos experimentais, duas áreas carentes de estudos em Linhas de Produto Software (LPS): seleção de técnicas de teste de regressão e a ocorrência de testes smells. Com as evidências identificadas, soluções serão propostas para projetos de LPS..
Situação: Em andamento; Natureza: Pesquisa.
2012 - Atual
Gerenciamento de Variabilidade em Linha de Produtos de Software
Descrição: Este projeto investiga diferentes técnicas que podem ser utilizadas para se alcançar efetivo gerenciamento de variabilidade em linha de produtos de software com qualidade controlada. As técnicas envolvem tanto tempo de ligação estático quanto dinâmico e a qualidade envolve propriedades de dependabilidade como confiabilidade. Estudam-se estratégias baseadas em família e composicional para a análises das linhas de produtos..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (1) .
Integrantes: Vander Ramos Alves - Coordenador / Carina Alves - Integrante / Genaina Nunes Rodrigues - Integrante / Valença, George - Integrante.
Número de produções C, T & A: 1
2009 - 2012
Linha de Produtos de Vida Ambiente-Assistida
Descrição: O objetivo de pesquisa é definir o projeto sistemático de Linha Produtos de Software (LPS) considerando explicitamente o requisito não-funcional de dependabilidade. Em particular, esta pesquisa modelará a dependabilidade da LPS e proporá um método para quantificar este requisito nas instâncias da LPS. A pesquisa será direcionada por um problema concreto, em particular, o desenvolvimento de sistemas de detecção e prevenção de emergência no domínio de Vida Ambiente- Assistida..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) .
Integrantes: Vander Ramos Alves - Coordenador / Paula Gabriela de Medeiros Fernandes - Integrante / Genaina Nunes Rodrigues - Integrante / Vinícius Uriel Nunes - Integrante / Anderson Herzogenrath da Costa. - Integrante / Marco Antônio Marques Pinheiro - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 1
2008 - 2009
EMERGE - Emergency Monitoring and Prevention
Descrição: The goal of EMERGE is to improve emergency assistance through early detection and proactive prevention, as well as unobtrusive sensing. As a consequence, quality of life for elderly people will increase and costs for emergency medical service can be leveraged for the elderly as well as for society. The main innovation of EMERGE is to provide a model for recurring behaviours and experiences of elderly people following a holistic approach in order to detect deviations from their typical behaviour and to reason on acute disorders in their health condition. Participating partners: Fraunhofer IESE, Siemens Corporate Technology, Westpfalz Klinikum, e-ISOTIS, Bay Zoltan, Art of Technology, European Microsoft Innovation Center, National Research Centre Demokritos, Medical University of Graz. Project URL: http://www.emerge-project.eu/.
Situação: Concluído; Natureza: Pesquisa.
2008 - 2008
BelAmI - Bilateral German-Hungarian Collaboration Project on Ambient Intelligence Systems
Descrição: The BelAmI project aims at developing innovative technologies and system development methods in the area of Ambient Intelligence. This goal is to be reached by 1) making use of the complementary expertise of the researchers in the participating institutions; 2) finding solutions to research challenges in problems characteristic to the field of Ambient Intelligence; 3) demonstrating these solutions in real life application scenarios; 4) producing application systems for the industry. Participating partners: Fraunhofer IESE, Bay Zoltan, Budapest University, University of Kaiserslautern, University of Szeged. Project URL: http://www.belami-project.org/.
Situação: Concluído; Natureza: Pesquisa.
2006 - 2008
AMPLE - Aspect-Oriented, Model-Driven Product Line Engineering
Descrição: The aim of AMPLE is to provide a Software Product Line (SPL) development methodology that offers improved modularisation of variations, their holistic treatment across the software lifecycle and maintenance of their (forward and backward) traceability during SPL evolution. Currently, there is a big gap between research in requirements analysis, architectural modelling and implementation technology, and the industrial practice in SPL engineering. Furthermore, the focus tends to be on the design and code level when variations need to be identified, managed and analysed from the very early stage of requirements engineering. Architecture models are related to requirements models in an ad-hoc fashion and implementation tends to rely on pre-processors which are inadequate substitute for proper programming language support for variability. Nor is there any systematic traceability framework for relating variations across a SPL engineering lifecycle. Instituições Participantes: Lancaster University, Universidade Nova de Lisboa, Darmstadt University, Ecoles de Mines de Nantes, University of Twente, Universidad de Malaga, HOLOS, SAP, e SIEMENS. http://www.ample-project.net/.
Situação: Concluído; Natureza: Pesquisa.
2006 - 2007
FLiP - Ferramentas para Linhas de Produtos de Jogos Móveis
Descrição: Este projeto tem como objetivo o desenvolvimento de ferramentas de apoio ao processo de desenvolvimento de "linhas de produtos" para jogos móveis com o intuito de facilitar o porte (adaptação) deste tipo de aplicação à enorme variedade de aparelhos celulares existentes. Estas ferramentas ajudarão, portanto, a aumentar, via um reuso mais sistemático do código, a produtividade das empresas brasileiras que desenvolvem jogos móveis, diminuindo a barreira de entrada destas a um mercado muito competitivo, especialmente no exterior onde a variedade de telefones disponíveis é ainda maior. Além disso, tais ferramentas poderão habilitar as empresas nacionais a oferecer serviços de outsourcing para porte de jogos de outras empresas internacionais..
Situação: Concluído; Natureza: Pesquisa.
2005 - 2007
Investigando o Desenvolvimento de Aplicações Móveis em Linhas de Produto
Descrição: Neste projeto investigaremos ferramentas inovadoras que contribuirão para gerenciar (através da visualização, configuração, e análise das propriedades das variações), compor (através de orientação a aspectos, transformação de programas e programação gerativa, além das técnicas tradicionais de orientação a objetos), e derivar (através de técnicas de refactoring e análise estática de código) linhas de produtos a partir de versões de um sistema desenvolvidas sem esta preocupação. Estas ferramentas permitirão um gerenciamento eficaz das variantes de uma aplicação móvel e de sua adaptação a diferentes dispositivos, otimizando o resultado de acordo com as restrições destes. Algumas das técnicas mencionadas acima são bastante recentes e só agora começam a surgir esforços para integrá-las, como o uso de aspectos para introduzir as variações em uma linha de produtos. Isto confere um caráter inovador a este projeto. De fato, a integração e automação parcial destas técnicas requerem estudos profundos que já estão sendo realizados por pesquisadores do CIn-UFPE..
Situação: Concluído; Natureza: Pesquisa.
2003 - 2004
Variações em Linhas de Produtos de Software Usando Programação Orientada a Aspectos
Descrição: Este projeto de pesquisa visa explorar o uso de técnicas baeadas em programação orientada a aspectos a fim de se configurar a arquitetura genérica de uma linha de produto de software na instanciação de um produto específico. Com isso, espera-se ganhos em produtividade do processo de desenvolvimento e da qualidade dos produtos de software gerados..
Situação: Concluído; Natureza: Pesquisa.
2002 - 2004
Implementação Progressiva de Aplicações Ubíquas Adaptáveis
Descrição: Visando oferecer suporte ao desenvolvimento de software adaptável, com níveis de produtividade e qualidade adequados para as necessidades do mercado, neste projeto de pesquisa pretendemos definir e validar um processo para a implementação de aplicações ubíquas adaptáveis. Este é o principal desafio deste projeto, já que tradicionalmente tem-se dado mais atenção ao desenvolvimento de software reusável e extensível, que facilita as mudanças estáticas, realizadas no código pelo programador, como parte das atividades de manutenção do sistema. Em particular, o processo a ser definido deve suportar uma abordagem progressiva para implementação, de forma que o código que implementa as políticas e procedimentos de instalações e atualizações dinâmicas não seja inicialmente considerado na implementação, mas seja gradualmente introduzido, preservando os requisitos funcionais da aplicação..
Situação: Concluído; Natureza: Pesquisa.
2000 - 2002
Implementação Progressiva de Aplicações Orientadas a Objetos Complexas
Descrição: Neste projeto pretendemso definir e validar um método para a implementação de aplicações orientadas a objetos complexas. Em particular, este método deve suportar uma abordagem progressiva para implementação orientada a objetos, de forma que aspectos de distribuição, concorrência, e persistência não sejam inicialmente considerados pelo processo de implementação, mas sejam gradualmente introduzidos, preservando os requisitos funcionais da aplicação..
Situação: Concluído; Natureza: Pesquisa.


Revisor de periódico


2007 - Atual
Periódico: Journal of Systems and Software
2009 - 2015
Periódico: LNCS Transactions on Aspect-Oriented Software Development
2010 - Atual
Periódico: Science of Computer Programming (Print)
2011 - Atual
Periódico: Information and Software Technology
2014 - Atual
Periódico: IEEE Transactions on Software Engineering
2014 - Atual
Periódico: Software and Systems Modeling (Print)
2015 - Atual
Periódico: Empirical Software Engineering
2017 - Atual
Periódico: FORMAL ASPECTS OF COMPUTING


Á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: Linha de Produtos de Software.
3.
Grande área: Outros / Área: Defesa / Subárea: Comando e Controle.
4.
Grande área: Outros / Área: Defesa / Subárea: Métodos Formais.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Alemão
Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.


Prêmios e títulos


2017
Experienced Research Fellow, CAPES/Alexander von Humboldt Foundation.


Produções



Produção bibliográfica
Citações

Outras
Total de trabalhos:54
Total de citações:1416
(h=19, https://scholar.google.com/citations?user=b-u7SxQAAAAJ&hl=pt-BR)  Data: 17/09/2018

Artigos completos publicados em periódicos

1.
CASTRO, THIAGO2018 CASTRO, THIAGO ; LANNA, ANDRÉ ; Alves, Vander ; TEIXEIRA, LEOPOLDO ; APEL, SVEN ; SCHOBBENS, PIERRE-YVES . All roads lead to Rome: Commuting strategies for product-line reliability analysis. SCIENCE OF COMPUTER PROGRAMMING, v. 152, p. 116-160, 2018.

2.
LANNA, ANDRÉ2018 LANNA, ANDRÉ ; CASTRO, THIAGO ; Alves, Vander ; RODRIGUES, GENAINA ; SCHOBBENS, PIERRE-YVES ; APEL, SVEN . Feature-family-based reliability analysis of software product lines. INFORMATION AND SOFTWARE TECHNOLOGY, v. 94, p. 59-81, 2018.

3.
VALE, TASSIO2017VALE, TASSIO ; DE ALMEIDA, EDUARDO SANTANA ; Alves, Vander ; Kulesza, Uirá ; Niu, Nan ; DE LIMA, RICARDO . Software product lines traceability: A systematic mapping study. Information and Software Technology, v. 84, p. 1-18, 2017.

4.
PESSOA, LEONARDO2017PESSOA, LEONARDO ; FERNANDES, PAULA ; CASTRO, THIAGO ; Alves, Vander ; RODRIGUES, GENAÍNA N. ; CARVALHO, HERVALDO . Building reliable and maintainable Dynamic Software Product Lines: An investigation in the Body Sensor Network domain. Information and Software Technology, p. 54-70, 2017.

5.
LEITE, ALESSANDRO FERREIRA2017LEITE, ALESSANDRO FERREIRA ; Alves, Vander ; Rodrigues, Genaína Nunes ; TADONKI, CLAUDE ; EISENBEIS, CHRISTINE ; MELO, ALBA CRISTINA MAGALHAES ALVES DE . Dohko: an autonomic system for provision, configuration, and management of inter-cloud environments based on a software product line engineering method. Cluster Computing-The Journal of Networks Software Tools and Applications, v. 20, p. 1951-1976, 2017.

6.
Mendonça, D.2016Mendonça, D. ; Rodrigues, Genaína Nunes ; Ali, Raian ; ALVES, Vander ; Baresi, L. . GODA: A goal-oriented requirements engineering framework for runtime dependability analysis. Information and Software Technology, v. 80, p. 245-264, 2016.

7.
NEVES, L.2015NEVES, L. ; BORBA, P. ; ALVES, V. ; TURNES, L. ; TEIXEIRA, L. ; SENA, D. ; KULESZA, U. . Safe Evolution Templates for Software Product Lines. The Journal of Systems and Software, p. 42-58, 2015.

8.
KULESZA, UIRÁ2013KULESZA, UIRÁ SOARES, SÉRGIO CHAVEZ, CHRISTINA CASTOR, FERNANDO BORBA, Paulo LUCENA, C. J. P. LUCENA, CARLOS MASIERO, PAULO SANT'ANNA, Claudio ALVES, Vander FERRARI, Fabiano COELHO, Roberta FIGUEIREDO, Eduardo PIRES, PAULO F. DELICATO, FLÁVIA PIVETA, Eduardo SILVA, CARLA CAMARGO, VALTER BRAGA, ROSANA LEITE, JULIO LEMOS, OTÁVIO MENDONÇA, NABOR BATISTA, Thais BONIFÁCIO, RODRIGO CACHO, Nélio , et al.SILVA, LYRENE von Staa, Arndt SILVEIRA, FÁBIO VALENTE, MARCO TÚLIO ALENCAR, FERNANDA CASTRO, Jaelson RAMOS, RICARDO PENTEADO, ROSANGELA RUBIRA, CECÍLIA ; The crosscutting impact of the AOSD Brazilian research community. The Journal of Systems and Software, v. 86, p. 905-933, 2013.

9.
Valença, George2013Valença, George ; Alves, Carina ; ALVES, Vander ; Niu, Nan . A Systematic Mapping Study on Business Process Variability. International Journal of Computer Science and Information Technology (Print), v. 5, p. 1-21, 2013.

10.
Rodrigues, Genaína Nunes2012Rodrigues, Genaína Nunes ; Alves, Vander ; Silveira, Renato ; Laranjeira, Luiz A. . Dependability analysis in the Ambient Assisted Living Domain: An exploratory case study. JOURNAL OF SYSTEMS AND SOFTWARE, v. 85, p. 112-131, 2012.

11.
NEVES, L.2012NEVES, L. ; TEIXEIRA, L. ; SENA, D. ; ALVES, Vander ; Kulesza, Uirá ; BORBA, Paulo . Investigating the safe evolution of software product lines. ACM SIGPLAN Notices, v. 47, p. 33, 2012.

12.
Alves, Vander2010 Alves, Vander; Niu, Nan ; Alves, Carina ; Valença, George . Requirements engineering for software product lines: A systematic literature review. INFORMATION AND SOFTWARE TECHNOLOGY, v. 52, p. 806-820, 2010.

13.
ALVES, Vander;Alves, Vander;ALVES, V.2007 ALVES, Vander; MATOS , Pedro ; COLE, Leonardo ; VASCONCELOS, A. T. ; BORBA, Paulo ; RAMALHO, Geber . Extracting and Evolving Code in Product Lines with Aspect-Oriented Programming. Transactions on Aspect-Oriented Software Development, v. 4640, p. 117-142, 2007.

14.
ALVES, Vander;Alves, Vander;ALVES, V.2005ALVES, Vander. Identifying Variations in Mobile Devices.. Journal of Object Technology, Zurique, v. 4, n.3, p. 51, 2005.

15.
SAMPAIO, Pedro2005SAMPAIO, Pedro ; DAMASCENO, Alexandre ; SAMPAIO, Igor ; ALVES, Vander ; RAMALHO, Geber ; BORBA, Paulo . Portando Jogos em J2ME: Desafios, Estudo de Caso, e Diretrizes. Scientia (Unisinos), São Leopoldo, RS, Brasil, v. 16, n.1, p. 66-72, 2005.

Livros publicados/organizados ou edições
1.
Schaefer, I. (Org.) ; ALVES, Vander (Org.) ; ALMEIDA, E. S. (Org.) . Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2016). 1. ed. New York: ACM, 2016. v. 1. 116p .

2.
ALVES, Vander. Proceedings of the 5 th Workshop on Theses and Dissertations of CBSoft. 1. ed. Porto Alegre: Sociedade Brasileira de Computação, 2015. v. 1. 82p .

3.
ALVES, Vander. Proceedings of the Eighth Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS 2014). 1. ed. Los Alamitos: IEEE Computer Society, 2014. v. 1. 116p .

4.
Schwanninger, Christa (Org.) ; BENAVIDES, D. (Org.) ; Santos, A. L. M. (Org.) ; ALVES, Vander (Org.) ; ALMEIDA, E. S. (Org.) . Proceedings of the 16th International Software Product Line Conference - Volume 1. 1. ed. New York: ACM, 2012. v. 1. 299p .

5.
KULESZA, U. (Org.) ; ALVES, Vander (Org.) ; PIVETA, E. (Org.) ; GARCIA, A. (Org.) ; BORBA, Paulo (Org.) ; LUCENA, C. J. P. (Org.) ; Price, R. T. (Org.) . Anais do III Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos (WASP'2006). Sociedade Brasileira de Computação, 2006. v. 1. 139p .

Capítulos de livros publicados
1.
BHOWMIK, TANMAY ; Alves, Vander ; Niu, Nan . An Exploratory Case Study on Exploiting Aspect Orientation in Mobile Game Porting. In: Thouraya Bouabana-Tebibel; Stuart H. Rubin. (Org.). Advances in Intelligent Systems and Computing. 1ed.: Springer International Publishing, 2014, v. 263, p. 241-261.

2.
Greenwood, P. ; ALVES, Vander ; Hutchinson, J. ; Schwanninger, Christa ; Anquetil, N. . Empirical Research in Software Product Line Engineering. In: Awais Rashid, Jean-Claude Royer, Andreas Rummler. (Org.). Aspect-Oriented, Model-Driven Software Product Lines: The AMPLE Way. 1ed.Cambridge: Cambridge University Press, 2011, v. , p. 411-443.

3.
KULESZA, U. ; ALVES, Vander ; GARCIA, A. ; COSTA NETO, A. ; CIRILO, E. ; LUCENA, C. J. P. ; BORBA, Paulo . Mapping Features to Aspects: A Model-Based Generative Approach. In: Ana Moreira; John Grundy. (Org.). Early Aspects: Current Challenges and Future Directions, Lecture Notes in Computer Science. Berlim: Springer-Verlag, 2007, v. 4765, p. 155-174.

Trabalhos completos publicados em anais de congressos
1.
SILVA, E. C. ; ALVES, Vander . A Domain-Specific Modeling Approach Supporting Technology-oriented Experiments. In: VIII Congresso Brasileiro de Software (CBSoft 2017), 2017, Fortaleza. VII Workshop de Teses e Dissertações do CBSoft (WTDSoft 2017), 2017. p. 23-29.

2.
LEITE, ALESSANDRO FERREIRA ; Alves, Vander ; RODRIGUES, GENAINA NUNES ; TADONKI, CLAUDE ; EISENBEIS, CHRISTINE ; MELO, ALBA CRISTINA MAGALHAES ALVES DE . Autonomic Provisioning, Configuration, and Management of Inter-cloud Environments Based on a Software Product Line Engineering Method. In: 2016 International Conference on Cloud and Autonomic Computing (ICCAC), 2016, Augsburg. 2016 International Conference on Cloud and Autonomic Computing (ICCAC), 2016. p. 72-83.

3.
RODRIGUES, GENAINA N. ; Alves, Vander ; NUNES, VINICIUS ; LANNA, ANDRE ; Cordy, Maxime ; SCHOBBENS, PIERRE-YVES ; SHARIFLOO, AMIR MOLZAM ; LEGAY, AXEL . Modeling and Verification for Probabilistic Properties in Software Product Lines. In: 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), 2015, Daytona Beach Shores. 2015 IEEE 16th International Symposium on High Assurance Systems Engineering. p. 173-180.

4.
TEIXEIRA, LEOPOLDO ; Alves, Vander ; BORBA, Paulo ; GHEYI, ROHIT . A product line of theories for reasoning about safe evolution of product lines. In: the 19th International Conference, 2015, Nashville. Proceedings of the 19th International Conference on Software Product Line - SPLC '15. p. 161-170.

5.
LEITE, ALESSANDRO FERREIRA ; Alves, Vander ; RODRIGUES, GENAINA NUNES ; TADONKI, CLAUDE ; EISENBEIS, CHRISTINE ; MELO, ALBA CRISTINA MAGALHAES ALVES DE . Automating Resource Selection and Configuration in Inter-clouds through a Software Product Line Method. In: 2015 IEEE 8th International Conference on Cloud Computing (CLOUD), 2015, New York City. 2015 IEEE 8th International Conference on Cloud Computing. p. 726-733.

6.
NUNES, V. U. ; Mendonça, D. ; Rodrigues, Genaína Nunes ; ALVES, Vander . Towards Compositional Approach for Parametric Model Checking in Software Product Lines. In: 1st Workshop on Dependability in Adaptive and Self-Managing Systems (WDAS), 2013, Rio de Janeiro. Proceedings of the 1st Workshop on Dependability in Adaptive and Self-Managing Systems (WDAS), affiliated with the Sixth Latin-American Symposium on Dependable Computing (LADC), 2013.

7.
Valença, George ; Alves, Carina ; ALVES, Vander . Analysing Variability Management in BPM and SPL: A Knowledge Mapping. In: Simpósio Brasileiro de Sistemas de Informação (SBSI 2013), 2013, João Pessoa. Anais do Simpósio Brasileiro de Sistemas de Informação (SBSI 2013), 2013.

8.
BHOWMIK, TANMAY ; Alves, Vander ; Niu, Nan . Porting mobile games in an aspect-oriented way: An industrial case study. In: 2013 IEEE 14th International Conference on Information Reuse & Integration (IRI), 2013, San Francisco. 2013 IEEE 14th International Conference on Information Reuse & Integration (IRI). p. 458-465.

9.
NUNES, V. U. ; Fernandes, P. G. M. ; ALVES, Vander ; Rodrigues, Genaína Nunes . Variability Management of Reliability Models in Software Product Lines: an Expressiveness and Scalability Analysis. In: Simpósio Brasileiro de Componentes, Arquitetura e Reutilizacação de Software (SBCARS 2012), 2012, Natal. Anais do SBCARS 2012, 2012.

10.
MACHADO, G. ; ALVES, Vander ; GHEYI, R. . Formal Specification and Verification of Well-formedness in Business Process Product Lines. In: 6th Latin American Workshop no Aspect-Oriented Software Development: Advanced Modularization Techniques (LA-WASP.12), 2012, Natal. Proceedings of LA-WASP 2012, 2012.

11.
MACHADO, I. ; BONIFACIO, R. ; ALVES, Vander ; TURNES, L. ; MACHADO, G. . Managing variability in business processes: an aspect-oriented approach. In: 2011 international workshop on Early aspects, 2011, Porto de Galinhas. EA '11 Proceedings of the 2011 international workshop on Early aspects. New York: ACM, 2011. p. 25-30.

12.
TURNES, L. ; BONIFACIO, R. ; ALVES, Vander ; LÄMMEL, R. . Techniques for Developing a Product Line of Product Line Tools: a Comparative Study. In: 5 Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2011), 2011, São Paulo. 5 Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2011), 2011. p. 11-20.

13.
MARINHO, H. ; MENDONÇA, A. ; ALMEIDA, E. S. ; RODRIGUES, G. ; ALVES, Vander ; BONIFACIO, R. . Exploring Architecture-Based Reliability Analysis of Current Multi-Layered Web Applications. In: 5 Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2011), 2011, São Paulo. 5 Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2011), 2011. p. 51-60.

14.
CHAVEZ, C. ; KULESZA, U. ; SOARES, S. ; BORBA, Paulo ; LUCENA, C. J. P. ; MASIERO, P. ; SANT'ANNA, C. ; PIVETA, E. ; FERRARI, F. ; CASTOR, F. ; COELHO, R. ; ALVES, Vander ; et. al. . The AOSD Research Community in Brazil and its Crosscutting Impact. In: Simpósio Brasileiro de Engenharia de Software (SBES 2011), 2011, São Paulo. 25 Simpósio Brasileiro de Engenharia de Software, 2011. p. 72-81.

15.
NEVES, LAÍS ; TEIXEIRA, LEOPOLDO ; SENA, DEMÓSTENES ; Alves, Vander ; KULEZSA, UIRÁ ; BORBA, Paulo . Investigating the safe evolution of 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. p. 33-42.

16.
NUNES, V. U. ; ALVES, Vander . Orquestração de Serviços por Meio de Agentes de Software no Domínio de Vida Ambiente-Assistida. In: Simpósio Brasileiro de Sistemas de Informação, 2010, Marabá. Anais do VI Simpósio Brasileiro de Sistemas de Informação (SBSI 2010), 2010. p. 1-10.

17.
RODRIGUES, G. ; ALVES, Vander ; FRANKLIN, R. ; Laranjeira, Luiz A. . Dependability Analysis in the Ambient Assisted Living Domain: an Exploratory Case Study. In: Simpósio Brasileiro de Componentes, Arquiteturas e Reuso de Software (SBCARS 2010), 2010, Salvador. 4º Simpósio Brasileiro de Componentes, Arquiteturas e Reuso de Software (SBCARS 2010), 2010. p. 155-164.

18.
RIBEIRO, H. B. G. ; GARCIA, V. C. ; ALVARO, A. ; LUCRÉDIO, D. ; ALMEIDA, E. S. ; MEIRA, S. R. L. ; ALVES, Vander . An Assessment on Technologies for Implementing Core Assets in Service-Oriented Product Lines. In: Simpósio Brasileiro de Componentes, Arquiteturas e Reuso de Software (SBCARS 2010), 2010, Salvador. 4º Simpósio Brasileiro de Componentes, Arquiteturas e Reuso de Software (SBCARS 2010), 2010. p. 95-104.

19.
ALVES, Vander; Schneider, D. ; BECKER, M. ; BENCOMO, N. ; GRACE, P. . Comparitive Study of Variability Management in Software Product Lines and Runtime Adaptable Systems. In: Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09), Sevilla, Spain, 2009, Sevilla. Proceedings of the Third International Workshop on Variability Modelling of Software-intensive Systems, 2009. p. 9-17.

20.
ALVES, Vander; Schwanninger, Christa ; Barbosa, Luciano ; Rashid, Awais ; Sawyer, Peter ; Rayson, Paul ; Pohl, Christoph ; Rummler, Andreas . An Exploratory Study of Information Retrieval Techniques in Domain Analysis. In: 12th International Software Product Line Conference (SPLC´08), 2008, Limerick. Proceedings of the 12th International Software Product Line Conference, IEEE press, 2008. p. 67-76.

21.
ALVES, Vander; Camara, Tarcisio ; Alves, Carina . Experiences with Mobile Games Product Line Development at Meantime. In: 12th International Software Product Line Conference (SPLC´08), 2008, Limerick. Proceedings of the 12th International Software Product Line Conference, IEEE press, 2008. p. 287-296.

22.
KULESZA, U. ; ALVES, Vander ; GARCIA, A. ; COSTA NETO, A. ; CIRILO, E. ; LUCENA, C. J. P. ; BORBA, Paulo . Mapping Features to Aspects: A Model-Based Generative Approach. In: 10th Internacional Workshop On Early Aspects (Early Aspects' 2007), 2007, Vancouver, Canada. Proceedings of the 10th International Workshop on Early Aspects, 2007, 2007. p. 155-174.

23.
KULESZA, U. ; ALVES, Vander ; GARCIA, A. ; LUCENA, C. J. P. ; BORBA, Paulo . Improving Extensibility of Object-Oriented Frameworks with Aspect-Oriented Programming. In: 9th International Conference on Software Reuse (ICSR´06), 2006, Turim. Proceedings of the 9th International Conference on Software Reuse, 2006. v. 4039. p. 231-245.

24.
Alves, Vander; GHEYI, ROHIT ; MASSONI, TIAGO ; Kulesza, Uirá ; BORBA, Paulo ; Lucena, Carlos . Refactoring product lines. In: the 5th international conference, 2006, Portland. Proceedings of the 5th international conference on Generative programming and component engineering - GPCE '06, 2006. p. 201-210.

25.
COELHO, R. ; ALVES, Vander ; KULESZA, U. ; COSTA NETO, A. ; GARCIA, A. ; STAA, A. V. ; LUCENA, C. J. P. ; BORBA, Paulo . On Testing Crosscutting Features using Extension Join Points. In: 3rd International Workshop on Software Product Line Testing (SPLiT 2006), in conjunction with the 10th International Software Product Line Conference, SPLC 2006, 2006, 2006, Baltimore. Workshop at SPLC'06.

26.
KULESZA, U. ; COELHO, R. ; ALVES, Vander ; COSTA NETO, A. ; GARCIA, A. ; LUCENA, C. J. P. ; STAA, A. V. ; BORBA, Paulo . Implementing Framework Crosscutting Extensions with EJPs and AspectJ. In: ACM SIGSOFT 20th Brazilian Symposium on Software Engineering (SBES´06), 2006, Florianópolis. Proceedings of the 20th Brazilian Symposium on Software Engineering. p. 177-192.

27.
ALVES, Vander; SANTOS, G. ; CALHEIROS, F. ; NEPOMUCENO, V. ; PIRES, D. ; COSTA NETO, A. ; BORBA, Paulo . Beyond Code: Handling Variability in Art Artifacts in Mobile Game Product Lines. In: Managing Variability for Software Product Lines: Working With Variability Mechanisms Workshop, in conjunction with the 10th International Software Product Line Conference, SPLC 2006, 2006, Baltimore. Workshop at SPLC'06. p. 124-132.

28.
ALVES, Vander; COSTA NETO, A. ; SOARES, S. ; SANTOS, G. ; CALHEIROS, F. ; NEPOMUCENO, V. ; PIRES, D. ; Leal, J. ; BORBA, Paulo . From Conditional Compilation to Aspects: A Case Study in Software Product Lines Migration. In: Proceedings of the 1st Workshop on Aspect-Oriented Product Line Engineering (AOPLE-1), 2006, Portland, USA. 5th International Conference on Generative Programming and Component Engineering (GPCE´06). p. 46-52.

29.
COSTA NETO, A. ; ALVES, Vander ; BORBA, Paulo . Declaring Static Crosscutting Dependencies in AspectJ. In: Proceedings of the 3rd Brazilian Workshop on Aspect-Oriented Software Development (WASP´06), 2006, Florianópolis. Held as part of the 20th ACM Sigsoft Brazilian Symposium on Software Engineering (SBES´06). p. 121-128.

30.
Camara, Tarcisio ; LIMA, R. B. V. ; Guimarães, R. F. ; DAMASCENO, Alexandre Luiz ; ALVES, Vander ; SAMPAIO, Pedro Henrique Macêdo ; RAMALHO, Geber . Massive Mobile Games Porting: Meantime Study Case. In: Simpósio Brasileiro de Jogos de Computador e Entretenimento Digital (SBGAMES), 2006, Recife. Anais do Simpósio Brasileiro de Jogos de Computador e Entretenimento Digital, 2006.

31.
ALVES, Vander; CARDIM, Ivan ; VITAL, Heitor ; SAMPAIO, Pedro ; DAMASCENO, Alexandre ; BORBA, Paulo ; RAMALHO, Geber . Comparative Analysis of Porting Strategies in Mobile Device Games. In: 21st IEEE International Conference on Software Maintenance (ICSM'05), 2005, Budapest, Hungary. Proceedings of the 21st IEEE International Conference on Software Maintenance, 2005. p. 123-132.

32.
ALVES, Vander; MATOS , Pedro ; COLE, Leonardo ; BORBA, Paulo ; RAMALHO, Geber . Extracting and Evolving Mobile Games Product Lines. In: 9th International Software Product Line Conference (SPLC'05), 2005, Rennes, France. Lecture Notes in Computer Science, 2005. v. 3714. p. 70-81.

33.
SAMPAIO, Pedro Henrique Macêdo ; DAMASCENO, Alexandre Luiz ; SAMPAIO, Igor Azevedo ; ALVES, Vander ; RAMALHO, Geber ; BORBA, Paulo . Portando Jogos em J2ME: Desafios, Estudo de Caso, e Diretrizes. In: III Workshop Brasileiro de Jogos e Entretenimento Digital, 2004, Curitiba, 2004.

34.
ALVES, Vander. Identifying Variations in Mobile Devices. In: GPCE'04 Young Researchers Workshop, 2004, Vancouver, 2004.

35.
MASSONI, T. ; ALVES, Vander ; SOARES, S. ; BORBA, Paulo . PDC: The persistent data collections pattern. In: Second Latin American Conference on Pattern Languages of Programming, 2002, Itaipava. SugarLoafPLoP 2002 Proceedings, 2002. p. 311-326.

36.
ALVES, Vander; BORBA, Paulo . An implementation method for distributed object-oriented applications. In: XV Brazilian Symposium on Software Engineering, 2001, Rio de Janeiro. XV Brazilian Symposium on Software Engineering, 2001. p. 161-176.

37.
ALVES, Vander; BORBA, Paulo . Distributed adapters pattern: A design pattern for object-oriented distributed applications. In: First Latin American Conference on Pattern Languages of Programming, 2001, Rio de Janeiro. Cadernos do IME. Série Informática, 2001. p. 132-142.

38.
ALVES, Vander; BORBA, Paulo . A design pattern for distributed applications. In: Brazilian Symposium on Software Engineering, 2000, João Pessoa. Brazilian Symposium on Software Engineering--Minicourses and Tutorials, 2000. v. 1. p. 191-219.

Resumos expandidos publicados em anais de congressos
1.
Niu, Nan ; Alves, Vander ; Bhowmik, T. . Portability as an aspect: rethinking modularity in mobile game development. In: 10th International Conference on Aspect-Oriented Software Development (AOSD 2011), 2011. Companion Volume of the 10th International Conference on Aspect-Oriented Software Development (AOSD 2011), 2011. p. 3-4.

2.
SOARES, S. ; CALHEIROS, F. ; NEPOMUCENO, V. ; Menezes, A. ; BORBA, Paulo ; ALVES, Vander . Supporting Software Product Lines Development: FLiP - Product Line Derivation Tool. In: Demonstration Track at OOPSLA 2008 - ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2008, Nashville. Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, OOPSLA'08, 2008. p. 737-738.

3.
ALVES, Vander; CALHEIROS, F. ; NEPOMUCENO, V. ; Menezes, A. ; SOARES, S. ; BORBA, Paulo . FLiP: Managing Software Product Line Extraction and Reaction with Aspects. In: 12th International Software Product Line Conference, SPLC´08, 2008, Limerick. Proceedings of the 12th International Software Product Line Conference, SPLC´08, 2008. p. 354-354.

4.
BORBA, Paulo ; CALHEIROS, F. ; NEPOMUCENO, V. ; Menezes, A. ; SOARES, S. ; ALVES, Vander . FLiP: Product Line DerivationTool. In: Forum Demonstration, 2008, Bruxelas. 7th ACM International Conference on Aspect-Oriented Software Development (AOSD 2008), 2008.

5.
CALHEIROS, F. ; BORBA, Paulo ; SOARES, S. ; NEPOMUCENO, V. ; ALVES, Vander . Product Line Variability Refactoring Tool. In: Proceedings of the 1st Workshop on Refactoring Tools (WRT'07), 2007, Berlin. Held as part of the 21st European Conference on Object-Oriented Programming (ECOOP´07), 2007. p. 33-34.

6.
ALVES, Vander; MATOS , Pedro ; BORBA, Paulo . An Incremental Aspect-Oriented Product Line Method for J2ME Game Development. In: Proceedings of the Proceedings of the 1st Workshop on Managing Variabilities Consistently in Design and Code, 2004, Vancouver. 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, Applications (OOPSLA´03), 2004.

7.
ALVES, Vander; DANTAS, Ayla ; BORBA, Paulo . AOP-Driven Variability in Product Lines of Pervasive Computing Applications. In: Poster Session, 2003, Erfurt. Second International Conference on Generative Programming and Component Engineering (GPCE'03), 2003.

8.
DANTAS, Ayla ; BORBA, Paulo ; ALVES, Vander . Using Aspects to Structure Small Devices Applications. In: Proceedings of the 1st Workshop on Reuse in Constrained Environments, 2003, Anaheim. 18th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, Applications (OOPSLA´03), 2003.

Apresentações de Trabalho
1.
ALVES, Vander. Quality-aware Dynamic Software Product Lines: the Body Area Network Case. 2015. (Apresentação de Trabalho/Conferência ou palestra).


Produção técnica
Programas de computador sem registro
1.
BORBA, Paulo ; SOARES, S. ; ALVES, Vander ; NEPOMUCENO, V. ; CALHEIROS, F. ; PIRES, D. . FLiPEx: Ferramenta para Extração de Linhas de Produtos de Software. 2007.

2.
ALVES, Vander. DB2 v8.1 (implementação das MQ UDFs com suporte transacional). 2003.

Processos ou técnicas
1.
ALVES, Vander; COTNER, C. ; ROTH, M. ; TONG, M. ; WOLFSON, D. . Methods to integrate user-defined operations into a database (US Patent #7,526,489). 2009.

Entrevistas, mesas redondas, programas e comentários na mídia
1.
PATT, Y. ; ALVES, Vander ; Farias, mylene . Advice for prospective and current graduate students in Computer Science, Interview with Prof. Yale Patt. 2010. (Programa de rádio ou TV/Entrevista).


Demais tipos de produção técnica
1.
ALVES, Vander. 22nd International Systems and Software Product Line Conference (SPLC 2018). 2018. (Participação do Comitê Técnico de Programa).

2.
ALVES, Vander. 12th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2018). 2018. (Participação do Comitê Técnico de Programa).

3.
ALVES, Vander. Tenth NASA Formal Methods Symposium (NFM 2018). 2018. (Revisor de artigo).

4.
Alves, Vander. 17th International Conference on Generative Programming: Concepts & Experience (GPCE 2018 ). 2018. (Participação do Comitê Técnico de Programa).

5.
ALVES, Vander. 8th International Conference, Interactive Theorem Proving (ITP 2017). 2017. (Participação do Comitê Técnico de Programa).

6.
ALVES, Vander. XI Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2017). 2017. (Participação do Comitê Técnico de Programa).

7.
ALVES, Vander. A Product Line of Software Product Line Analysis Techniques. 2017. (Revisor de trabalhos e palestrante convidado).

8.
ALVES, V.. 38th International Conference on Software Engineering (ICSE 2016). 2016. (Revisor de artigo).

9.
ALVES, Vander. 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016). 2016. (Revisor de artigo).

10.
ALVES, Vander. X Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2016). 2016. (Participação do Comitê Técnico de Programa).

11.
ALVES, Vander. SBCARS 2014 issue at Journal of Software Engineering Research and Development. 2015. (Editoração/Periódico).

12.
ALVES, Vander. 9th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2015). 2015. (Participação do Comitê Técnico de Programa).

13.
ALVES, Vander. CBSoft (SBES, SBCARS, WTD, Sessões de Ferramentas). 2015. (Participação do Comitê Técnico de Programa).

14.
ALVES, Vander. 8th International Workshop on Variability Modelling of Software-intensive Systems (VaMos 2014). 2014. (Participação do Comitê Técnico de Programa).

15.
ALVES, Vander. CBSoft 2014 (SBES, SBCARS, WTD, Sessões de Ferramentas). 2014. (Participação do Comitê Técnico de Programa).

16.
ALVES, Vander. 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE/ESEC 2013). 2013. (Revisor de artigo).

17.
ALVES, Vander. 7 Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2013). 2013. (Participação do Comitê Técnico de Programa).

18.
ALVES, Vander. 27 Simpósio Brasileiro de Engenharia de Software (SBES 2013). 2013. (Participação do Comitê Técnico de Programa).

19.
ALVES, Vander. 17th International Software Product Line Conference - Industry track (SPLC 2013). 2013. (Participação do Comitê Técnico de Programa).

20.
ALVES, Vander. 7th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2013). 2013. (Participação do Comitê Técnico de Programa).

21.
ALVES, Vander. 26 Simpósio Brasileiro de Engenharia de Software (SBES 2012). 2012. (Participação do Comitê Técnico de Programa).

22.
ALVES, Vander. 6th Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2012). 2012. (Participação do Comitê Técnico de Programa).

23.
ALVES, Vander. 16th International Software Product Line Conference (SPLC 2012). 2012. (Participação do Comitê Técnico de Programa).

24.
ALVES, Vander. 34 th International Conference on Software Engineering (ICSE). 2012. (Revisor de artigo).

25.
ALVES, Vander. 18th International Symposium on Formal Methods (FM 2012). 2012. (Revisor de artigo).

26.
ALVES, Vander. 15th International Software Product Line Conference (SPLC 2011). 2011. (Participação do Comitê Técnico de Programa).

27.
ALVES, Vander. 5th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2011). 2011. (Participação do Comitê Técnico de Programa).

28.
ALVES, Vander. International workshop on Early Aspects (EA '11). 2011. (Participação do Comitê Técnico de Programa).

29.
ALVES, Vander. XXV Simpósio Brasileiro de Engenharia de Software (SBES 2011). 2011. (Participação do Comitê Técnico de Programa).

30.
ALVES, Vander. International Conference on Software Engineering (ICSE 2011). 2011. (Revisor de artigo).

31.
Alves, Vander. V Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2011). 2011. (Participação do Comitê Técnico de Programa).

32.
ALVES, Vander. II Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2011) - Sessao de Ferramentas. 2011. (Participação do Comitê Técnico de Programa).

33.
Alves, Vander. 5th Latin-American Workshop on Aspect-Oriented Software Development (LA-WASP 11). 2011. (Participação do Comitê Técnico de Programa).

34.
Alves, Vander. "The Hephaestus Approach to Software Product Lines", presented at Software Languages at Koblenz 2011 Workshop (SLATKO11). 2011. (Revisor de trabalhos e palestrante convidado).

35.
Alves, Vander. "Computação Pervasiva", apresentada no Encontro Anual de Computação (ENACOMP), na UFG/Catalão. 2011. (Revisor de trabalhos e palestrante convidado).

36.
ALVES, Vander. 4th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2010). 2010. (Participação do Comitê Técnico de Programa).

37.
ALVES, Vander. XIII Ibero-American Conference on Software Engineering (CIbSE 2010). 2010. (Revisor de artigo).

38.
ALVES, Vander. XXIV Simpósio Brasileiro de Engenharia de Software (SBES 2010). 2010. (Participação do Comitê Técnico de Programa).

39.
ALVES, Vander. 14th International Software Product Line Conference (SPLC 2010). 2010. (Revisor de artigo).

40.
ALVES, Vander. VIII Conferência Latino-Americana em Linguagens de Padrões para Programação (SugarLoafPLoP. 2010. (Participação do Comitê Técnico de Programa).

41.
ALVES, Vander. Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2010) - Sessao de Ferramentas. 2010. (Participação do Comitê Técnico de Programa).

42.
ALVES, Vander. Second International Workshop on Feature-Oriented Software Development (FOSD 2010). 2010. (Participação do Comitê Técnico de Programa).

43.
ALVES, Vander. V Congresso Colombiano de Computação (5CCC). 2010. (Revisor de artigo).

44.
ALVES, Vander. 4º Simpósio Brasileiro de Componentes, Arquiteturas e Reuso de Software (SBCARS 2010). 2010. (Revisor de artigo).

45.
ALVES, Vander. 4th Latin-American Workshop on Aspect-Oriented Software Development (LA-WASP.10). 2010. (Participação do Comitê Técnico de Programa).

46.
ALVES, Vander. 62ª Reunião Anual da Sociedade Brasileira para o Progresso da Ciência. 2010. (Participação do Comitê Técnico de Programa).

47.
ALVES, Vander; MUTHIG, D. . Software Product Line Development (tutorial SBES 2009). 2009. (Curso de curta duração ministrado/Outra).

48.
ALVES, Vander. 23 Simpósio Brasileiro de Engenharia de Software. 2009. (Participação do Comitê Técnico de Programa).

49.
ALVES, Vander. 15th Workshop on Aspect-Oriented Requirements Engineering and Architecture Design (Early Aspects @ ICSE'09) in conjunction with the 31st International Conference on Software Engineering (ICSE'09). 2009. (Participação do Comitê Técnico de Programa).

50.
ALVES, Vander. 14th Workshop on Aspect-Oriented Requirements Engineering and Architecture Design (Early Aspects @ AOSD'09), in conjunction with the International Conference on Aspect-Oriented Software Development (AOSD'09). 2009. (Participação do Comitê Técnico de Programa).

51.
ALVES, Vander. 8th International Conference on Aspect-Oriented Software Development (AOSD'09). 2009. (Revisor de artigo).

52.
ALVES, Vander. 3rd Latin-American Workshop on Aspect-Oriented Software Development (LA-WASP.09). 2009. (Participação do Comitê Técnico de Programa).

53.
ALVES, Vander. First Workshop on Feature-Oriented Software Development (FOSD) in conjunction with ACM/IEEE MODELS'09, GPCE'09, and SLE'09. 2009. (Participação do Comitê Técnico de Programa).

54.
ALVES, Vander. III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software. Trilha de ferramentas. 2009. (Participação do Comitê Técnico de Programa).

55.
ALVES, Vander. III Workshop de Dissertações em Ciência da Computação (WDCC) do programa de pós-graduação em Ciência da Computação da Universidade Federal de Uberlândia. 2009. (Revisor de trabalhos e palestrante convidado).

56.
ALVES, Vander. 1st Workshop on Software Reuse Efforts (WSRE), co-located with the 2nd RiSE Summer School on Software Product Lines (RiSS). 2008. (Participação do Comitê Técnico de Programa).

57.
ALVES, Vander. Workshop on Modularization, Composition and Generative Techniques for Product Line Engineering (McGPLE) , in conjunction with the 7th ACM International Conference on Generative Programming and Component Engineering (GPCE'08). 2008. (Participação do Comitê Técnico de Programa).

58.
ALVES, Vander. 2nd Latin-American Workshop on Aspect-Oriented Software Development (LA-WASP'08), co-located with the 22nd Brazilian Symposium on Software Engineering (SBES'08);. 2008. (Participação do Comitê Técnico de Programa).

59.
ALVES, Vander. Tutorial track of the 22nd Brazilian Symposium on Software Engineering (SBES'08). 2008. (Participação do Comitê Técnico de Programa).

60.
ALVES, Vander. 12th Workshop on Aspect-Oriented Requirements Engineering and Architecture Design (Early Aspects @ ICSE'08), in conjunction with the 30th International Conference on Software Engineering (ICSE'08). 2008. (Participação do Comitê Técnico de Programa).

61.
ALVES, Vander. 11th Workshop on Aspect-Oriented Requirements Engineering and Architecture Design (Early Aspects @ AOSD'08), in conjunction with 7th International Conference. 2008. (Participação do Comitê Técnico de Programa).

62.
ALVES, Vander. 30th International Conference on Software Engineering (ICSE'08), Tool track. 2008. (Revisor de artigo).

63.
ALVES, Vander. 7th International Conference on Aspect-Oriented Software Development (AOSD'08). 2008. (Revisor de artigo).

64.
ALVES, Vander. 22nd Brazilian Symposium on Software Engineering (SBES'08). 2008. (Revisor de artigo).

65.
ALVES, Vander. 20th International Conference on Software Engineering and Knowledge Engineering (SEKE'08). 2008. (Revisor de artigo).

66.
ALVES, Vander. 10th Workshop on Aspect-Oriented Requirements Engineering and Architecture Design (Early Aspects @ ICSE'07), in conjunction with the 2007 International Conference on Software Engineering (ICSE'07). 2007. (Participação do Comitê Técnico de Programa).

67.
ALVES, Vander. Second Workshop on Aspect-Oriented Product Line Engineering (AOPLE @ GPCE'07), in conjunction with the 6th ACM International Conference on Generative Programming and Component Engineering (GPCE'07). 2007. (Participação do Comitê Técnico de Programa).

68.
ALVES, Vander. Second Workshop on Managing Variability for Software Product Lines: Working With Variation Mechanisms, in conjunction with the 11th International Software Product Line Conference (SPLC'07). 2007. (Participação do Comitê Técnico de Programa).

69.
ALVES, Vander. 1st Latin-American Workshop on Aspect-Oriented Software Development (LA-WASP @ SBES'07) co-located with the 21st Brazilian Symposium on Software Engineering (SBES'07). 2007. (Participação do Comitê Técnico de Programa).

70.
ALVES, Vander. 21st European Conference on Object-Oriented Programming (ECOOP'07). 2007. (Revisor de artigo).

71.
ALVES, Vander. 21st Brazilian Symposium on Software Engineering (SBES'07). 2007. (Revisor de artigo).

72.
ALVES, Vander. 10th Ibero-American Workshop on Requirements Engineering and Software Environments (IDEAS'07). 2007. (Revisor de artigo).

73.
ALVES, Vander. Hawaii International Conference on System Sciences (HICSS'05). 2005. (Revisor de artigo).

74.
ALVES, Vander. Brazilian Workshop on Component-Based Development (WDBC'05). 2005. (Revisor de artigo).

75.
ALVES, Vander. Consultoria em Portabilidade de Aplicações Móveis para Meantime Mobile Creations. 2005. (consultoria).

76.
ALVES, Vander; BORBA, Paulo . Desenvolvendo aplicações distribuídas em Java (RMI, Jini, CORBA). 2000. .



Patentes e registros



Patente

A Confirmação do status de um pedido de patentes poderá ser solicitada à Diretoria de Patentes (DIRPA) por meio de uma Certidão de atos relativos aos processos
1.
 ALVES, Vander; COTNER, C. ; ROTH, M. ; TONG, M. ; WOLFSON, D. . Methods to integrate user-defined operations into a database (US Patent #7,526,489). 2009, Estados Unidos.
Patente: Patente no Exterior. Número do registro: 7,526,489, título: "Methods to integrate user-defined operations into a database (US Patent #7,526,489)" . Depósito: 18/11/2003; Pedido do Exame: 19/05/2005; Concessão: 28/04/2009. Instituição(ões) financiadora(s): International Business Machines (IBM).


Programa de computador
1.
ALVES, Vander. DB2 v8.1 (implementação das MQ UDFs com suporte transacional). 2003.
Patente: Programa de Computador. Número do registro: 7,526,489, data de registro: 18/11/2003, título: "DB2 v8.1 (implementação das MQ UDFs com suporte transacional)" .



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
ALVES, Vander; GHEYI, R.; BORBA, P. H. M.. Participação em banca de Gabriela Cunha Sampaio. Evolução Parcialmente Segura de Linhas de Produto de Software. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

2.
ALVES, Vander; Rodrigues, C. L.; VINCENZI, A. M. R.. Participação em banca de Leonardo da Silva Sousa. Uma Infraestrutura Baseada em Serviço para Evolução do Teste de Mutação Utilizando o Tamanho Semântico do Mutante. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.

3.
ALVES, Vander; Bó, A. P. L.; Santos, I.. Participação em banca de Alexander Narvaez Rodriguez. Contribuição ao Desenvolvimento do Sistema de Gestão de Qualidade do Laboratório de Certificação de Equipamentos Eletromédicos da Universidade de Brasília para Escopo em Segurança Elétrica. 2013. Dissertação (Mestrado em ENGENHARIA DE SISTEMAS ELETRÔNICOS E DE AUTOMAÇÃO) - Universidade de Brasília.

4.
SOARES, S.; ALVES, Vander; Alves, Carina. Participação em banca de Olavo Alexandrino Loiola Pinto Barbosa. Understanding Software Ecosystems: Implications for Practice and Theory. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

5.
Maia, M. A.; Soares, M. S.; ALVES, Vander. Participação em banca de Gabriel Coutinho Sousa Ferreira. O Uso de Programação Orientada a Características para Evolução de Linhas de Produtos de Software. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

6.
KULESZA, U.; ARANHA, E.; ALVES, Vander. Participação em banca de Mário Sérgio Scaramuzzini Torres. Avaliação Sistemática de Abordagens de Derivação de Produto. 2011. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

7.
Jacobi, R. P.; RIBEIRO JUNIOR, L. C. M.; ALVES, Vander. Participação em banca de Bruno de Souza Costa Pedroso. Aprimorando a Aferição Automática de Conformidade das Atividades de Desenvolvimento com TDD. 2011. Dissertação (Mestrado em Informática) - Universidade de Brasília.

Teses de doutorado
1.
ALVES, Vander; Figueiredo, Eduardo; Soares, M. S.; Maia, M. A.; Dorça, F. A.. Participação em banca de Raquel Fialho de Queiroz Lafetá. Apoio à Instanciação de Frameworks Usando Livros de Receitas Construídos com Análise Estática e Dinâmica. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia.

2.
ALVES, Vander; VALENTE, MARCO TÚLIO; KULESZA, U.; ROSA, N. S.; BORBA, P. H. M.. Participação em banca de Paulo Anselmo da Mota Silveira Neto. Assessing Security in Software Product Lines: A Maintenance Analysis. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

3.
Weigang, L.; Melo, ACM; ALVES, Vander; Yamashita, Y.; Yun, Y.. Participação em banca de Antônio Carlos de Arruda Junior. Matching Estável para Tomadas de Decisão Colaborativa na Alocação de Slots. 2015. Tese (Doutorado em Informática) - Universidade de Brasília.

4.
ALVES, Vander; Schill, A.; Assmann, U.; Lehner, W.; Schlegel, T. Participação em banca de Julia Schroeter. Feature-Based Configuration Management of Reconfigurable Cloud Applications. 2014. Tese (Doutorado em Computer Science) - Tecnische Universitat Dresden.

5.
ALVES, Vander; ALMEIDA, E. S.; LIMA FILHO, F. J. C.; Augusto Cezar Alves Sampaio; Iyoda, J.. Participação em banca de Leopoldo Motta Teixeira. Safe Evolution of Software Product Lines and Sets of Product Lines. 2014. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

6.
BORBA, P. H. M.; ALVES, Vander; Aranha, E. H. S.; Oliveira, A. H. G.; Kulesza, Uirá; Fialho, S. V.. Participação em banca de Gleydson de Azevedo Ferreira Lima. Uma Abordagem para Evolução e Reconciliação de Linhas de Produtos de Software Clonadas. 2014. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Norte.

7.
ALVES, Vander; VALENTE, M. T.; ALMEIDA, E. S.; SANT'ANNA, Claudio; CHAVEZ, C.. Participação em banca de Ivan do Carmo Machado. Fault model-based variability testing. 2014. Tese (Doutorado em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.

8.
ALVES, Vander; ALMEIDA, E. S.; MENDONCA, M.; NEVES, A.; APOLINARIO JUNIOR, A. L.. Participação em banca de Victor Travassos Sarinho. OOFM - Uma Técnica de Modelagem de Features Orientada a Objetos. 2013. Tese (Doutorado em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.

9.
LUCENA, C. J. P.; GARCIA, A.; STAA, A. V.; BORBA, Paulo; ALVES, Vander. Participação em banca de Elder José Reioli Cirilo. Supporting Heterogeneous Configuration Knowledge of Software Product Lines. 2012. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

10.
Rubira, C.; GARCIA, A.; ALVES, Vander; Martins, E.; Ricarte, I.. Participação em banca de Leonardo Pondian Tizzei. Evolução de Arquiteturas de Linhas de Produtos baseadas em Componentes e Aspectos. 2012. Tese (Doutorado em Doutorado em Ciência da Computação - UNICAMP) - Universidade Estadual de Campinas.

11.
LUCENA, C. J. P.; GARCIA, A.; ALVES, Vander; KULESZA, U.; Cerqueira, R. F. G.; Breitman, K.. Participação em banca de Camila Patrícia Bazílio Nunes. History-Sensitive Recovery of Features in Code of Evolving Program Families. 2012. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

12.
ALVES, Vander; Briot, J-P; Breitman, K.; LUCENA, C. J. P.; ENDLER, M.. Participação em banca de José Viterbo Filho. Decentralized Reasoning in Ambient Intelligence. 2009. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Qualificações de Doutorado
1.
ALVES, Vander; VALENTE, M. T.; Machado, P.; Andrade, W. L.; GHEYI, R.; Ribeiro, M.. 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.

2.
HAEUSLER, E. H.; MOURA, F. L. C.; ALVES, Vander; Ayala-Rincon, M.. Participação em banca de Ana Cristina Rocha Oliveira Valverde. Uma Teoria para Sistemas de Reescrita Nominais com Tipos em PVS. 2014. Exame de qualificação (Doutorando em Informática) - Universidade de Brasília.

3.
Weigang, L.; Alfaro, S.; Mora-Camino, F.; ALVES, Vander. Participação em banca de Leonardo Luiz Barbosa V. Cruciol. Abordagem Big Data em Ambientes de Incerteza para Melhoria da Eficiência no Gerenciamento de Tráfego Aéreo. 2014.

4.
Weigang, L.; Melo, ACM; Yun, Y.; Yamashita, Y.; ALVES, Vander. Participação em banca de Antônio Carlos de Arruda Junior. Modelo de matching estável para tomada de decisão colaborativa na alocação de slots. 2013. Exame de qualificação (Doutorando em Informática) - Universidade de Brasília.

5.
ALVES, Vander; CHAVEZ, C.; ALMEIDA, E. S.. Participação em banca de Ivan do Carmo Machado. Fault Model-based Variability Testing. 2013. Exame de qualificação (Doutorando em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.

6.
ALVES, Vander; Augusto Cezar Alves Sampaio; Castor, Fernando. Participação em banca de Leopoldo Motta Teixeira. SAFE EVOLUTION OF SOFTWARE PRODUCT LINES. 2012. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

Trabalhos de conclusão de curso de graduação
1.
ALVES, Vander; RALHA, J. C.; MOURA, F. L. C.. Participação em banca de Luiz Augusto Garcia da Silva.Veri cação Formal da Complexidade do Algoritmo de Euclides. 2010. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade de Brasília.

2.
ALVES, Vander; RALHA, C. G.; LIMA, F.; CASTANHO, C.. Participação em banca de Saulo Ferreira de Castro e Tiago Martins Barbosa.RAPIDos: Recomendação Automática de Produtos Interessantes em Dispositivos Móveis. 2009. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade de Brasília.



Participação em bancas de comissões julgadoras
Concurso público
1.
Jacobi, R. P.; Alves, Vander; Veiga, H.. Concurso público para as classes de Professor Adjunto e de Professor Assistente, na área de Métodos e Aplicações da Psicologia.. 2011. Universidade de Brasília.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Congresso Brasileiro de Software: Teoria e Prática (CBSoft). 2015. (Congresso).

2.
Congresso Brasileiro de Software: Teoria e Prática (CBSoft). 2014. (Congresso).

3.
4 Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2013). 2013. (Simpósio).

4.
Dagstuhl Seminar 13091: Analysis, Test and Verification in the Presence of Variability".Family- and Sampling-based Reliability Analysis in Dynamic Software Product Line: the Body Area Network Case. 2013. (Seminário).

5.
Simpósio Acreano de Sistemas de Informação (SASI 2013).Linha de Produtos de Software: Motivação, Exemplos, Técnicas. 2013. (Simpósio).

6.
Workshop de Software do Instituto de Computação da UFAL (WSIC 2013).An Approach for Developing Quality-aware Dynamic Software Product Lines. 2013. (Oficina).

7.
16th International Software Product Line Conference (SPLC 2012). 2012. (Congresso).

8.
Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2012). 2012. (Congresso).

9.
10th International Conference on Aspect-Oriented Software Development (AOSD 2011). Portability as an aspect: rethinking modularity in mobile game development. 2011. (Congresso).

10.
15th International Software Product Line Conference (SPLC 2011). 2011. (Congresso).

11.
Encontro Anual de Computação (Enacomp).Computação Pervasiva. 2011. (Encontro).

12.
Software Languages at Koblenz 2011 Workshop (SLATKO11).The Hephaestus Approach to Software Product Lines. 2011. (Oficina).

13.
Congresso Brasileiro de Software: Teoria e Prática (CBSoft). 2010. (Congresso).

14.
23 Simpósio Brasileiro de Engenharia de Software (SBES 2009).Software Product Line Development (tutorial). 2009. (Simpósio).

15.
3rd International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09). Apresentação de 1 artigo. 2009. (Congresso).

16.
Federated Conference on Rewriting, Deduction, and Programming. 2009. (Congresso).

17.
III Workshop de Dissertações em Ciência da Computação (WDCC) do programa de pós-graduação em Ciência da Computação da Universidade Federal de Uberlândia..WDCC/UFU. 2009. (Oficina).

18.
V Simpósio Brasileiro de Sistemas de Informação. 2009. (Simpósio).

19.
Workshop do Programa de Pós- Graduação em Informática da UnB. 2009. (Oficina).

20.
12th International Software Product Line Conference (SPLC´08). Apresentação de 2 artigos, 1 demo de ferramenta, e organização de 1 workshop. 2008. (Congresso).

21.
Code Generation 2007. Tutorial on Mobile Gamas and Software Product Lines. 2007. (Congresso).

22.
10th International Software Product Line Conference (SPLC´06). Apresentação de 1 artigo em workshop, participação em outro workshop e na conferência principal. 2006. (Congresso).

23.
XX Simpósio Brasileiro de Engenharia de Software. Organização de 1 workshop e apresentação de trabalho neste workshop. 2006. (Congresso).

24.
9th International Software Product Line Conference (SPLC´05). Apresentação de 1 artigo completo na conferência principal e participação em 1 workshop. 2005. (Congresso).

25.
19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'04). Participação em 1 workshop e na conferência principal. 2004. (Congresso).

26.
3rd International Conference on Generative Programming and Component Engineering (GPCE'04). Participação em 1 workshop e na conferência principal. 2004. (Congresso).

27.
Pernambuco School on Software Engineering. 2004. (Outra).

28.
Simpósio Brasileiro de Métodos Formais. 2004. (Congresso).

29.
Workshop de Desenvolvimento Baseado em Componentes (WDBC'04).Aspectos e Linhas de Produtos de Software. 2004. (Oficina).

30.
ACM/IFIP/USENIX International Middleware Conference. 2003. (Congresso).

31.
Second International Conference on Generative Programming and Component Engineering (GPCE'03). Apresentação de 1 poster. 2003. (Congresso).

32.
Terceira Conferência Latino-americana em Linguagens de Padrões para Programação: SugarLoafPLoP. 2003. (Congresso).


Organização de eventos, congressos, exposições e feiras
1.
Schaefer, I. ; ALVES, Vander ; ALMEIDA, E. S. . Tenth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2016). 2016. (Congresso).

2.
ALVES, Vander. V Workshop de Teses e Dissertações do CBSoft. 2015. (Congresso).

3.
ALVES, Vander. VIII Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2014) - Coordenador do Comitê de Programa. 2014. (Congresso).

4.
ALVES, Vander; Santos, A. L. M. . 16th International Software Product Line Conference (SPLC 2012) - Industry track co-chair. 2012. (Congresso).

5.
BORBA, Paulo ; GARCIA, A. ; SOARES, S. ; ALVES, Vander . 10th International Conference on Aspect-Oriented Software Development (AOSD). 2011. (Congresso).

6.
ALVES, Vander; Schwanninger, Christa ; Clements, Paul ; Rashid, Awais ; Moreira, Ana ; Araujo, Joao ; Baniassad, Elisa ; Tekinerdogan, Bedir . Early Aspects Workshop at the 12th International Software Product Line Conference: Aspect-Oriented Requirements and Architecture for Product Lines (EA@SPLC08). Ireland. 2008. (Outro).

7.
KULESZA, U. ; ALVES, Vander ; PIVETA, E. ; GARCIA, A. ; BORBA, Paulo ; LUCENA, C. J. P. ; Price, R. T. . 3rd Brazilian Workshop on Aspect-Oriented Software Development. 2006. (Outro).



Orientações



Orientações e supervisões em andamento
Tese de doutorado
1.
Junier Caminha Amorim. A definir. Início: 2018. Tese (Doutorado em Informática) - Universidade de Brasília. (Orientador).

2.
Thiago Mael de Castro. Estratégias Comutativas Estendidas para Análise de Confiabilidade em Linha de Produtos de Software. Início: 2017. Tese (Doutorado em Informática) - Universidade de Brasília. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Enéias Cordeiro da Silva. Domain-Specific Modeling Approach Supporting Technology-oriented Experiments. 2018. Dissertação (Mestrado em Informática) - Universidade de Brasília, . Orientador: Vander Ramos Alves.

2.
Ricardo de Lima. Ferramentas de Apoio a Experimentos: Um Mapeamento Sistemático. 2018. Dissertação (Mestrado em Informática) - Universidade de Brasília, . Orientador: Vander Ramos Alves.

3.
Thiago Mael de Castro. Estratégias Comutativas para Análise de Confiabilidade em Linha de Produtos de Software. 2016. Dissertação (Mestrado em Informática) - Universidade de Brasília, . Orientador: Vander Ramos Alves.

4.
Leonardo Monteiro Pessoa. Flexibilidade em Linhas de Produtos Dinâmicas Cientes de Qualidade: uma Abordagem Baseada em Linguagens Específicas de Domínio. 2014. Dissertação (Mestrado em Informática) - Universidade de Brasília, . Orientador: Vander Ramos Alves.

5.
Lucinéia Turnes. Hephaestus-PL: uma Linha de Produtos de Ferramentas para Linha de Produtos de Software. 2012. Dissertação (Mestrado em Informática) - Universidade de Brasília, . Orientador: Vander Ramos Alves.

6.
Giselle Machado. Especificação e verificação formais de boa-formação em linha de produtos de processo de negócios. 2012. Dissertação (Mestrado em Informática) - Universidade de Brasília, . Orientador: Vander Ramos Alves.

7.
Laís de Mendonça Neves. Safe Evolution Templates for Software Product Lines. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Vander Ramos Alves.

8.
Vinícius Uriel Cardoso Nunes. Gerência de Variabilidade em Modelos de Confiabilidade para Linha de Produtos de Software. 2012. Dissertação (Mestrado em Informática) - Universidade de Brasília, . Orientador: Vander Ramos Alves.

9.
Paula Gabriela de Medeiros Fernandes. Linha de Produtos de Software Dinâmica Direcionada por Qualidade: o Caso de Redes de Monitoração do Corpo Humano. 2012. Dissertação (Mestrado em Informática) - Universidade de Brasília, . Orientador: Vander Ramos Alves.

10.
George Valença. Business Process Variability: a Systematic Literature Review. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Vander Ramos Alves.

11.
Idarlan Martins Machado. Tratando Variabilidade em Linha de Processos de Negócio: uma Abordagem Composicional. 2011. Dissertação (Mestrado em Informática) - Universidade de Brasília, . Orientador: Vander Ramos Alves.

Tese de doutorado
1.
André Luiz Peron Martins Lanna. Feature-Family-Based Reliability Analysis of Software Product Lines. 2017. Tese (Doutorado em Informática) - Universidade de Brasília, . Orientador: Vander Ramos Alves.

Trabalho de conclusão de curso de graduação
1.
Carolina Sousa Rocha de Oliveira. Linha de Produtos Dinâmica Ciente de Qualidade: uma Avaliação Estendida no Domínio de Redes de Sensores do Corpo Humano. 2013. Trabalho de Conclusão de Curso. (Graduação em Computação) - Universidade de Brasília. Orientador: Vander Ramos Alves.

2.
Vinicius Uriel Cardoso Nunes. Orquestração de Serviços por Meio de Agentes de Software no Domínio de Vida Ambiente-Assistida. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade de Brasília. Orientador: Vander Ramos Alves.

Iniciação científica
1.
Carolina Sousa Rocha de Oliveira. Seleção de Configurações em Linhas de Produtos de Software Dinâmicas para Sistemas de Body Sensor Network com Nível Controlado de Qualidade. 2012. Iniciação Científica. (Graduando em Computação) - Universidade de Brasília, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Vander Ramos Alves.




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