Papers in Brazilian Conferences

2017

  1. [PDF] Hudson Borges; Jailton Coelho; Paulo Carvalho; Mariane Fernandes; Marco Tulio Valente. Como Pesquisadores Usam o Dataset GHTorrent? 5th Brazilian Workshop on Software Visualization, Evolution and Maintenance (VEM), p. 1-8, 2016.

  2. [PDF] Thais Mombach; Mivian Ferreira; Marco Tulio Valente; Kecia Ferreira. Caracterização do Papel Desempenhado por Desenvolvedores Responsáveis pelo Truck Factor de Projetos de Software. 5th Brazilian Workshop on Software Visualization, Evolution and Maintenance (VEM), p. 1-8, 2016.

  3. [PDF] Lucas Monteiro; Laerte Xavier; Marco Tulio Valente. Uma Caracterização em Larga Escala da Arquitetura de Sistemas Docker. 5th Brazilian Workshop on Software Visualization, Evolution and Maintenance (VEM), p. 1-8, 2016.

  4. [PDF] Eduardo Fernandes; Luiz Paulo Ferreira; Eduardo Figueiredo; Marco Tulio Valente. How Clear is Your Code? An Empirical Study with Programming Challenges
    XX Congresso Ibero-americano de Engenharia de Software (CIbSE), p. 1-14, 2017.

2016

  1. [PDF] Sergio Miranda; Marco Tulio Valente; Ricardo Terra. Inferência de Tipos em Ruby:
    Uma Comparação entre Técnicas de Análise Estática e Dinâmica. 4th Brazilian Workshop on Software Visualization, Evolution and Maintenance (VEM), p. 1-8, 2016.(prêmio de melhor artigo)

  2. [PDF] Mivian Ferreira; Kecia Ferreira; Marco Tulio Valente. Distribuição de Conhecimento de Código em Times de Desenvolvimento – uma Análise Arquitetural. 4th Brazilian Workshop on Software Visualization, Evolution and Maintenance (VEM), p. 1-8, 2016.

  3. [PDF] Daniel Vieira; Marco Tulio Valente. Uma Ferramenta para Conversão de Código JavaScript Orientado a Objetos em ECMA 5 para ECMA 6. 4th Brazilian Workshop on Software Visualization, Evolution and Maintenance (VEM), p. 1-8, 2016.

  4. [PDF] Laerte Xavier; Aline Brito; Andre Hora; Marco Tulio Valente. Um Estudo em Larga Escala sobre Estabilidade de APIs. 4th Brazilian Workshop on Software Visualization, Evolution and Maintenance (VEM), p. 1-8, 2016.

  5. [PDF] Aline Brito; Andre Hora; Marco Tulio Valente. Um Estudo em Larga Escala sobre o Uso de APIs Internas. 4th Brazilian Workshop on Software Visualization, Evolution and Maintenance (VEM), p. 1-8, 2016.

  6. [PDF] Sândalo Bessa; Marco Tulio Valente; Ricardo Terra. Especificação Modular de Restrições Arquiteturais. X Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS), p. 1-10, 2016. (prêmio de segundo melhor artigo)

  7. [PDF] Ricardo Terra; Nicolas Anquetil; Marco Tulio Valente. Um Processo Leve de Remodularização baseado em Similaridade Estrutural. X Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS), p. 1-10, 2016.

  8. [PDF] Tamara Mendes; Marco Tulio Valente; Andre Hora. Identificação de Funções Utilitárias em Java e JavaScript. X Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS), p. 1-10, 2016.

  9. [PDF] Mivian Ferreira; Guilherme Avelino; Marco Tulio Valente; Kecia Ferreira. Um Estudo Comparativo de Algoritmos para Estimativa de Truck Factors. X Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS), p. 1-10, 2016.

  10. [PDF] Izabela Melo; Gustavo Santos; Dalton Serey; Marco Tulio Valente. Percepções de 395 Desenvolvedores sobre Documentação e Verificação de Arquiteturas de Software. X Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS), p. 1-10, 2016.

  11. [PDF] Aline Brito; Andre Hora; Marco Tulio Valente. JAVALI: Uma Ferramenta para Análise de Popularidade de APIs Java. VII Brazilian Conference on Software: Theory and Practice (CBSoft, Tools Track), p. 1-8, 2016.
  12. [PDF] Henrique Rocha; Guilherme de Oliveira; Humberto Marques-Neto; Marco Tulio Valente. Characterizing Bug Workflows in Mozilla Firefox. 30th Brazilian Symposium on Software Engineering (SBES), p. 1-10, 2016.

  13. [PDF] Marcelino Silva; Ricardo Terra; Marco Tulio Valente. Does Technical Debt Lead to the Rejection of Pull Requests? 12nd Brazilian Symposium on Information Systems (SBSI), p. 1-7, 2016.

2015

  1. [PDF] Gleison Batista; André Hora; Marco Tulio Valente. Um Estudo sobre a Utilização de Mensagens de Depreciação de APIs. 3rd Brazilian Workshop on Software Visualization, Evolution and Maintenance (VEM), p. 9-16, 2015. (prêmio de melhor artigo)
  2. [PDF] Marcos Viana; Estevão Moraes; Guilherme Barbosa; André Hora; Marco Tulio Valente. JSCity: Visualização de Sistemas JavaScript em 3D. 3rd Brazilian Workshop on Software Visualization, Evolution and Maintenance (VEM), p. 73-80, 2015.
  3. [PDF] Alessandra Levcovitz; Ricardo Terra; Marco Tulio Valente. Towards a Technique for Extracting Microservices from Monolithic Enterprise Systems. 3rd Brazilian Workshop on Software Visualization, Evolution and Maintenance (VEM), p. 97-104, 2015.
  4. [PDF] Adriano Lages dos Santos; Marco Tulio Valente; Eduardo Figueiredo. Using JavaScript Static Checkers on GitHub Systems: A First Evaluation. 3rd Brazilian Workshop on Software Visualization, Evolution and Maintenance (VEM), p. 33-40, 2015.
  5. [PDF] Leonardo Humberto Silva; Daniel Félix; Marco Tulio Valente; Alexandre Bergel; Nicolas Anquetil; Anne Etien. JSClassFinder: A Tool to Detect Class-like Structures in JavaScript. VI Brazilian Conference on Software: Theory and Practice (Tools Track), p. 1-8, 2015.
  6. [PDF] Sérgio Miranda; Marco Tulio Valente; Ricardo Terra. ArchRuby: Conformidade e Visualização Arquitetural em Linguagens Dinâmicas. VI Brazilian Conference on Software: Theory and Practice (Tools Track), p. 1-8, 2015. (prêmio de terceira melhor ferramenta)
  7. [PDF] Sergio Miranda; Marco Tulio Valente; Ricardo Terra. Conformidade e Visualização Arquitetural em Linguagens Dinâmicas. XVIII Congresso Ibero-americano de Engenharia de Software (CIbSE), p. 1-14, 2015. (prêmio de melhor artigo)
  8. [PDF] Danilo Silva; Marco Tulio Valente; Eduardo Figueiredo. Um Estudo sobre Extração de Métodos para Reutilização de Código. XII Workshop em Engenharia de Software Experimental (ESELAW), p. 1-14, 2015.

2014

  1. [PDF] Henrique Rocha; Guilherme Oliveira; Humberto Maques-Neto; Marco Tulio Valente. NextBug: A Tool for Recommending Similar Bugs in Open-Source Systems. V Brazilian Conference on Software: Theory and Practice (Tools Track), p. 1-8, 2014. (prêmio de melhor ferramenta)
  2. [PDF] Luciana Silva; Daniel Felix; Marco Tulio Valente; Marcelo Maia. ModularityCheck: A Tool for Assessing Modularity using Co-Change Clusters . V Brazilian Conference on Software: Theory and Practice (Tools Track), p. 1-8, 2014. (prêmio de terceira melhor ferramenta)
  3. [PDF] Danilo Silva; Ricardo Terra; Marco Tulio Valente. JExtract: An Eclipse Plug-in for Recommending Automated Extract Method Refactorings. V Brazilian Conference on Software: Theory and Practice (Tools Track), p. 1-8, 2014.
  4. [PDF] Izabela Melo; Dalton Serey; Marco Tulio Valente. Uma Ferramenta para Verificação de Conformidade Visando Diferentes Percepções de Arquiteturas de Software. V Brazilian Conference on Software: Theory and Practice (Tools Track), p. 1-8, 2014.
  5. [PDF] Guilherme Avelino; Marco Tulio Valente. ArchGraph: Modularização Automática de Sistemas Usando Clusterização de Grafos de Dependência. 2nd Brazilian Workshop on Software Visualization, Evolution and Maintenance (VEM), p. 1-8, 2014.
  6. [PDF] Miguel Ramos; Marco Tulio Valente. Análise de Métricas Estáticas para Sistemas JavaScript. 2nd Brazilian Workshop on Software Visualization, Evolution and Maintenance (VEM), p. 1-8, 2014.

2013

  1. [PDF] César Couto; Pedro Pires; Marco Tulio Valente; Roberto Bigonha; André Hora; Nicolas Anquetil. BugMaps-Granger: A Tool for Causality Analysis between Source Code Metrics and Bugs. IV Congresso Brasileiro de Software: Teoria e Prática (Sessão de Ferramentas), p. 1-6, 2013. (prêmio de melhor ferramenta)
  2. [PDF] Rogel Garcia, Marco Tulio Valente. NextFlow: Um Framework para Mapeamento de Processos de Negócio e Objetos. IV Congresso Brasileiro de Software: Teoria e Prática (Sessão de Ferramentas), p. 1-6, 2013. (prêmio de terceira melhor ferramenta)
  3. [PDF] Gustavo Santos; Katyusco Santos; Marco Tulio Valente; Dalton Serey; Nicolas Anquetil. TopicViewer: Evaluating Remodularizations Using Semantic Clustering. IV Congresso Brasileiro de Software: Teoria e Prática (Sessão de Ferramentas), p. 1-6, 2013.
  4. [PDF] Hudson Borges; João Eduardo Montandon; Marco Tulio Valente; Heitor Costa; Daniel Felix. APIMiner 2.0: Uma Plataforma para Recomendação de Exemplos de Uso de APIs Baseados em Padrões de Uso. IV Congresso Brasileiro de Software: Teoria e Prática (Sessão de Ferramentas), p. 1-6, 2013.
  5. [PDF] Cristiano Maffort; Marco Tulio Valente; Mariza Bigonha; Leonardo Humberto Silva; Gladston Aparecido. ArchLint: Uma Ferramenta para Detecção de Violações Arquiteturais usando Histórico de Versões. IV Congresso Brasileiro de Software: Teoria e Prática (Sessão de Ferramentas), p. 1-6, 2013.
  6. [PDF] Vitor Sales; Ricardo Terra; Luis Miranda; Marco Tulio Valente. JMove: Seus Métodos em Classes Apropriadas. IV Congresso Brasileiro de Software: Teoria e Prática (Sessão de Ferramentas), p. 1-6, 2013.

2012

  1. [PDF] Paloma Oliveira; Hudson Borges; Marco Tulio Valente; Heitor Costa. Uma Abordagem para Verificação de Similaridade entre Sistemas Orientados a Objetos. XI Simpósio Brasileiro de Qualidade de Software (SBQS), p. 1-15, 2012.
  2. [PDF] Cristiano Maffort; Marco Tulio Valente; Mariza Bigonha. Detecção de Violações Arquiteturais usando Histórico de Versões. XI Simpósio Brasileiro de Qualidade de Software (SBQS), p. 1-15, 2012.
  3. [PDF] Ricardo Terra; Marco Tulio Valente; Roberto Bigonha; Krzysztof Czarnecki. DCLfix: A Recommendation System for Repairing Architectural Violations. III Congresso Brasileiro de Software: Teoria e Prática (Sessão de Ferramentas), p. 63-68, 2012. (prêmio de segunda melhor ferramenta)
  4. [PDF] João Eduardo Montandon de Araújo Filho; Marco Tulio Valente. APIMiner: Uma Plataforma para Recomendação de Exemplos de Uso de APIs. III Congresso Brasileiro de Software: Teoria e Prática (Sessão de Ferramentas), p. 51-56, 2012.
  5. [PDF] Ricardo Terra; Marco Tulio Valente; Roberto Bigonha. An Approach for Extracting Modules from Monolithic Software Architectures. IX Workshop de Manutenção de Software Moderna (WMSWM), p. 1-8, 2012.

2011

  1. [PDF] João Eduardo Montandon de Araújo Filho; Marco Tulio Valente. Avaliação da Relevância dos Warnings Reportados por Ferramentas para Detecção de Defeitos baseadas em Análise Estática. Revista Eletrônica de Iniciação Científica (REIC), Sociedade Brasileira de Computação, 2012.
  2. [PDF] Cesar Couto; Marco Tulio Valente; Roberto Bigonha. Avaliação de Causalidade entre Métricas de Qualidade Interna e Defeitos. X Simpósio Brasileiro de Qualidade de Software (SBQS), p. 1-15, 2011.
  3. [PDF] Leonardo Humberto Silva; Ricardo Terra; Marco Tulio Valente. A Case Study on Improving Maintainability and Evolvability using Architectural Constraints. X Simpósio Brasileiro de Qualidade de Software (SBQS), p. 1-15, 2011.
  4. [PDF] Marcus Vinicius Couto; Marco Tulio Valente. ArgoUML-SPL: Uma Linha de Produtos para Modelagem de Sistemas usando UML. II Congresso Brasileiro de Software: Teoria e Prática (Sessão de Ferramentas), p. 1-7, 2011.

2010

  1. [PDF] Hugo Alves; Henrique Rocha; Ricardo Terra; Marco Tulio Valente. Uma Abordagem para Recuperação da Arquitetura Dinâmica de Sistemas de Software. IV Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS), p. 145-154, 2010.
  2. [PDF] Ricardo Terra; Jussara Almeira; Roberto Bigonha; Marco Tulio Valente. Análise Comparativa do Código Gerado por Compiladores Java e C++. XIV Simpósio Brasileiro de Linguagens de Programação (SBLP), p. 69-82, 2010.
  3. [PDF] João Eduardo Montandon de Araújo Filho; César Francisco de Moura Couto; Silvio José de Souza; Marco Tulio Valente. Um Estudo sobre a Correlação entre Defeitos de Campo e Warnings Reportados por uma Ferramenta de Análise Estática.IX Simpósio Brasileiro de Qualidade de Software (SBQS), p. 9-23, 2010. (prêmio de melhor artigo)
  4. [PDF] Gladston Aparecido Junio; Marcelo Nassau Malta; Humberto Mossri de Almeida; Humberto Torres Marques-Neto; Marco Tulio Valente. Proposta e Avaliação de um Processo para Agrupamento de Solicitações de Manutenções. IX Simpósio Brasileiro de Qualidade de Software (SBQS), p. 183-197, 2010.
  5. [PDF] Virgílio Borges; Rógel Garcia; Marco Tulio Valente. Uma Ferramenta para Extração Semi-automática de Linhas de Produtos de Software Usando Coloração de Código. I Congresso Brasileiro de Software: Teoria e Prática (Sessão de Ferramentas), p. 73-78, 2010. (slides)
  6. [PDF] Ricardo Terra; Marco Tulio Valente. Definição de Padrões Arquiteturais e seu Impacto em Atividades de Manutenção de Software. VII Workshop de Manutenção de Software Moderna (WMSWM), p. 1-8, 2010. (prêmio de melhor artigo)
  7. [PDF] Silvio José de Souza; João Eduardo Montandon de Araújo Filho; Marco Tulio Valente. Uma Meta-Ferramenta para Detecção de Defeitos. VII Workshop de Manutenção de Software Moderna (WMSWM), p. 1-8, 2010.
  8. [PDF] João Eduardo Montandon de Araújo Filho; Silvio José de Souza; Marco Tulio Valente. Os Defeitos Detectados pela Ferramenta de Análise Estática FindBugs são Relevantes? IX Simpósio Brasileiro de Qualidade de Software (SBQS), p. 383-390, 2010 (Relato de Experiência).
  9. [PDF] Ricardo Terra; Marco Tulio Valente. Conformação e Recuperação de Arquiteturas de Software. Mini-curso apresentado no I Congresso Brasileiro de Software: Teoria e Prática, 2010.

2009

  1. [PDF] Virgilio Borges; Marco Tulio Valente. Coloração Automática de Variabilidades em Linhas de Produtos de Software. III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS), p. 67-80, 2009.
  2. [PDF] Marcelo Nassau Malta; Humberto Mossri de Almeida; Marco Tulio Valente; Carlos Alberto Pietrobon; Humberto Torres Marques-Neto. Modelo de Gestão de Demandas de Manutenção de Software: a Experiência da PUC Minas. VI Workshop de Manutenção de Software Moderna (WMSWM), p. 1-4, 2009 (Relato de Experiência).
  3. [PDF] César Francisco de Moura Couto; Jaqueline Faria; Marco Tulio Valente. Estimativa de Métricas de Separação de Interesses em Processos de Refatoração para Extração de Aspectos. VI Workshop de Manutenção de Software Moderna (WMSWM), p. 1-8, 2009.
  4. [PDF] Marco Tulio Valente; Andre du Bois. Proceedings of the 3rd Workshop on Languages and Tools for Parallel and Distributed Programming. 2009.
  5. [PDF] Marco Tulio Valente; Fernando Castor. Proceedings of the 3rd Latin American Workshop on Aspect-Oriented Software Development. 2009.

2008

  1. [PDF] Ricardo Terra; Marco Tulio Valente. Verificação Estática de Arquiteturas de Software utilizando Restrições de Dependência. II Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS), p. 24-37, 2008.
  2. [PDF] Rogério Celestino dos Santos; Marco Tulio Valente. Extração de uma Linha de Produtos de Software na Área de Jogos para Celulares usando Programação Orientada por Features. II Latin American Workshop on Aspect-Oriented Software Development (LA-WASP), p. 50-59, 2008.
  3. [PDF] Rogério Celestino dos Santos; Marco Tulio Valente. Uma Comparação Preliminar entre Tecnologias para Implementação de Variabilidades em Jogos para Celulares. VII Simpósio Brasileiro de Jogos de Computador e Entretenimento Digital (SBGAMES), p. 84-87, 2008 (technical poster).

2007

  1. [PDF] Marcelo Nassau Malta; Marco Tulio Valente. Transformações de Código para Extração de Aspectos. I Latin American Workshop on Aspect-Oriented Software Development (LA-WASP), p. 93-104, 2007.
  2. [PDF] Leonardo Humberto Guimarães Silva; Marco Tulio Valente. Controlando a Evolução de Sistemas Orientados por Aspectos por meio de Aspect-Aware Interfaces. I Latin American Workshop on Aspect-Oriented Software Development (LA-WASP), p. 81-92, 2007.
  3. [PDF] Marcelo Nassau Malta; Tarik Melo; Leonardo Humberto Guimarães Silva; Marco Tulio Valente. Um Estudo sobre o Emprego de Quantificação em Sistemas Orientados por Aspectos: Resultados Preliminares. I Latin American Workshop on Aspect-Oriented Software Development (LA-WASP), p. 163-168, 2007 (short paper).

2006

  1. [PDF] José Geraldo Ribeiro Júnior; Glauber Tadeu de Sousa Carmo; Marco Tulio Valente. Smart Proxies para Invocação de Serviços Web Replicados. XII Simpósio Brasileiro de Sistemas Multimídia e Web (WebMedia), p. 148-154, 2006.
  2. [PDF] Cristiano Amaral Maffort; Marco Tulio Valente. Aspectos para Construção de Aplicações Distribuídas. XX Simpósio Brasileiro de Engenharia de Software (SBES), p. 271-286, 2006. (quinto melhor artigo do evento)
  3. [PDF] Daniel Coutinho de Miranda; Marco Tulio Valente. Sensibilidade ao Contexto em Java. XXXIII Seminário Integrado de Software e Hardware (SEMISH), p. 331-345, 2006.
  4. [PDF] Cristiano Amaral Maffort, Marco Tulio Valente. Aspectos para Construção de Serviços Web. III Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos (WASP), p. 11-20, 2006.
  5. [PDF] André Luiz Camargos Tavares; Marco Tulio Valente. Execução Remota de Aplicações para Computadores Móveis usando Aspectos. III Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos (WASP), p. 21-29, 2006.
  6. [PDF] Sérgio Vale e Pace; Marco Tulio Valente. Catálogo de Técnicas de Meta-Programação por Templates em C++. Revista Eletrônica de Iniciação Científica (REIC), Sociedade Brasileira de Computação, Número IV, dezembro 2006.

2005

  1. [PDF] Marco Tulio Valente;, Diana Campos Leão; Rodrigo Palhares; Fabio Tirelo. Um Sistema de Chamada Remota de Métodos Orientado por Aspectos. IX Simpósio Brasileiro de Linguagens de Programação (SBLP), p. 133-146, 2005.
  2. [PDF] Marco Tulio Valente, Rodrigo Palhares; Diana Campos Leão. Otimizações de Co-Localização em AspectJRMI. II Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos (WASP), p. 59-66, 2005.
  3. [PDF] Cesar Couto, Marco Tulio Valente; Roberto da Silva Bigonha. Um Arcabouço Orientado por Aspectos para Implementação Automatizada de Persistência. II Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos (WASP), p. 27-34, 2005.

2004

  1. [PDF] Fernando Magno Quintão Pereira; Marco Tulio Valente; Roberto da Silva Bigonha; Mariza Andrade da Silva Bigonha. Arcademis: A Java-Based Framework for Middleware Development. XXII Simpósio Brasileiro de Redes de Computadores (SBRC), p. 539-552, 2004.
  2. [PDF] Marco Tulio Valente, Rodrigo Palhares, Fabio Tirelo. Especificação de Táticas para Invocação Remota de Métodos Usando Orientação por Aspectos. I Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos (WASP), 2004.
  3. [PDF] Leonardo Teixeira Passos, Marco Tulio Valente. Personalizações para Acesso à Web em Computadores Móveis. VI Workshop de Comunicação Sem Fio e Computação Móvel (WCSF), 2004.
  4. [PDF] Fabio Tirelo; Roberto da Silva Bigonha; Mariza Andrade da Silva Bigonha; Marco Tulio Valente. Desenvolvimento de Software Orientado por Aspectos. Mini-curso apresentado na XXIII Jornada de Atualização em Informática (JAI), 2004.

2003

  1. [PDF] Wendell Taveira; Marco Tulio Valente; Mariza Andrade da Silva Bigonha; Roberto da Silva Bigonha. Chamada Assíncrona de Métodos Remotos em Java. VII Simpósio Brasileiro de Linguagens de Programação (SBLP), p. 78-91, 2003.
  2. [PDF] Marco Tulio Valente; João Paulo Santos; César Francisco de Moura Couto. Interceptação de Métodos Remotos em Java RMI. VII Simpósio Brasileiro de Linguagens de Programação (SBLP), p. 50-63, 2003.
  3. [PDF] Fernando Magno Quintão Pereira; Marco Tulio Valente; Roberto da Silva Bigonha; Mariza Andrade da Silva Bigonha. Chamada Remota de Métodos na Plataforma J2ME/CLDC. V Workshop de Comunicação Sem Fio e Computação Móvel (WCSF), 2003. (classificado entre os cinco melhores artigos do evento)
  4. [PDF] Wagner Salazar Pires; Marco Tulio Valente. Invocação de Serviços Web Utilizando uma Linguagem de Domínio Específico Embutida em Java. Revista Eletrônica de Iniciação Científica (REIC), Sociedade Brasileira de Computação, Número IV, dezembro 2003.
  5. [PDF] César Francisco de Moura Couto; Marco Tulio Valente. Uma Ferramenta para Teste de Aplicações Distribuídas em Redes sem Fio. Revista Eletrônica de Iniciação Científica (REIC), Sociedade Brasileira de Computação, Número IV, dezembro 2003.

2002

  1. [PDF] Fernando Magno Quintão Pereira; Marco Tulio Valente; Roberto da Silva Bigonha; Mariza Andrade da Silva Bigonha. Uma Linguagem para Coordenação de Aplicações em Redes Móveis Ad Hoc. VI Simpósio Brasileiro de Linguagens de Programação (SBLP), p. 152-165, 2002.
  2. [PDF] Marco Tulio Valente; Roberto da Silva Bigonha; Mariza Andrade da Silva Bigonha; Fernando Magno Quintão Pereira. A Coordination Model for Ad Hoc Mobile Systems and its Formal Semantics. IV Workshop de Comunicação Sem Fio e Computação Móve (WCSF), p. 58-67, 2002.

2001

  1. [PDF] Marco Tulio Valente; Roberto da Silva Bigonha; Mariza Andrade da Silva Bigonha; Antônio Alfredo Ferreira Loureiro. Mobilidade de Grupos de Objetos em um Sistema para Programação Distribuída na Internet. V Simpósio Brasileiro de Linguagens de Programação (SBLP), p. 221-235, 2001.

2000

  1. [PDF] Marco Tulio Valente; Roberto da Silva Bigonha; Mariza Andrade da Silva Bigonha; Antônio Alfredo Ferreira Loureiro. Introduzindo Abstrações para Computação Móvel em Linguagens Orientadas por Objeto. IV Simpósio Brasileiro de Linguagens de Programação (SBLP), p. 15-28, 2000.

1999

  1. [PDF] Marco Tulio Valente; Roberto da Silva Bigonha; Marcelo de Almeida Maia; Antônio Alfredo Ferreira Loureiro. Aplicação de ASM na Especificação de Sistemas Móveis. II Workshop de Métodos Formais (WMF), p. 60-69. 1999.
  2. [PDF] Marco Tulio Valente; Roberto da Silva Bigonha; Antônio Alfredo Ferreira Loureiro; Mariza Andrade da Silva Bigonha. Linguagens para Computação Móvel na Internet. Revista de Informatica Teórica e Aplicada (RITA), Porto Alegre, Brasil, v. 6, n. 3, p. 7-47, 1999.

1996

  1. [PDF] Marco Tulio Valente; Roberto da Silva Bigonha. Covariância x Contravariância: A Solução de Ita. I Simpósio Brasileiro de Linguagens de Programação (SBLP), p. 333-345, 1996.

1992

  1. [PDF] Marco Tulio Valente; Leacir Nogueira Bastos. Uma Extensão de Pascal Orientada a Objetos. XII Congresso da Sociedade Brasileira de Computação (CSBC), p. 371-380, 1992.