Roberto da Silva Bigonha

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


Professor Emérito da UFMG. Diretor-Presidente do Parque Tecnológico de Belo Horizonte, MG (BH-TEC). Associado da Sociedade Brasileira de Computação. Possui graduação em Engenharia Química pela Escola de Engenharia (1971), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1975) e doutorado em Ciência da Computação - University of California, Los Angeles (1981). Professor Titular da UFMG Aposentado. Tem experiência na área de Ciência da Computação, com ênfase em Linguagens de Programação e Engenharia de Software, atuando principalmente nos seguintes temas: compiladores, métricas de software, modularidade e semântica formal. Coordenador do Curso de Pós-Graduação Lato Sensu em Informática da UFMG (1988-1999). Chefe do Departamento de Ciência da Computação da UFMG (1987-1989, 2000-2002, 2009-2011, 2011-2013). Coordenador do Bacharelado em Ciência da Computação da UFMG (1981-1983). Coordenador do Curso de Pós-Graduação em Ciência da Computação da UFMG (1983-1985, 1991-1993). Coordenador da Área de Ciência da Computação na CAPES (1995-1997). Coordenador Adjunto da Área de Ciência da Computação na CAPES (1993-1995). Coordenador da Câmara de Ciências Exatas e dos Materiais da Fapemig (10/2004-02/2005). Recebeu o Prêmio Nacional de Informática, Categoria Software, em 1988, patrocinado pelo Ministério de Ciência e Tecnologia, Modata e Fundação Roberto Marinho, e o prêmio Newton Faller da SBC (2009). Coordenador do XI Seminário Integrado de Software e Hardware da SBC (1984). Coordenador do V Simpósio Sobre Desenvolvimento de Software Básico da SBC (1985). Coordenador do V Simpósio Brasileiro de Engenharia de Software (1990). Coordenador da Comissão Especial de Engenharia de Software da SBC (1990-1991). Coordenador do I Simpósio Brasileiro de Linguagens de Programação (1996). Coordenador da Comissão Especial de Linguagens de Programação da SBC (2007-2008). Conselheiro da Sociedade Brasileira de Computação (SBC) (1985-1989, 1991-1993, 1997-2001, 2007-2011, 2017-2021). Diretor de Educação da SBC (1989-1991, 1993-1995. 1995-1997). Diretor de Regulamentação da Profissão da SBC (2001-2007). Diretor de Relações Profissionais da SBC (2011-2013, 2013-2015, 2015-2017). Presidente da Comissão de Ética da SBC (2012-2015). (Texto informado pelo autor)


Identificação


Nome
Roberto da Silva Bigonha
Nome em citações bibliográficas
BIGONHA, R. S.;BIGONHA, Roberto S.;Roberto da Silva Bigonha;da Silva Bigonha, Roberto;BIGONHA, ROBERTO S.;BIGONHA, ROBERTO S;S. BIGONHA, ROBERTO

Endereço


Endereço Profissional
Universidade Federal de Minas Gerais, Instituto de Ciências Exatas, Departamento de Ciência da Computação.
Avenida Antônio Carlos, 6627
Pampulha
31270-010 - Belo Horizonte, MG - Brasil
Telefone: (31) 34995860
Fax: (31) 34995858


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


1977 - 1981
Doutorado em Ciência da Computação.
University of California, Los Angeles, UCLA, Estados Unidos.
Título: A Denotational Semantics Implementation System, Ano de obtenção: 1981.
Orientador: David F. Martin.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: semântica denotacional; compiladores; formal methods.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
1972 - 1975
Mestrado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: Processador de Gramaticas SLRk,Ano de Obtenção: 1975.
Orientador: Luiz Ferrara de Almeida Cunha.
Grande área: Ciências Exatas e da Terra
1967 - 1971
Graduação em Engenharia Quimica.
Escola de Engenharia, UFMG, Brasil.




Atuação Profissional



Departamento de Ciência da Computação, UFMG, Brasil.
Vínculo institucional

1991 - 2013
Vínculo: Servidor Público, Enquadramento Funcional: Professor Titular, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

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

Vínculo institucional

1977 - 1981
Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

1974 - 1977
Vínculo: Servidor Público, Enquadramento Funcional: Professor Auxiliar, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

08/1974 - Atual
Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Ciência da Computação.

05/2004 - 05/2014
Direção e administração, Instituto de Ciências Exatas, .

Cargo ou função
Coordenador do Curso de Especialização em Informática da UFMG.
08/1974 - 05/2014
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Compiladores
Linguagens Formais
Semântica Formal
Tópicos em Linguagens de Programação
08/1974 - 05/2013
Ensino, Bacharelado em Ciência da Computaçãp, Nível: Graduação

Disciplinas ministradas
Algoritmos e Estrutura de Dados
Cálculo Numérico
Compiladores
Linguagens de Programação
Programação de Computadores
Programação Orientada por Objetos
11/2000 - 11/2002
Direção e administração, Instituto de Ciências Exatas, Departamento de Ciência da Computação.

Cargo ou função
Chefe de Departamento.
11/2000 - 11/2002
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.

Cargo ou função
Presidente da Câmara Departamental.
11/2000 - 11/2002
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, .

Cargo ou função
Membro da Congregação.
04/1987 - 04/2002
Direção e administração, Instituto de Ciências Exatas, Departamento de Ciência da Computação.

Cargo ou função
Coordenador do Curso de Especialização em Informática.
05/1991 - 05/1993
Direção e administração, Instituto de Ciências Exatas, Departamento de Ciência da Computação.

Cargo ou função
Coordenador do Curso de Pós-Graduação em Ciência da Computação.
05/1987 - 04/1989
Direção e administração, Instituto de Ciências Exatas, Departamento de Ciência da Computação.

Cargo ou função
Chefe do Departamento.
05/1985 - 05/1987
Direção e administração, Instituto de Ciências Exatas, Departamento de Ciência da Computação.

Cargo ou função
Coordenador do Curso de Pós-Graduação em Ciência da Computação.
04/1983 - 04/1985
Direção e administração, Instituto de Ciências Exatas, Departamento de Ciência da Computação.

Cargo ou função
Subchefe do Departamento.
01/1981 - 12/1983
Direção e administração, Instituto de Ciências Exatas, Departamento de Ciência da Computação.

Cargo ou função
Coordenador do Bacharelado em Ciência da Computação.

Sociedade Brasileira de Computação, SBC, Brasil.
Vínculo institucional

1982 - Atual
Vínculo: Sócio Efetivo, Enquadramento Funcional: Sócio Efetivo

Atividades

07/2007 - Atual
Direção e administração, Conselho da Sociedade Brasileira de Computação, .

Cargo ou função
Membro do Conselho.
05/2007 - Atual
Conselhos, Comissões e Consultoria, Comissões Especiais, .

Cargo ou função
Coordenador da Comissão Especial de Linguagens de Programação.
08/2001 - 07/2007
Direção e administração, Diretoria de Regulamentação da Profissão, .

Cargo ou função
Diretor de Regulamentação da Profissão.
05/2006 - 05/2007
Direção e administração, XI Simpósio Brasileiro de Linguagens de Programação, .

Cargo ou função
Coordenador do Comitê de Programa.
08/2003 - 08/2004
Direção e administração, XI Semish, .

Cargo ou função
Coordenador do Comitê de Programa.
08/1997 - 07/2001
Direção e administração, Conselho da Sociedade Brasileira de Computação, .

Cargo ou função
Membro do Conselheiro.
10/1999 - 10/2000
Direção e administração, III Workshop de Métodos Formais, .

Cargo ou função
Coordenador do Evento.
08/1996 - 07/1997
Direção e administração, Diretoria de Educação, .

Cargo ou função
Diretor de Educação.
01/1996 - 12/1996
Direção e administração, I Simpósio Brasileiro de Linguagens de Programação, .

Cargo ou função
Coordenação do Evento e do Comitê de Programa.
08/1995 - 07/1996
Direção e administração, Segunda Secretaria da SBC, .

Cargo ou função
Segundo Secretário.
08/1993 - 07/1995
Direção e administração, Segunda Secretaria da SBC, .

Cargo ou função
Segundo Secretário.
08/1993 - 08/1994
Direção e administração, II Workshop Sobre Educação em Informática, .

Cargo ou função
Coordenação do Evento e do Comitê de Programa.
08/1991 - 07/1993
Direção e administração, Conselho da Sociedade Brasileira de Computação, .

Cargo ou função
Membro do Conselheiro.
10/1990 - 10/1991
Direção e administração, Comissões Especiais, .

Cargo ou função
Coordenador da Comissão Especial de Engenharia de Software.
09/1990 - 09/1991
Direção e administração, V Simpósio Brasileiro de Engenharia de Software, .

Cargo ou função
Coordenação do Evento e do Comitê de Programa.
08/1989 - 07/1991
Direção e administração, Segunda Secretaria da SBC, .

Cargo ou função
Segundo Secretário.
08/1985 - 07/1989
Direção e administração, Conselho da Sociedade Brasileira de Computação, .

Cargo ou função
Membro do Conselheiro.
05/1984 - 05/1985
Direção e administração, V Simpósio Sobre Desenvolvimento de Software Básico, .

Cargo ou função
Coordenação do Evento e do Comitê de Programa.
07/1983 - 07/1984
Direção e administração, XI Simpósio Brasileiro de Linguagens de Programação, .

Cargo ou função
Coordenador do Evento e do Comitê de Programa.

Fundação de Amparo à Pesquisa do Estado de Minas Gerais, FAPEMIG, Brasil.
Vínculo institucional

2004 - 2005
Vínculo: Coordenador da Câmara CEX, Enquadramento Funcional: Assessor científico



Linhas de pesquisa


1.
Semântica Denotacional
2.
Modelos Formais
3.
Projeto e Implementação de Linguagens de Programação
4.
Programação Orientada por Objetivos
5.
Computação Móvel


Á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: Linguagens de Programação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.


Idiomas


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


Prêmios e títulos


2010
Segundo Melhor Artigo do XIV SBLP, Sociedade Brasileira de Computação.
2009
Quarto melhor artigo do XXIII SBES, Sociedade Brasileira de Computação.
2009
Prêmio Newton Faller, Sociedade Brasileira de Computação.
1988
Prêmio Nacional de Informática (primeiro lugar, categoria software), Secretaria de Ciência e Tecnologia do Governo Federal/Fundação Roberto Marinho/Modata.


Produções



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

1.
M. FERREIRA, KECIA A.2017M. FERREIRA, KECIA A. ; S. BIGONHA, MARIZA A. ; S. BIGONHA, ROBERTO ; DE LIMA, BERNARDO N. ; GOMES, BÁRBARA M. ; O. MENDES, LUIZ FELIPE . A model for estimating change propagation in software. Software Quality Journal, v. 1, p. 1-32, 2017.

2.
REIS, Leonardo V. S.2015REIS, Leonardo V. S. ; DI IORIO, Vladimir O. ; BIGONHA, R. S. . An on-the-fly grammar modification mechanism for composing and defining extensible languages. Computer Languages, Systems & Structures, v. 42, p. 46-59, 2015.

3.
COUTO, CESAR2014COUTO, CESAR ; PIRES, PEDRO ; VALENTE, MARCO TULIO ; BIGONHA, ROBERTO S. ; ANQUETIL, NICOLAS . Predicting software defects with causality tests. The Journal of Systems and Software, v. 93, p. 24-41, 2014.

4.
COUTO, CESAR2014COUTO, CESAR ; VALENTE, MARCO TULIO ; PIRES, PEDRO ; HORA, ANDRE ; ANQUETIL, NICOLAS ; BIGONHA, ROBERTO S . BugMaps-Granger: a tool for visualizing and predicting bugs using Granger causality tests. Journal of Software Engineering Research and Development, v. 2, p. 1, 2014.

5.
REIS, LEONARDO V.S.2014REIS, LEONARDO V.S. ; BIGONHA, ROBERTO S. ; DI IORIO, VLADIMIR O. ; AMORIM, LUIS EDUARDO S. . The formalization and implementation of Adaptable Parsing Expression Grammars. Science of Computer Programming (Print), v. 96, p. 191-210, 2014.

6.
RIMSA, ANDREI2013RIMSA, ANDREI ; D'AMORIM, MARCELO ; QUINTÃO PEREIRA, FERNANDO MAGNO ; BIGONHA, ROBERTO S. . Efficient static checker for tainted variable attacks. Science of Computer Programming (Print), v. 1, p. 1016-1030, 2013.

7.
TERRA, R.2013TERRA, R. ; Valente, Marco Tulio ; CZARNECKI, KRZYSZTOF ; BIGONHA, R. S. . A recommendation system for repairing violations detected by static architecture conformance checking. Software, Practice & Experience (Print), v. 45, p. 315-342, 2013.

8.
Terra, Ricardo2013Terra, Ricardo ; MIRANDA, LUIS FERNANDO ; VALENTE, MARCO TULIO ; BIGONHA, ROBERTO S. . Qualitas.class corpus. Software Engineering Notes, v. 38, p. 1-4, 2013.

9.
Ferreira, Kécia A. M.2012Ferreira, Kécia A. M. ; BIGONHA, M. A. S. ; BIGONHA, R. S. ; Mendes, F.O. Luiz ; Almeida, C. Heitor . Identifying Thresholds for Object-Oriented Software Metrics. The Journal of Systems and Software, v. 85, p. 244-257, 2012.

10.
SIMÃO, Adenilso2009SIMÃO, Adenilso ; MALDONADO, José Carlos ; da Silva Bigonha, Roberto . A transformational language for mutant description. Computer Languages, Systems & Structures, v. 35, p. 322-339, 2009.

11.
PASSOS, L. T.2009PASSOS, L. T. ; BIGONHA, M. A. S. ; BIGONHA, R. S. . An LALR Parser Generator Supporting Conflict Resolution. Journal of Universal Computer Science (Online), v. 14, p. 3447-3464, 2009.

12.
Ferreira, Kécia A. M.2008Ferreira, Kécia A. M. ; BIGONHA, M. A. S. ; BIGONHA, R. S. . Re-Estruturação de Software Dirigida por Conectividade Para Redução de Custo de Manutenção. Revista de Informática Teórica e Aplicada, v. 15, p. 155-180, 2008.

13.
PINHEIRO, D. P.2008PINHEIRO, D. P. ; MAIA, M. A. ; PRATES, R. O. ; BIGONHA, R. S. . Assessing Program Comprehension Tools with the Communicability Evaluation Method. INFOCOMP (UFLA), v. 1, p. 31-40, 2008.

14.
TIRELO, F.2008TIRELO, F. ; BIGONHA, R. S. ; SARAIVA, J. . Disentangling Denotational Semantics Definitions. Journal of Universal Computer Science (Online), v. 14, p. 3592-3607, 2008.

15.
CORDEIRO, E. S.2007CORDEIRO, E. S. ; BIGONHA, R. S. ; BIGONHA, M. A. S. ; TIRELO, F. . Optimized Compilation of Around Advice for Aspect Oriented Programs. Journal of Universal Computer Science (Online), v. 13, p. 753-766, 2007.

16.
PASSOS, L. T.2007PASSOS, L. T. ; BIGONHA, M. A. S. ; BIGONHA, R. S. . A Methodology for Removing LALR(1) Conflicts. Journal of Universal Computer Science (Online), v. 13, p. 737-752, 2007.

17.
Pereira, Fernando M.Q.2006Pereira, Fernando M.Q. ; VALENTE, M. T. O. ; BIGONHA, R. S. ; BIGONHA, M. A. S. . Arcademis: A Framework for Object-Oriented Communication Middleware Development. Software, Practice & Experience, New York, NY, USA, v. 36, n.5, p. 495-512, 2006.

18.
IORIO, V. O.2005IORIO, V. O. ; BIGONHA, R. S. ; BIGONHA, M. A. S. ; OLIVEIRA, Alcione . What's the Name of the Game? Formal Specification of Artificial Intelligence Games. Electronic Notes in Theoretical Computer Science, Elsevier B.V., v. 130, p. 129-150, 2005.

19.
Pereira, Fernando M.Q.2004Pereira, Fernando M.Q. ; VALENTE, M. T. O. ; PIRES, W. S. ; BIGONHA, R. S. ; BIGONHA, M. A. S. . Tactics for Remote Method Invocation. Journal of Universal Computer Science (Online), http://www'jucs.org, v. 10, n.7, p. 824-842, 2004.

20.
OLIVEIRA, Ademir A.2004OLIVEIRA, Ademir A. ; BRAGA, T. H. ; MAIA, M. A. ; BIGONHA, R. S. . MetaJ: An Extensible Environment for Metaprogramming in Java. Journal of Universal Computer Science (Online), http://www.jucs.org, v. 10, n.7, p. 872-891, 2004.

21.
BIGONHA, R. S.;BIGONHA, Roberto S.;Roberto da Silva Bigonha;da Silva Bigonha, Roberto;BIGONHA, ROBERTO S.;BIGONHA, ROBERTO S;S. BIGONHA, ROBERTO2004BIGONHA, R. S.; Pereira, Fernando M.Q. ; VALENTE, M. T. O. . Chamada Remota de Métodos na Plataforma J2ME/CLDC. Telecomunicações (Santa Rita do Sapucaí), Santa Rita do Sapucaí, MG, v. 7, n.1, p. 21-31, 2004.

22.
Wendell F. Taveira2003Wendell F. Taveira ; VALENTE, M. T. O. ; BIGONHA, M. A. S. ; BIGONHA, R. S. . Asynchronous Remote Method Invocation in Java. Journal of Universal Computer Science, USA, v. 9, n.8, p. 761-775, 2003.

23.
VALENTE, M. T. O.2001VALENTE, M. T. O. ; BIGONHA, R. S. ; BIGONHA, M. A. S. . An Algorithm for Dynamic Configuration of Mobile System Agents. Journal of Computer Science and Technology, Argentina, v. 2, n.5, p. 56-65, 2001.

24.
SALLES, J. P.2000SALLES, J. P. ; BARANAUSKAS, Cecília ; BIGONHA, R. S. . Towards a communication model applied to the interface design process. Knowledge-Based Systems, v. 14, p. 455-459, 2000.

25.
VALENTE, M. T. O.1999VALENTE, M. T. O. ; BIGONHA, R. S. ; LOUREIRO, Antônio F. ; BIGONHA, M. A. S. . Linguagens para Computação Móvel na Internet. RITA, Porto Alegre- RS, v. 6, n.2, p. 7-48, 1999.

26.
BIGONHA, R. S.;BIGONHA, Roberto S.;Roberto da Silva Bigonha;da Silva Bigonha, Roberto;BIGONHA, ROBERTO S.;BIGONHA, ROBERTO S;S. BIGONHA, ROBERTO1974BIGONHA, R. S.; PADUA, Clarindo I. P. S. . Técnicas para Manipulação Eficiente de Arquivos de Acesso Direto em PL/I. Boletim Informativo do CECOM, Belo Horizonte, MG, v. 4, n.2, p. 47-51, 1974.

27.
BIGONHA, R. S.;BIGONHA, Roberto S.;Roberto da Silva Bigonha;da Silva Bigonha, Roberto;BIGONHA, ROBERTO S.;BIGONHA, ROBERTO S;S. BIGONHA, ROBERTO1974BIGONHA, R. S.; PADUA, Clarindo I. P. S. . Economia de Memória na Declaração de Procedimentos em PL/I. Boletim do CECOM, Belo Horizonte, MG, v. 4, n.4, p. 195-199, 1974.

28.
BIGONHA, R. S.;BIGONHA, Roberto S.;Roberto da Silva Bigonha;da Silva Bigonha, Roberto;BIGONHA, ROBERTO S.;BIGONHA, ROBERTO S;S. BIGONHA, ROBERTO1974BIGONHA, R. S.. Algoritmo Para Construção de Tabelas de Símbolos para Linguagens de Estrutura de Blocos. Boletim Informativo do Cecom, v. 4, n.4, p. 189-194, 1974.

Livros publicados/organizados ou edições
1.
BIGONHA, ROBERTO S.. Efemérides da Regulamentação. 1. ed. Porto Alegre, RS: Sociedade Brasileira de Computação, 2016. v. 1. 88p .

2.
BIGONHA, ROBERTO S; MEDEIROS, C. B. ; MAMMANA, C. Z. ; SANTOS, C. S. ; MENASCE, D. A. ; WAGNER, F. R. ; MARTINS, L. C. ; SILVEIRA, P. M. ; REIS, R. A. L. . Memórias da Sociedade Brasileira de Computação. 1. ed. Porto Alegre, RS: SBC, 2014. v. 1. 144p .

3.
CABRAL, M. I. C. ; NUNES, D. ; BIGONHA, R. S. ; COSTA, T. ; Wagner, Flávio R. ; OLIVEIRA, J. M. . A Trajetória dos Cursos de Graduação da Área de Computação e Informática. 1. ed. Porto Alegre: SBC, 2008. v. 1. 135p .

Capítulos de livros publicados
1.
BIGONHA, R. S.; FERNANDES, A. O. ; Coelho, C. J. . Lei de Informática e Propriedade Intelectual. In: Amintas Neto; Rogério Panigassi. (Org.). Propriedade Intelectual: O Caminho Para o Desenvolvimento. São Paulo, SP: Câmara Brasileira do Livro, 2005, v. , p. 13-26.

2.
VALENTE, M. T. O. ; Pereira, Fernando M.Q. ; BIGONHA, R. S. ; BIGONHA, M. A. S. . A Coordination Model for ad hoc Mobile Systems. Lecture Notes in Computer Science. Berlin / Heidelberg: Springer Berlin / Heidelberg, 2004, v. 2790, p. 1074-1081.

3.
TIRELO, F. ; BIGONHA, R. S. ; BIGONHA, M. A. S. ; VALENTE, M. T. O. . Desenvolvimento de Software Orientado por Aspectos. In: Sociedade Brasileira de Computação. (Org.). XXIII Jornada de Atualização de Informática. 1ed.Salvador: SBC, 2004, v. 2, p. 56-96.

Trabalhos completos publicados em anais de congressos
1.
REIS, L. V. S. ; IORIO, V. O. ; BIGONHA, ROBERTO S . Defining the syntax of extensible languages. In: 29th Annual ACM Symposium on Applied Computing - SAC '14, 2014, Gyeongju, Korea. Proceedings of the 29th Annual ACM Symposium on Applied Computing. New York: ACM Press. New York: ACM Press, 2014. p. 1570-1576.

2.
REIS, L. V. S. ; IORIO, V. O. ; BIGONHA, R. S. . A Mixed Approach for Building Extensible Parsers. In: Brazilian Symposium on Programming Language, 2014, Maceió, Alagoas. Proceedings of the 18th SBLP, 2014. p. 1-15.

3.
Terra, Ricardo ; BRUNET, J. ; MIRANDA, D. ; VALENTE, M. T. O. ; SEREY, D. ; CASTILHO, D. ; BIGONHA, R. S. . Measuring the Structural Similarity between Source Code Entities. In: 25th International Conference on Software Engineering and Knowledge Engineering, 2013, Boston, USA. 25th International Conference on Software Engineering and Knowledge Engineering. Boston, 2013. v. 1. p. 1-6.

4.
Ferreira, Kécia A. M. ; BIGONHA, M. A. S. ; BIGONHA, R. S. ; MOREIRA, R. C. N. . The Evolving Structure of Software Systems. In: Workshop on Emerging Trends of Software Metrics, 2012, Zurich. Proceedings of the 3rd WETSom, 2012. v. 1. p. 1-7.

5.
Ferreira, Kécia A. M. ; BIGONHA, M. A. S. ; BIGONHA, R. S. ; MOREIRA, R. C. N. . A Generic Topology of Software Networks - A Quantitative Evaluation. In: XXVI Simpósio Brasileiro de Engenharia de Software, 2012, Natal, RS. Proceedings of the XXVI SBES. Porto Alegre: SBC, 2012. v. 1. p. 1-10.

6.
COUTO, César F. M. ; VALENTE, M. T. O. ; BIGONHA, R. S. ; ANTEQUIL, N. . Uncovering Causal Relationships Between Software Metrics and Bugs. In: European Conference on Software Maintenance and Reengineering, 2012. CSMR, 2012. p. 23-232.

7.
Terra, Ricardo ; VALENTE, M. T. O. ; BIGONHA, R. S. ; CZARNECKI, K. . DCLFix: A Recomendation System for Repairing Architectural Violations. In: III CBSoft - Sessão de Ferramentas, 2012, Natal, RS. Proceedings of the III SBSoft, 2012. v. 1. p. 1-6.

8.
Terra, Ricardo ; VALENTE, MARCO TULIO ; CZARNECKI, KRZYSZTOF ; BIGONHA, ROBERTO S. . Recommending Refactorings to Reverse Software Architecture Erosion. In: 2012 16th European Conference on Software Maintenance and Reengineering (CSMR), 2012, Szeged. 2012 16th European Conference on Software Maintenance and Reengineering. v. 1. p. 335-340.

9.
Terra, Ricardo ; VALENTE, M. T. O. ; BIGONHA, R. S. . An Approach for Extracting Modules from Monolithic Software Architectures. In: IX Workshop de Manutenção de Software Moderna, 2012, Fortaleza, CE. Anais IX Workshop de Manutenção de Software Moderna. Porto Alegre, RS: SBC, 2012. p. 1-8.

10.
Reis, Leonard V. S. ; BIGONHA, R. S. ; IORIO, V. O. . Adaptable Parsing Expression Grammar. In: Brazilian Symposium on Programming Language, 2012, Nata, RS. Lectures Notes in Computer Science. Berlin: Springer Berlin Heidelberg, 2012. p. 72-86.

11.
Ferreira, Kécia A. M. ; BIGONHA, M. A. S. ; BIGONHA, R. S. . Métrica de Coesão de Responsabilidade - A Utilidade de Métrica de Coesão na Identificação de Classes com Problemas Estruturais.. In: Simpósio Brasileiro de Qualidade de Software, 2011, Curitiba, PR. Anais. Porto Alegre, RS: SBC, 2011. v. 1. p. 9-23.

12.
Ferreira, Kécia A. M. ; BIGONHA, M. A. S. ; BIGONHA, R. S. . Software Evolution Characterization - A Complex Network Approach. In: Simpósio Brasileiro de Qualidade de Software, 2011, Curitiba, PR. Procedings. Porto Alegre, RS: SBC, 2011. v. 1. p. 41-56.

13.
COUTO, César F. M. ; VALENTE, M. T. O. ; BIGONHA, R. S. . Avaliação de Causalidade entre Métricas de Qualidade Interna e Defeitos. In: X Simpósio Brasileiro de Qualidade de Software, 2011, Curitiba, PR. Anais do X SBQS. Porto Alegre,RS: SBC, 2011. v. 1. p. 279-294.

14.
IORIO, V. O. ; Reis, Leonard V. S. ; BIGONHA, R. S. ; VALENTE, M. T. O. . Weave Time Macros. In: workshop on Domain-Specific Aspect Languages, 2011, Porto de Galinhas, PE. Proceedings of the Sixth Annual Workshop on Domain-Specific Aspect Languages. New York: ACM, 2011. v. 6. p. 1-3.

15.
Tavares, André Luiz C. ; Pereira, Fernando M.Q. ; BIGONHA, M. A. S. ; BIGONHA, R. S. . Efficient SSI Conversion. In: 14th Brazilian Symposium on Programming Languages, 2010, Salvador, Bahia, Brasil. Anais do 14th Brazilian Symposium on Programming Languages. Porto Alegre, RS: Sociedade Brasileira de Computação, 2010. v. 2. p. 41-54.

16.
Terra, Ricardo ; Almeida, Jussara ; BIGONHA, R. S. ; VALENTE, M. T. O. . Análise Comparativa do Código Gerado por Compiladores Java e C++. In: 14th Brazilian Symposium on Programming Languages, 2010, Salvador, Bahia. Anais do 14th Brazilian Symposium on Programming Languages. Porto Alegre, RS: Sociedade Brasileira de Computação, 2010. v. 2. p. 69-82.

17.
MILANES, A. ; BIGONHA, R. S. . Moonlight Chords. In: IV Seminário sobre Linguagens e Ferramentas para Programação Multithread, Paralela e Distribuída, 2010, Salvador, Bahia, Brasil. Anais do IV Seminário sobre Linguagens e Ferramentas para Programação Multithread, Paralela e Distribuída. Salvador, Bahia: Sociedade Brasileira de Computação, 2010. v. 7. p. 25-32.

18.
IORIO, V. O. ; Reis, Leonard V. S. ; BIGONHA, R. S. ; BIGONHA, M. A. S. . A Proposal for Extensible AspectJ. In: Domain Specific Aspect Languages 2009, 2009, Nova York. - Workshop on Domain Specific Languages. Nova York, USA: Association of Computing Machinery, 2009. p. 21-24.

19.
BIGONHA, M. A. S. ; RASTELLO, F. ; Pereira, Fernando M.Q. ; BIGONHA, R. S. . A Coalescing Algorithm for Aliased Registers. In: Colloque d'Informatique: Brésil/INRIA-Coopérations, AVancées et Défis, 2009, Bento Gonçalves, RS, Brasil. COLIBRI 2009. Porto Alegre, RS: SBC, 2009. v. 1. p. 17-21.

20.
Ferreira, Kécia A. M. ; BIGONHA, M. A. S. ; BIGONHA, R. S. ; MENDES, L. ; ALMEIDA, H.C. . Valores Referência para Métricas de Software Orientado por Objetos. In: Simpósio Brasileiro de Engenharia de Software, 2009, Fortaleza, Ceará. Anais do Simpósio Brasileiro de Engenharia de Software. Porto Alegre, RS: SBC, 2009. v. 1. p. 62-72.

21.
REIS, L. V. S. ; IORIO, V. O. ; BIGONHA, R. S. ; BIGONHA, M. A. S. ; LADEIRA, R. . XAJ: An Extensible Aspect-Oriented Language. In: III Latin American Workshop on Aspect-Oriented Software Development, 2009, Fortaleza, Ceará. Proceedings of the III Latin American Workshop on Aspect-Oriented Software Development, 2009. v. 1. p. 1-6.

22.
PINHEIRO, D. P. ; MAIA, M. A. ; PRATES, R. O. ; BIGONHA, R. S. . Assessing Program Comprehension Tools with the Communicability Evaluation Method. In: V Workshop de Manutenção de Software Moderna (WMSWM), 2008. SBQS 2008. Porto Alegre, RS: SBC. p. 1-9.

23.
PASSOS, L. T. ; BIGONHA, M. A. S. ; BIGONHA, R. S. . An LALR Parser Generator Supporting Conflict Resolution. In: Brazilian Symposium on Programming Languages, 2008, Fortaleza, Ce. Proceeding of the XII Brazilian Symposium on Programming Languages. Porto Alegre, RS: SBC, 2008. v. 1. p. 33-46.

24.
TIRELO, F. ; BIGONHA, R. S. ; SARAIVA, J. A. B. . Disentangling Denotational Semantics Definitions. In: Brazilian Symposium on Programming Languages, 2008, Fortaleza, Ce. Proceeding of the XII Brazilian Symposium on Programming Languages. Porto Alegre, RS: SBC, 2008. v. 1. p. 143-156.

25.
Terra, Ricardo ; BIGONHA, R. S. . Ferramentas Para Análise Estática de Códigos Java. In: III Encontro Brasileiro de Teste de Software, 2008, Recife, PE. Material do Encontro III EBTS, 2008. v. 1. p. 1-5.

26.
BRAGA, T. H. ; MAIA, M. A. ; BIGONHA, R. S. . Recovering and Checking Software Architecture Properties Based on Execution Tree Analysis. In: Brazilian Symposium on Software Components, Architectures and Reuse,, 2008, Porto Alegre, RS. Second Brazilian Symposium on Software Components, Architectures and Reuse,. Porto Alegre, RS: SBC, 2008. v. 1. p. 10-22.

27.
PINHEIRO, D. P. ; RIBEIRO, R. G. ; OLIVEIRA, Ademir A. ; MAIA, M. A. ; BIGONHA, R. S. . Compreensão de Programas Apoiada por Uma Linguagem de Consulta em Código Fonte. In: IV Workshop de Manutenção Moderna de Software, 2007, Porto de Galinhas. Anais do IV SWMSwM 2007. Porto Alegre, RS: Sociedade Brasileira de Computação, 2007.

28.
Mário C.C. Lobato ; BIGONHA, R. S. ; BIGONHA, M. A. S. . Um Arcabouço de Compilaçao Orientado por Aspectos. In: Simpósio Brasileiro de Linguagens de Programação, 2006, Itatiaia, RJ. Anais do X SBLP. Porto Alegre, RS: Sociedade Brasileira de Computação, 2006. p. 189-202.

29.
BIGONHA, R. S.; Kristian Magnani ; BIGONHA, M. A. S. ; OLIVEIRA, F. F. ; IORIO, V. O. . An Infrastructure for Implementing Compilers for Concurrent Abstract State Machine Languages. In: Conferencia Latinoamericana de Informática, 2005, Cali. Proceedings. Cali, Colombia: CLEI 2005, 2005. v. XXXI. p. 881-891.

30.
BIGONHA, R. S.; COUTO, César F. M. ; VALENTE, M. T. O. . Um Arcabouço Orientado por Aspectos Para Implementação Automatizada de Persistência. In: II Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos, 2005, Uberlândia. Anais do WAP'05. Uberlândia, MG: Sociedade Brasileira da Computação, 2005. p. 27-34.

31.
OLIVEIRA, Ademir A. ; PINHEIRO, D. P. ; RIBEIRO, R. G. ; BRAGA, T. H. ; MAIA, M. A. ; BIGONHA, R. S. . Iteradores, Templates e Consultas na Análise e Manipulação de Programas. In: Workshop de Manutenção Moderna de Software, 2005, Manaus, Amazônia. II Workshop de Manutenção de Software Moderna. Porto Alegre, RS: Sociedade Brasileira de Computação, 2005. v. 1. p. 50-65.

32.
Pereira, Fernando M.Q. ; VALENTE, M. T. O. ; PIRES, W. S. ; BIGONHA, R. S. ; BIGONHA, M. A. S. . Tactics for Remote Method Invocation. In: Brazilian Symposium on Programming Language, 2004, Niterói, Rio de Janeiro. Proceeding of the VIII Brazilian Symposium on Programming Languages. Porto Alegre, RS: Sociedade Brasileira de Computação, 2004. v. 1. p. 102-115.

33.
OLIVEIRA, Ademir A. ; BRAGA, T. H. ; MAIA, M. A. ; BIGONHA, R. S. . MetaJ: An Extensible Environment for Metaprogramming in Java. In: Brazilan Symposium on Programming Language, 2004, Niterói, RJ, Brazil. Proceeding of the VIII Brazilian Symposium on Programmming Languaes. Porto Alegre, RS, Brazil: Sociedade Brasileira de Computação, 2004. v. 1. p. 46-60.

34.
BIGONHA, R. S.; BIGONHA, M. A. S. ; AMBROSIO, L. L. . Avaliação Global de Registradores Baseada em Crescimento de Domínios Ativos. In: VIII Simópsio Brasileiro de Linguages de Programação, 2004, Niterói, Rj, Brasil. Anais do VIII Simpósio Brasileiro de LInguagens de Programação. Niterói, RJ, Brasil: Sociedade Brasileira de Computação, 2004. v. 1. p. 157-171.

35.
BIGONHA, R. S.; OLIVEIRA, F. F. ; BIGONHA, M. A. S. . Otimização de Código em Ambiente de Semântica Formal Executável Baseado em ASM. In: VIII Simpósio Brasileiro de Linguagens de Programação, 2004, Niterói, RJ, Brasil. Anais do VIII Simpósio Brasileiro de Linguagens de Programação. Porto Alegre, RS, Brasil: Sociedade Brasileira de Computação, 2004. p. 172-185.

36.
LIBORIO, S. R. ; BIGONHA, R. S. . Compilador Reflexivo Para Adaptações de Programas a Configurações de Recursos Limitados. In: VIII Simpósio Brasileiro de Linguagens de Programação, 2004, Niterói, RJ, Brasil. Anais do VIII Simpósio Brasileiro de Linguagens de Programação. Porto Alegre, RS: Sociedade Brasileira de Computação, 2004. p. 242-256.

37.
Pereira, Fernando M.Q. ; VALENTE, M. T. O. ; BIGONHA, R. S. ; BIGONHA, M. A. S. . Arcademis: A Framework for Middleware Development. In: Brazilian Symposium on Computer Network, 2004, Gramado, RS. Proceedings of the XXII Brazilian Symposium on Computer Network, 2004. p. 539-552.

38.
VALENTE, M. T. O. ; Pereira, Fernando M.Q. ; BIGONHA, R. S. ; BIGONHA, M. A. S. . A Coordination Model for Ad Hoc Mobile Systems. In: Euro-Par 2003 Parallel Processing, 2003, Klgenfurt, Austria. Proceedings of the 9th Euro-Par Conference, Lecture Notes in Computer Science. Berlim, Alemanha: Springer-Verlag GmbH, 2003. v. 2790. p. 1074-1081.

39.
Wendell F. Taveira ; VALENTE, M. T. O. ; BIGONHA, M. A. S. ; BIGONHA, R. S. . Comunicação Assíncrona de Métodos Remotos em Java. In: VII Simpósio Brasileiro de Linguagens de Programação, 2003, Ouro Preto., Minas Gerais. Anais do VII Simpósio Brasileiro de Linguagens de Programação. Porto Alegre, RS: Sociedade Brasileira de Computação, 2003. p. 78-91.

40.
Pereira, Fernando M.Q. ; VALENTE, M. T. O. ; BIGONHA, R. S. ; BIGONHA, M. A. S. . Chamada Remota de Métodos na Plataforma J2ME/CLDC. In: V Simpósio de Comunicação sem Fio e Computatação Móvel, 2003, São Lourenço - Brasil. Anais do V Workshop de Comunicação sem Fio e Computação Móvel. Porto Alegre, RS: Sociedade Brasileira da Computação, 2003. p. 1-10.

41.
Eliseu C. Miguel ; BIGONHA, R. S. ; IORIO, V. O. ; BIGONHA, M. A. S. . Utilização de Máquinas de Estado Abstratas de Inteligência Artificial e Jogos. In: XXIX Conferência Latino Americana de Informática, 2003, La Paz , Bolivia. XXIX Conferência Latino Americana de Informática. La Paz, Bolivia: CLEI, 2003. p. 1-10.

42.
Pereira, Fernando M.Q. ; VALENTE, M. T. O. ; BIGONHA, R. S. ; BIGONHA, M. A. S. . Uma Linguagem para Coordenação de Aplicações em Redes Móveis Ad Hoc. In: Simpósioo Brasileiro de Linguagens de Programação, 2002, Rio de Janeiro, RJ. Anais do VI SBLP, 2002. v. I. p. 152-165.

43.
Pereira, Fernando M.Q. ; VALENTE, M. T. O. ; BIGONHA, R. S. ; BIGONHA, M. A. S. . A Coordination Model for Ad Hoc Systems and its Formal Semantics. In: Workshop de Comunicação Móvel sem Fio e Computação Móvel, 2002, São Paulo, SP. Anais do WCSF 2002, 2002. p. 58-67.

44.
SIMÃO, Adenilso ; MALDONADO, José Carlos ; BIGONHA, R. S. . Using Denotational Semantics in the Validation of the Compiler for a Mutation-Oriented Language. In: 5th Worshop on Formal Methods, 2002, Gramado, RS. Proceedings of the 5th WMF, 2002. p. 4-19.

45.
Pereira, Fernando M.Q. ; VALENTE, MARCO TULIO ; BIGONHA, ROBERTO S ; BIGONHA, M. A. S. . A Java-based Simulator for Ad Hoc Mobile Distributed Systems. In: International Workshop on Scientific Engineering of Distributed Java Applications, 2002, Luxembourg. FIDJI'2002, 2002.

46.
Pereira, Fernando M.Q. ; BIGONHA, R. S. ; IORIO, V. O. ; BIGONHA, M. A. S. . Avaliação Parcial de Programas Usando CMIX/II. In: V Simpósio Brasileiro de Linguagens de Programação, 2001, Curitiva , Pr. Anais do V SBLP, 2001. v. I. p. 16-31.

47.
OLIVEIRA, F. F. ; BIGONHA, R. S. ; BIGONHA, M. A. S. ; COSTA, M. R. . Compilador da Linguagem Funcional Orientada por Objetos Script para C. In: V Simpósio Brasileiro de Linguagens de Programação, 2001, Curitiba-PR. Anais do V SBLP, 2001. v. I. p. 48-63.

48.
VALENTE, M. T. O. ; BIGONHA, R. S. ; LOUREIRO, Antônio F. ; BIGONHA, M. A. S. . Disconnected Operation in a Mobile Computation System. In: ICSE Workshop on Software Engineering and Mobility, 2001, Toronto- Canada. Proceedings of the ICSE Workshop on Software Engineering and Mobility, 2001. v. I. p. 1-12.

49.
VALENTE, M. T. O. ; BIGONHA, R. S. ; BIGONHA, M. A. S. ; LOUREIRO, Antônio F. . Mobilidade de Grupos de Objetos em um Sistema para Programação Distribuída na Internet. In: V Simpósio Brasileiro de Linguagens de Programação, 2001, Curitiba, PR. Anais do V SBLP, 2001. v. I. p. 221-235.

50.
VALENTE, M. T. O. ; BIGONHA, R. S. ; BIGONHA, M. A. S. ; LOUREIRO, Antônio F. . Supporting Disconnected Operation in a Mobile Object System. In: Workshop on Mobile Object Computation, 2001, Budapeste-Hungary. Proceeding of the 7th ECOOP, 2001. v. I. p. 1-12.

51.
ED-DBALI, Aabdel A. ; DERANSART, P. ; BIGONHA, R. S. ; BIGONHA, M. A. S. ; SIQUEIRA, J. . Un Environment Integre de Documentation pour la PLC. In: Journees Francopohones de Programmatin en Logique et Programation para Constraintes, 2001, Paris-France. Annales de la JFPLC, 2001. v. I. p. 1-12.

52.
IORIO, V. O. ; BIGONHA, R. S. . Extensões de Geração para Máquinas de Estado Abstratas. In: V Simpósio Brasileiro de Linguagens de Programação, 2001, Curitiba, Pr. Anais do V SBLP, 2001. v. I. p. 124-139.

53.
BIGONHA, R. S.; ED-DBALI, Aabdel A. ; DERANSART, P. ; BIGONHA, M. A. S. ; SIQUEIRA, J. ; BIGONHA, Roberto S. . HyperPro - An Integrated Documentation Environment for CLP. In: WLPE 2001 - 11th Workshop on Logic Programming Environment at CP and ICLP'2001, 2001, Paphos - Chipre. Proceedings in WLPE'2001, 2001.

54.
BARANAUSKAS, Cecília ; SALLES, J. P. ; BIGONHA, R. S. . Bringing Interface Design and Software Development Processes Together: How Organizational Issues Impact Products's Usability. In: IHC 2001: IV Workshop sobre Fatores Humanos em Sistemas Computacionais, 2001, Florianópolis, SC. Anais do IHC 2001, 2001. p. 61-72.

55.
IORIO, V. O. ; BIGONHA, R. S. ; MAIA, M. A. . A self-applicable partial evaluator for asm. In: International Workshop opn Abstract State Machine, 2000, Monte Veritá, Switzland. Proceedings of IWASM'2000, 2000. v. 1. p. 115-130.

56.
SALLES, J. P. ; BARANAUSKAS, Cecília ; BIGONHA, R. S. . A communication model for interface design process. In: Workshop on Semiotic Approaches to User Interfaces, 2000. Proceedings of CHI 2000, 2000. v. 1. p. 1-4.

57.
IORIO, V. O. ; BIGONHA, R. S. . Avaliação Parcial de Programas. In: IV Simpósio Brasileiro de Linguagens de Programação, 2000, Recife-PE. Anexo dos Anais do IV Simpósio Brasileiro de Linguagens de Programação (tutorial), 2000. v. 2. p. 1-12.

58.
VALENTE, M. T. O. ; BIGONHA, R. S. ; LOUREIRO, Antônio F. ; BIGONHA, M. A. S. . Abstraction for Mobile Computation in ASM. In: IC'2000: International Conference on Internet Computing, 2000, Las Vegas, Estados Unidos. Proceedings of the IC'2000, 2000. v. 1. p. 165-172.

59.
TIRELO, F. ; BIGONHA, R. S. . Técnicas de Otimização de Programas Baseados em Máquinas de Estado Abstratas. In: IV Simpósio Brasileiro de Linguagens de Programação, 2000, Recife, PE. Anais do IV SBLP, 2000. v. 1. p. 144-157.

60.
VALENTE, M. T. O. ; BIGONHA, R. S. ; LOUREIRO, Antônio F. ; BIGONHA, M. A. S. . Introduzindo Abstrações para Computação Móvel em Linguagens Orientadas por Objetos. In: IV Simpósio Brasileiro de Linguagens de Programação, 2000, Recife, PE. Anais do IV SBLP, 2000. v. 1. p. 15-28.

61.
BIGONHA, M. A. S. ; BIGONHA, R. S. ; Wendell F. Taveira ; OLIVEIRA, F. F. . Compilador da Linguagem Funcional Orientada por Objetos Script para Haskell. In: XXVI Conferencia Latinoamericana de Informática, 2000, Cidade do México, México. Anales del XXVI CLEI, 2000. v. 1. p. 1-12.

62.
BIGONHA, R. S.; VALENTE, M. T. O. ; BIGONHA, M. A. S. . Algoritmos para Reconfiguração Dinâmica de Agentes. In: IV Congreso Argentino de Ciencias de la Computacion, 2000, Argentina. Anales do IV CACIC, 2000. v. 1. p. 1-12.

63.
BIGONHA, M. A. S. ; SIQUEIRA, J. ; BIGONHA, R. S. ; ED-DBALI, Aabdel A. ; DERANSART, P. ; Fabrício Schmidt ; RIBEIRO, F. P. . Sistema de Indexão e Projeção de HyperPro. In: IV Congreso Argentino de Ciencias de la Computacion, 2000, Argentina. Anales do IV CACIC, 2000. v. 1. p. 13-24.

64.
MAIA, M. A. ; IORIO, V. O. ; BIGONHA, R. S. . An asm-based approach for connection-oriented systems. In: ASM Web Page, 1999, Tolouse. Proceedings of ASM'99, 1999. v. 1. p. 1-21.

65.
MAIA, M. A. ; BIGONHA, R. S. . Interaction based-semantics for mobile objects. In: III Simpósio Brasileiro de Linguagens de Programação, 1999, Porto Alegre. Anais do SBLP'99, 1999. v. 1. p. 93-107.

66.
MAIA, M. A. ; BIGONHA, R. S. . Rules for verification of interactive systems. In: III Simpósio Brasileiro de Linguagens de Programação, 1999, Porto Alegre. Anais do SBLP'99, 1999. v. 1. p. 207-212.

67.
IORIO, V. O. ; BIGONHA, R. S. . Avaliação Parcial de máquinas de estado abstratas. In: III Simpósio Brasileiro de Linguagens de Programação, 1999, Porto Alegre. Anais do SBPL'99, 1999. v. 1. p. 207-212.

68.
BIGONHA, M. A. S. ; ED-DBALI, Aabdel A. ; BIGONHA, R. S. ; DERANSART, P. ; SIQUEIRA, J. . Projection of Hyperpro Document. In: III Simpósio Brasileiro de Linguagens de Programação, 1999, Porto Alegre. Anais do SBLP'99, 1999. v. 1. p. 171-185.

69.
TIRELO, F. ; MAIA, M. A. ; BIGONHA, R. S. ; IORIO, V. O. . Máquinas de Estado Abstratas (Tutorial). In: III Simpósio Brasileiro de Liguagens de Programação, 1999, Porto Alegre. Anais do SBLP'99, 1999. v. 1. p. 1-30.

70.
SONG, M. A. J. ; BIGONHA, R. S. ; BIGONHA, M. A. S. . Uma ferramenta para automação do processo de projeto e implementação de classes em ambientes orientados por objetos. In: XXV Conferencia Latinoamericana de Informática, 1999, Assunção, Paraguai. Proceedings of CLEI'99, 1999. v. 1. p. 455-470.

71.
VALENTE, M. T. O. ; BIGONHA, R. S. ; MAIA, M. A. ; LOUREIRO, Antônio F. . Especificação de agentes móveis usando máquinas de estado abstratas. In: I Workshop de Comunicação sem Fio, 1999, Belo Horizonte,MG. Anais do WCSF'99, 1999. v. 1. p. 123-131.

72.
VALENTE, M. T. O. ; BIGONHA, R. S. ; MAIA, M. A. ; LOUREIRO, Antônio F. . Application of asm to the specification of mobile systems. In: I Workshop de Comunicação sem Fio, 1999, Belo Horizonte,MG. Anais do WCSF'99, 1999. v. 1. p. 60-69.

73.
MAIA, M. A. ; BIGONHA, R. S. . Unificando os modelos de computação móvel e componentes de software via máquinas de estados interativas. In: II Workshop Brasileiro de Métodos Formais, 1999, Florianópolis. Anais do WMF'99, 1999. v. 1. p. 70-78.

74.
MAIA, M. A. ; IORIO, V. O. ; BIGONHA, R. S. . Interactive abstract state machines. In: 5th Workshop on Abstract State Machines, 1998, Magdeburg. Germany. Proceedings of WAST'98, 1998. v. 1. p. 37-49.

75.
BIGONHA, M. A. S. ; RANGEL NETTO, J. L. M. ; BIGONHA, R. S. . A generator of code generator for superescalar architectures. In: XIV Conferencia Latinoamericana de Informática, 1998, Quito, Equador. Proceedings of CLEI'98, 1998. v. 1. p. 49-59.

76.
MAIA, M. A. ; BIGONHA, R. S. . An interactive abstract machine language. In: I Workshop Brasileiro de Métodos Formais, 1998, Porto Alegre. Anais do WMF'98, 1998. v. 1. p. 106-110.

77.
BIGONHA, M. A. S. ; CAMPOS, P. ; BIGONHA, R. S. . Avaliação de técnicas de compactação aplicáveis a programas funcionais em arquiteturas superescalares. In: III Congreso Argentino de Ciencias de la Computación, 1997, La Prata, Argentina. Proceedings of CACC'97, 1997. v. 1. p. 1038-1054.

78.
MAIA, M. A. ; BIGONHA, R. S. . Objetos concorrentes em máquinas de estados abstratos. In: II Simpósio Brasileiro de Linguagens de Programação, 1997, Belo Horizonte, MG. Anais do SBLP'97, 1997. v. 1. p. 126-138.

79.
BIGONHA, M. A. S. ; BIGONHA, R. S. ; RUSSO, V. G. ; COSTA, M. R. . An environment for language implementation called sic. In: II Congresso Argentino de Ciencias de la Computación, 1996, San Luis, Argentina. Proceedings of CACC'96, 1996. v. 1. p. 412-424.

80.
DERANSART, P. ; BIGONHA, R. S. ; PAROT, P. ; BIGONHA, M. A. S. ; SIQUEIRA, J. . A hypertext based environment to write literate logic programs. In: Joint International Conference and Symposium on Logic Programming, 1996, Bonn, Alemanha. Proceedings of JICSLP'96, 1996. v. 1. p. 246-252.

81.
DERANSART, P. ; BIGONHA, R. S. ; PAROT, P. ; BIGONHA, M. A. S. ; SIQUEIRA, J. . A literate logic programming system. In: I Simpósio Brasileiro de Linguagens de Programação, 1996, Belo Horizonte. MG. Anais do SBLP'96, 1996. v. 1. p. 1-15.

82.
VALENTE, M. T. O. ; BIGONHA, R. S. . Covariância x contravariância: A solução ita. In: I Simpósio Brasileiro de Linguagens de Programação, 1996, Belo Horizonte, MG. Anais do SBLP'96, 1996. v. 1. p. 333-345.

83.
MAIA, M. A. ; BIGONHA, R. S. . Implementando uma linguagem funcional pura com uma máquina-g estendida. In: I Simpósio Brasileiro de Linguagens de Programação, 1996, Belo Horizonte. Anais do SBLP'96, 1996. v. 1. p. 141-154.

84.
MAIA, M. A. ; BIGONHA, R. S. . Implementação de Polimorfismo de inclusão em linguagem funcional pura. In: XXII Seminário Integrado de Software e Hardware, 1995. Anais do SEMISH'95, 1995. v. 2. p. 863-876.

85.
NUNES, D. ; BIGONHA, R. S. ; SETZER, V. W. ; COSTA, T. . Curriculos de Referência da SBC para Cursos de Graduacao Plena em Computacao. In: II Workshop sobre Educação em Informática, 1994, Caxambú, MG. Anais do II Workshop sobre Educação em Informática, 1994. v. 1. p. 1-8.

86.
SILVA JUNIOR, J. L. ; BIGONHA, R. S. . Semântica Denotacional Legível. In: VII Simposio Brasileiro de Engenharia de Software, 1993, Rio de Janeiro, RJ. Anais do VII Simposio Brasileiro de Engenharia de Software, 1993. p. 30-45.

87.
RODRIGUES, W. A. ; BIGONHA, R. S. . Uma Experiência na Implementação de Um Sistema de Tipos Fortes e Polimórficos. In: VII Simposio Brasileiro de Engenharia de Software, 1993, Rio de Janeiro, RJ. Anais do VII Simposio Brasileiro de Engenharia de Software, 1993. p. 46-61.

88.
BIGONHA, R. S.; MARTINS, R. T. . Uma Experiência em Compilação Incremental de Linguagens LALR(1). In: IX Congresso Nacional da SBC, 1989, Uberlândia, MG. Anais do IX Congresso Nacional da SBC, 1989. p. 83-97.

89.
MARTINS, R. T. ; BIGONHA, R. S. . Compilação Inteligente para Sistemas Multimodulares. In: IX Congresso Nacional da SBC, 1989, Uberlândia, MG. Anais do IX Congresso Nacional da SBC, 1989. p. 66-82.

90.
BIGONHA, R. S.. Window 4: Janelas e Menus em Turbo Pascal 4.0. In: XXII Congresso Nacional de Informática, 1989, São Paulo, SP. Anais do XXII Congresso Nacional de Informática, 1989. p. 212-219.

91.
VECCHIO, L. H. A. ; BIGONHA, R. S. ; CAMPOS, I. M. . O Paradigma de Programação Orientada a Objetos em Turbo Pascal. In: IX Congresso Nacional da SBC, 1989, Uberlândia, MG. Anais IX Congresso Nacional da SBC, 1989. p. 162-170.

92.
BIGONHA, R. S.; LAGES, N. A. C. ; SCHWANER, R. ; DANTAS, J. E. R. ; BIGONHA, M. A. S. ; MINTZ, B. G. . Aquisição e Análise de Sinais Multi-Frequenciais Compelidos. In: VI Simposio Brasileiro de Telecomunicacoes, 1988, Campina Grande, Pb. Anais do VI Simposio Brasileiro de Telecomunicacoes, 1988. p. 87-92.

93.
BIGONHA, M. A. S. ; BIGONHA, R. S. . SIC: Uma Ferramenta para Implementacao de Linguagens. In: XXI Congresso Nacional de Informática, 1988, Rio de Janeiro, RJ. Anais do XXI Congresso Nacional de Informática da SUCESU, 1988. p. 426-431.

94.
PEREZ-ALCAZAR, J. J. ; LAENDER, A. H. F. ; BIGONHA, R. S. . A Abordagem Funcional para Banco de Dados e a Linguagem LBF. In: XXI Congresso Nacional de Informática da Sucesu, 1988, São Paulo, SP. Anais do XXI Congresso Nacional de Informática da Sucesu, 1988. p. 267-272.

95.
BIGONHA, R. S.; MARTINS, R. T. . Compilação Incremental de Linguagens LR(1). In: XIV SEMISH, 1987, Salvador, BA. ANAIS DO XIV SEMISH, 1987. p. 188-199.

96.
PEREZ-ALCAZAR, J. J. ; LAENDER, A. H. F. ; BIGONHA, R. S. . Diseno de un Lenguaje para Bases de Datos Funcionales. In: ANAIS DA XII CONFERENCIA LATINOAMERICANA DE INFORMATICA, 1986, Montevideo, Uruguai. ANALES DA XII CONFERENCIA LATINOAMERICANA DE INFORMATICA, 1986. p. 97-116.

97.
PEREZ-ALCAZAR, J. J. ; LAENDER, A. H. F. ; BIGONHA, R. S. . LBF: Uma LInguagem para Bancos de Dados Funcionais. In: XIII SEMISH (SBC), 1986. ANAIS DO XIII SEMISH, 1986. p. 317-330.

98.
BIGONHA, M. A. S. ; BIGONHA, R. S. . SIC: Um Sistema de Suporte a Implementação de Compiladores. In: XIII SEMISH, 1986. ANAIS DO XIII SEMISH, 1986. p. 429-442.

99.
BIGONHA, M. A. S. ; BIGONHA, R. S. . Uma Experiência na Implementação de um Recuperador de Erro LR(1). In: V SIMPOSIO SOBRE DESENVOLVIMENTO DE SOFTWARE BASICO, 1985, Belo Horizonte, MG. ANAIS DO V SIMPOSIO SOBRE DESENVOLVIMENTO DE SOFTWARE BASICO, 1985. p. 158-171.

100.
BIGONHA, R. S.; BIGONHA, M. A. S. . Um Método de Compactação de Tabelas LR(1). In: III SEMINARIO S/ SOFTWARE BASICO PARA MICROS, 1983. ANAIS DE III SEMINARIO S/ SOFTWARE BASICO PARA MICROS, 1983. p. 141-157.

101.
AVRITZER, Alberto ; BIGONHA, R. S. . MICROZUNIX: Um Sistema de Multiprocessamento e Tempo Real. In: II SEMINARIO SOBRE DESENVOLVIMENTO DE SOFTWARE BASICO PARA MICROS, 1982, São Paulo, SP. Anais do II SEMINARIO SOBRE DESENVOLVIMENTO DE SOFTWARE BASICO PARA MICROS, 1982. p. 151-175.

102.
MATA, J. M. ; BIGONHA, R. S. . LIPA; Linguagem Intermediária para Tradução de Linguagens AlgorÍtmicas. In: IV Seminário Integrado de Software e Hardware, 1977, Belo Horizonte, MG. Anais do V Seminário Integrado de Software e Hardware, 1977. p. 802-817.

103.
DINZ, M. T. G. ; BIGONHA, R. S. . FOPA : Linguagem de Formatos do PADE. In: IV Seminário Integrado de Software e Hardware, 1977, Belo Horizonte, MG. Anais do IV SEMISH, 1977. p. 590-619.

104.
PADUA, Clarindo I. P. S. ; BIGONHA, R. S. . TRAPA: Tradutor da Linguagem AlgorÍtmica do PADE. In: IV Seminário Integrado de Software e Hardware, 1977, Belo Horizonte, MG. Anais do IV SEMISH, 1977. p. 780-801.

105.
PAULA FILHO, W. P. ; BIGONHA, R. S. . SAPPA: Um Sistema para Construção de Software de Sistemas. In: III Seminário para Desenvolvimento Integrado de Solftware e Hardware, 1976, Porto Alegre, RS. Anais do III Semish, 1976. p. 132-156.

Resumos expandidos publicados em anais de congressos
1.
COUTO, César F. M. ; PIRES, P. ; VALENTE, M. T. O. ; BIGONHA, R. S. ; Hora, André ; ANTEQUIL, N. . BugMaps-Granger: A Tool for Causalitty Ana;ysis between Source Code Metrics and Bugs. In: IV Congresso Brasileiro de Software: Teoria e Prática - Sessão de Ferramentas, 2013, Brasília, D. IV Congresso Brasileiro de Software: Teoria e Prática, 2013. v. 1. p. 1.

Resumos publicados em anais de congressos
1.
BIGONHA, R. S.. The Scalability Problem of Denotational Semantics. In: Brazilian Symposium on Programming Languages, 2006, Itatiaia, RJ. Proceedings of the X SBLP. Porto Alegre, RS: Sociedade Brasileira de Computação, 2006. p. 3-3.

2.
SALLES, J. P. ; BARANAUKAS, M. C. C. ; BIGONHA, R. S. . Looking Inside: Undertanding Communication in the Organizational Context of Software Design. In: IFIP WG8.1 Working Conference on Organizational Semiotics: Evolving a Science of Information Systems, 2001, Montreal, Canada. Proceedings of the IFIP TC8/WG8.1 WCOS. Devener, The Netherlands: Luwer, B.V., 2001. v. 1. p. 301-304.

3.
RIBEIRO, F. P. ; DERANSART, P. ; BIGONHA, R. S. ; ED-DBALI, Aabdel A. ; BIGONHA, M. A. S. . Um Ambiente para desenvolver programação em lógica baseado no paradigma de estilo literário. In: VII Semana de Iniciação Científica da UFMG, 1998, Belo Horizonte, MG. Anais da SIC'98, 1998. v. 1. p. 204-204.

Outras produções bibliográficas
1.
TIRELO, F. ; BIGONHA, R. S. ; IORIO, V. O. . Maquinas de Estado Abstratas 1999 (Publicação de Relatório Técnico - Técnico Científico (Classificação CNCT, inexistente para CNPq & C).

2.
BIGONHA, R. S. . Formal Semantics for Interacting Abstract State Machines 1998 (Publicação de Relatório Técnico - Técnico Científico (Classificação CNCT, inexistente para CNPq & C).

3.
BIGONHA, R. S.. Retractil Continuation 1996 (Publicação de Relatório Técnico - Técnico Científico (Classificação CNCT, inexistente para CNPq & C).

4.
BIGONHA, R. S. . A LInguagem de Programacao ITA 1996 (Publicação de Relatório Técnico - Técnico Científico (Classificação CNCT, inexistente para CNPq & C).

5.
DERANSART, P. ; BIGONHA, R. S. ; PAROT, P. ; BIGONHA, M. A. S. . A Hypertext Based Environment to Write Literate Logic Programs 1996 (Publicação de Relatório Técnico - Técnico Científico (Classificação CNCT, inexistente para CNPq & C).

6.
BIGONHA, R. S.; BIGONHA, M. A. S. . Manual de Uso do NET 3.0 1989 (Publicação de Relatório Técnico - Técnico Científico (Classificação CNCT, inexistente para CNPq & C).

7.
BIGONHA, R. S.. Janelas e Menus em Turbo Pascal 4.0 1988 (Publicação de Relatório Técnico - Didático (Classificação CNCT, inexistente para CNPq & CAPES)).

8.
BIGONHA, R. S.; LAGES, N. A. C. ; DANTAS, J. E. R. ; SCHWANER, R. ; BIGONHA, M. A. S. ; MINTZ, B. G. . CDM: Coletor de Dadose MFC - Manual do Usuario 1987 (Publicação de Relatório Técnico - Técnico Científico (Classificação CNCT, inexistente para CNPq & C).

9.
BIGONHA, R. S.; LAGES, N. A. C. ; DANTAS, J. E. R. ; SCHWANER, R. ; BIGONHA, M. A. S. ; MINTZ, B. G. . CDM: Coletor de Dados MFC - Manual de Sistema 1987 (Publicação de Relatório Técnico - Técnico Científico (Classificação CNCT, inexistente para CNPq & C).

10.
GAMBOGI, M. A. P. ; BIGONHA, R. S. ; NOGUEIRA, J. M. S. ; LIMA, C. S. ; MACHADO, C. F. M. . LOTEL: Especificacao do Produto 1986 (Publicação de Relatório Técnico - Técnico Científico (Classificação CNCT, inexistente para CNPq & C).

11.
BIGONHA, R. S.; GAMBOGI, M. A. P. ; NOGUEIRA, J. M. S. ; RIBEIRO, W. S. . LOTEL: Manual de Operacao e LInguagens de Comando 1986 (Publicação de Relatório Técnico - Técnico Científico (Classificação CNCT, inexistente para CNPq & C).

12.
BIGONHA, R. S.; GAMBOGI, M. A. P. ; NOGUEIRA, J. M. S. ; RIBEIRO, W. S. . Lotel: Descricao da Implementacao 1986 (Publicação de Relatório Técnico - Técnico Científico (Classificação CNCT, inexistente para CNPq & C).

13.
BIGONHA, R. S.. A Linguagem de Programacao LIBRA 1985 (Publicação de Relatório Técnico - Didático (Classificação CNCT, inexistente para CNPq & CAPES)).

14.
BIGONHA, R. S.. A Methodology for Structuring Denotational Semantics 1983 (Publicação de Relatório Técnico - Técnico Científico (Classificação CNCT, inexistente para CNPq & C).

15.
BIGONHA, R. S.. A Denotational Semantics Implementation System 1981 (Publicação de Relatório Técnico - Técnico Científico (Classificação CNCT, inexistente para CNPq & C).

16.
BIGONHA, R. S.. Processador de Gramaticas SLRk 1975 (Publicação de Relatório Técnico - Técnico Científico (Classificação CNCT, inexistente para CNPq & C).


Produção técnica
Programas de computador sem registro
1.
BIGONHA, M. A. S. ; BIGONHA, R. S. ; ED-DBALI, Aabdel A. ; DERANSART, P. ; RIBEIRO, F. P. ; SIQUEIRA, J. . HyperPro - Programação em Lógica em Estilo Literário. 1999.

2.
BIGONHA, M. A. S. ; BIGONHA, R. S. . SIC - Sistema de Implementação de Compiladores. 1988.

Trabalhos técnicos
1.
MAIA, M. A. ; BIGONHA, R. S. . The Formal specification of the interactive abstract state machines language. 1998.

2.
BIGONHA, M. A. S. ; BIGONHA, R. S. ; COSTA, M. R. ; RUSSO, V. G. . SIC: Sistema de Implementação de Compiladores. 1996.

3.
SONG, M. A. J. ; BIGONHA, R. S. . Automação do processo de projeto e implementação de classes em ambientes orientados por objetos. 1996.

4.
MAIA, M. A. ; BIGONHA, R. S. . Uma linguagem orientada por objetos para o desenvolvimento sistemático de programas. 1996.

5.
DERANSART, P. ; BIGONHA, R. S. ; PAROT, P. ; BIGONHA, M. A. S. ; SIQUEIRA, J. . A hypertext based environment to write literate logic programs. 1996.

6.
BIGONHA, R. S.. Currículo de referência para cursos de graduação em computação. 1996.

7.
BIGONHA, R. S.. Retractil Continuations. 1996.

8.
BIGONHA, R. S.; AMARAL, L. M. . Análise e projeto de ambientes interativos. 1996.

9.
AMARAL, L. M. ; BIGONHA, R. S. . Xlds: Ambiente Interativo para definição de semântica. 1996.

10.
MAIA, M. A. ; BIGONHA, R. S. . A linguagem de programação ita. 1996.

11.
VALENTE, M. T. O. ; BIGONHA, R. S. . A regra da contra-variância guardada. 1995.

12.
BIGONHA, R. S.. Denotational Semantics Implementation System. 1981.

13.
BIGONHA, R. S.. Processador de Gramática SLR(k). 1975.


Demais tipos de produção técnica
1.
BIGONHA, R. S.; MUSICANTE, M. A. . XI Simpósio Brasileiro de Linguagens de Programação. 2007. (Editoração/Anais).

2.
BIGONHA, R. S.; MUSICANTE, M. A. . Special Issue (June 2007) of the Journal of Universal Computer Science. 2007. (Editoração/Periódico).

3.
RIBEIRO, Leila ; BIGONHA, R. S. . III Workshop de Métodos Formais. 2000. (Editoração/Anais).

4.
BIGONHA, R. S.. I Simpósio Brasileiro de Linguagens de Programação. 1996. (Editoração/Anais).

5.
BIGONHA, R. S.. II Workshop Sobre Educação em Informática. 1994. (Editoração/Anais).

6.
BIGONHA, R. S.. V Simpósio Brasileiro de Engenharia de Sofware. 1991. (Editoração/Anais).

7.
BIGONHA, R. S.. V Simpósio Brasileiro de Software Básico. 1985. (Editoração/Anais).

8.
BIGONHA, R. S.; BRAGA-FILHO, L. J. ; OLIVEIRA, A. M. ; RECH, Carlos E. . XI Seminário Integrado de Software e Hardware. 1984. (Editoração/Anais).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Pereira, Fernando M.Q.; BORIN, E.; BIGONHA, M. A. S.; BIGONHA, ROBERTO S. Participação em banca de Matheus Silva Vilela. Otimizações de Código Sensíveis a Contexto Baseadas em Clonagem de Funçõe. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

2.
BIGONHA, M. A. S.; Ferreira, Kécia A. M.; PRADO, Antônio F.; BIGONHA, ROBERTO S. Participação em banca de Henrique Gomes Nunes. Identificação de Bad Smells em Software a Partir de Modelos UML. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

3.
BIGONHA, R. S.; TIRELO, F.; BIGONHA, M. A. S.; IORIO, V. O.. Participação em banca de Gabriel de Godoy Correa e Castro. Geração de Compiladores Baseada em Componentes. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

4.
BIGONHA, M. A. S.; TIRELO, F.; Pereira, Fernando M.Q.; BIGONHA, R. S.. Participação em banca de Guilherme Henrique de Souza Santos. Semântica Denotacional Escalável de Linguagens Imperativas. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

5.
BIGONHA, M. A. S.; Pereira, Fernando M.Q.; GUILLON, C.; IORIO, V. O.; BIGONHA, ROBERTO S. Participação em banca de Marcos Rodirgo Sol Souza. Eliminação de Testes de Overflow para Compiladores de Trilhas. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Minas Gerais.

6.
BIGONHA, M. A. S.; Pereira, Fernando M.Q.; RASTELLO, F.; FERREIRA, R. A. C.; BIGONHA, ROBERTO S. Participação em banca de André Luiz Camargos Tavares. Alocação de Registradodores Desacoplada Baseada em Coloração de Grafos com Compartilhamento Hierárquico. 2010.

7.
BIGONHA, ROBERTO S; Pereira, Fernando M.Q.; D'AMORIM, MARCELO; Coelho, C. J.; BIGONHA, M. A. S.. Participação em banca de Andrei Rimsa Álvares. Efficient Static Analysis to Find Tainted Variable Attacks. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Minas Gerais.

8.
PIMENTEL, E. G.; HEUSLER, Edward Hermann; Pereira, Fernando M.Q.; BIGONHA, ROBERTO S. Participação em banca de Gisele Machado Nogueira Reis. Especificação de Sistemas Utilizando Lógica Linear com Subexponenciais. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Minas Gerais.

9.
BIGONHA, ROBERTO S; PRADO, Antônio F.; ZORZO, S. D.. Participação em banca de Juliano Zanuzzio Blanco. SADP: Arquitetura de Sites Dirigida por Personalização. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.

10.
PIMENTEL, E. G.; BIGONHA, R. S.; FIGUEIREDO, L. C.; Almeida, J. M.. Participação em banca de Mário Sérgio Ferreira Alvim Júnior. Aspectos Computacionais do Cálculo de Estruturas. 2008. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Minas Gerais.

11.
VALENTE, M. T. O.; BIGONHA, R. S.; IORIO, V. O.; SONG, M. A. J.. Participação em banca de Leonardo Humberto Guimarães Silva. Definição de Conjuntos de Junção Robustos Usando Aspect-Aware Anotadores. 2008. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica de Minas Gerais.

12.
BIGONHA, R. S.; MUSICANTE, M. A.. Participação em banca de Amdré Murbach Maidl. Uma Implementação de Semântica de Ações Orientada a Objetos em Maude. 2007. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

13.
BIGONHA, R. S.; BIGONHA, M. A. S.; VALENTE, M. T. O.; BORBA, P.. Participação em banca de Eduardo Santos Cordeiro. Otimizações na Compilação de Adendos de Contorno em Programas Orientados por Aspectos. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Minas Gerais.

14.
BIGONHA, R. S.; VALENTE, M. T. O.; SONG, M. A. J.. Participação em banca de Cristiano Amaral Maffort. Aspectos Para Construção de Aplicações Distribuídas. 2007. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica de Minas Gerais.

15.
BIGONHA, R. S.; BIGONHA, M. A. S.; FIGUEIREDO, L. C.; IORIO, V. O.. Participação em banca de Thays Cristina do Amaral Pales Soares. Compilação de Semântica Denotacional Modular. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Minas Gerais.

16.
BIGONHA, R. S.; BIGONHA, M. A. S.; IORIO, V. O.; PIMENTEL, E. G.. Participação em banca de Wagner Salazar Pires. Uma Linguagem de Especificação Forma Orientada por Aspectos. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Minas Gerais.

17.
BIGONHA, R. S.; IORIO, V. O.; BIGONHA, M. A. S.; PIMENTEL, E. G.. Participação em banca de Italo Giovani Abdnur Stefani. Método de Refinamento Machina. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Minas Gerais.

18.
BIGONHA, R. S.; PRADO, Antônio F.; VALENTE, M. T. O.; BIGONHA, M. A. S.. Participação em banca de Kecia Aline Marques Ferreira. Avaliação de Conectividade em Sistemas Orientados por Objetos. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

19.
BIGONHA, R. S.; BIGONHA, M. A. S.; MAIA, M. A.; IORIO, V. O.. Participação em banca de Mário Celso CAndian Lobato. Um Arcabouço Para Compilação de Linguagens de Espeçcificação ASM. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Minas Gerais.

20.
BIGONHA, R. S.; GUIMARÃES, Ângelo M.; BRAGA, José Luiz. Participação em banca de Maria Vanderléa de Queiroz. Estação OO: Um Ambiente Integrado de Desenvolvimento Para Introdução à Programação Orientada a Objetos com Java. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

21.
BIGONHA, R. S.; PRADO, Antônio F.; Rosana Braga. Participação em banca de Vinicius Cardoso Garcia. Phoenix: Uma Abordagem Para Reengenharia de Software Orientada a Aspectos. 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.

22.
BIGONHA, R. S.; YERUSALIMSKI, R.; VALENTE, M. T. O.; BIGONHA, M. A. S.. Participação em banca de Fernando Magno Quintão. ARCADEMIS: Um Arcabouço Para o Desenvolvimento de Middleware. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

23.
BIGONHA, R. S.; ARAUJO, Guido C. S.; BIGONHA, M. A. S.. Participação em banca de Luciana Leal Ambrósio. Análise da Alocação de Registradores Baseada em Crescimento de Domínios Ativos e Combinação de Registradores. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

24.
BIGONHA, R. S.; MAIA, M. A.; BIGONHA, M. A. S.. Participação em banca de Ademir de Alvarenga Oliveira. METAJ: Um Ambiente para Meta-Programação em Java. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

25.
BIGONHA, R. S.; IORIO, V. O.. Participação em banca de Eliseu César Miguel. Especificação Formal de Jogos de Inteligência Artificial. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

26.
BIGONHA, R. S.; LOQUES, O.; SANCHES, M. L. D.. Participação em banca de Vinicius Valente Maciel. Uma Proposta de Mapeamento de Máquinas de Estados Abstratas Para Lógica de Reescrita. 2004. Dissertação (Mestrado em Computação Aplicada e Automação) - Universidade Federal Fluminense.

27.
BIGONHA, R. S.; BIGONHA, M. A. S.. Participação em banca de Wendell Figueiredo Taveira. Chamada Assíncrona de Métodos Remotos em Java. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

28.
BIGONHA, R. S.; RIBEIRO, Leila; NUNES, D.; AZEREDO, P. A.. Participação em banca de Guilherme Salum Rangel. ProTool: Uma Ferramenta de Prototipação de Software Para o Ambiente PROSOFT. 2003. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

29.
BIGONHA, R. S.; ARAUJO, Guido C. S.; KOWALTOWSKI, T.; MOURA, A. V.. Participação em banca de Guilherme de Lima Ottoni. Alocação Global de Registradores de Endereçamento Para Referências e Vetores em DSPs. 2002. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

30.
BIGONHA, R. S.; MELO, Ana Cristina V.; DURHAM, Alan M.. Participação em banca de Lucy Mari Tabuti. Um Estudo de um Protocolo de Comunicação Para Dispositivos Móveis Usando Distrituted Joint-Calculus. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

31.
BIGONHA, R. S.; Francisco Rodrigues dos Santos; ALMEIDA, VIRGILIO A. F.. Participação em banca de Edré Quintão Moreira. Um Modelo Cooperativo Para Aplicações Distribuídas Baseado na Web: Aplicação à Análise e Armazenamento de Registros Eletroforéticos. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

32.
BIGONHA, R. S.; Sofiane Labidi; Zair Abdelouahab. Participação em banca de Helder Pereira Borges. Assistente de Resolução de Problemas Para o Sistema Mathnet. 2002. Dissertação (Mestrado em Engenharia de Eletricidade) - Universidade Federal do Maranhão.

33.
BIGONHA, R. S.; PRADO, Antônio F.. Participação em banca de Diogo Sobral Pontes. Framework para Comércio Eletrônico, via Internet Móvel, Mediado por Agentes Móveis. 2002. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.

34.
BIGONHA, R. S.. Participação em banca de Ariane Machado Lima de Oliveira. Laboratório de Geração de Classificadores de Sequências. 2002. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

35.
BIGONHA, R. S.. Participação em banca de Calebe de Paula Bianchini. Ferramenta Para Monitoramento de Dispositivos Utilizanto Computação Pervasiva e Agentes de Software Inteligentes. 2002. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.

36.
BIGONHA, R. S.; PADUA, Clarindo I. P. S.. Participação em banca de Adalberto Luiz Sobral Cavalcanti. Sistema de Defesa de Apoio a Aquisição de Métricas de Usabilidade em Interfaces de Sites WEB. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

37.
BIGONHA, R. S.. Participação em banca de Alexandreta Reis Cançado Bhering. Um Estudo da Linguagem XML. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

38.
BIGONHA, R. S.. Participação em banca de Gustavo da Gama Torres. Transição para Processos de Software Orientados à Melhoria Contínua em Ambiente do Setor Público: Estratégia Inicial. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

39.
BIGONHA, R. S.; Marcelo Sant'anna; PRADO, Antônio F.; Rosângela Aparecida Delloso Penteado. Participação em banca de Elisângela SAto de Jesus. Engenharia Reversa de Sistemas Legados Usando Transformações. 2000. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.

40.
BIGONHA, R. S.. Participação em banca de Marco Rodrigo Costa. Compilação de um Cálculo Lambda Estendido para Supercombinadores. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

41.
BIGONHA, R. S.. Participação em banca de Valéria de Castro Paula. KLogoo: Um Micromundo para o Ensino e Aprendizagem de Programação Orientada por Objetos. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

42.
BIGONHA, R. S.. Participação em banca de Fábio Tirelo. Uma Ferramenta para Execução de um Sistema Dinâmico Discreto Baseado em Álgebras Evolutivas. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

43.
BIGONHA, R. S.. Participação em banca de Rômulo Francisco de Souza. Interfaces para Usuários com Visão Subnormal. 2000.

44.
BIGONHA, R. S.; ARAUJO, Guido C. S.; KOWALTOWSKI, T.. Participação em banca de Marcelo Silva Cintra. Alocação Global de Registradores de Emdereçamento Usando Cobertura de Grafo de Indexação e Uma Variação de Forma SAA. 2000. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

45.
BIGONHA, R. S.; GUIMARÃES, Ângelo M.. Participação em banca de Ildeu Moreira da Silva Júnior. Assimilação e Acomodação dos Conceitos de Orientação a Objetos: Im Estudo de Caso na Prodabel. 2000. Dissertação (Mestrado em Administração Pública) - Fundação João Pinheiro.

46.
BIGONHA, R. S.; GUIMARÃES, Ângelo M.. Participação em banca de Esli de Al;meida Rocha. Interoperabilidade em GIS: Uma Aplicação Utiliando Java e Remote Method Invocation. 2000. Dissertação (Mestrado em Administração Pública) - Fundação João Pinheiro.

47.
BIGONHA, R. S.. Participação em banca de Rodrigo de Lélis. Spellcaster: Um Sistema de Geração de Ambientes Virtuais para Jogos em Primeira Pessoa. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

48.
BIGONHA, R. S.; PRADO, Antônio F.; Et alii. Participação em banca de Elisa Tomioka. R-Java: Uma Extensão de Java com Metaobjetos. 1999. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.

49.
BIGONHA, R. S.. Participação em banca de Pasteur Ottoni de Miranda Júnior. Uma Implementação de Objetos Persistentes. 1998.

50.
BIGONHA, R. S.. Participação em banca de Arnaldo Gomes dos Santos Júnior. CARTOOM:Uma Ferramenta Visual para Modelagem Orientada por Objetos Segundo a UML. 1998. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

51.
BIGONHA, R. S.. Participação em banca de Fabíola Fonseca de Oliveira. Compilação de uma Linguagem Funcional Orientada por Objetos para Definição de Semântica Denotacional. 1998. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

52.
BIGONHA, R. S.. Participação em banca de Maurício Antônio de Castro Lima. Técnicas Básicas para Geração de Imagens em Jogos Ambientados em Labirintos. 1997. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

53.
BIGONHA, R. S.. Participação em banca de Adriana de Andrade Moura. Uma Interface Personalizada para Elaboração de Consultas Visuais a Bancos de Dados. 1997. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

54.
BIGONHA, R. S.. Participação em banca de Mark Alan Junho Song. Mecanização do Processo de Projeto e Implementação de Classes em Ambientes Orientados por Objetos. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

55.
BIGONHA, R. S.. Participação em banca de Wagner Toledo Corrêa. Um Estudo de Caso sobre Construção de Software Orientada por Objetos Tratando de Programação de Jogos. 1996.

56.
BIGONHA, R. S.. Participação em banca de Luiz Antônio Pinheiro Martins. Editor Dinâmico MIDI:Um Aplicativo Windows para a Computação Musical. 1995. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

57.
BIGONHA, R. S.. Participação em banca de Marco Túlio de Oliveira Valente. Projeto e Implementação de uma Linguagem Orientada por Objetos para o Desenvolvimento Sistemático de Programas. 1995. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

58.
BIGONHA, R. S.; NUNES, D.; Et alii. Participação em banca de Joyce Martins. Uma LInguagem de Especificação Formal Orientada a Objetos. 1995. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

59.
BIGONHA, R. S.; Schneider, Sérgio M.; Mamede Lima-Marques. Participação em banca de Marcelo Luiz Silva. Proposta de Uma Ferramenta de Apoio à Formulação de Definições De Semântica Denotacional. 1994. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

60.
BIGONHA, R. S.. Participação em banca de Evandro Leal Lopes da Silva. Uma Biblioteca de Classes para Apoio ao Desenvolvimento de Sistemas em Ambiente Comercial. 1994. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

61.
BIGONHA, R. S.. Participação em banca de Vânia Maria de Menezes. Modelagem de Conhecimento em Lógica: Um Estudo de Caso. 1994. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

62.
BIGONHA, R. S.. Participação em banca de Lenice Miranda Alves. Análise de Metodologias para Medição de Software. 1994. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

63.
BIGONHA, R. S.. Participação em banca de Marcelo de Almeida Maia. Implementação Eficiente de uma Linguagem para Definição de Semântica. 1994. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

64.
BIGONHA, R. S.; DANTAS, J. E. R.. Participação em banca de Jaime Andrade Pinto. Uma Metodologia de Desenvolvimento de Interfaces Homem-Máquina e sua Aplicação no Sistema Integrado de Supervisão. 1993. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

65.
BIGONHA, R. S.. Participação em banca de Lucila Ishitani. Um Ambiente para Programação Biparadigmática em Smalltalk e Prolog. 1993. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

66.
BIGONHA, R. S.. Participação em banca de José Leite da Silva Júnior. Linguagem de Definição e Geração de Analisadores Sintáticos em Semântica Denotacional. 1993. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

67.
BIGONHA, R. S.. Participação em banca de Lucas Martins do Amaral. Interface Homem-Máquina do Ambiente de Definição de Semântica LDS. 1992. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

68.
BIGONHA, R. S.. Participação em banca de Roberto Márcio Ferreira de Souza. Controle de Concorrência em Árvores-B. 1992. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

69.
BIGONHA, R. S.; KOWALTOWSKI, T.; ANIDO, R. O.; SONG, S. W.; GUIMARAES, C. C.. Participação em banca de Galileu Batista de Souza. Técnicas de Otimização de Código Para Arquiteturas Risc. 1992. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

70.
BIGONHA, R. S.; NUNES, D.; PRICE, Ana M. A.; OLIVEIRA, J. M.. Participação em banca de Adagenor Lobato Ribeiro. Semânticas Para o Método SADT, Ferramentas de Definição de Requisitos e Especificação Formal em VDM da Executabiliadade por Simulação. 1991.

71.
BIGONHA, R. S.; Paulo Cunha; Sílvio Meira. Participação em banca de Hermano Perrelli de Moura. Tipos de Dados em Linguagens Funcionais. 1989. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

72.
BIGONHA, R. S.. Participação em banca de Rosilene Terezinha Martins. Técnicas para Recompilação Eficiente de Linguagens LALR(1). 1989. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

73.
BIGONHA, R. S.; LAENDER, A. H. F.. Participação em banca de José de Jesús Perez Alcázar. Projeto e Implementação de uma Linguagem para Bancos de Dados Funcionais. 1988. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

74.
BIGONHA, R. S.; DANTAS, J. E. R.. Participação em banca de Vitória de Toledo Soares. Um Serviço de Mensagens Padrão CCITT X.400. 1988. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

75.
BIGONHA, R. S.. Participação em banca de Carlos Camarão de Figueiredo. Geração de Código em um Compilador CHILL. 1988. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

76.
BIGONHA, R. S.. Participação em banca de Luiz Henrique de Araújo Vecchio. Sobre o Desenvolvimento de Sistemas de Linguagens Procedimentais Utilizando o Paradigma de Programação Orientada a Objetos. 1988. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

77.
BIGONHA, R. S.. Participação em banca de Patrícia Seno Fusaro. Uma Linguagem de Consulta para um Sistema de Recuperação de Informação em Texto Completo. 1988. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

78.
BIGONHA, R. S.; SETZER, V. W.. Participação em banca de Alan M. Durham. Análise Sintática e Recuperação de Erros em Linguagens Determinísticas. 1987. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

79.
BIGONHA, R. S.. Participação em banca de Clênio Figueiredo Salviano. SIMCO: Um Simulador Digital de Sistemas Contínuos. 1987. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

80.
BIGONHA, R. S.. Participação em banca de Edésio Costa e Silva. Um Ambiente Interativo para Criação de Diagramas de Fluxo de Dados. 1987. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

81.
BIGONHA, R. S.. Participação em banca de Elisamara de Oliveira. Um Sistema de Roteamento Automático de Standard-Cells para Circuitos Integrados. 1987. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

82.
BIGONHA, R. S.. Participação em banca de Renato Mintz. Projeto e Implementação de uma Central Telefônica de Pequeno Porte. 1986. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

83.
BIGONHA, R. S.; PAULA FILHO, W. P.. Participação em banca de Mariza Andrade da Silva Bigonha. SIC: Sistema de Implementação de Compiladores. 1985. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

84.
BIGONHA, R. S.; PAULA FILHO, W. P.. Participação em banca de Lucília Camarão de Figueiredo. Sistema de Geração de Código Otimizado para Processadores da Família INTEL 8086/8088. 1985. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

85.
BIGONHA, R. S.. Participação em banca de Lúcia Helena Souza de Toledo. SDSM8 - Sistema de Desenvolvimento de Software para Micros de 8 Bits. 1985.

86.
BIGONHA, R. S.. Participação em banca de Orna Avissar. SIG: Um Sistema de Suporte à Implementação Automática de Geradores de Código. 1985. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

87.
BIGONHA, R. S.; Michael Stanton; DANTAS, J. E. R.. Participação em banca de Alberto Avritzer. MicroZÚNIX: Um Sistema Operacional com Suporte para Multiprocessamento e Tempo Compartilhado. 1983. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

88.
BIGONHA, R. S.; PAULA FILHO, W. P.. Participação em banca de Newton Alberto de Castilho Lages. MECO: Monitor para Experimentos em Condicionamento Operante. 1976. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Teses de doutorado
1.
da Silva Bigonha, Roberto; SOUZA, Clarice S.; Roberto Ierusalimschy; CERQUEIRA, R. F. G.; Noemi Rodrigues; RADEMAKER, A.. Participação em banca de Luiz Marques Afonso. Communicative Dimensions of Applications Programming Interfaces. 2015. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

2.
BIGONHA, R. S.; Roberto Ierusalimschy; HEUSLER, Edward Hermann; MOREIRA, Ana Maria M.; MASCARENHAS, F.. Participação em banca de André Murbach Maidl. Typed Lua: An Optional Type System for Lua. 2015. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

3.
STAA, A. V.; Cerqueira, Renato; TRAVASSOS, G. H.; BIGONHA, R. S.. Participação em banca de Thiago Pinheiro de Araújo. Using Runtime Information and Maintenance Knowledge to Assist Failure Diagnosis, Detection and Recovery. 2014. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

4.
BIGONHA, ROBERTO S; MUSICANTE, M. A.; IORIO, V. O.; BIGONHA, M. A. S.; Roberto Ierusalimschy. Participação em banca de Leonardo Vieira dos Santos Reis. Adaptable Parsing Expression Grammar. 2014. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

5.
BIGONHA, ROBERTO S; VALENTE, M. T. O.; ANQUETIL, NICOLAS; FIGUEIREDO, E. M. L.; GUERRERO, D. D. S.. Participação em banca de César Francisco de Moura Couto. On the Causal Relationshiip Between Software Defects and Source Code Metrics. 2012. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

6.
BIGONHA, ROBERTO S; VALENTE, M. T. O.; GUERRERO, D. D. S.; FIGUEIREDO, E. M. L.; BORBA, P.. Participação em banca de Ricardo Terra Nunes Bueno Villela. A recommendation system for repairing violations detected by static architecture conformance checking. 2012. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

7.
BIGONHA, ROBERTO S; MARTINI, Alfio R. B.; MOREIRA, Álvaro F.; RIBEIRO, Leila. Participação em banca de Rodrigo Machado. HIgher-Order Graph Rewriting Systems. 2012. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

8.
BIGONHA, ROBERTO S; BIGONHA, M. A. S.; PRADO, Antônio F.; STAA, A. V.; Paulo César Masiero. Participação em banca de Kécia Aline Marques Ferreira. Um Modelo de Predição de Amplitude da Propagação de Modificações Contratuais em Software Orientado por Objetos. 2011. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

9.
BIGONHA, ROBERTO S; Paulo César Masiero; MALDONADO, José Carlos; Rosângela Aparecida Delloso Penteado; TRAVASSOS, G. H.. Participação em banca de Reginaldo Ré. Uma Contribuição para Minimização o Número de Stubs no Teste de Integração de Programas Orientados a Aspectos. 2009 - Instituto de Ciências matemáticas e de Computação - USP, São Carlos, SP.

10.
Rodolfo S. F. Resende; OLIVEIRA, J. M.; Paulo César Masiero; PADUA, Clarindo I. P. S.; BIGONHA, R. S.. Participação em banca de Mateus Conrad Barcellos da Costa. Um Arcabouço de Software Para Integração de Sistemas de Informação. 2008. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

11.
MOREIRA, Álvaro F.; BIGONHA, R. S.; MARTINI, Alfio R. B.. Participação em banca de Luciana Foss. Transactional Graph Transformation Systems. 2008. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

12.
BIGONHA, ROBERTO S; Rodolfo S. F. Resende; OLIVEIRA, J. P. M.; Paulo César Masiero; FALBO, R. A.; PADUA, Clarindo I. P. S.. Participação em banca de Mateus Conrad Barcellos da Costa. BASS: Um Arcabouço de Software para Integração de Sistemas de Informação. 2008. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

13.
BIGONHA, R. S.; MACIEL, P. R. M.; ROSA, N. S.; WOODCOCK, J. C. P.; MOTA, Alexandre C.. Participação em banca de Adnam Sherif. A Framework for Specification and Validation of Real Time System Using Circus Action. 2006. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

14.
BIGONHA, ROBERTO S; Paulo César Masiero; MALDONADO, José Carlos; PRADO, Antônio F.; STAA, A. V.. Participação em banca de Valter Vieira de Camargo. Frameworks Transversais: definições, classificações, arquitetura e utilização em processo de desenvolvimento de software. 2006 - Instituto de Ciências matemáticas e de Computação - USP, São Carlos, SP.

15.
BIGONHA, R. S.; HEUSLER, Edward Hermann; Noemi Rodrigues; Cristiano Braga; Roberto Ierusalimschy. Participação em banca de Marcus Leal Amorim. Finalizadores e Referências Fracas: Interagindo com o Coletor de Lixo. 2005. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

16.
BIGONHA, R. S.; HEUSLER, Edward Hermann; Noemi Rodrigues; MOREIRA, Ana Maria M.; José Eugênio Leal; Roberto Ierusalimschy. Participação em banca de Ana Lúcia de Moura. Revisitando Co-Rotinas. 2004. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

17.
BIGONHA, R. S.; SANTOS, André; FIGUEIREDO, L. C.; YERUSALIMSKI, R.; BIGONHA, M. A. S.; CAMARAO, C.. Participação em banca de Cristiano Damiani Vasconcellos. Inferência de Tipos com Suporte Para Sobrecarga Baseada no Sistema CT. 2004. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

18.
BIGONHA, R. S.; GEYER, C. F. R.. Participação em banca de Iara Augustin. Abstrações Para Uma Linguagem de Programação Visando Aplicações Móveis em um Ambiente de Pervasive Computing. 2003. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

19.
BIGONHA, R. S.; LOUREIRO, Antônio F.; BIGONHA, M. A. S.; YERUSALIMSKI, R.; MEIRA, W.. Participação em banca de Marco Túlio de Oliveira Valente. Mobilidade e Coordenação de Aplicações em Redes sem Fio. 2002. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

20.
BIGONHA, R. S.; CAMARAO, C.; PALAMIDESSI, Catuscia; Peter Miller; HEUSLER, Edward Hermann; FIGUEIREDO, L. C.; Silvie Marie Oliffson Kamphorst Leal da Silva. Participação em banca de Elaine Gouvêa Pimentel. Lógica Linear e a Especificação de Sistemas Computacionais. 2001. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

21.
BIGONHA, R. S.; Hermano Perrelli de Moura; RANGEL NETTO, J. L. M.; YERUSALIMSKI, R.; CAMARAO, C.; BIGONHA, M. A. S.. Participação em banca de Vladimir Oliveira Di Iorio. Avaliação Parcial em Máquinas de Estados Abstratas. 2001. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

22.
BIGONHA, R. S.; BARANAUSKAS, Cecília; SOUZA, Clarice S.; LOUREIRO, Antônio F.; LAMAS, D. R.; GRUDIN, J. T.. Participação em banca de Juliana Pereira Sales. O Modelo Fractal de Comunicação: Criando um Espaço de Análise Para Inspeção do Processo de Design de Software. 2001. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

23.
BIGONHA, R. S.. Participação em banca de Marcos Gonçaves Rios. Documentação de Programas por Contrato. 2001. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

24.
BIGONHA, R. S.; LUCENA, Carlos José P.. Participação em banca de Leonardo Mendonça de Moura. Análise e Verificação de Programas. 2000. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

25.
BIGONHA, R. S.; Rafael Dueire Lins; Paulo Cunha; Hermano Perrelli de Moura; FERNANDES, E. S. T.. Participação em banca de Ricardo Massa Ferreira Lima. Haskell#: Uma Linguagem Funcional Paralela : Implementação, Ambiente de Programação, Simulação e Análise de Propriedades. 2000. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

26.
BIGONHA, R. S.; Sílvio Meira; MALDONADO, José Carlos; Paulo Henrique Monteiro Borba; FERRAS, Carlos André G.; ORGAMBIDE, A. C. F.. Participação em banca de Jorge Henrique Cabral Fernandes. Corpus/Genesis: Uma Abordagem Para Construção de Sistemas Abertos Distribuídos, Concorrentes, Dinâmicos e Orientados a Eventos. 2000. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

27.
BIGONHA, R. S.; HEUSLER, Edward Hermann; Et alii. Participação em banca de Leonardo Mendonça Moura. Automação da Geração de Programas, Análise e Ferramentas de Verificação. 2000. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

28.
BIGONHA, R. S.; HEUSLER, Edward Hermann; Et alii. Participação em banca de Alex Vasconcelos Garcia. Um Modelo Categórico Para Traduções Entre Linguagens de Programação. 2000. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

29.
BIGONHA, R. S.; NUNES, D.; RANGEL NETTO, J. L. M.; LOUREIRO, Antônio F.; CAMARAO, C.; Osvaldo Sérgio Farhat de Carvalho. Participação em banca de Marcelo de Almeida Maia. Especificação Formal da Interação de Componentes de Sistemas Computacionais. 1999. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

30.
BIGONHA, R. S.. Participação em banca de Vladimir Oliveira Di Iorio. Avaliação Parcial em Máquinas de Estado Abstratas. 1999. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

31.
BIGONHA, R. S.; HEUSLER, Edward Hermann. Participação em banca de Lucília Camarão de Figueiredo. Lamba-Omega-Calculus: Um Modelo para Não-Determinismo em Linguagens Reflexíveis. 1997. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

32.
BIGONHA, R. S.; ROCHA, Ana Regina C.; Et alii. Participação em banca de Clifton Eduardo Clunie. Avaliação da Qualidade de Especificações Orientadas a Objetos. 1997. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

33.
BIGONHA, R. S.; CARVALHO, R. L.; Et alii. Participação em banca de Alcione de Paiva Oliveira. Casamento de Padrões em Ambientes Para Processamento de Conhecimento. 1996. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

34.
BIGONHA, R. S.; DERANSART, P.; V. Donzeau-Gouge; J.J. Chabrier; COULANGE, B.; F. Le Berre; F. Rouaix. Participação em banca de Patrick Parot. Mécanisation de la Réutilisation de Composants Logiciels:approches et outils. 1995. Tese (Doutorado em Informatique) - Université d'Orleans.

35.
BIGONHA, R. S.; RANGEL NETTO, J. L. M.; Et alii. Participação em banca de Luiz Carlos Cstro Guedes. Um Modelo Orientado a Objetos par Geração Automática de Compiladores. 1995. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

36.
BIGONHA, R. S.; Et alii. Participação em banca de José de Jesus Perez Alcajar. Resposta Cooperativas a Consultas Baseadas na Geração e Reconhecimento de Planos. 1995.

37.
BIGONHA, R. S.; RANGEL NETTO, J. L. M.; CARVALHO, S. E. R.; Et alii. Participação em banca de Noemi de la Rocque Rodrigues. Um Sistema de Tipos Orientados por Objetos. 1993. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

38.
BIGONHA, R. S.; ZIVIANI, N.; CARVALHO, R. L.. Participação em banca de Orivaldo de Lira Tavares. Moldes: Uma Linguagem Para Modelagem de Objetos de Interação. 1990. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

39.
BIGONHA, R. S.; CARVALHO, R. L.; Et alii. Participação em banca de Crediné Silva Menezes. Ambiente Para Processamento do Conhecimento. 1989. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Qualificações de Doutorado
1.
CAMARAO, C.; COSTA, A. P.; FIGUEIREDO, L. C.; Pereira, Fernando M.Q.; BIGONHA, ROBERTO S. Participação em banca de Rodrigo Geraldo Ribeiro. Classes de Tipos Opcionais e com Vários Parâmetros para Haskell. 2010. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

2.
RIBEIRO, Leila; BIGONHA, ROBERTO S. Participação em banca de Rodrigo Machado. HIgher-Order Grapjh Rewriting Systems. 2010. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

3.
BIGONHA, R. S.; ARAUJO, Guido C. S.. Participação em banca de Wesley Attrot. Hole Allocation. 2007. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

4.
BIGONHA, R. S.; Rodolfo S. F. Resende; MALDONADO, José Carlos; Paulo César Masiero. Participação em banca de Mateus Conrad Barcellos da Costa. A União de Requisitos e Tecnologias no Desenvolvimento de Software. 2005. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

5.
BIGONHA, R. S.; Rodolfo S. F. Resende; Paulo César Masiero; MALDONADO, José Carlos. Participação em banca de Pedro de Alcântara dos Santos. Automação de Testes no Desenvolvimento de Software Baseado em Modelos. 2005.

6.
BIGONHA, R. S.; RIBEIRO, Leila; YERUSALIMSKI, R.. Participação em banca de Fábio Tirelo. Semântica Multidimensional de Linguagens de Programação. 2005. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

7.
BIGONHA, R. S.; BIGONHA, M. A. S.; ARAUJO, Guido C. S.. Participação em banca de Fabíola Fonseca de Oliveira. Otimização de Código em Ambiente de Semântica Formal Executável Baseado em ASM. 2003. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

8.
BIGONHA, R. S.; CAMARAO, C.. Participação em banca de Cristiano Damiani Vasconcellos. Inferência de Tipos em uma Linguagem Funcional com Suporte para Sobrecarga Baseada no Sistema CT. 2002. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

9.
BIGONHA, R. S.; CAMARAO, C.; HEUSLER, Edward Hermann; Silvie Marie Oliffson Kamphorst Leal da Silva; FIGUEIREDO, L. C.. Participação em banca de Elaine Gouvêa Pimentel. Lógica Linear com Indução e Definições. 2001. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

10.
BIGONHA, R. S.; Rafael Dueire Lins. Participação em banca de Ricardo Massa Ferreira Lima. Haskell#: Uma LInguagem Funcional Paralela. 2000. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

11.
BIGONHA, R. S.; Júlio C. S. P. Leite; DANTAS, J. E. R.; Paulo César Masiero; Rodolfo S. F. Resende. Participação em banca de Marcos Gonçavels Rios. Modelagem de Software Orientada por Documentação. 2000. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

12.
BIGONHA, R. S.; YERUSALIMSKI, R.; BIGONHA, M. A. S.; Hermano Perrelli de Moura; LOUREIRO, Antônio F.. Participação em banca de Marco Túlio de Oliveria Valente. Abstrações Para Implementação de Aplicações Móveis na Internet. 2000. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

13.
BIGONHA, R. S.; BARANAUKAS, M. C. C.; DANTAS, J. E. R.; SOUZA, Clarice S.; PRATES, R. O.. Participação em banca de Juliana Pereira Salles. Um Modelo de Organização Fractal Aplicado ao Processo de Design de Interfaces. 2000. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

14.
BIGONHA, R. S.; CAMARAO, C.; Osvaldo Sérgio Farhat de Carvalho; KOWALTOWSKI, T.. Participação em banca de Marcelo de Almeida Maia. Especificações Executáveis Usando Máquina de Estado Abstrato. 1998. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

15.
BIGONHA, R. S.; HEUSLER, Edward Hermann. Participação em banca de Lucília Camarão de Figueiredo. Calculus: Tipos e Violação de Tipos. 1995. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.



Participação em bancas de comissões julgadoras
Professor titular
1.
Campos, Fernanda C. A.; Fonseca, Raul; Goulart, Caros C.; BIGONHA, R. S.. UFV: Promoção para Professor Titular-E (jugurta lisboa filho). 2016. Universidade Federal de Viçosa.

2.
Miyagaki, Olímpio H.; Braga, Antônio P.; Fonseca, Raul; BIGONHA, R. S.. UFV: Promoção para Professor Titular-E (ricardo dos santos ferreira). 2016. Universidade Federal de Viçosa.

3.
Miyagaki, Olímpio H.; Braga, Antônio P.; Fonseca, Raul; BIGONHA, R. S.. UFV: Promoção para Professor Titular-E (margareth da silva alves). 2016. Universidade Federal de Viçosa.

4.
BIGONHA, R. S.; FINGER, M.; LUDERMIR, TEREZA; BORGES, M. R. S.. UFPE:Promoção Titular-E. 2015.

5.
ANDRADE, D. F.; PAULA, G. A.; RODRIGUES, J.; MENEZES, B. R.; FERREIRA, D. F.; BIGONHA, ROBERTO S. UFMG: Promoção Titular-E (suplente). 2015. Universidade Federal de Minas Gerais.

6.
BIGONHA, R. S.; SALES, A.; CURY, D.; Schneider, Sérgio M.; ZUFFO, M. K.. UFSCAR: Promoção Professor Titular-E. 2015. Universidade Federal de São Carlos.

7.
BIGONHA, ROBERTO S.; SALES, A.; GIMENES, ITANA; Schneider, Sérgio M.; Paulo César Masiero. UFSCAR: Promoção para Professor Titular-E. 2015. Universidade Federal de São Carlos.

8.
BIGONHA, ROBERTO S.; Paulo César Masiero; Wagner, Flávio R.; FERREIRA, Carlos Eduardo. UFRGS: Promoção Professor Titular-E. 2015.

9.
Bastos, Leacir N.; Braga, Antônio P.; Fonseca, Raul; BIGONHA, R. S.. UFV: Promoção para Titular-E (marcus vinícius alvim andrade). 2015. Universidade Federal de Viçosa.

10.
BIGONHA, ROBERTO S.; BORGES, M. R. S.; ALBIERI, S.; FIGUEROA, S. F. M.; MOTOYAMA, S.. UFRJ: Promoção Titular-E. 2015. Universidade Federal do Rio de Janeiro.

11.
Wagner, Flávio R.; Paulo César Masiero; ARAUJO, Guido C. S.; BIGONHA, R. S.. UFRGS: Promoção Professor Titular-E. 2014. Universidade Federal do Rio Grande do Sul.

12.
BIGONHA, ROBERTO S; KOWALTOWSKI, T.; MIYAZAWA, FLÁVIO; KON, FÁBIO; FERREIRA, Carlos Eduardo. UNICAMP: Concurso Público Professor Titular (Faculdade de Tecnologia). 2012. Universidade Estadual de Campinas.

13.
BIGONHA, ROBERTO S; Paulo César Masiero. PUC-RIO: Comissão de Promoção Professor Titular. 2012. Pontifícia Universidade Católica do Rio de Janeiro.

14.
BIGONHA, ROBERTO S.; LUNA, H. P. L.; SONG, S. W.; Paulo Cunha; LUDERMIR, TEREZA. UFPE: Concurso Público Professor Titular. 2011. Universidade Federal de Pernambuco.

15.
BIGONHA, R. S.; Paulo César Masiero; MONARD, M. C.; MARTINEZ, J. M.; SOARES FILHO, S.. USP-SC: Concurso Público de Professor Titular. 2000. Instituto de Ciências matemáticas e de Computação - USP, São Carlos, SP.

16.
BIGONHA, R. S.; CAMPOS, G. L.; MOSCATO, L. A.; SONG, S. W.; BRITO, R. M.. USP: Concurso Público de Professor Tilular. 1999. Universidade de São Paulo.

17.
BIGONHA, R. S.; NADAL, C.; ZIVIANI, N.; CARVALHO, S. E. R.; DALMOLIN, Q.. UFPR: Concurso Público de Professor Titular. 1996. Universidade Federal do Paraná.

18.
BIGONHA, R. S.; KOWALTOWSKI, T.; AZEREDO, P. A.. UFRGS: Concurso Público de Professor Titular. 1996. Universidade Federal do Rio Grande do Sul.

19.
BIGONHA, R. S.; LUNA, H. P. L.; KOWALTOWSKI, T.; TAVARES, H. M. F.; SZWARCFITER, J. L.. UFMG: Concurso Professor Titular. 1994. Universidade Federal de Minas Gerais.

20.
BIGONHA, R. S.; FAVARO, L. A.; ARAGON, D. F.; AZEREDO, P. A.; NAKANISHI, T.. ICMC: Concurso Público de Professor Titular. 1993. Instituto de Ciências matemáticas e de Computação - USP, São Carlos, SP.

21.
BIGONHA, R. S.; HATTORI, M. T.; SOUZA, W. L.. UFCG: Concurso Público de Professor Titular. 1993. Universidade Federal de Campina Grande.

22.
BIGONHA, R. S.; MAGALHAES, P. A. A.; SILVA, A. E.. PUC-MG: Promoção Professor Titular. 1991. Pontifícia Universidade Católica de Minas Gerais.

Concurso público
1.
BIGONHA, ROBERTO S; LUDERMIR, TEREZA; MONTEIRO, J. A. S.. UFPE: Concurso Público Professor Adjunto. 2014. Universidade Federal de Pernambuco.

2.
BIGONHA, ROBERTO S.; BONATO, V.; ladeira, marcelo. UEA: Concurso de Professor da Carreira do Magistério Público Superior. 2013. Universidade do Estado do Amazonas.

3.
KOWALTOWSKI, T.; BIGONHA, ROBERTO S; RUBIRA, C. M. F.; WEBER, T. S.; MENDEL, A.. UNICAMP: Concurso Público Professor Doutor. 2012. Universidade Estadual de Campinas.

4.
BIGONHA, ROBERTO S.; LUDERMIR, TEREZA; BORBA, P.. UFPE: Concurso Público Professor Adjunto. 2011. Universidade Federal de Pernambuco.

5.
PRADO, Antônio F.; CAMARGO, H. A.; MARTINS, C. B.; BIGONHA, ROBERTO S; PARDO, T. A. S.,. UFSCAR: Concurso Público Professor Adjunto. 2010. Universidade Federal de São Carlos.

6.
BIGONHA, ROBERTO S; PRADO, A. F.; CAMARGO, H. A.; MARTINS, C. B.; PARDO, T. A. S.. UFSCAR: Concurso Público Provas e Títulos. 2009. Universidade Federal de São Carlos.

7.
BIGONHA, R. S.; ALMEIDA, VIRGILIO A. F.; TRAINA, Caetano; SOARES, L. F. G.; CARVALHO, Cid. UFMG: Concurso Público Professor Adjunto. 2008. Universidade Federal de Minas Gerais.

8.
BIGONHA, R. S.; IORIO, V. O.; SILVA, Geiza C.. UFOP: Concurso Público Professor Assistente. 2008. Universidade Federal de Ouro Preto.

9.
BIGONHA, R. S.; FERREIRA, Antônio Alfredo; DUARTE, R.. UFOP: Concurso Público Professor Adjunto. 2008. Universidade Federal de Ouro Preto.

10.
BIGONHA, R. S.; MUSICANTE, M. A.; Et alii. UEFS: Concurso Público Professor Assistente. 2007. Universidade Estadual de Feira de Santana.

11.
BIGONHA, R. S.; Júlio C. S. P. Leite; HEUSER, Carlos Alberto; Paulo César Masiero; LAENDER, A. H. F.. UFMG: Concurso Público Professor Adjunto. 2006. Universidade Federal de Minas Gerais.

12.
BIGONHA, R. S.; IORIO, V. O.; Oliveira, Renato. UFOP: Concurso Público de Provas e Títulos Para Professor Adjunto. 2005. Universidade Federal de Ouro Preto.

13.
BIGONHA, R. S.; MAIA, M. A.; GUARDA, Álvaro. UFOP: Concurso Público de Provas e Títulos Para Professor Adjunto. 2005. Universidade Federal de Ouro Preto.

14.
BIGONHA, R. S.; Hermano Perrelli de Moura; YERUSALIMSKI, R.; KOWALTOWSKI, T.; LIESENBERG, H. K. E.. UNICAMP: Processo Seletivo de Professor. 2005. Universidade Estadual de Campinas.

15.
BIGONHA, R. S.; MELO, Ana Cristina V.; RIBEIRO, Leila. UFRGS: Concurso Público Professor Adjunto - Depto de Informática Teórica. 2005. Universidade Federal do Rio Grande do Sul.

16.
BIGONHA, R. S.; HEUSER, Carlos Alberto; Paulo Cunha. UFRGS: Concurso Professor Adjunto. 2004. Universidade Federal do Rio Grande do Sul.

17.
BIGONHA, R. S.; MONARD, M. C.; TRAINA, Agma J. M.; MURTA, C. D.; NETTO, M. L. A.. ICMC: Processo Seletivo Professor Doutor. 2002. Instituto de Ciências matemáticas e de Computação - USP, São Carlos, SP.

18.
BIGONHA, R. S.; KOWALTOWSKI, T.; MEDEIROS, C. M. B.; MENDEL, A.; SCHWABE, D.. UNICAMP: Concurso Público Professor Nível III. 2002. Universidade Estadual de Campinas.

19.
BIGONHA, R. S.; Et alii. ICMC: Concurso Professor Doutor, MS-3. 1999. Instituto de Ciências matemáticas e de Computação - USP, São Carlos, SP.

20.
BIGONHA, R. S.; SZWARCFITER, J. L.; SANTANNA, A. P.; Paulo César Masiero; Júlio C. S. P. Leite. UFRJ: Concurso Público Para Professor Adjunto. 1994. Universidade Federal do Rio de Janeiro.

21.
BIGONHA, R. S.; Et alii. UFES: Concurso Público Professor Assistente. 1993. Universidade Federal do Espírito Santo.

22.
BIGONHA, R. S.; Et alii. UFOP: Concurso Público Professor da Carreira de Magistério Superior. 1993. Universidade Federal de Ouro Preto.

23.
BIGONHA, R. S.; Et alii. UFOP: Concurso Público Professor da Carreira do Magistério Superior. 1992. Universidade Federal de Ouro Preto.

24.
BIGONHA, R. S.; Et alii. UFES: Concurso Público Professor Assistente. 1992. Universidade Federal do Espírito Santo.

25.
BIGONHA, R. S.; KOWALTOWSKI, T.; Et alii. UFRGS: Concurso Público Professor Adjunto. 1992. Universidade Federal do Rio Grande do Sul.

26.
BIGONHA, R. S.; Et alii. UFU: Concurso Admissão de Docente. 1988. Universidade Federal de Uberlândia.

27.
BIGONHA, R. S.; Et alii. UFU: Concurso Auxiliar de Ensino. 1987. Universidade Federal de Uberlândia.

Livre docência
1.
BIGONHA, ROBERTO S; SANTANA, R. H. C.; Mario Jino; ZORZO, A. F.; Paulo César Masiero. ICMC: Concurso Professor Livre-Docente. 2014. Instituto de Ciências matemáticas e de Computação - USP, São Carlos, SP.

2.
BIGONHA, ROBERTO S.; SANTANA, REGINA H.; FORTES, RENATA; RICARTI, IVAN; NUNES, D.. ICMC-USP: Obtenção do Títuio de Livre-Docente. 2013. Instituto de Ciências matemáticas e de Computação - USP, São Carlos, SP.

3.
BIGONHA, ROBERTO S; FINGER, M.; Paulo César Masiero; RUBIRA, C. M. F.; WAGNER, F. R.. ICMC: Concurso Público de Livre-Docência. 2011. Instituto de Ciências matemáticas e de Computação - USP, São Carlos, SP.

4.
BIGONHA, ROBERTO S; Et alii. IME-USP: Concurso Público de Livre-Docência. 2011. Universidade Federal de Minas Gerais.

5.
BIGONHA, R. S.; YERUSALIMSKI, R.; Hermano Perrelli de Moura; GUIMARAES, C. C.; KOWALTOWSKI, T.. UNICAMP - Concurso Público Livre-Docência. 2008. Universidade Estadual de Campinas.

6.
BIGONHA, R. S.; Navaux, Philippe; GUIMARAES, C. C.; FERNANDES, E. S. T.; Fonseca, Nelson. UNICAMP - Concurso Público Para Livre-Docência. 2008. Universidade Estadual de Campinas.

7.
BIGONHA, R. S.; Paulo César Masiero; MARTINS, Eliane; Mario Jino; Moacyr Martucci Júnior. ICMC: Concurso Título de Livre-Docência. 2005. Universidade de São Paulo.

8.
BIGONHA, R. S.; MEDEIROS, C. M. B.; PORTO, I. E. S. J.; BORGES, M. R. S.; Mario Jino. UNICAMP: Concurso Livre-Docente. 2001. Universidade Estadual de Campinas.

9.
BIGONHA, R. S.; FERNANDES, E. S. T.; SONG, S. W.; KOWALTOWSKI, T.; CORTES, M. L.. UNICAMP: Concurso Livre-Docente. 2001. Universidade Estadual de Campinas.

10.
BIGONHA, R. S.; LUCCHESI, C. L.; MARINHO, P.; SONG, S. W.; KOWALTOWSKI, T.. UNICAMP: Concurso Professor Livre-Docente. 1999. Universidade Estadual de Campinas.

11.
BIGONHA, R. S.; Et alii. UNICAMP: Concurso Livre Docente. 1998. Universidade Estadual de Campinas.

Outras participações
1.
BIGONHA, ROBERTO S.; FERREIRA, Carlos Eduardo; MATHEUS, GERALDO R,. UNICAMP: Prêmio Reconhecimento Acadêmico. 2015. Universidade Estadual de Campinas.

2.
BIGONHA, R. S.; Et alii; SONG, S. W.; SOARES, L. F. G.. UNICAMP: Seleção do Prêmio Zeferino Vaz. 2002. Universidade Estadual de Campinas.

3.
BIGONHA, R. S.; MALDONADO, José Carlos; WAKABAYSHI, Y.. UNICAMP: Seleção do Prêmio Zeferino Vaz. 2000. Universidade Estadual de Campinas.

4.
BIGONHA, R. S.; Et alii. UFMG: Progressão Vertical Assistente-Adjunto. 1989. Universidade Federal de Minas Gerais.



Eventos



Organização de eventos, congressos, exposições e feiras
1.
BIGONHA, R. S.. III Workshop de Métodos Formais. 2000. (Congresso).

2.
BIGONHA, R. S.. I Simpósio Brasileiro de Linguagens de Programação. 1996. (Congresso).

3.
BIGONHA, R. S.. V Simpósio Brasileiro de Engenharia de Software. 1991. (Congresso).

4.
BIGONHA, R. S.. V Simpósio Sobre Desenvolvimento de Software Básico. 1985. (Congresso).



Orientações



Orientações e supervisões concluídas
Dissertação de mestrado
1.
Gabriel de Godoy Correa e Castro. Geração de Compiladores Baseada em Componentes. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

2.
Guilherme Henrique de Souza Santos. Semântica Denotacional Escalável de Linguagens Imperativas. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

3.
Thiago Henrique Braga. Recuperação da Arquitetura de Software para Manutenção de Sistemas. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

4.
Andrei Rinsa Álvares. Efficient Static Analysis to Find Tainted VAriables Attacks. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Coorientador: Roberto da Silva Bigonha.

5.
Leonardo Vieira dos Santos Reis. Especialização de Linguagens Orientadas a Aspectos BAsead em Extensibilidade de Gramáticas. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

6.
Giselle Machado Nogueira Reis. Especificação de Sistemas Utilizando Lógica Linear com Subexponenciais. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Coorientador: Roberto da Silva Bigonha.

7.
Sérgio Vale e Pace. Programação Concorrente Baseada em Acordes para a Plataforma Java. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

8.
Mário Sérgio Ferreira Alvim Júnior. Aspectos Computacionalis do Cálculo de Estruturas. 2008. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Minas Gerais, . Coorientador: Roberto da Silva Bigonha.

9.
Tays Cristina do Amaral Pales Soares. Compilação de Semântica Denotacional Modular. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

10.
Italo Giovani Abdanur Stefani. Método de Refinamento Machina. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

11.
Wagner Salazar Pires. Uma LInguagem de Especificação Formal Orientada por Aspectos. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

12.
Eduardo Santos Cordeiro. Otimizações na Compilação de Adendos de Contorno em Programas Orientados por Aspectos. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

13.
Kristian Magnani dos Santos. Um Arcabouço Para Otimizações em Máquinas de Estado Abstrata. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Coorientador: Roberto da Silva Bigonha.

14.
Mário Celso Candian Lobato. Um Arcabouço Para Compilação de Linguagens de Especificação ASM. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Roberto da Silva Bigonha.

15.
Kecia Aline Marques Ferreira. Avaliação de Conectividade em Sistemas Orientados por Objetos. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Coorientador: Roberto da Silva Bigonha.

16.
César Francisco de Moura Couto. Um Arcabouço Orientado por Aspectos Para Implementação Automatizada de Persistência. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

17.
Fernando Magno Quintão Pereira. Arcademis: Um Arcabouço para Construção de Sistemas de Objetos Distribuídos em Java. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Roberto da Silva Bigonha.

18.
Luciana Leal Ambrósio. Análise de Alocação Global de Registradores Baseada em Crescimento de Domínios Ativos e Combinação eRegistradores. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Coorientador: Roberto da Silva Bigonha.

19.
Eliseu César Miguel. Especificação Formal de Jogos de Inteligência Aritificial. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Coorientador: Roberto da Silva Bigonha.

20.
Ademir de Alvarenga Oliveira. MetaJ: Um Ambiente para Meta-Programação em Java. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

21.
Marco Rodrigo Costa. Compilação de um Cálculo Lambda Estendido para Supercombinadores. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Coorientador: Roberto da Silva Bigonha.

22.
Fabio Tirelo. Uma Ferramenta para Execução de Sistemas Dinâmicos Discretos Baseados em Álgebra Evolutiva. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Roberto da Silva Bigonha.

23.
Fabíola Fonseca de Oliveira. Compilação de uma Linguagem Funcional, Orientada por Objetos, para Definição de Semântica Denotacional. 1998. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Roberto da Silva Bigonha.

24.
Mark Alan Junho Song. Mecanização do Processo de Projeto e Implementação de Classes em Ambientes Orientados por Objetos. 1996. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Roberto da Silva Bigonha.

25.
Marco Túlio de Oliveira Valente. Projeto e Implementação de uma Linguagem Orientada por Objetos para o Desenvolvimento Sistemático de Programas. 1996. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Roberto da Silva Bigonha.

26.
Marcelo de Almeida Maia. Implementação Eficiente de uma Linguagem para Definição de Semântica. 1994. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Roberto da Silva Bigonha.

27.
Walace de Almeida Rodrigues. Compilação e Otimização de uma Linguagem para Definição Denotacional de Semântica. 1993. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

28.
José Leite da Silva Júnior. Linguagem de Definição e Geração de Analisadores Sintáticos em Semântica Denotacional Legível. 1993. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

29.
Lucas Martins do Amaral. Interface Homem-Máquina do Ambiente de Definição de Semântica LDS. 1992. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

30.
Rosilene Terezinha Martins. Técnicas para Recompilação Eficiente de Linguagens LALR(1). 1989. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

31.
Carlos Camarão de Figueiredo. Geração de Código em um Compilador Chill. 1988. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

32.
José de Jesús Perez Alcázar. Projeto e Implementação de uma Linguagens para Bancos de Dados Funcionais. 1988. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Coorientador: Roberto da Silva Bigonha.

33.
Mariza Andrade da Silva Bigonha. Sistema de Implementação de Compiladores. 1985. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Roberto da Silva Bigonha.

34.
SDMS - Sistema de Desenvolvimento de Sortware para Micros. Lúcia Helena Souza de Toledo. 1985. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

35.
Orna Avissar. SIG: Um Sistema de Suporte à Implementação Automática de Geradores de Código. 1985. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

36.
Lucília Camarão de Figueiredo. Sistema de Geração de Código Otimizado para Processadores da Família Intel 8086/8088. 1985. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

37.
Alberto Avritzer. Microzúnix: Um Sistema Operacional com Suporte para Multiprocessamento e Tempo Compartilhado. 1983. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

Tese de doutorado
1.
Leonardo Vieira dos Santos Reis. Adaptable Parsing Expression Grammar. 2014. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

2.
Ricardo Terra Nunes Bueno Villela. Um Sistema de Recomendação para Reparação de Erosão Arquitetural de Software. 2013. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

3.
César Francisco de Moura Couto. Predizendo Defeitos de Software com Testes de Causalidade. 2013. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

4.
Kécia Aline Marques Ferreira. Um Modelo de Predição de Amplitude da Propagação de Modificações Contratuais em Software Orientado por Objetos. 2011. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Coorientador: Roberto da Silva Bigonha.

5.
Fabio Tirelo. Semântica Incremental de Linguagens de Programação. 2009. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

6.
Marco Túlio de Oliveira Valente. Mobilidade e Coordenação de Aplicações em Redes sem Fio. 2002. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

7.
Vladimir Di Iorio. Avaliação Parcial de Máquinas de Estado Abstratas. 2001. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Roberto da Silva Bigonha.

8.
Juliana Pereira Salles. O Modelo Factal de Comunicação: Criando um Espaço de análise para Inspecção de Processo de Design de Software. 2001. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Roberto da Silva Bigonha.

9.
Marcos Gonçalves Rios. Documentação de Programas por Contrato. 2001. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Roberto da Silva Bigonha.

10.
Marcelo de Almeida Maia. Especificação Formal da Interação de Componentes de Sistemas Computacionais. 1999. 0 f. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Roberto da Silva Bigonha.

11.
Lucília Camarão de Figueiredo. Calculus: Um Modelo para Não-Determinismo em Linguagens Reflexivas. 1997. 0 f. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Roberto da Silva Bigonha.



Educação e Popularização de C & T



Livros e capítulos
1.
BIGONHA, ROBERTO S.. Efemérides da Regulamentação. 1. ed. Porto Alegre, RS: Sociedade Brasileira de Computação, 2016. v. 1. 88p .



Outras informações relevantes


EXPERIÊNCIA PROFISSIONAL

ADMINISTRATIVA
1. Coordenador do Curso de Pós-Graduação Lato Sensu em Informática da UFMG (1988-1999).
2. Chefe do Departamento de Ciência da Computação da UFMG (1987-1989, 2000-2002,2009-2011,2011-2013).
3. Coordenador do Bacharelado em Ciência da Computação da UFMG (1981-1983).
4. Coordenador do Curso de Pós-Graduação em Ciência da Computação da UFMG (1983-1985, 1991-1993).
5. Representante Nacional da Área de Ciência da Computação na CAPES (1995-1997).
6. Coordenador Adjunto da Área de Ciência da Computação na CAPES (1993-1995).

HONRARIAS
Premio Nacional de Informatica, Categoria Software 1988, patrocinado pelo Ministerio de Ciencia e Tecnologia, Modata e Fundação Roberto Marinho.


ATIVIDADES ESPECIALIZADAS
1. Conselheiro da Sociedade Brasileira de Computacao (1985-1989, 1991-1993, 1997-2001,2007-2011).
2. Diretor de Educacao da Sociedade Brasileira da Computacao (1989-1991, 1993-1997).
3. Diretor de Regulamentação da Profissão da Sociedade Brasileira de Computação (2001-2007)
3. Coordenador da Comissao Especial de Engenharia de Software da SBC (1990-1991).
4. Coordenador do XI Seminario Integrado de Software e Hardware da SBC (1984).
5. Coordenador do V Simposio Sobre Desenvolvimento de Software Basico da SBC (1985).
6. Coordenador do V Simposio Brasileiro de Engenharia (1990)



Página gerada pelo Sistema Currículo Lattes em 20/01/2019 às 22:21:18