Simone André da Costa Cavalheiro

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


possui graduação em Engenharia Civil pela Universidade Católica de Pelotas (1998), graduação em Licenciatura em Matematica pela Universidade Federal de Pelotas (1998), mestrado (2000) e doutorado (2010) em Ciência da Computação pela Universidade Federal do Rio Grande do Sul. Atualmente é professora adjunta da Universidade Federal de Pelotas - UFPel. Atua na área de Ciência da Computação, principalmente em Métodos Formais e Pensamento Computacional. (Texto informado pelo autor)


Identificação


Nome
Simone André da Costa Cavalheiro
Nome em citações bibliográficas
COSTA, Simone André da;da COSTA, Simone André;CAVALHEIRO, Simone André da Costa;da Costa, Simone André;Cavalheiro, Simone Andre da Costa;Cavalheiro, S.A.D.C.;Cavalheiro, S. A. C.;COSTA, Simone A.;CAVALHEIRO, SIMONE;CAVALHEIRO, S. A. C.;COSTA, S.;COSTA, Simone;ANDRE DA COSTA CAVALHEIRO, SIMONE;DA COSTA CAVALHEIRO, SIMONE A.

Endereço


Endereço Profissional
Universidade Federal de Pelotas.
Campus Universitario, s/n
96010-900 - Pelotas, RS - Brasil - Caixa-postal: 354
Telefone: (53) 32757578
Fax: (53) 32757343


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


2005 - 2010
Doutorado em Ciência da Computação.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Título: Abordagem Relacional de Gramática de Grafos, Ano de obtenção: 2010.
Orientador: Leila Ribeiro.
Palavras-chave: Gramática de Grafos; Prova de Teoremas; Especificação Formal.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Fundamentos da Computação / Especialidade: Métodos Formais.
Setores de atividade: Informática.
1999 - 2000
Mestrado em Ciência da Computação.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Título: Estudo dos Espaços Coerentes do Ponto de Vista da Teoria dos Topos,Ano de Obtenção: 2001.
Orientador: Antônio Carlos da Rocha Costa.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Domínios; Teoria dos Topos; Espaços Coerentes; Teoria das Categorias.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação.
Setores de atividade: Informática; Educação Superior.
1994 - 1998
Graduação em Engenharia Civil.
Universidade Católica de Pelotas, UCPEL, Brasil.
1994 - 1998
Graduação em Licenciatura em Matematica.
Universidade Federal de Pelotas, UFPEL, Brasil.




Atuação Profissional



Universidade Federal de Pelotas, UFPEL, Brasil.
Vínculo institucional

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

Atividades

03/2018 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Sistemas Discretos
Teoria da Computação
03/2018 - Atual
Ensino, COMPUTAÇÃO, Nível: Pós-Graduação

Disciplinas ministradas
Teoria da Comptuação
7/2013 - Atual
Pesquisa e desenvolvimento , Unidades e Cursos de Graduação, Centro de Desenvolvimento Tecnológico (CDTec).

Linhas de pesquisa
Pensamento Computacional
03/2013 - Atual
Extensão universitária , Unidades e Cursos de Graduação, Centro de Desenvolvimento Tecnológico (CDTec).

Atividade de extensão realizada
Proposta e Aplicação de Atividades do Pensamento Computacional em Escolas de Ensino Fundamental do Município de Pelotas.
10/2007 - Atual
Pesquisa e desenvolvimento , Instituto de Física e Matemática, Departamento de Informática.

Linhas de pesquisa
Métodos Formais
09/2017 - 03/2018
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Sistemas Discretos
Teoria da Computação
04/2017 - 08/2017
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Sistemas Discretos
Teoria da Computação
04/2017 - 8/2017
Ensino, COMPUTAÇÃO, Nível: Pós-Graduação

Disciplinas ministradas
Teoria da Computação
8/2016 - 03/2017
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Sistemas Discretos
Teoria da Computação
8/2016 - 3/2017
Ensino, Programa de Pós-Graduação em Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos Especiais em Computação III
3/2016 - 7/2016
Ensino, Programa de Pós-Graduação em Computação, Nível: Pós-Graduação

Disciplinas ministradas
Teoria da Computação
3/2016 - 7/2016
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria da Computação
7/2015 - 12/2015
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria da Computação
Algoritmos e Programação
3/2015 - 7/2015
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria da Computação
Algoritmos e Programação
3/2015 - 7/2015
Ensino, Programa de Pós-Graduação em Computação, Nível: Pós-Graduação

Disciplinas ministradas
Teoria da Computação
08/2014 - 12/2014
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Algortimos e Programação
Teoria da Computação
03/2014 - 07/2014
Ensino, COMPUTAÇÃO, Nível: Pós-Graduação

Disciplinas ministradas
Teoria da Computação
Algoritmos e Programação
03/2014 - 07/2014
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria da Computação
07/2013 - 12/2013
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Especificação e Verificação de Sistemas
Teoria da Computação
03/2013 - 07/2013
Ensino, COMPUTAÇÃO, Nível: Pós-Graduação

Disciplinas ministradas
Teoria da Computação
03/2013 - 07/2013
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Estruturas de Dados III
Teoria da Computação
07/2012 - 12/2012
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Análise de Algoritmos
Teoria da Computação
07/2011 - 12/2011
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Análise de Algoritmos
Teoria da Computação
03/2011 - 12/2011
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Análise de Algoritmos
Teoria da Computação
03/2011 - 07/2011
Ensino, Programa de Pós-Graduação em Computação, Nível: Pós-Graduação

Disciplinas ministradas
Teoria da Computação
08/2010 - 01/2011
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Análise de Algoritmos
Teoria da Computação
08/2010 - 01/2011
Ensino, Economia, Nível: Graduação

Disciplinas ministradas
Utilização de Microcomputadores
09/2009 - 07/2010
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Análise de Algoritmos
Teoria da Computação
06/2009 - 08/2009
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à Computação
Teoria da Computação
08/2008 - 10/2008
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria da Computação
Análise de Algoritmos
3/2008 - 7/2008
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria da Computação
Análise de Algoritmos
8/2007 - 12/2007
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Análise de Algoritmos
Linguagens Formais
4/2007 - 8/2007
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Análise de Algoritmos
Teoria da Computação
10/2006 - 3/2007
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens Formais
Análise de Algoritmos

Universidade do Vale do Rio dos Sinos, UNISINOS, Brasil.
Vínculo institucional

2005 - 2005
Vínculo: Horista, Enquadramento Funcional: Professor Assistente, Nível II, Carga horária: 28

Vínculo institucional

2002 - 2005
Vínculo: Horista, Enquadramento Funcional: Professor Assistente, Nível II, Carga horária: 40

Vínculo institucional

2002 - 2002
Vínculo: Horista, Enquadramento Funcional: Professor Assistente, Nível I, Carga horária: 32

Vínculo institucional

2001 - 2002
Vínculo: Horista, Enquadramento Funcional: Professor Assistente, Nível I, Carga horária: 24

Vínculo institucional

2001 - 2001
Vínculo: Horista, Enquadramento Funcional: Professor Assistente, Nível I, Carga horária: 12

Atividades

7/2005 - 12/2005
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens Formais
Matemática para Computação
Cálculo para Processamento de Dados I
Álgebra Vetorial e Geometria Analítica
Coordenadora da Disciplina de Trabalho de Conclusão do Curso de Bacharelado em Ciência da Computação
Coordenadora da Disciplina de Trabalho de Conclusão do Curso de Informática - Habilitação Análise de Sistemas
2/2005 - 7/2005
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria da Computação
Matemática para Computação
Cálculo para Processamento de Dados I
Cálculo A
Coordenadora da disciplina de Trabalho de Conclusão do Curso de Bacharelado em Ciência da Computação
Coordenadora da disciplina Trabalho de Conclusão do Curso de Informática - Habilitação em Análise de Sistemas
2/2004 - 3/2005
Direção e administração, Centro de Ciências Exatas e Tecnológicas, Área de Conhecimento e Aplicação de Informática.

Cargo ou função
Coordenadora do Curso de Bacharelado em Ciência da Computação.
8/2004 - 12/2004
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Matemática para Computação
Linguagens Formais
2/2003 - 8/2004
Direção e administração, Centro de Ciências Exatas e Tecnológicas, Área de Conhecimento e Aplicação de Informática.

Cargo ou função
Coordenadora do Curso de Especialização em Desenvolvimento em Software Livre.
2/2004 - 7/2004
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Matemática para Computação
Teoria da Computação
8/2002 - 1/2004
Direção e administração, Centro de Ciências Exatas e Tecnológicas, Comissão de Coord. do Curso de Informática: Hab. Análise de Sistemas.

Cargo ou função
Coordenadora Adjunta do Curso de Informática - Hab.: Análise de Sistemas.
8/2003 - 12/2003
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens Formais
Métodos Numéricos
Matemática para Computação
4/2003 - 7/2003
Ensino, Desenvolvimento Em Software Livre, Nível: Especialização

Disciplinas ministradas
Programação de Sistemas e Aplicações 1
2/2003 - 7/2003
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria da Computação
Métodos Numéricos
8/2002 - 12/2002
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Matemática para Computação
Linguagens Formais
2/2002 - 7/2002
Ensino, Informática Habilitação Software Básico, Nível: Graduação

Disciplinas ministradas
Matemática para Computação
Álgebra Vetorial e Geometria Analítica
Teoria da Computação
Cálculo para Processamento de Dados I
08/2001 - 12/2001
Ensino, Informática Habilitação Software Básico, Nível: Graduação

Disciplinas ministradas
Matemática para Computação
02/2001 - 07/2001
Ensino, Informática Habilitação Software Básico, Nível: Graduação

Disciplinas ministradas
Matemática para Computação
Teoria da Computação

Faculdades Rio-Grandenses, FARGS, Brasil.
Vínculo institucional

2001 - 2002
Vínculo: Horista, Enquadramento Funcional: Professor Assistente, Carga horária: 8

Atividades

2/2002 - 8/2002
Ensino, Análise de Sistemas, Nível: Graduação

Disciplinas ministradas
Estatística
2/2002 - 8/2002
Ensino, Hotelaria, Nível: Graduação

Disciplinas ministradas
Estatística
8/2001 - 12/2001
Ensino, Hotelaria, Nível: Graduação

Disciplinas ministradas
Estatística
8/2001 - 12/2001
Ensino, Turismo, Nível: Graduação

Disciplinas ministradas
Estatística
02/2001 - 7/2001
Ensino, Turismo, Nível: Graduação

Disciplinas ministradas
Estatística

Universidade de Santa Cruz do Sul, UNISC, Brasil.
Vínculo institucional

2001 - 2001
Vínculo: Horista, Enquadramento Funcional: Professor Assistente, Carga horária: 4

Vínculo institucional

2000 - 2000
Vínculo: Horista, Enquadramento Funcional: Professor Assistente, Carga horária: 8

Atividades

8/2001 - 12/2001
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Lógica para Computação
3/2001 - 07/2001
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Lógica para Computação
8/2000 - 12/2000
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Lógica para Computação
8/2000 - 12/2000
Ensino, Licenciatura Em Computação, Nível: Graduação

Disciplinas ministradas
Teoria da Computação

Serviço Nacional de Aprendizagem Comercial, SENAC, Brasil.
Vínculo institucional

1998 - 1998
Vínculo: Professor Visitante, Enquadramento Funcional: Professor autônomo, Carga horária: 8

Atividades

10/1998 - 10/1998
Ensino,

Disciplinas ministradas
Matemática

Universidade Politécnica de Valencia, UPV, Espanha.
Vínculo institucional

1997 - 1997
Vínculo: Aluno Bolsista, Enquadramento Funcional: Estudante, Carga horária: 40

Atividades

01/1997 - 04/1997
Outras atividades técnico-científicas , Departamento de Matemática Aplicada, Departamento de Matemática Aplicada.

Atividade realizada
Bolsista do Programa Intercampus - Pesquisa e Monitoramento em Equações Diferenciais com Mathematica.

Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Vínculo institucional

1996 - 1996
Vínculo: Aluno Visitante, Enquadramento Funcional: Estagiária

Atividades

07/1996 - 07/1996
Estágios , Escola de Engenharia, Departamento de Engenharia Civil.

Estágio realizado
Observação do Funcionamento do Simulador de Tráfego, Medição de Grandezas que Intervém no Desempenho de Pavimentos e Monitoração de Variáveis Ambientais.

Universidade Católica de Pelotas, UCPEL, Brasil.
Vínculo institucional

1994 - 1998
Vínculo: Aluno, Enquadramento Funcional: Aluno, Carga horária: 20

Atividades

03/1998 - 07/1998
Outras atividades técnico-científicas , Centro de Ciências Exatas Tecnologia e Informática, Centro de Ciências Exatas Tecnologia e Informática.

Atividade realizada
Monitora da disciplina Cálculo Diferencial e Integral II.
04/1997 - 03/1998
Outras atividades técnico-científicas , Centro de Ciências Exatas Tecnologia e Informática, Centro de Ciências Exatas Tecnologia e Informática.

Atividade realizada
Bolsista de Iniciação Científica Fapergs.
03/1996 - 11/1997
Outras atividades técnico-científicas , Centro de Ciências Exatas Tecnologia e Informática, Centro de Ciências Exatas Tecnologia e Informática.

Atividade realizada
Monitora da disciplina Cálculo Vetorial.
08/1996 - 01/1997
Outras atividades técnico-científicas , Centro de Ciências Exatas Tecnologia e Informática, Centro de Ciências Exatas Tecnologia e Informática.

Atividade realizada
Orientadora de Aprendizagem no Projeto de Educação Supletiva a Distância - Telecurso 2000.
03/1996 - 11/1996
Outras atividades técnico-científicas , Centro de Ciências Exatas Tecnologia e Informática, Centro de Ciências Exatas Tecnologia e Informática.

Atividade realizada
Bolsista de Iniciação Científica UCPel.


Linhas de pesquisa


1.
Pensamento Computacional
2.
Métodos Formais


Projetos de pesquisa


2015 - Atual
Proposta Metodológica para a Introdução do Raciocínio Computacional no Ensino Fundamental
Descrição: Raciocínio Computacional (RC) é um método para solução de problemas que utiliza os fundamentos e técnicas da Ciência da Computação. De forma geral, habilidades comumente utilizadas na criação de programas computacionais para resolver problemas específicos são utilizadas como uma metodologia para resolver problemas nas mais diversas áreas. O projeto tem por objetivo geral criar uma rede educacional para consolidar o Raciocínio Computacional no âmbito do quarto e quinto ano do ensino fundamental. São objetivos específicos: introduzir alunos e professores do ensino fundamental ao processo de solução de problemas denominado Raciocínio Computacional; criar uma proposta metodológica para o desenvolvimento de habilidades e a promoção de atitudes essenciais do Raciocínio Computacional, incluindo a proposição de tutoriais, textos didáticos, atividades e materiais de apoio integrados ao conteúdo programático das disciplinas do quarto e quinto ano do ensino fundamental; despertar a vocação científica e incentivar talentos para a área de computação; disponibilizar todos os resultados obtidos para a comunidade escolar..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (1) / Doutorado: (2) .
Integrantes: Simone André da Costa Cavalheiro - Coordenador / Gerson Geraldo Homrich Cavalheiro - Integrante / Luciana Foss - Integrante / Marilton Sanchotene de Aguiar - Integrante / Renata Hax Sander Reiser - Integrante / André Rauber Du Bois - Integrante / Ana Marilza Pernas - Integrante / Clause Fátima de Brum Piana - Integrante.
2014 - Atual
Prova de Teoremas para Gramática de Grafos
Descrição: O projeto tem por objetivo geral explorar o uso da técnica de prova de teoremas para o formalismo gramática de grafos. Como objetivos específicos propõe-se definir formalmente a tradução de gramática de grafos para a linguagem de entrada de um provador de teoremas, codificar extensões deste formalismo considerando atributos e condições negativas de aplicação, investigar como a especificação de teorias, o uso do refinamento e a definição de táticas de prova podem ser utilizados para o estabelecimento de uma estratégia que possa ser aplicada para analisar sistemas (possivelmente com estados infinitos) especificados com gramática de grafos..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) .
Integrantes: Simone André da Costa Cavalheiro - Coordenador / Foss, Luciana - Integrante.
2014 - Atual
EXP-PC - Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental
Descrição: Este projeto de pesquisa está relacionado com o projeto de extensão de mesmo nome, o qual tem como objetivo o desenvolvimento de ações para promover o Pensamento Computacional em escolas do Ensino Fundamental do município de Pelotas. Pensamento computacional é um método para solução de problemas que utiliza como base os fundamentos e técnicas da ciência da computação. De forma geral, habilidades comumente utilizadas na criação de programas computacionais para resolver problemas específicos são utilizadas como uma metodologia para resolver problemas de forma geral. Este projeto busca o desenvolvimento de uma proposta metodológica e de um conjunto de ações para promover o pensamento computacional na Educação Fundamental. Particularmente, o projeto tem por objetivo geral criar uma rede educacional para consolidar o pensamento computacional no âmbito do quarto ano do ensino fundamental. Para o Brasil, a pesquisa na área deste projeto e certamente estratégica, pois permitir á que esta nova metodologia seja disseminada na Educação Fundamental do País, contribuindo diretamente com a formação e qualificação dos estudantes e demais profissionais (educadores, professores, gestores, servidores)..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (25) .
Integrantes: Simone André da Costa Cavalheiro - Coordenador / Luciana Foss - Integrante / Marilton Sanchotene de Aguiar - Integrante / Renata Hax Sander Reiser - Integrante / Clause de Brum Piana - Integrante / André Rauber Du Bois - Integrante / Ana Marilza Pernas - Integrante / Adriana Bordini - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa / Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro.
2014 - Atual
CompFlexD-GM: Computações Flexíveis via Computação Quântica com Suporte no Ambiente D-GM
Descrição: O Projeto CompFlexD-GM visa o desenvolvimento de novas tecnologias pela consolidação de aplicações em duas abordagens: (i) qualificar potenciais aplicações paralelas e/ou distribuídas no ambiente de programação visual VPE-qGM, considerando diferentes arquiteturas multiprocessadas para suporte à computações paralelas e/ou distribuídas no VirD-GM; (ii) viabilizar soluções para problemas da Lógica Fuzzy usufruindo das vantagens e potencialidades providas por ambientes de programação para simulação quântica..
Situação: Em andamento; Natureza: Pesquisa.
2012 - 2014
VeriTes - Núcleo de Validação, Verificação e Teste de Sistemas Computacionais

Projeto certificado pelo(a) coordenador(a) Leila Ribeiro em 11/03/2013.
Descrição: Tem-se observado uma carência na área de VV&T dentro da indústria de informática e eletroeletrônica não apenas no Rio Grande do Sul, mas no Brasil em geral. A falta de métodos e ferramentas de apoio a estas atividades agrava o problema, pois aumenta o tempo de treinamento de não especialistas e dificulta sobremaneira a introdução destas atividades em uma organização. Neste sentido, o núcleo √eriTeS tem como metas, além de avançar no desenvolvimento de técnicas de VV&T que possam ser usadas de forma integrada durante toda a vida do software (não apenas na fase de produção), propor soluções que auxiliem a indústria a otimizar o tempo da mão-de-obra existente e promover a formação continuada de recursos humanos nessa área de conhecimento..
Situação: Concluído; Natureza: Pesquisa.
2012 - 2014
TGV: Transformação de Grafos e Verificação

Projeto certificado pelo(a) coordenador(a) Leila Ribeiro em 06/05/2013.
Descrição: O objetivo do projeto TGV consiste na criação e concepção de diferentes lógicas e técnicas de prova dedicadas a expressar e realizar (semi-)automaticamente provas de propriedades de sistemas de transformações de grafos. A ênfase aqui está na integração destas técnicas dentro do contexto de desenvolvimento de sistemas computacionais complexos especificados como transformações de grafos..
Situação: Concluído; Natureza: Pesquisa.
2012 - Atual
Desenvolvimento Correto de Sistemas Computacionais
Situação: Em andamento; Natureza: Pesquisa.
2011 - 2014
ExPloreD-GM - Explorando o Paralelismo e a Distribuição do Modelo D-GM em Aplicações Científicas e Tecnologias Associadas
Descrição: O Projeto ExPloreD-GM visa qualificar a dinâmica de execução do ambiente D-GM para prover suporte ao desenvolvimento de aplicações científicas pela: (i)Estruturação de um modelo consistente de memória distribuída compartilhada viabilizando a análise de coerência de memória para o modelo D-GM, disponibilizando mecanismos para configuração dinâmica de processos e a alocação dinâmica de memória; (ii)Suporte à novos construtores do ambiente D-GM, possibilitando o não-determinismo de computações aleatórias, o controle do fluxo de dados e a modelagem de testes, incluindo a definição de macros recursivas e de estruturas de iteração; (iii)Estudo e desenvolvimento de políticas de escalonamento fundamentadas na Lógica Fuzzy Intervalar, visando melhoria de desempenho para tratamento da alocação de recursos em ambientes de computação em clusters e grades computacionais. Neste contexto, a consolidação da ferramenta computacional promove o desenvolvimento de aplicação para atualização e validação automática de auditorias na produção agrícola estocada em armazéns, pela aplicação de sistema de digitalização de dados e de metodologia paralelizável para cálculo do volume em superfícies não-uniformes, com aplicação de métodos numéricos..
Situação: Concluído; Natureza: Pesquisa.
2011 - 2013
Explorando a Técnica de Prova de Teoremas para o Formalismo Gramática de Grafos
Descrição: O projeto tem por objetivo geral explorar o uso da técnica de prova de teoremas para o formalismo de gramática de grafos. Como objetivos específicos propõe-se investigar como a teoria do refinamento e a definição de táticas de prova podem ser utilizadas para o estabelecimento de uma estratégia que possa ser aplicada para analisar sistemas (possivelmente com estados infinitos) especificados com gramática de grafos. As principais metas são: extensão da abordagem relacional de gramática de grafos, incluindo o uso da teoria do refinamento para a especificação e verificação de sistemas distribuídos; especificação dos tipos de propriedades que impactam nos modelos refinados; definição de padrões para a apresentação, codificação e reuso de propriedades; proposição de táticas e estratégias de prova para análise de propriedades..
Situação: Concluído; Natureza: Pesquisa.
2010 - 2014
NESS - Núcleo de Excelência em Engenharia de Software para Sistemas Embarcados
Descrição: Este projeto tem como principais objetivos: Integrar métodos formais e semi-formais no projeto de desenvolvimento de software embarcado de maneira consistente com padrões de desenvolvimento e certificação adotados pela indústria, específicos ao domínio de software para sistemas embarcados; Estabelecer uma metodologia de desenvolvimento e suporte à evolução de software embarcado que contemple a utilização de métodos formais ao longo de todo o processo; Utilizar as técnicas desenvolvidas neste projeto de pesquisa em estudos de caso específicos de sistemas embarcados...
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Simone André da Costa Cavalheiro - Integrante / Luciana Foss - Integrante / Flávio Rech Wagner - Coordenador / Lisane Brisolara de Brisolara - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro.
Número de produções C, T & A: 2 / Número de orientações: 2
2010 - 2014
Explorando o Formalismo de Gramática de Grafos na Especificação e Verificação Formal de Sistemas Distribuídos
Descrição: O principal objetivo deste projeto é o de explorar a linguagem de especificação formal Gramática de Grafos para a especificação e análise de sistemas distribuídos. Mais especificadamente, as principais metas deste trabalho serão divididas em três linhas descritas a seguir. Parte I: Fundamentação. O objetivo desta linha é de aplicar o formalismo de gramática de grafos para a descrição da dinâmica estrutural de sistemas multiagentes e para especificação de sistemas embarcados. Parte II: Técnicas. Esta linha visa explorar técnicas e propor soluções de forma a estabelecer estratégias que possam ser aplicadas sistematicamente a análise de sistemas especificados em gramática de grafos. Parte III: Aplicações. Nesta linha serão analisados e verificados exemplos concretos de sistemas especificados formalmente com gramática de grafos..
Situação: Concluído; Natureza: Pesquisa.
2009 - 2012
Descrição e Análise Formal de Transformações de Modelos
Descrição: Alto padrão de qualidade em software é normalmente alcançado através do uso de técnicas rigorosas para desenvolvimento e análise de software durante todas as fases do seu ciclo de vida. Essas técnicas requerem modelos abstratos das diferentes visões do sistema. Para garantir que os resultados da análise realizada no nível de especificação sejam válidos para o código gerado, os modelos do sistema devem ser consistentes. Neste cenário, o tratamento de mudanças é bastante complexo. Engenharia de Software Guiada por Modelos é uma abordagem que permite o reuso de modelos, adaptando-os a novas plataformas, níveis de abstração, etc. Como muitas linguagens de especificação são visuais, é natural considerar abordagens que permitam que transformações de modelos sejam transformações sobre grafos. A área de transformação de grafos oferece vários resultados para análise desse tipo de transformação e, portanto, parece adequada para servir de embasamento formal para transformações de modelos. Porém, grande parte das análises oferecidas nessas abordagens se baseia em propriedades de cada regra separadamente e a prova de preservação semântica garante que sua utilização em conjunto também preservará a semântica do modelo transformado. Para transformações simples, é possível que essa situação ocorra, mas uma transformação de modelos um pouco mais elaborada exigirá que o processo seja realizado em passos descritos por diferentes regras que serão aplicadas em sequência (e/ou concorrentemente) para completar a transformação. Provar correção ou outra propriedade desejada para este tipo de transformação é uma tarefa difícil, e a investigação de soluções para este problema é o foco deste projeto..
Situação: Concluído; Natureza: Pesquisa.
2007 - 2010
Especificação e Verificação Formal de Sistemas Distribuídos.
Descrição: Como objetivo geral propõe-se explorar o formalismo de Gramática de Grafos para a especificação e verificação formal de sistemas distribuídos. Destacam-se como objetivos específicos: especificar sistemas distribuídos através do formalismo gramática de grafos; verificar propriedades de sistemas distribuídos especificados no formalismo de gramáticas de grafos através do uso de verificadores de modelos;analisar a viabilidade de definir uma abordagem lógica para o formalismo de gramática de grafos; investigar o uso de provadores de teoremas para a prova de propriedades em sistemas especificados em gramáticas de grafos; contribuir com a área de Métodos Formais no curso de Ciência da Computação da UFPel..
Situação: Concluído; Natureza: Pesquisa.
2006 - 2010
Aiyra Uma linguagem para programação concorrente em arquiteturas paralelas
Descrição: O objetivo principal do projeto consiste em oferecer uma linguagem de programação à comunidade envolvida no desenvolvimento de aplicações para aglomerados de computadores. Este objetivo deve ser materializado na linguagem de programação concorrente denominada Aiyra. Esta linguagem deve permitir o desenvolvimento de programas concorrentes para aplicações que possuam natureza concorrente, em particular daquelas cuja estrutura de execução reflita o modelo de fluxo de dados. Através da adaptação do núcleo de execução de Anahy para suportar a execução de programas desta linguagem, também busca-se oferecer um ambiente de execução para o processamento de alto desempenho. Como resultado deste objetivo, espera-se a adoção desta linguagem de programação por grupos de pesquisas envolvidos com o desenvolvimento de aplicações científicas em aglomerados de computadores e o incremento do estado da arte do desenvolvimento de linguagens e ambientes de execução para aglomerados de computadores. A métrica deste resultado será a publicação de um artigo em conferência com temática centrada em linguagens de programação e pela submissão de um artigo a um periódico, ambos meios de divulgação qualificados internacionais enfocando a linguagem Aiyra e o conjunto de resultados objtidos. De forma pontual, o conjunto de resultados a serem atingidos são listados na seqüência. Modelagem e definição de uma linguagem para programação concorrente baseada no modelo de fluxo de dados. Implementação de protótipo para a linguagem Aiyra. Avaliação do protótipo. Extensão do núcleo executivo de Anahy para suportar as abstrações de Aiyra. Implementação de um pré-processador para a linguagem Aiyra. Desenvolvimento de aplicações com a linguagem Aiyra. Avaliação de desempenho do ambiente construído. Construção de ferramentas para compor o ambiente de desenvolvimento. Publicação de artigos científicos documentando resultados obtidos durante o desenvolvimento do projeto. Motivação de outras pesquisas relacionadas.
Situação: Concluído; Natureza: Pesquisa.
2004 - 2004
DMHolo: Distribuição e Mobilidade no Holoparadigma
Descrição: Atualmente, os estudos sobre mobilidade em sistemas distribuídos são impulsionados pela proliferação de dispositivos eletrônicos portáteis (celulares, notebooks, palmtops, etc). Este novo paradigma computacional distribuído e móvel é denominado computação móvel. O tema do projeto é o Holoparadigma (de forma resumida, Holo) um novo modelo multiparadigma orientado ao desenvolvimento de sistemas distribuídos. Os estudos relacionados com Holo envolvem os seguintes tópicos de pesquisa: multiparadigma, sistemas blackboard, redes de computadores, sistemas distribuídos e computação móvel. Uma nova linguagem baseada no modelo permite a criação de programas usando os conceitos propostos. A Hololinguagem suporta concorrência, mobilidade, blackboards hierárquicos e programação multiparadigma. Os programas são convertidos para Java usando uma ferramenta denominada HoloJava. Atualmente, o modelo e a linguagem estão prontos. Por outro lado, os dois principais objetivos do Holo ainda não foram alcançados, ou seja, a execução distribuída de programas e o suporte ao desenvolvimento de software para computação móvel. O projeto DMHolo (Distributed Mobile Holo) busca ambos os objetivos. Neste sentido, estão sendo propostos dois novos modelos: (1) o DHolo (Distributed Holo), um ambiente para execução distribuída de programas; (2) o MHolo (Mobile Holo), uma plataforma para programação de dispositivos móveis. A página do projeto é http://www.inf.unisinos.br/~holo.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Simone André da Costa Cavalheiro - Integrante / Jorge Luis Victória Barbosa - Coordenador / Cristiano André da Costa - Integrante / Gerson Geraldo Homrich Cavalheiro - Integrante / Luciano Paschoal Gaspary - Integrante / Fernando Cáprio da Costa Júnior - Integrante / Ana Paula Lüdke Ferreira - Integrante / Daniel Bonatto - Integrante / José Dirceu Gründler Ramos - Integrante / Guilherme Lazzari - Integrante.Financiador(es): Universidade do Vale do Rio dos Sinos - Auxílio financeiro / Hp Computadores - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2001 - 2004
TNAut: Traduzindo Nautilus, uma linguagem de programação concorrente antecipativa, para Java
Descrição: Nautilus é uma das primeiras linguagens de programação inspirada em Teoria das Categorias, que pode ser vista como uma generalização da álgebra de funções. Trata-se de uma versão simplificada e revisada da linguagem orientada a objetos Gnome, onde são introduzidas algumas facilidades adicionais, inspiradas no seu domínio semântico, como a reificação e agregação. A reificação é um mecanismo de abstração baseado em transações que consiste em implementar uma ação de alto nível em composições de ações de baixo nível. A agregação permite trabalhar com conjuntos de objetos relacionados, simplificando a programação. O projeto aqui descrito possui como finalidades, (i) explorar a facilidade de reificação da linguagem Nautilus como um mecanismo antecipativo; (ii) esboçar problemas antecipativos e propor soluções da linguagem; (iii) disponibilizar um tradutor TNAut para o núcleo representativo da linguagem; A metodologia a ser adotada será a caracterização, o estudo e a análise da linguagem Nautilus, explorando seu domínio semântico, para permitir uma comparação com diferentes sistemas antecipativos e possibilitar a proposta de soluções da linguagem, para que de fato Nautilus seja um mecanismo antecipativo. Além disso, será realizado o desenvolvimento da ferramenta TNAut que permitirá a conversão de programas em Nautilus para programas em Java.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Simone André da Costa Cavalheiro - Coordenador / Jorge Luis Victória Barbosa - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Bolsa / Universidade do Vale do Rio dos Sinos - Auxílio financeiro / Universidade Federal do Rio Grande do Sul - Cooperação.
Número de produções C, T & A: 5 / Número de orientações: 1


Projetos de extensão


2013 - Atual
EXP-PC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental
Descrição: A falta de profissionais bem formados e de mão de obra qualificada é uma realidade no Brasil. A globalização econômica e as inovações tecnológicas mudaram o perfil do profissional requerido pelos diversos setores da economia. Um trabalhador é cobrado por seu conhecimento, desempenho, colaboração, criatividade, pensamento crítico, responsabilidade e capacidade de solucionar problemas. Concomitante a esta realidade, surge o Pensamento Computacional como uma metodologia para resolver problemas capaz de desenvolver muitas das habilidades requeridas hoje pelo mercado de trabalho. Pensamento Computacional é um método para solução de problemas que utiliza como base os fundamentos e técnicas da ciência da computação. De forma geral, habilidades comumente utilizadas na criação de programas computacionais para resolver problemas específicos são utilizadas como uma metodologia para resolver problemas de forma geral. Empresas multinacionais apoiaram esta ideia e se empenharam na disseminação desta metodologia. Diante destas experiências e dos resultados científicos já atingidos neste ramo, este projeto propõe o desenvolvimento de ações para promover o Pensamento Computacional em escolas do Ensino Fundamental do município de Pelotas, como resposta a necessidade de preparar os estudantes de hoje para o mercado de trabalho atual e futuro..
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (25) / Mestrado acadêmico: (1) / Doutorado: (2) .
Integrantes: Simone André da Costa Cavalheiro - Coordenador / Luciana Foss - Integrante / Marilton Sanchotene de Aguiar - Integrante / Renata Hax Sander Reiser - Integrante / Clause de Brum Piana - Integrante / Gilsenira Rangel - Integrante / André Rauber Du Bois - Integrante / Leomar da Rosa Junior - Integrante / Ana Marilza Pernas - Integrante.Financiador(es): Ministério da Educação/ Secretaria de Ensino Superior - Auxílio financeiro.
Número de produções C, T & A: 63 / Número de orientações: 20


Outros Projetos


2016 - Atual
Aprendizagem na Formação do Pensamento Computacional
Descrição: Aprendizagem é um processo de mudança de comportamento obtido através da experiência construída por fatores emocionais, neurológicos, relacionais e ambientais. Aprender é o resultado da interação entre estruturas mentais e o meio ambiente. O professor, dentro desse contexto, pode ser o co-autor no processo de aprendizagem dos alunos. Instituições como a universidade e a escola, que contemplam propostas de formação de cidadãos sensíveis e criativos não podem mais desconsiderar a inserção das novas mídias digitais como ferramentas de robustez para o aditamento a uma prática escolar que contemporize uma aprendizagem de cooperação entre os seus envolvidos diretos (alunos, professores e funcionários da escola). Os clubes de programação constituem-se em estrutura de apoio na organização pedagógica e metodológica que permitirá o desenvolvimento do Pensamento Computacional junto aos estudantes. A ideia que ratifica o presente projeto de ensino é a preparação de conteúdos para o desenvolvimento de uma metodologia, que assegure uma estruturação de um curso em pensamento computacional, num ambiente virtual de aprendizagem para posteriormente desenvolver ações de extensão junto aos professores que realizaram o curso de extensão [PROMIDIAS] em 2014 e 2015, oferecido à rede pública municipal (Sec. Municipal de Educação - SMED). O PROMIDIAS é uma ação de extensão do grupo CoCTec (UFPel/CNPq) que teve como objetivo promover uma discussão e formar professor no uso de tecnologias na educação. A Universidade prima em promover formação integral e permanente do profissional e nesse sentido se compromete, principalmente a partir dos projetos de extensão com os valores culturais que atendem qualidade de vida da comunidade. Uma das responsabilidades da 'acadêmia' é a compreensão e troca de experiências com o meio social na participação efetiva e na atuação da universidade no seu meio social..
Situação: Em andamento; Natureza: Outra.
2015 - Atual
Projeto de Apoio à Aprendizagem e Combate a Desistência em Disciplinas dos Cursos de Ciência e Engenharia da Computação
Descrição: A execução deste projeto pretende apoiar o desenvolvimento das disciplinas de graduação dos Cursos de Ciência e Engenharia de Computação, buscando auxiliar nas atividades de ensino-aprendizado dentro e fora de sala de aula, uma vez que a participação dos bolsistas poderá se dar tanto no atendimento extraclasse aos alunos, quanto em aulas práticas em laboratório, no auxílio ao professor. Este auxílio é necessário em diversas disciplinas dos referidos cursos. Entretanto, percebe-se uma necessidade maior em disciplinas dos primeiros semestres, pois possuem elevada carga-horária teórica e prática, uma vez que é necessário formar nos alunos a base para o aprendizado de conceitos importantes a serem vistos nos semestres seguintes. Esta elevada carga de trabalho pode ser um dos motivos para os altos índices de evasão e reprovação nos primeiros semestres dos cursos. O que se pretende com as atividades de monitoria é reduzir estes índices, apoiando nas tarefas de ensino-aprendizado e prestando atendimento mais personalizado aos alunos no decorrer do semestre. Soma-se a esta elevada carga de trabalho o também elevado número de alunos matriculados nas disciplinas devido à reforma curricular dos cursos de graduação. Além disso, muitos alunos apresentam deficiências em vários conteúdos, principalmente de fundamentos de matemática que são trabalhados desde o ensino fundamental até o ensino médio. Justifica-se também o desenvolvimento deste projeto na alta quantidade de atividades práticas em laboratório, inerentes às disciplinas dos cursos de Ciência e Engenharia de Computação, as quais necessitam de atendimento extra aos alunos e auxílio aos professores para a solução de problemas propostos em sala de aula..
Situação: Em andamento; Natureza: Outra.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Métodos Formais.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Computabilidade e Modelos de Computação.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.
5.
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.
6.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.


Idiomas


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


Prêmios e títulos


2016
Menção Honrosa do XXVII Simpósio Brasileiro de Informática na Educação (SBIE) - Trilha 1, Sociedade Brasileira de Computação.
2015
Segundo Melhor Artigo do WEIT 2015 - Categoria Graduação, Universidade Federal do Rio Grande do Sul.
2013
Melhor Artigo do WEIT 2013 (de um total de 5 premiados), Universidade Federal do Rio Grande.
2012
Primeria Colocação Geral na X Jornada de Pós-Graduação e Pesquisa, Pesquisa e Extensão (CONGREGA 2012), URCAMP - Bagé.
2011
Melhor Artigo do WEIT 2011 (de um total de 3 premiados), Universidade Federal de Pelotas.
2011
Melhor Artigo do WEIT 2011 (de um total de 3 premiados), Universidade Federal de Pelotas.
2010
Professora Homenageada da Turma de Formandos em Ciência da Computação 2010/2, UFPEL.
2007
Segundo melhor artigo no XX Simpósio Brasileiro de Engenharia de Software, Sociedade Brasileira de Computação.
1998
Diploma Dom Antônio Zattera - Primeiro Lugar Curso Engenharia Civil - turma 1998/2, Universidade Católica de Pelotas.
1997
Menção Honrosa - Primeiro Lugar no Curso de Matemática - Licenciatura Plena, turma 1997/2, Universidade Federal de Pelotas.


Produções



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

1.
CAVALHEIRO, Simone André da Costa2017 CAVALHEIRO, Simone André da Costa; Foss, Luciana ; RIBEIRO, Leila . Theorem proving graph grammars with attributes and negative application conditions. THEORETICAL COMPUTER SCIENCE, v. 686, p. 25-77, 2017.

2.
BORDINI, A.2016BORDINI, A. ; AVILA, C. ; WEISSHAHN, Y. ; CUNHA, M. M. ; CAVALHEIRO, S. A. C. ; FOSS, L. ; AGUIAR, M. S. ; REISER, R. H. S. . Computação na Educação Básica no Brasil: o Estado da Arte. Revista de Informática Teórica e Aplicada: RITA, v. 23, p. 1-29, 2016.

3.
REISER, RENATA2016REISER, RENATA ; ZANOTELLI, ROSANA ; COSTA, Simone ; Foss, Luciana ; BEDREGAL, BENJAMIN . Robustness of f- and g-generated Fuzzy (Co)Implications: The Yager's (Co)Implication Case Study. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 324, p. 151-164, 2016.

4.
BERTEI, ALEX2016BERTEI, ALEX ; Foss, Luciana ; DA COSTA CAVALHEIRO, SIMONE A. . Translating Controlled Graph Grammars to Ordinary Graph Grammars. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 324, p. 15-30, 2016.

5.
LEMOS Junior, L. C.2015LEMOS Junior, L. C. ; CAVALHEIRO, S. A. C. ; FOSS, L. . Proof Tactics for Theorem Proving Graph Grammars through Rodin. Revista de Informática Teórica e Aplicada: RITA, v. 22, p. 190-241, 2015.

6.
FOSS, L.2013FOSS, L. ; CAVALHEIRO, Simone André da Costa ; Bisi, N. ; Pazzini, Vinicius ; BRISOLARA, L. B. ; WAGNER, F.R. . From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis papers. Revista de Informática Teórica e Aplicada: RITA, v. 20, p. 102-139, 2013.

7.
CAVALHEIRO, Simone André da Costa2013CAVALHEIRO, Simone André da Costa; FOSS, L. ; CAMARGO, C. A. S. ; CAVALHEIRO, G. G. H. . A Graph Grammar to Transform a Dataflow Graph into a Multithread Graph and its Application in Task Scheduling. Revista de Informática Teórica e Aplicada: RITA, v. 20, p. 140-179, 2013.

8.
CAMARGO, CÍCERO A. S.2013CAMARGO, CÍCERO A. S. ; CAVALHEIRO, GERSON G. H. ; PILLA, MAURÍCIO L. ; COSTA, Simone A. ; Foss, Luciana . Aproximating static list schedules in dynamic multithreaded applications. Cluster Computing, v. 16, p. 1-14, 2013.

9.
da Costa, Simone André2012 da Costa, Simone André ; RIBEIRO, Leila . Verification of graph grammars using a logical approach. Science of Computer Programming (Print), v. 77, p. 480-504, 2012.

10.
RIBEIRO, Leila2010RIBEIRO, Leila ; Dotti, F. ; da Costa, Simone André ; DILLENBURG, F. C. . Towards Theorem Proving Graph Grammars using Event-B. Electronic Communications of the EASST, v. 30, p. 1-16, 2010.

11.
MICHELON, Leonardo2007MICHELON, Leonardo ; COSTA, Simone André da ; RIBEIRO, Leila . Formal Specification and Verificaiton of Real-Time Systems using Graph Grammars. Journal of the Brazilian Computer Society (Impresso), v. 13, p. 51-68, 2007.

12.
COSTA, Simone André da;da COSTA, Simone André;CAVALHEIRO, Simone André da Costa;da Costa, Simone André;Cavalheiro, Simone Andre da Costa;Cavalheiro, S.A.D.C.;Cavalheiro, S. A. C.;COSTA, Simone A.;CAVALHEIRO, SIMONE;CAVALHEIRO, S. A. C.;COSTA, S.;COSTA, Simone;ANDRE DA COSTA CAVALHEIRO, SIMONE;DA COSTA CAVALHEIRO, SIMONE A.2002COSTA, Simone André da; MACHADO, J. P. ; MENEZES, Paulo Fernando Blauth . Composicionalidade de Primitivas - Uma Abordagem Categorial.. Revista de Informática Teórica e Aplicada, Porto Alegre, v. 9, n.1, p. 67-80, 2002.

Livros publicados/organizados ou edições
1.
CAVALHEIRO, S. A. C.; FIADEIRO, J. (Org.) . Formal Methods: Foundations and Applications. 1. ed. Cham, Switzerland: Springer, 2017. v. 1. 308p .

2.
VIZZOTTO, J. (Org.) ; LIBRELOTTO, G. R. (Org.) ; PIVETA, E. K. (Org.) ; CAVALHEIRO, S. A. C. (Org.) ; FOSS, L. (Org.) ; DUARTE, L. M. (Org.) ; HOLBIG, C. A. (Org.) . ANAIS DO WEIT 2017. 4. ed. Santa Maria: UFSM, 2017. 326p .

3.
Cavalheiro, S. A. C.; MUSICANTE, M. A. (Org.) ; RIBEIRO, Leila (Org.) ; MEDEIROS, M. V. (Org.) . Escola de Informática Teórica e Métodos Formais - Anais. 1. ed. Porto Alegre: Sociedade Brasileira de Computação, 2016. 182p .

4.
RIBEIRO, Leila (Org.) ; DUARTE, L. M. (Org.) ; MACHADO, R. (Org.) ; CAVALHEIRO, S. A. C. (Org.) ; FOSS, L. (Org.) ; VIZZOTTO, J. (Org.) ; SANTOS, O. M. (Org.) . ANAIS DO WEIT 2015. 3. ed. , 2015. v. 1. 274p .

5.
AGUIAR, M. S. (Org.) ; BARBOSA, R. M. (Org.) ; Cavalheiro, S. A. C. (Org.) ; DIMURO, G. P. (Org.) ; DUARTE, L. M. (Org.) ; FOSS, L. (Org.) ; GONCALVES, E. M. N. (Org.) ; RIBEIRO, Leila (Org.) . Anais do WEIT 2013. 2. ed. Rio Grande: Ed. da Universidade Federal do Rio Grande, 2013. 194p .

6.
DIMURO, G. P. (Org.) ; GONCALVES, E. (Org.) ; RIBEIRO, Leila (Org.) ; FOSS, L. (Org.) ; DUARTE, L. M. (Org.) ; AGUIAR, M. S. (Org.) ; BARBOSA, R. M. (Org.) ; CAVALHEIRO, S. A. C. (Org.) . 2nd Workshop-School on Theoretical Computer Science (WEIT 2013). 1. ed. Los Alamitos: EEE Computer Society. Conference Publishing Services (CPS),, 2013. v. 1. 176p .

7.
CAVALHEIRO, Simone André da Costa; FOSS, L. (Org.) ; AGUIAR, M. S. (Org.) ; COSTA, A. C. R. (Org.) ; DIMURO, G. P. (Org.) . Post-Proceedings of the Workshop-School in Theoretical Computer Science. Los Alamitos: IEEE Computer Society. Conference Publishing Services (CPS)., 2011. v. 1. 163p .

8.
DIMURO, G. P. (Org.) ; FOSS, L. (Org.) ; AGUIAR, M. S. (Org.) ; CAVALHEIRO, Simone André da Costa (Org.) ; COSTA, A. C. R. (Org.) . Anais do WEIT 2011. 1. ed. Pelotas: Editora Universitária - UFPEL, 2011. v. 1. 265p .

9.
CAVALHEIRO, Simone André da Costa; MATIAS Jr., R. (Org.) . XII Workshop de Software Livre. Pelotas: Editora Universitária - UFPEL, 2011. v. 1.

10.
COSTA, Simone André da. Desenvolvimento em Software Livre. 1. ed. São Leopoldo: Editora Unisinos, 2004. v. 1. 278p .

Capítulos de livros publicados
1.
FOSS, L. ; COSTA, Simone André da ; LORETO, A. B. ; RIBEIRO, Leila . Especificação de Sistemas Baseados em Objetos com Gramática de Grafos. In: J. Mattos; L. Rosa Jr.; M. Pilla. (Org.). Desafios e Avanços em Computação: o estado da arte. 1ed.Pelotas: Editora e Gráfica Universitária, 2009, v. 1, p. 11-28.

2.
CAVALHEIRO, G. G. H. ; COSTA, Simone André da . Programação de Sistemas e Aplicações. In: Simone André da Costa. (Org.). Desenvolvimento em Software Livre. 1ed.São Leopoldo: Editora Unisinos, 2004, v. 1, p. 57-116.

Textos em jornais de notícias/revistas
1.
ADAMATTI, D. F. ; DIMURO, G. P. ; COSTA, Simone André da . Latin American Women in Computing 2009. SBC HORIZONTES, p. 14 - 15, 30 nov. 2009.

Trabalhos completos publicados em anais de congressos
1.
AVILA, CHRISTIANO ; CAVALHEIRO, SIMONE ; BORDINI, ADRIANA ; MARQUES, MONICA . O Pensamento Computacional por meio da Robótica no Ensino Básico - Uma Revisão Sistemática. In: XXVIII Simpósio Brasileiro de Informática na Educação SBIE (Brazilian Symposium on Computers in Education), 2017, Recife, 2017. p. 82-91.

2.
AVILA, CHRISTIANO ; CAVALHEIRO, SIMONE ; BORDINI, ADRIANA ; MARQUES, MONICA ; CARDOSO, MAICON ; FEIJO, GUSTAVO . Metodologias de Avaliação do Pensamento Computacional: uma revisão sistemática. In: XXVIII Simpósio Brasileiro de Informática na Educação SBIE (Brazilian Symposium on Computers in Education), 2017, Recife, 2017. p. 113-122.

3.
BORDINI, ADRIANA ; AVILA, CHRISTIANO ; MARQUES, MONICA ; Foss, Luciana ; CAVALHEIRO, SIMONE . Pensamento Computacional nos Ensinos Fundamental e Médio: uma revisão sistemática. In: XXVIII Simpósio Brasileiro de Informática na Educação SBIE (Brazilian Symposium on Computers in Education), 2017, Recife, 2017. p. 123-132.

4.
MARQUES, MONICA ; CAVALHEIRO, SIMONE ; Foss, Luciana ; AVILA, CHRISTIANO ; BORDINI, ADRIANA . Uma Proposta para o Desenvolvimento do Pensamento Computacional Integrado ao Ensino de Matemática. In: XXVIII Simpósio Brasileiro de Informática na Educação SBIE (Brazilian Symposium on Computers in Education), 2017, Recife, 2017. p. 314-323.

5.
JUNIOR, BRAZ ; CAVALHEIRO, SIMONE ; Foss, Luciana . A Última Árvore: exercitando o Pensamento Computacional por meio de um jogo educacional baseado em Gramática de Grafos. In: XXVIII Simpósio Brasileiro de Informática na Educação SBIE (Brazilian Symposium on Computers in Education), 2017, Recife. org.crossref.xschema._1.Title@60d417ae, 2017. p. 735-744.

6.
AVILA, CHRISTIANO ; SPEROTTO, ROSARIA ; DEBACCO, MARIA ; XAVIER, REGINA TRILHO OTERO ; ALKIMIM, MARCO ; RODEGHIERO, CAROLINA ; CAVALHEIRO, SIMONE ; CABALLERO, FRANCO . Programação e robótica na escola: aplicação de roteiros e instrumentos avaliativos em um projeto piloto. In: XXIII Workshop de Informática na Escola, 2017, Recife, 2017. p. 588-597.

7.
AVILA, CHRISTIANO ; CAVALHEIRO, SIMONE . Robótica Educacional como Estratégia de Promoção do Pensamento Computacional - Uma Proposta de Metodologia Baseada em Taxonomias de Aprendizagem. In: VI Congresso Brasileiro de Informática na Educação, 2017, Recife, 2017. p. 1192-1201.

8.
CUNHA, M. M. ; BORDINI, A. ; CAVALHEIRO, S. A. C. ; FOSS, L. . A integração da matemática e do pensamento computacional na educação. In: IV WORKSHOP-ESCOLA DE INFORMÁTICA TEÓRICA (WEIT 2017), 2017, Santa Maria. ANAIS DO WEIT 2017, 2017. p. 89-96.

9.
MARTIN, S. S. ; CAVALHEIRO, S. A. C. ; FOSS, L. ; AGUIAR, M. S. ; REISER, R. H. S. . Desenvolvendo o raciocínio lógico utilizando quadrinhos: uma proposta de atividade para o terceiro ano do ensino fundamental via pensamento computacional. In: IV WORKSHOP-ESCOLA DE INFORMÁTICA TEÓRICA (WEIT 2017), 2017, Santa Maria. ANAIS DO WEIT 2017, 2017. p. 120-127.

10.
SILVA JUNIOR, B. A. ; FOSS, L. ; CAVALHEIRO, S. A. C. . 'A Última Árvore: O Povo da Cidade', utilizando a condição negativa de aplicação em um jogo educacional. In: IV WORKSHOP-ESCOLA DE INFORMÁTICA TEÓRICA (WEIT 2017), 2017, Santa Maria. ANAIS DO WEIT 2017, 2017. p. 144-151.

11.
WEISSHAHN, Y. R. ; ACOSTA, R. B. ; CAVALHEIRO, S. A. C. ; PIANA, C. B. ; DU BOIS, A. R. ; MAZZINI, A. R. ; FOSS, L. ; REISER, R. H. S. . Desenvolvendo o pensamento computacional com a plataforma LEGO no terceiro ano do ensino fundamental: proposta de atividade e relato de aplicação. In: IV WORKSHOP-ESCOLA DE INFORMÁTICA TEÓRICA (WEIT 2017), 2017, Santa Maria. ANAIS DO WEIT 2017, 2017. p. 152-159.

12.
NACHTIGALL, J. ; CAVALHEIRO, S. A. C. ; FOSS, L. ; REISER, R. H. S. ; DU BOIS, A. R. ; AGUIAR, M. S. . Proposta de atividade para o sexto ano do ensino fundamental: ordenação. In: IV WORKSHOP-ESCOLA DE INFORMÁTICA TEÓRICA (WEIT 2017), 2017, Santa Maria. ANAIS DO WEIT 2017, 2017. p. 181-187.

13.
AVILA, C. ; BASTOS, N. ; REISER, R. ; CAVALHEIRO, S. A. C. ; ZATT, B. . Aplicação da lógica fuzzy no ensino e aprendizagem: uma revisão sistemática. In: IV WORKSHOP-ESCOLA DE INFORMÁTICA TEÓRICA (WEIT 2017), 2017, Santa Maria. ANAIS DO WEIT 2017, 2017. p. 188-195.

14.
BERTEI, A. ; FOSS, L. ; CAVALHEIRO, S. A. C. ; REISER, R. H. S. . Estudo sobre as abordagens para gramática de grafos fuzzy. In: IV WORKSHOP-ESCOLA DE INFORMÁTICA TEÓRICA (WEIT 2017), 2017, Santa Maria. ANAIS DO WEIT 2017, 2017. p. 219-226.

15.
ARAUJO, N. O. ; FOSS, L. ; CAVALHEIRO, S. A. C. . Tradução automatizada de gramática de grafos para Event-B. In: IV WORKSHOP-ESCOLA DE INFORMÁTICA TEÓRICA (WEIT 2017), 2017, Santa Maria. ANAIS DO WEIT 2017, 2017. p. 271-277.

16.
SILVA, W. ; LEMOS, E. ; SEIBERT, V. ; CAVALHEIRO, S. A. C. . Proposta de artefatos para o ensino de lógica para crianças. In: IV WORKSHOP-ESCOLA DE INFORMÁTICA TEÓRICA (WEIT 2017), 2017, Santa Maria. ANAIS DO WEIT 2017, 2017. p. 302-309.

17.
CAVALHEIRO, Simone André da Costa; PERNAS, A. M. ; AGUIAR, M. S. ; FOSS, L. ; DU BOIS, A. R. ; REISER, R. H. S. ; PIANA, C. B. ; WEISSHAHN, Y. R. . Information organization via computational thinking: case study in a primary school classroom. In: 24º WEI - Workshop sobre Educação em Computação, 2016, Porto Alegre. Anais CSBC 2016. XXXVI Congresso da Sociedade Brasileira de Computação, 2016. p. 2176-2195.

18.
SILVA JUNIOR, B. A. ; Cavalheiro, Simone Andre da Costa ; FOSS, L. . A Gramática de Grafos como uma alternativa para o desenvolvimento do Pensamento Computacional na Educação Básica. In: I Encontro de Teoria da Computação, 2016, Porto Alegre. Anais CSBC 2016. XXXVI Congresso da Sociedade Brasileira de Computação, 2016. p. 792-795.

19.
WEISSHAHN, Y. ; PINHO, G. C. ; CAVALHEIRO, S. A. C. ; PIANA, C. F. B. ; DU BOIS, A. R. ; AGUIAR, M. S. ; FOSS, L. ; REISER, R. H. S. . Representação e Análise de Dados no Quinto Ano do Ensino Fundamental: Proposta de Atividade e Relato de Aplicação. In: XXII Workshop de Informática na Escola, 2016, Uberlândia. Anais do XXII Workshop de Informática na Escola (WIE 2016), 2016. p. 201-210.

20.
PINHO, G. C. ; WEISSHAHN, Y. ; Cavalheiro, S. A. C. ; REISER, R. H. S. ; PIANA, C. F. B. ; FOSS, L. ; AGUIAR, M. S. ; DU BOIS, A. R. . Pensamento Computacional no Ensino Fundamental: Relato de Atividade de Introdução a Algoritmos. In: XXII Workshop de Informática na Escola, 2016, Uberlândia. Anais do XXII Workshop de Informática na Escola (WIE 2016), 2016. p. 261-270.

21.
BORDINI, A. ; AVILA, C. ; CUNHA, M. M. ; Cavalheiro, S. A. C. ; FOSS, L. . Desdobramentos do Pensamento Computacional no Brasil. In: V Congresso Brasileiro de Informática na Educação, 2016, Uberlândia. Anais do XXVII Simpósio Brasileiro de Informática na Educação (SBIE 2016), 2016. p. 200-209.

22.
PINHO, G. C. ; WEISSHAHN, Y. R. ; Cavalheiro, S. A. C. ; CAVALHEIRO, G. G. H. ; PIANA, C. F. B. . Proposta de Jogo Digital para Dispositivos Móveis: Desenvolvendo Habilidades do Pensamento Computacional. In: XXVII Simpósio Brasileiro de Informática na Educação, 2016, Uberlândia. Anais do XXVII Simpósio Brasileiro de Informática na Educação (SBIE 2016), 2016. p. 100-109.

23.
COSTA, A. ; CAVALHEIRO, S. A. C. ; FOSS, L. ; RIBEIRO, Leila . From UML Diagrams to Simulink Models: A Precise and Verified Translation.. In: The 30th Annual ACM Symposium on Applied Computing, 2015, Salamanca. ACM Symposium on Applied Computing, 2015. p. 1547-1552.

24.
WEISSHAHN, Y. ; DUARTE, A. I. R. ; CAVALHEIRO, S. A. C. ; FOSS, L. ; AGUIAR, M. S. ; DU BOIS, A. R. ; PERNAS, A. M. ; REISER, R. H. S. ; PIANA, C. F. B. . Pensamento Computacional no Brasil: O Estado da Arte. In: III Workshop-Escola de Informática Teórica, 2015, Porto Alegre. Anais do WEIT 2015, 2015. p. 174-181.

25.
SANTOS, G. ; FINKENAUER JUNIOR, P. ; ARNHOLD, B. ; CAVALHEIRO, S. A. C. ; PIANA, C. F. B. ; FOSS, L. ; AGUIAR, M. S. ; PERNAS, A. M. ; DU BOIS, A. R. ; REISER, R. H. S. . Relato sobre o ensino de algoritmos a estudantes do quinto ano do ensino público fundamental. In: III Workshop-Escola de Informática Teórica, 2015, Porto Alegre. Anais do WEIT 2015, 2015. p. 206-213.

26.
SANTOS, G. ; SILVA, W. ; CAVALHEIRO, S. A. C. ; Foss, Luciana ; AGUIAR, M. S. ; PERNAS, A. M. ; DU BOIS, A. R. ; REISER, R. H. S. . Proposta de atividade para o quinto ano do ensino fundamental: Algoritmos Desplugados. In: XXI Workshop de Informática na Escola (WIE), 2015, Maceió. Anais do WIE 2015, 2015. p. 1-10.

27.
ZANOTELLI, R. ; REISER, R. ; COSTA, S. ; FOSS, L. ; BEDREGAL, B. . Towards robustness and duality analysis of intuitionistic fuzzy aggregations. In: 2015 IEEE International Conference on Fuzzy Systems (FUZZIEEE), 2015, Istanbul. 2015 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2015. p. 1-8.

28.
DARLEY, N. T. ; FOSS, L. ; CAVALHEIRO, S. A. C. . Desenvolvimento de uma Teoria sobre Gramática de Grafos para a Plataforma Rodin. In: III Workshop-Escola de Informática Teórica, 2015, Porto Alegre. Anais do WEIT 2015, 2015. v. 1. p. 99-105.

29.
CARDOSO, W. ; FOSS, L. ; REISER, R. H. S. ; CAVALHEIRO, S. A. C. . Estudo de Gramática de Grafos Fuzzy. In: III Workshop-Escola de Informática Teórica, 2015, Porto Alegre. Anais do WEIT 2015, 2015. v. 1. p. 114-121.

30.
BERTEI, A. ; FOSS, L. ; CAVALHEIRO, S. A. C. . Integrando estruturas de controle na abordagem relacional de Gramática de Grafos. In: III Workshop-Escola de Informática Teórica, 2015, Porto Alegre. Anais do WEIT 2015, 2015. v. 1. p. 158-165.

31.
BENITEZ, IBERO ; ZANOTELLI, ROSANA ; REISER, RENATA ; COSTA, Simone ; Foss, Luciana ; YAMIN, ADENAUER . Aggregating fuzzy implications based on OWA-operators. In: 2014 IEEE International Conference on Fuzzy Systems (FUZZIEEE), 2014, Beijing. 2014 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). p. 163-170.

32.
ZANOTELLI, R. M. ; LEMKE, A. ; REISER, RENATA HAX SANDER ; Cavalheiro, S. A. C. ; FOSS, L. . Towards an Atanassov-intuitionistic extension of G-implication operators. In: Congresso Brasileiro de Sistemas Fuzzy, 2014, Natal. Anais do CBSF 2014, 2014. p. 1-10.

33.
ZANOTELLI, ROSANA MEDINA ; REISER, RENATA HAX SANDER ; ANDRE DA COSTA CAVALHEIRO, SIMONE ; Foss, Luciana ; BEDREGAL, BENJAMIN RENE CALLEJAS . Robustness on the fuzzy f-Xor Class: Implication, bi-implications and dual constructions. In: 2014 XL Latin American Computing Conference (CLEI), 2014, Montevideo. 2014 XL Latin American Computing Conference (CLEI). p. 1-8.

34.
CAMPOS, G. M. ; CAVALHEIRO, S. A. C. ; FOSS, L. ; PERNAS, A. M. ; PIANA, C. F. B. ; AGUIAR, M. S. ; DU BOIS, A. R. ; REISER, R. H. S. . Organização de Informações via Pensamento Computacional: Relato de Atividade Aplicada no Ensino Fundamental. In: XX Workshop de Informática na Escola (WIE 2014), 2014, Dourados. Anais do XIX Workshop de Informática na Escola (WIE 2014). Porto Alegre: Sociedade Brasileira de Computação, 2014. p. 1-10.

35.
Cavalheiro, S. A. C.; CAMPOS, G. M. ; FINKENAUER JUNIOR, P. ; LAGEMANN, R. D. ; ANDRADE, D. ; PERNAS, A. M. ; DU BOIS, A. R. ; PIANA, C. F. B. ; FOSS, L. ; AGUIAR, M. S. ; REISER, R. H. S. . Desenvolvendo Habilidades do Pensamento Computacional no Quarto Ano do Ensino Fundamental. In: 32 Seminário de Extensão Universitária da Região Sul, 2014, Curitiba. ANAIS SEURS, 2014. p. 1-6.

36.
MELLO, A. M. ; FOSS, L. ; CAVALHEIRO, Simone André da Costa . Using Graph Grammars to specify populational level of Multi-Agent System Organizations.. In: Workshop-Escola de Informática Teórica, 2013, Rio Grande. Pré-Proceedings do II Workshop-Escola de Informática Teórica - ANAIS. Rio Grande: Editora da Universidade Federal do Rio Grande, 2013. p. 174-181.

37.
CARVALHO, T. ; ANDRADE, D. ; SILVEIRA, J. ; CAVALHEIRO, Simone André da Costa ; AGUIAR, M. S. ; FOSS, L. ; REISER, R. H. S. ; PERNAS, A. M. . Uma discussão introdutória sobre os desafios e as necessidades à implementação do Pensamento Computacional no ensino fundamental e médio no Brasil. In: Workshop-Escola de Informática Teórica, 2013, Rio Grande. Pre-Proceedings do II Workshop-Escola de Informática Teórica - ANAIS. Rio Grande: Editora da Universidade Federal do Rio Grande, 2013. p. 154-161.

38.
LEMOS Junior, L. C. ; CAVALHEIRO, Simone André da Costa ; FOSS, L. . Towards the use of Proof Tactics for Theorem Proving Graph Grammars through Rodin. In: Workshop-Escola de Informática Teórica, 2013, Rio Grande. Pre-Proceedings do II Workshop-Escola de Informática Teórica - ANAIS. Rio Grande: Editora da Universidade Federal do Rio Grande, 2013. p. 146-153.

39.
ZANOTELLI, R. M. ; REISER, R. H. S. ; CAVALHEIRO, Simone André da Costa ; FOSS, L. . Fuzzy f-Xor Class and dual Constructions. In: Workshop-Escola de Informática Teórica. In: Workshop-Escola de Informática Teórica, 2013, Rio Grande. Pre-Proceedings do II Workshop-Escola de Informática Teórica - ANAIS. Rio Grande: Editora da Universidade Federal do Rio Grande, 2013. p. 42-49.

40.
COSTA, A. ; PAZZINI, V. S. ; FOSS, L. ; CAVALHEIRO, Simone André da Costa ; BRISOLARA, L. B. ; WAGNER, F.R. . Automatic Translation from UML to Simulink CAAM. In: Workshop-Escola de Informática Teórica, 2013, Rio Grande. Pre-Proceedings do II Workshop-Escola de Informática Teórica - ANAIS. Rio Grande: Editora da Universidade Federal do Rio Grande, 2013. p. 26-33.

41.
MELLO, A. M. ; FOSS, L. ; Cavalheiro, S. A. C. . Towards the use of Graph Grammars for specification of Multi-Agent System Organizations. In: XVI Simpósio Brasileiro de Métodos Formais, 2013, Brasília. Congresso Brasileiro de Softwaere: Teoria e Prática - Anais SBMF 2013 - Short Papers, 2013. v. 1. p. 42-47.

42.
LEMOS Junior, L. C. ; Cavalheiro, S. A. C. ; FOSS, L. . Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations. In: Simpósio Brasileiro de Métodos Formais, 2013, Brasília. Formal Methods: Foundations and Applications. Berlin: Springer, 2013. v. 8195. p. 147-162.

43.
CARVALHO, TAINA ; ANDRADE, DAIANE ; SILVEIRA, JAYNE ; AULER, VICTOR ; CAVALHEIRO, SIMONE ; AGUIAR, MARILTON ; Foss, Luciana ; PERNAS, ANA ; REISER, RENATA . Discussing the Challenges Related to Deployment of Computational Thinking in Brazilian Basic Education. In: 2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT), 2013, Rio Grande. 2013 2nd Workshop-School on Theoretical Computer Science. p. 111-115.

44.
ZANOTELLI, ROSANA MEDINA ; REISER, RENATA HAX SANDER ; Cavalheiro, Simone Andre da Costa ; Foss, Luciana . Sensitivity and Dual Constructions on the Fuzzy f-Xor Class. In: 2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT), 2013, Rio Grande. 2013 2nd Workshop-School on Theoretical Computer Science. p. 105-110.

45.
COSTA, ANDREI ; Pazzini, Vinicius ; Foss, Luciana ; Cavalheiro, Simone Andre da Costa ; BRISOLARA, LISANE BRISOLARA DE ; WAGNER, FLAVIO R. . Automatic Translation from UML to Simulink CAAM Using Graph Grammars. In: 2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT), 2013, Rio Grande. 2013 2nd Workshop-School on Theoretical Computer Science. p. 59-66.

46.
JUNIOR, LUIZ CARLOS LEMOS ; Cavalheiro, Simone Andre da Costa ; Foss, Luciana . Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin. In: 2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT), 2013, Rio Grande. 2013 2nd Workshop-School on Theoretical Computer Science, 2013. p. 51-58.

47.
Mello, Andre Moura de ; Foss, Luciana ; Cavalheiro, Simone Andre da Costa . Graph Grammar Specification for the Populational Level of Multi-agent System Organizations. In: 2013 2nd WorkshopSchool on Theoretical Computer Science (WEIT), 2013, Rio Grande. 2013 2nd Workshop-School on Theoretical Computer Science, 2013. p. 97.

48.
ANDRADE, DAIANE ; CARVALHO, TAINÃ ; SILVEIRA, JAYNE ; CAVALHEIRO, SIMONE ; Foss, Luciana ; FLEISCHMANN, ANA MARILZA ; AGUIAR, MARILTON ; REISER, RENATA . Proposta de Atividades para o Desenvolvimento do Pensamento Computacional no Ensino Fundamental. In: XIX Workshop de Informática na Escola, 2013.

49.
CAVALHEIRO, Simone André da Costa; FOSS, L. ; RIBEIRO, Leila . Specification Patterns for Properties over Reachable States of Graph Grammars. In: Simpósio Brasileiro de Métodos Formais, 2012, Natal. Lecture Notes in Computer Science, 2012. v. 7498. p. 83-98.

50.
CAMARGO, C. A. S. ; CAVALHEIRO, G. G. H. ; PILLA, M. L. ; CAVALHEIRO, Simone André da Costa ; FOSS, L. . Applying List Scheduling Algorithms In A Multithreaded Execution Environment. In: Latin American Symposium on High Performance Computing, 2012, Buenos Aires. Proceedings of the V HPCLatam, 2012. p. 1-15.

51.
LEMOS Junior, L. C. ; CAVALHEIRO, Simone André da Costa ; Foss, Luciana . Prova de Teoremas para Gramática de Grafos: Obrigações e Táticas de Prova no Uso do Rodin. In: X Jornada de Pós-Graduação e Pesquisa (CONGREGA 2012), 2012, Bagé. Anais Congrega URCAMP 2012, 2012. p. 1-10.

52.
MELLO, A. M. ; FOSS, L. ; CAVALHEIRO, Simone André da Costa . Gramática de Grafos para Modelagem de Sistemas Multi-Agentes baseados no PopOrg. In: X Jornada de Pós-Graduação e Pesquisa (CONGREGA 2012), 2012, Bagé. Anais Congrega URCAMP 2012, 2012. p. 1-11.

53.
Bisi, N. ; PAZZINI, V. S. ; FOSS, L. ; CAVALHEIRO, Simone André da Costa ; BRISOLARA, L. B. . Utilizando Gramática de Grafos para o Desenvolvimento de Sistemas Embarcados Baseado em Modelos UML.. In: Workshop-Escola de Informática Teórica., 2011, Pelotas. Anais do WEIT 2011. Pelotas: Editora Universitária - UFPEL, 2011. v. 1. p. 242-253.

54.
CAMARGO, C. A. S. ; CAVALHEIRO, G. G. H. ; FOSS, L. ; CAVALHEIRO, Simone André da Costa . Uma Gramática para a Transformação de DAGs em Grafos Descrevendo Programas Multithreaded.. In: Workshop-Escola de Informática Teórica., 2011, Pelotas. Anais do WEIT 2011. Pelotas: Editora Universitária - UFPEL, 2011. v. 1. p. 164-176.

55.
FOSS, L. ; CAVALHEIRO, Simone André da Costa ; Bisi, N. ; BRISOLARA, L. B. ; WAGNER, F.R. . From UML to SIMULINK: a Graph Grammar Specification.. In: Simpósio Brasileiro de Métodos Formais, 2011, São Paulo. Proc. of the 14th Brazilian Symposium on Formal Methods - SBMF 2011 short papers.. São Carlos: ICMC/USP, 2011. v. 1. p. 37-42.

56.
Camargo, Cicero Augusto de S. ; Cavalheiro, Gerson Geraldo H. ; Foss, Luciana ; Cavalheiro, Simone Andre da Costa . A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded Programs. In: 2011 WorkshopSchool on Theoretical Computer Science (WEIT), 2011, Pelotas. 2011 Workshop-School on Theoretical Computer Science, 2011. p. 95-101.

57.
Mello, Andre Moura de ; Lemos Junior, Luiz Carlos ; Foss, Luciana ; Cavalheiro, Simone Andre da Costa . Graph Grammars: A Comparison between Verification Methods. In: 2011 WorkshopSchool on Theoretical Computer Science (WEIT), 2011, Pelotas. 2011 Workshop-School on Theoretical Computer Science, 2011. p. 88-94.

58.
Bisi, Nicolas N. ; Pazzini, Vinicius ; Foss, Luciana ; Cavalheiro, Simone Andre da Costa ; Brisolara, Lisane B. de ; Wagner, Fl´vio Rech . Using Graph Grammars to Develop Embedded Systems Based on UML Models. In: 2011 WorkshopSchool on Theoretical Computer Science (WEIT), 2011, Pelotas. 2011 Workshop-School on Theoretical Computer Science, 2011. p. 81-87.

59.
Cavalheiro, Simone Andre da Costa; Costa, Antonio Carlos da Rocha ; Dimuro, Gracaliz Pereira . Towards Developmental Turing Machines. In: 2011 WorkshopSchool on Theoretical Computer Science (WEIT), 2011, Pelotas. 2011 Workshop-School on Theoretical Computer Science, 2011. p. 156-162.

60.
RIBEIRO, Leila ; Dotti, F. ; COSTA, Simone André da ; DILLENBURG, F. C. . Towards Theorem Proving Graph Grammars. In: International Colloquium on Graph and Model Transformation (GraMoT) 2010, 2010, Berlim. Relatório Técnico da Universidade Técnica de Berlim - FB IV, 2010. v. 2010-1. p. 122-135.

61.
COSTA, Simone André da ; RIBEIRO, Leila ; Dotti, F. ; COSTA, A. C. R. . Using Attributed Graph Grammars to Verify Properties of a Mobile Internet Protocol. In: CLEI 2009, 2009. Proceedings of the CLEI 2009, 2009.

62.
COSTA, Simone André da ; RIBEIRO, Leila . Formal Verification of Graph Grammars using Mathematical Induction. In: Brazilian Symposium on Formal Methods, 2009, Salvador. Electronic Notes in Theoretical Computer Science, 2009. v. 240. p. 43-60.

63.
MICHELON, Leonardo ; COSTA, Simone André da ; RIBEIRO, Leila . Specification of Real-Time Systems with Graph Grammars. In: Simpósio Brasileiro de Engenharia de Software, 2006, Florianópolis. Anais do XX Simpósio Brasileiro de Engenharia de Software, 2006.

64.
FUZITAKI, C. N. ; MENEZES, P. B. ; MACHADO, J. P. ; COSTA, Simone André da . Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems. In: EUROCAST'2003: Ninth International Conference on Computer Aided Systems Theory and Technology, 2003, Las Palmas de Gran Canaria. Lecture Notes in Computer Science: Computer Aided Systems Theory EUROCAST 2003. Berlim: Springer-Verlag, 2003. v. 2809. p. 243-252.

65.
MENEZES, Paulo Fernando Blauth ; MACHADO, J. P. ; COSTA, Simone André da . Explicit and Implicit Nondeterministic Refinement for Concurrent, Interacting Systems. In: PDPTA'2002: International Conference on Parallel and Distributed Processing Techniques and Applications, 2002, Las Vegas. Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications. Las Vegas: CSREA, 2002. v. 1.

66.
D'ANDREA, F. ; COSTA, Simone André da ; MENEZES, Paulo Fernando Blauth ; FUZITAKI, C. ; MACHADO, J. P. . Nautilus, a Diagrammatic Specification and Programming Language.. In: PDCS'2002: 14th International Conference on Parallel and Distributed Computing and Systems, 2002, Cambridge. Proceedings of the 14th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS'2002). Anaheim: ACTA Press, 2002. v. 1. p. 386-391.

67.
MACHADO, J. P. ; NOTARE, M. R. ; COSTA, Simone André da ; DIVERIO, T. A. ; MENEZES, Paulo Fernando Blauth . Hyper-Automaton System Applied to Geometry Demonstration Enviorment. In: EUROCAST'2001: 8th International Conference on Computer Aided Systems Theory and Technology, 2001, Las Palmas de Gran Canaria. Lecture Notes in Computer Science: Computer Aided Systems Theory - EUROCAST 2001. Berlin: Springer-Verlag, 2001. v. 2178. p. 457-468.

68.
MENEZES, Paulo Fernando Blauth ; COSTA, Simone André da ; MACHADO, J. P. ; RAMOS, J. . Nautilus: A Concurrent Anticipatory Programming Language. In: CASYS'2001: 5th International Conference on Computing Anticipatory Systems, 2001, Liège. AIP Conference Proceedings. Melville: American Institute of Physics, 2001. v. 627. p. 553-564.

Resumos expandidos publicados em anais de congressos
1.
SILVA JUNIOR, B. A. ; FOSS, L. ; CAVALHEIRO, S. A. C. . 'A Última Árvore: A Chegada da Fazenda?, aplicando Gramática de Grafos com Atributos ao desenvolvimento do Pensamento Computacional. In: 3 SIIEPE - Semana Integrada UFPEL 2017, 2017, Pelotas. CIC - Anais 2017, 2017. p. 1-4.

2.
ARAUJO, N. O. ; CAVALHEIRO, S. A. C. ; FOSS, L. . Tradutor Automático de Gramática de Grafos para Event-B. In: 3 SIIEPE - Semana Integrada UFPEL 2017, 2017, Pelotas. CIC - Anais 2017, 2017. p. 1-4.

3.
RAUPP, R. ; Cavalheiro, S. A. C. ; FOSS, L. ; REISER, R. H. S. . Pensamento Computacional: Ensinando Algoritmos para o 6º Ano do Ensino Fundamental. In: 3 SIIEPE - Semana Integrada UFPEL 2017, 2017, Pelotas. CIC - Anais 2017, 2017. p. 1-4.

4.
MARTIN, S. S. ; FOSS, L. ; CAVALHEIRO, S. A. C. ; REISER, R. H. S. . SoccerCraft: uma proposta de atividade para aprendizado de algoritmos para o sexto ano do ensino fundamental via Pensamento Computacional. In: 3 SIIEPE - Semana Integrada UFPEL 2017, 2017, Pelotas. CIC - Anais 2017, 2017. p. 1-4.

5.
NACHTIGALL, J. ; FOSS, L. ; REISER, R. H. S. ; DU BOIS, A. R. ; AGUIAR, M. S. ; MAZZINI, A. R. ; PIANA, C. F. B. ; CAVALHEIRO, S. A. C. . PROPOSTA DE ATIVIDADE PARA O SEXTO ANO DO ENSINO FUNDAMENTAL: ORDENAÇÃO. In: 3 SIIEPE - Semana Integrada UFPEL 2017, 2017, Pelotas. Anais CEC 2017, 2017. p. 1-3.

6.
SILVA JUNIOR, B. A. ; FOSS, L. ; CAVALHEIRO, S. A. C. . GGGame, um jogo educacional baseado em Gramática de Grafos para o desenvolvimento do Pensamento Computacional. In: XXV Congresso de Iniciação Científica, 2016, Pelotas. Anais 2016 - XXV Congresso de Iniciação Científica, 2016. p. 1-4.

7.
ARAUJO, N. O. ; Cavalheiro, S. A. C. ; FOSS, L. . Tradução Automática de Gramática de Grafos para Event-B. In: XXV Congresso de Iniciação Científica (CIC), 2016, Pelotas. Anais 2016 - XXV Congresso de Iniciação Científica, 2016. p. 1-4.

8.
WEISSHAHN, Y. ; CUNHA, M. M. ; BORDINI, A. ; AVILA, C. ; CAVALHEIRO, S. A. C. ; AGUIAR, M. S. . COMPUTAÇÃO NA EDUCAÇÃO BÁSICA NO BRASIL: O ESTADO DA ARTE. In: XXV Congresso de Iniciação Científica (CIC), 2016, Pelotas. Anais 2016 - XXV Congresso de Iniciação Científica, 2016. p. 1-4.

9.
PINHO, G. C. ; CAVALHEIRO, G. G. H. ; PIANA, C. F. B. ; CAVALHEIRO, S. A. C. . PENSAMENTO COMPUTACIONAL: RELATO DE APLICAÇÃO DE ATIVIDADE UTILIZANDO DISPOSITIVOS TECNOLÓGICOS. In: XXV Congresso de Iniciação Científica (CIC), 2016, Pelotas. Anais 2016 - XXV Congresso de Iniciação Científica, 2016. p. 1-4.

10.
ACOSTA, R. B. ; MARCHESAN JUNIOR, J. ; CUNHA, M. M. ; AGUIAR, M. S. ; CAVALHEIRO, S. A. C. ; FOSS, L. . DESENVOLVENDO O PENSAMENTO COMPUTACIONAL ATRAVÉS DA PLATAFORMA LEGO. In: XXV Congresso de Iniciação Científica (CIC), 2016, Pelotas. Anais 2016 - XXV Congresso de Iniciação Científica, 2016. p. 1-4.

11.
PINHO, G. C. ; REISER, R. H. S. ; PIANA, C. F. B. ; DU BOIS, A. R. ; CAVALHEIRO, S. A. C. . PENSAMENTO COMPUTACIONAL NO ENSINO FUNDAMENTAL: RELATO DE ATIVIDADE DE INTRODUÇÃO A ALGORITMOS. In: III Congresso de Extensão e Cultura, 2016, Pelotas. ANAIS DO III CONGRESSO DE EXTENSÃO E CULTURA DA UFPEL, 2016. p. 197-200.

12.
MARCHESAN JUNIOR, J. ; ACOSTA, R. B. ; Cavalheiro, S. A. C. ; XAVIER, R. T. O. ; BORDINI, A. ; AVILA, C. . ROBÓTICA COM ARDUINO: PROPOSTA DE TRABALHO. In: III Congresso de Extensão e Cultura (CEC 2016), 2016, Pelotas. ANAIS DO III CONGRESSO DE EXTENSÃO E CULTURA DA UFPEL, 2016. p. 236-239.

13.
HALMENSCHLEGER, P. ; WEISSHAHN, Y. ; DU BOIS, A. R. ; MAZZINI, A. R. ; Cavalheiro, S. A. C. ; PIANA, C. F. B. . PENSAMENTO COMPUTACIONAL NO QUINTO ANO DO ENSINO FUNDAMENTAL: PROPOSTA E APLICAÇÃO DE ATIVIDADES. In: III Congresso de Extensão e Cultura, 2016, Pelotas. ANAIS DO III CONGRESSO DE EXTENSÃO E CULTURA DA UFPEL, 2016. p. 374-377.

14.
WEISSHAHN, Y. ; HALMENSCHLEGER, P. ; FOSS, L. ; REISER, R. H. S. ; PIANA, C. F. B. ; Cavalheiro, S. A. C. . TRATAMENTO DE INFORMAÇÃO NO QUINTO ANO DO ENSINO FUNDAMENTAL. In: III Congresso de Extensão e Cultura, 2016, Pelotas. ANAIS DO III CONGRESSO DE EXTENSÃO E CULTURA DA UFPEL, 2016. p. 470-473.

15.
PINHO, G. C. ; CAVALHEIRO, S. A. C. ; SILVA, W. ; FOSS, L. ; PERNAS, A. M. ; MAZZINI, A. R. . Expandindo o Pensamento Computacional em Turmas de Quarto Ano do Ensino Fundamental: relato da atividade Números Binários. In: Congresso de Extensão e Cultura (CEC 2015), 2015, Pelotas. Anais do II Congresso de Extensão e Cultura da UFPel, 2015. v. III. p. 107-110.

16.
SANTOS, G. ; ARNHOLD, B. ; AGUIAR, M. S. ; PIANA, C. B. ; CAVALHEIRO, S. A. C. ; DU BOIS, A. R. . Relato sobre o Ensino de Algoritmos no Contexto do Pensamento Computacional para Estudantes do Quinto Ano do Ensino Fundamental. In: Congresso de Extensão e Cultura (CEC 2015), 2015, Pelotas. Anais do II Congresso de Extensão e Cultura da UFPel, 2015. v. III. p. 161-164.

17.
FINKENAUER JUNIOR, P. ; CAVALHEIRO, S. A. C. ; PIANA, C. B. ; MAZZINI, A. R. ; DU BOIS, A. R. ; REISER, R. H. S. . Desenvolvendo o Pensamento Computacional via Algoritmos de Ordenação: relato de atividade no Ensino Fundamental. In: Congresso de Extensão e Cultura (CEC 2015), 2015, Pelotas. Anais do II Congresso de Extensão e Cultura da UFPel, 2015. v. III. p. 179-182.

18.
DUARTE, A. I. R. ; CAVALHEIRO, S. A. C. ; REISER, R. H. S. ; AGUIAR, M. S. ; WEISSHAHN, Y. ; PIANA, C. B. . Relato da Atividade ?Colorindo Com Números? nas Escolas de Ensino Fundamental de Pelotas. In: Congresso de Extensão e Cultura (CEC 2015), 2015, Pelotas. Anais do II Congresso de Extensão e Cultura da UFPel, 2015. v. III. p. 215-218.

19.
WEISSHAHN, Y. ; REISER, R. H. S. ; MAZZINI, A. R. ; DU BOIS, A. R. ; DUARTE, A. I. R. ; CAVALHEIRO, S. A. C. . Pensamento Computacional no Brasil: O Estado da Arte. In: XXIV Congresso de Iniciação Científica da Universidade Federal de Pelotas, 2015, Pelotas. Anais 2015., 2015. p. 1-4.

20.
SILVA, W. ; CAVALHEIRO, S. A. C. ; FINKENAUER JUNIOR, P. ; PERNAS, A. M. ; PIANA, C. B. ; FOSS, L. . Desenvolvendo as Habilidaddes de Coleta, Análise e Representação de Dados no Ensino Fundamental. In: XXIV Congresso de Iniciação Científica da Universidade Federal de Pelotas, 2015, Pelotas. Anais 2015., 2015. p. 1-4.

21.
ARNHOLD, B. ; PINHO, G. C. ; SANTOS, G. ; FOSS, L. ; CAVALHEIRO, S. A. C. ; AGUIAR, M. S. . Explorando o Pensamento Computacional através do Ensino de Algoritmos para Alunos do Ensino Fundamental. In: XXIV Congresso de Iniciação Científica da Universidade Federal de Pelotas, 2015, Pelotas. Anais 2015., 2015. p. 1-4.

22.
SILVA JUNIOR, B. A. ; FOSS, L. ; Cavalheiro, S. A. C. . A Gramática de Grafos como Alternativa para o Desenvolvimento do Pensamento Computacional na Educação Básica. In: XXIV Congresso de Iniciação Científica da Universidade Federal de Pelotas, 2015, Pelotas. Anais 2015, 2015. p. 1-4.

23.
DARLEY, N. T. ; FOSS, L. ; Cavalheiro, S. A. C. . Desenvolvimento de uma Teoria de Gramática de Grafos para a plataforma Rodin. In: XXIV Congresso de Iniciação Científica da Universidade Federal de Pelota, 2015, Pelotas. Anais 2015, 2015. p. 1-4.

24.
GALHO, T. R. ; Cavalheiro, S. A. C. ; FOSS, L. . Implementação do Algoritmo para a Construção do Sistema Abstrato Associado a Um Sistema de Transformação de Grafos Transacional com Relação de Dependência. In: XXIV Congresso de Iniciação Científica da Universidade Federal de Pelotas, 2015, Pelotas. Anais 2015, 2015. p. 1-4.

25.
ZANOTELLI, R. M. ; REISER, R. H. S. ; Cavalheiro, S. A. C. ; FOSS, L. . Sensitivity of fuzzy f-Xor implications. In: XXXV Congresso Nacional de Matemática Aplicada e Computacional, 2014, Natal. Anais do CNMAC 2014, 2014. p. 1-2.

26.
FINKENAUER JUNIOR, P. ; ANDRADE, D. ; FOSS, L. ; CAVALHEIRO, S. A. C. ; REISER, R. H. S. . Introdução de Algoritmos de Busca em Turmas do Ensino Fundamental. In: XXIII Congresso de Iniciação Científica da Universidade Federal de Pelotas, 2014, Pelotas. Anais CIC 2014, 2014. p. 1-4.

27.
ROCKE, D. S. ; DETONI, D. ; CAMPOS, G. M. ; PERNAS, A. M. ; Cavalheiro, S. A. C. ; DU BOIS, A. R. . Desenvolvendo o Pensamento Computacional em Turmas de Quarto Ano do Ensino Fundamental: Roteamento e Bolqueio de Redes. In: XXIII Congresso de Iniciação Científica da Universidade Federal de Pelotas, 2014, Pelotas. Anais CIC 2014, 2014. p. 1-3.

28.
FINKENAUER JUNIOR, P. ; REISER, R. H. S. ; PERNAS, A. M. ; PIANA, C. B. ; Cavalheiro, S. A. C. . Análise, Classificação e Organização de Dados Via Pensamento Computacional: Relato de Atiivdade no Ensino Fundamental. In: Congresso de Extensão e Cultura, 2014, Pelotas. Anais CEC 2014, 2014. p. 1-5.

29.
LAGEMANN, R. D. ; CARVALHO, T. ; FOSS, L. ; AGUIAR, M. S. ; CAVALHEIRO, S. A. C. . Desenvolvendo o Pensamento Computacional em Escolas de Ensino Fundamental: Relato de Atividade sobre Representação de Imagens. In: Congresso de Extensão e Cultura, 2014, Pelotas. Anais CEC 2014, 2014. p. 1-5.

30.
CAMPOS, G. M. ; FINKENAUER JUNIOR, P. ; ANDRADE, D. ; PERNAS, A. M. ; Cavalheiro, S. A. C. . Desenvolvendo Habilidades do Pensamento Computacional no Quarto Ano do Ensino Fundamental. In: Congresso de Extensão e Cultura, 2014, Pelotas. Anais CEC 2014, 2014. p. 1-5.

31.
LAGEMANN, R. D. ; ANDRADE, D. ; AGUIAR, M. S. ; FINKENAUER JUNIOR, P. ; CARVALHO, T. ; Cavalheiro, S. A. C. . Desenvolvendo o Pensamento Computacional em Turmas de Quarto Ano do Ensino Fundamental: Atividade Colorindo com Números. In: XXIII Congresso de Iniciação Científica da Universidade Federal de Pelotas, 2014, Pelotas. Anais CIC 2014, 2014. p. 1-4.

32.
COSTA, Simone André da; MACHADO, J. P. ; MENEZES, Paulo Fernando Blauth . Teoria das Categorias: Experiência e Proposta de Ensino. In: SBIE'99: X Simpósio Brasileiro de Informática na Educação, 1999, Curitiba. Anais do X Simpósio Brasileiro de Informática na Educação. Curitiba: UFPR, 1999. p. 389-391.

Resumos publicados em anais de congressos
1.
LEMOS Junior, L. C. ; FOSS, L. ; Cavalheiro, S. A. C. . Gramática de Grafos em Event-B: Estratégias para Demonstrar Propriedades Utilizando Prova de Teoremas. In: XV Encontro de Pós-Graduação UFPEL (XV ENPOS), 2013, Pelotas. XV Encontro de Pós-Graduação UFPEL. p. 1-4.

2.
ZANOTELLI, R. M. ; FOSS, L. ; Cavalheiro, S. A. C. ; REISER, R. H. S. . Investigações na Classe de Conectivos Fuzzy f-Xor: Dualidade, Robustez e Implicações. In: XV Encontro de Pós-Graduação UFPEL (XV ENPOS), 2013, Pelotas. XV Encontro de Pós-Graduação UFPEL, 2013. p. 1-5.

3.
ANDRADE, D. ; CARVALHO, T. ; AULER, V. A. ; AGUIAR, M. S. ; FOSS, L. ; Cavalheiro, S. A. C. . Desenvolvendo o Pensamento Computacional no Ensino Fundamental. In: XXII Congresso de Iniciação Científica da Universidade Federal de Pelotas (XXII CIC 2013 - UFPEL), 2013, Pelotas. XXII Congresso de Iniciação Científica da Universidade Federal de Pelotas - Anais 2013, 2013. p. 1-4.

4.
RUTZ, S. D. ; FINKENAUER JUNIOR, P. ; FOSS, L. ; Cavalheiro, S. A. C. . Proposta de Padrões de Propriedades e Táticas de Prova para Sistemas Especificados em Gramática de Grafos na Plataforma Rodin. In: XXII Congresso de Iniciação Científica da Universidade Federal de Pelotas (XXII CIC 2013 - UFPEL), 2013, Pelotas. XXII Congresso de Iniciação Científica da Universidade Federal de Pelotas - Anais 2013, 2013. p. 1-3.

5.
CARVALHO, T. ; ANDRADE, D. ; AULER, V. A. ; AGUIAR, M. S. ; FOSS, L. ; Cavalheiro, S. A. C. . Discussão sobre os Desafios Relacionados à Implantação do Pensamento Computacional no Ensino Brasileiro. In: XXII Congresso de Iniciação Científica da Universidade Federal de Pelotas (XXII CIC 2013 - UFPEL), 2013, Pelotas. XXII Congresso de Iniciação Científica da Universidade Federal de Pelotas - Anais 2013, 2013. p. 1-4.

6.
COSTA, A. ; PAZZINI, V. S. ; Cavalheiro, S. A. C. ; BRISOLARA, L. B. ; WAGNER, F.R. ; Foss, Luciana . Transformação Automática de Diagramas UML para Modelos Simulink. In: XXII Congresso de Iniciação Científica da Universidade Federal de Pelotas (XXII CIC 2013 - UFPEL), 2013, Pelotas. XXII Congresso de Iniciação Científica da Universidade Federal de Pelotas - Anais 2013, 2013. p. 1-4.

7.
ESPINDULA, E. C. ; CRUZ, T. M. ; Cavalheiro, S. A. C. ; FOSS, L. . Ferramenta para Extração de Transações de Sistemas de Transformação de Grafos Transacionais. In: XXII Congresso de Iniciação Científica da Universidade Federal de Pelotas (XXII CIC 2013 - UFPEL), 2013, Pelotas. XXII Congresso de Iniciação Científica da Universidade Federal de Pelotas - Anais 2013, 2013. p. 1-4.

8.
MELLO, A. M. ; Foss, Luciana ; CAVALHEIRO, Simone André da Costa . Gramática de Grafos para Modelagem de Sistemas Multi-Agentes baseados no PopOrg. In: III Seminário de Pesquisa em Computação da UFPel (SPC2012), 2012, Pelotas. III Seminário de Pesquisa em Computação da UFPel (SPC2012), 2012.

9.
COSTA, A. ; CAVALHEIRO, Simone André da Costa ; FOSS, L. . Automatização da Transformação de sistemas UML para modelos Simulink. In: III Seminário de Pesquisa em Computação da UFPel (SPC2012), 2012, Pelotas. III Seminário de Pesquisa em Computação da UFPel (SPC2012), 2012.

10.
LEMOS Junior, L. C. ; CAVALHEIRO, Simone André da Costa ; FOSS, L. . Prova de Teoremas Para Gramática de Grafos: Estratégias para Demonstração de Obrigações de Prova. In: III Seminário de Pesquisa em Computação da UFPel (SPC2012), 2012, Pelotas. III Seminário de Pesquisa em Computação da UFPel (SPC2012), 2012.

11.
PAZZINI, V. S. ; Bisi, N. ; CAVALHEIRO, Simone André da Costa ; FOSS, L. ; BRISOLARA, L. B. . Tradução Formal de Diagramas UML para Modelos SIMULINK. In: XX Congresso de Iniciação Científica (XX CIC - UFPEL), 2011, Pelotas. XX Congresso de Iniciação Científica (XX CIC - UFPEL), 2011.

12.
LEMOS Junior, L. C. ; MELLO, A. M. ; FOSS, L. ; CAVALHEIRO, Simone André da Costa . Gramática de Grafos: Um comparativo de métodos de verificação. In: Encontro de Pós-Graduação UFPEL (ENPOS 2011), 2011, Pelotas. XIII Encontro de Pós-Graduação UFPEL (ENPOS 2011), 2011.

13.
MELLO, A. M. ; FOSS, L. ; CAVALHEIRO, Simone André da Costa . Modelo PopOrg: Uma proposta de Especificação em Gramática de Grafos. In: II Seminário de Pesquisa em Computação da UFPel (SPC2011), 2011, Pelotas. II Seminário de Pesquisa em Computação da UFPel (SPC2011), 2011.

14.
LEMOS Junior, L. C. ; CAVALHEIRO, Simone André da Costa ; FOSS, L. . Provador de Teoremas para Gramática de Grafos: Um estudo nas árvores de prova e proposta de táticas. In: II Seminário de Pesquisa em Computação da UFPel (SPC2011), 2011, Pelotas. II Seminário de Pesquisa em Computação da UFPel (SPC2011), 2011.

15.
Pazzini, Vinicius ; Bisi, N. ; CAVALHEIRO, Simone André da Costa ; FOSS, L. . Tradução Formal de Sistemas UML para Simulink. In: II Seminário de Pesquisa em Computação da UFPel (SPC2011), 2011, Pelotas. II Seminário de Pesquisa em Computação da UFPel (SPC2011), 2011.

16.
COSTA, Simone André da; COSTA, A. C. R. . Espaços Coerentes do Ponto de Vista de Topos. In: Semana Acadêmica do Programa de Pós-Graduação em Computação, 2000, Porto Alegre. V Semana Acadêmica do Programa de Pós-Graduação em Computação. Porto Alegre, 2000. p. 151-154.

17.
COSTA, Simone André da; COSTA, A. C. R. ; DIMURO, G. P. . Utilizando o Maple na Matemática Intervalar. In: Congresso Nacional de Matemática Aplicada e Computacional, 1998, Caxambu. XXI Congresso Nacional de Matemática Aplicada e Computacional, 1998. p. 213-213.

18.
RODRIGUES JR, J. N. ; COSTA, Simone André da . Influência da Temperatura de Cura na Atividade Pozolânica da Cinza de Casca de Arroz. In: XIII Congresso Regional de Iniciação Científica e Tecnológica em Engenharia, 1997, Porto Alegre. XIII Congresso Regional de Iniciação Científica e Tecnológica (CRICTE 97), 1997.

19.
COSTA, Simone André da; RODRIGUES JR, J. N. . Influência da Cimentação na Microestrutura de um Solo Residual Compactado. In: XIII Congresso Regional de Iniciação Científica e Tecnológica (CRICTE 97), 1997, Porto Alegre. XIII Congresso Regional de Iniciação Científica e Tecnológica (CRICTE 97), 1997.

20.
COSTA, Simone André da; AVILA, C. ; RODRIGUES JR, J. N. ; CONRADO, M. . Secor - Sistema Eletrônico para Cálculo de Orçamentos. In: VIII Salão de Iniciação Científica, 1996, Porto Alegre. VIII Salão de Iniciação Científica - V Feira de Iniciação Científica, 1996. v. 1. p. 103-103.

Outras produções bibliográficas
1.
COSTA, Simone André da . Relational approach of graph grammars. Porto Alegre: PPGC, UFRGS, 2010 (Tese de Doutorado).

2.
COSTA, Simone André da ; RIBEIRO, Leila ; COSTA, A. C. R. . Relational and logical approach to graph grammars. Porto Alegre: PPGC, UFRGS, 2009 (Research Report, 359).

3.
COSTA, Simone André da; COSTA, A. C. R. . Um Estudo dos Espaços Coerentes do Ponto de Vista da Teoria dos Topos. Porto Alegre: UFRGS, 2001 (Dissertação de Mestrado).

4.
COSTA, Simone André da; COSTA, A. C. R. . Uma Introdução à Teoria dos Topos. Porto Alegre: UFRGS, 1999 (Monografia - T.I. 949).


Demais tipos de produção técnica
1.
CAVALHEIRO, S. A. C.; MAZZINI, A. R. ; DU BOIS, A. R. ; PIANA, C. B. ; FOSS, L. ; REISER, R. H. S. . PC no Sexto Ano do Ensino Fundamental - EMEF Ferreira Vianna. 2017. (Curso de curta duração ministrado/Extensão).

2.
CAVALHEIRO, S. A. C.; FOSS, L. . PC no Nono Ano do Ensino Fundamental - EMEF Dona Mariana Eufrásia. 2017. (Curso de curta duração ministrado/Extensão).

3.
CAVALHEIRO, S. A. C.; MAZZINI, A. R. ; DU BOIS, A. R. ; PIANA, C. B. ; FOSS, L. ; REISER, R. H. S. ; AGUIAR, M. S. . PC no Terceiro Ano do Ensino Fundamental - EMEF Ferreira Viana. 2016. (Curso de curta duração ministrado/Extensão).

4.
Cavalheiro, S. A. C.; DU BOIS, A. R. ; PIANA, C. F. B. ; MAZZINI, A. R. ; FOSS, L. ; AGUIAR, M. S. ; REISER, R. H. S. . PC no Quinto Ano do Ensino Fundamental (manhã) - EMEF Ferreira Viana. 2015. (Curso de curta duração ministrado/Extensão).

5.
CAVALHEIRO, S. A. C.; DU BOIS, A. R. ; MAZZINI, A. R. ; PIANA, C. B. ; FOSS, L. ; AGUIAR, M. S. ; REISER, R. H. S. . PC no Quinto Ano do Ensino Fundamental (tarde) - EMEF Ferreira Viana. 2015. (Curso de curta duração ministrado/Extensão).

6.
Cavalheiro, S. A. C.; MAZZINI, A. R. ; DU BOIS, A. R. ; PIANA, C. F. B. ; FOSS, L. ; AGUIAR, M. S. ; REISER, R. H. S. . PC no Quinto Ano do Ensino Fundamental - Pelotense. 2015. (Curso de curta duração ministrado/Extensão).

7.
Cavalheiro, S. A. C.; PERNAS, A. M. ; DU BOIS, A. R. ; PIANA, C. F. B. ; FOSS, L. ; REISER, R. H. S. ; AGUIAR, M. S. . PC no Quarto Ano do Ensino Fundamental - Pelotense. 2014. (Curso de curta duração ministrado/Extensão).

8.
Cavalheiro, S. A. C.; PERNAS, A. M. ; DU BOIS, A. R. ; PIANA, C. F. B. ; FOSS, L. ; AGUIAR, M. S. ; REISER, R. H. S. . PC no Quarto Ano do Ensino Fundamental - João da Silva Silveira. 2014. (Curso de curta duração ministrado/Extensão).

9.
Cavalheiro, S. A. C.; PERNAS, A. M. ; DU BOIS, A. R. ; FOSS, L. ; REISER, R. H. S. ; PIANA, C. F. B. . PC no Quarto Ano do Ensino Fundamental - EMEF Ferreira Viana. 2014. (Curso de curta duração ministrado/Extensão).

10.
CAVALHEIRO, S. A. C.; FOSS, L. ; PERNAS, A. M. ; DU BOIS, A. R. . PC no Quarto Ano do Ensino Fundamental (manhã) - EMEF Ferreira Viana. 2013. (Curso de curta duração ministrado/Extensão).

11.
Cavalheiro, S. A. C.; DU BOIS, A. R. ; PERNAS, A. M. ; FOSS, L. ; REISER, R. H. S. . PC no Quarto Ano do Ensino Fundamental (tarde) - EMEF Ferreira Viana. 2013. (Curso de curta duração ministrado/Extensão).

12.
COSTA, Simone André da. Mercado de Trabalho em Computação. 2004. (Palestrante).

13.
COSTA, Simone André da; SANTOS, Christiane Gomes ; SCHONS, Elisângela Fouchy ; GARCIA, Marta Costa ; IGANSI, Paulino Donato Amaral ; GARCIA, Roseane Nunes . Jogos e Curiosiades Matemáticas. 1997. (Desenvolvimento de material didático ou instrucional - Acadêmico).

14.
COSTA, Simone André da. Fatoração. 1997. (Desenvolvimento de material didático ou instrucional - Acadêmico).

15.
COSTA, Simone André da; SCHMMELPFENNING, Daniela Nunes ; GARCIA, Quélen Cristiane da Cunha . Reconstruindo a Matemática na Sala de Aula. 1997. (Palestrante).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Cavalheiro, S. A. C.; YAMIN, A. C.; FOSS, L.; REISER, R. H. S.. Participação em banca de Wilson Cardoso. Diferença Fuzzy intuicionistas: Classes, Propriedades e Aplicações. 2016. Dissertação (Mestrado em Programa de Pós-Graduação em Computação) - Universidade Federal de Pelotas.

2.
CAVALHEIRO, S. A. C.; MACHADO, K. S.; BILLA, C. Z.. Participação em banca de Maria Claudia Negret López. Computação Bayesiana Aproximada Monte Carlo Sequencial como ferramenta para a inferência de parâmetros na rede genética circadiana da Arabidopsis thaliana. 2015. Dissertação (Mestrado em Modelagem Computacional) - Universidade Federal do Rio Grande.

3.
VIZZOTTO, J.; DU BOIS, A. R.; PILLA, M. L.; REISER, R. H. S.; CAVALHEIRO, S. A. C.. Participação em banca de Adriano Kurz Maron. Explorando as Possibilidades de Otimização da Simulação de Algoritmos Quânticos no VPE-qGM. 2013. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas.

4.
COSTA, Simone André da. Participação em banca de Gesner Antônio Azevedo dos Reis. Coimplicações Fuzzy Valoradas Intervalarmente. 2010. Dissertação (Mestrado em Programa de Pós-Graduação em Informática) - Universidade Católica de Pelotas.

Teses de doutorado
1.
COSTA, Simone André da. Participação em banca de Raquel de Miranda Barbosa. Especificação Formal de Organizações de Sistemas Multiagentes. 2011. Tese (Doutorado em PPGC - Programa de Pós Graduação em Computação UFRGS) - Universidade Federal do Rio Grande do Sul.

Qualificações de Doutorado
1.
FOSS, L.; CAVALHEIRO, S. A. C.. Participação em banca de Samuel da Silva Feitosa. Formal Semantics for Java-like Languages and Research Opportunities. 2017. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Computação) - Universidade Federal de Pelotas.

Qualificações de Mestrado
1.
FERREIRA, A. L. A.; CAVALHEIRO, S. A. C.. Participação em banca de Francine Lacerda Castro. Uso do Pensamento Computacional e Scratch como Facilitador da Aprendizagem Computacional. 2018. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Educação Matemática) - Universidade Federal de Pelotas.

Trabalhos de conclusão de curso de graduação
1.
FOSS, L.; Cavalheiro, S. A. C.. Participação em banca de Daniel Rizzardi Farias.Estudo e aplicação da realidade aumentada em jogos sérios para o desenvolvimento do pensamento computacional. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

2.
REISER, R. H. S.; PILLA, M. L.; CAVALHEIRO, S. A. C.; DU BOIS, A. R.. Participação em banca de Júlia Krüger Vieira.Análise e Simulação dos Conectivos Fuzzy XOR e Classes Derivadas via Computação Quântica. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

3.
Diniz, E. S. A.; ARAUJO, R. M.; Cavalheiro, Simone Andre da Costa. Participação em banca de Francine Bülow Bergmann.Validação da Extensão dos Critérios Ergonômicos de Bastien e Scapin Proposta por Gastal. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

4.
Oliveira, L. F.; COSTA, Simone André da; Medeiros, Gil Carlos Rodrigues. Participação em banca de Vinicius Vieira Gomes.Algoritmo Computacinoal para Volumetria de Estrutruas Cerebrais em Imagens Médicas. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

5.
Oliveira, L. F.; Agostini, L. V.; COSTA, Simone André da. Participação em banca de Bruno Atrib Zanchet.Desenvolvimento de uma Ferramenta para Análise Quantitativa de Espessamento Miocárdio através do Processamento de Imagens Médicas. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

6.
RIGO, Sandro José; COSTA, Simone André da; VIEIRA, Renata. Participação em banca de Alexandre Maciel.Um Sistema de Apoio à Localização Rodoviária Baseado em Ontologias. 2005. Trabalho de Conclusão de Curso (Graduação em Informática Habilitação Análise de Sistemas) - Universidade do Vale do Rio dos Sinos.

7.
SILVA, Denise Bandeira da; COSTA, Simone André da; GOETZE, Ari. Participação em banca de Volnei Galbino da Silva.Estudo e Aplicação da Técnica de Otimização Semântica sobre o Sistema Gerenciador de Banco de Dados MySQL. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Vale do Rio dos Sinos.

8.
LEMKE, Ney; COSTA, Simone André da; HEINEN, Farlei Jose. Participação em banca de Marcelo da Silva Leal.Métricas para Avaliação de Ferramentas para Administração de Aplicativos em Ambiente GNU/Linux. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Vale do Rio dos Sinos.

9.
GOMEZ, Arthur Torgo; COSTA, Simone André da; CECHIN, Adelmo Luis. Participação em banca de Etiene Pozzobom Lazzeris Simas.Uma Solução para o Problema de Roteamento de Veículos através da Utilização da Pesquisa Tabu. 2004. Trabalho de Conclusão de Curso (Graduação em Informática Habilitação Análise de Sistemas) - Universidade do Vale do Rio dos Sinos.

10.
ERBA, D. A.; COSTA, Simone André da; SILVA, Denise Bandeira da. Participação em banca de Fabiano Leffa Chies.Projeto de um Sistema de Informação Geográfica aplicado à Redes de Telefonia Celular. 2003. Trabalho de Conclusão de Curso (Graduação em Informática Habilitação Análise de Sistemas) - Universidade do Vale do Rio dos Sinos.

11.
HERBERT, J. S.; COSTA, Simone André da; SCHILLING, L. F.. Participação em banca de Marcel Brunetto.Proposta de Framework de Riscos para Gerência de Projetos em Pequenas e Médias Empresas. 2003. Trabalho de Conclusão de Curso (Graduação em Informática Habilitação Análise de Sistemas) - Universidade do Vale do Rio dos Sinos.

12.
MENEZES, Paulo Fernando Blauth; COSTA, Simone André da; VIZZOTTO, Juliana Kaizer. Participação em banca de Fernando Peña D´Andrea.Interface Diagramática para a Linguagem Nautilus. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.

13.
MENEZES, Paulo Fernando Blauth; COSTA, Simone André da; VIZZOTTO, Juliana Kaizer. Participação em banca de Karina Girardi Roggia.Morfismos Parciais e Ciência da Computação: Um Estudo. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.



Participação em bancas de comissões julgadoras
Concurso público
1.
CAVALHEIRO, Simone André da Costa; LORETO, A. B.; AGUIAR, M. S.. Concurso Público para Admissão de Professor Temporário na área de Computação (Ciência e Engenharia de Computação: Algoritmos e Programação). 2012. Universidade Federal de Pelotas.

2.
Diniz, E. S. A.; COSTA, Simone André da; CAVALHEIRO, G. G. H.. Concurso Público para Admissão de Professor Substituto na área de Computação (Informática Aplicada e Informática Básica). 2007. Universidade Federal de Pelotas.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Escola de Informática Teórica e Métodos Formais. 2017. (Congresso).

2.
IV Workshop-Escola de Informática Teórica. WEIT 2017. 2017. (Congresso).

3.
Simpósio Brasileiro de Métodos Formais. 2017. (Simpósio).

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

5.
Escola de Informática Teórica e Métodos Formais (ETMF 2016). 2016. (Congresso).

6.
XIX Simpósio Brasileiro de Métodos Formais. 2016. (Congresso).

7.
XVII Curso de Qualidade. 2016. (Outra).

8.
III Workshop-Escola de Informática Teórica. 2015. (Congresso).

9.
III Workshop-Escola de Informática Teórica. III Workshop-Escola de Informática Teórica. 2015. (Congresso).

10.
Congresso Brasileiro de Informática na Educação (CBIE2014. 2014. (Congresso).

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

12.
European Joint Conferences on Theory and Practice of Software (ETAPS 2014). 2014. (Simpósio).

13.
Conferência Íbero Americana em Computação Aplicada. Membro do Comitê de Programa. 2013. (Congresso).

14.
Congresso Brasileiro de Software: Teoria e Prática (CBSoft). 2013. (Congresso).

15.
Congresso de Computação do Sul de Mato Grosso. Membro do Comitê de Programa. 2013. (Congresso).

16.
II Workshop-Escola de Informática Teórica. Membro do Comitê de Programa. 2013. (Congresso).

17.
II Workshop-Escola de Informática Teórica. 2013. (Congresso).

18.
Simpósio Brasileiro de Métodos Formais.Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations.. 2013. (Simpósio).

19.
V Latin American Women in Computing Congress. Membro do Comitê de Programa. 2013. (Congresso).

20.
XXII Congresso de Iniciação Científica da Universidade Federal de Pelotas (XXII CIC 2013 - UFPEL). Avaliador.. 2013. (Congresso).

21.
II Congresso Brasileiro de Sistemas Fuzzy (CBSF2, 2012). Membro do Comitê de Programa. 2012. (Congresso).

22.
III Seminário de Pesquisa em Computação da UFpel.Membro do Corpo Revisor. 2012. (Seminário).

23.
II Semana Acadêmica Integrada das Ciências Computacionais.Desenvolvendo Sistemas Confiáveis em Gramática de Grafos (Palestrante). 2012. (Outra).

24.
V Conferência Sul em Modelagem Computacional (V MCSUL, 2012). Membro do Comitê de Programa. 2012. (Congresso).

25.
XIV ENPOS ? Encontro de Pós-Graduação UFPEL (2012).Revisor de artigo. 2012. (Encontro).

26.
II Seminário de Pesquisa em Computação da UFpel.Membro do Corpo Revisor. 2011. (Seminário).

27.
Workshop-Escola de Informática Teórica (WEIT, 2011). 2011. (Congresso).

28.
Workshop-Escola de Informática Teórica (WEIT, 2011). Membro do Comitê de Programa. 2011. (Congresso).

29.
XII Workshop de Software Livre (WSL, 2011). Membro do Comitê de Programa. 2011. (Congresso).

30.
XII Workshop de Software Livre (WSL, 2011). 2011. (Congresso).

31.
CLEI Eletronic Journal (CIESC 2009 Special Edition) (2010). Revisor de artigo. 2010. (Congresso).

32.
Encontro Regional de Alto Desempenho (ERAD 2010 ? IC).Revisor de artigo. 2010. (Encontro).

33.
I Seminário de Pesquisa em Computação da UFPel.Membro do Corpo Revisor. 2010. (Seminário).

34.
IV Conferência Sul em Modelagem Computacional, IX Encontro Regional de Matemática Aplicada e Computacional (4MCSUL, IX ERMAC, 2010). Membro do Comitê de Programa. 2010. (Congresso).

35.
XI Workshop de Software Livre (WSL, 2010). Membro do Comitê de Programa. 2010. (Congresso).

36.
Escola Regional de Alto Desempenho.Escola Regional de Alto Desempenho. 2005. (Outra).

37.
Simpósio Brasileiro de Métodos Formais.Simpósio Brasileiro de Métodos Formais. 2005. (Simpósio).

38.
XXV Congresso da Sociedade Brasileira de Computação. XXV Congresso da Sociedade Brasileira de Computação. 2005. (Congresso).

39.
V Workshop de Software Livre. Membro do Comitê de Programa. 2004. (Congresso).

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

41.
XXIV Congresso da Sociedade Brasileira de Computação.Curso de Qualidade. 2004. (Outra).

42.
IV Fórum Internacional Software Livre.IV Fórum Internacional Software Livre. 2003. (Outra).

43.
Terceira Escola Regional de Alto Desempenho. Terceira Escola Regional de Alto Desempenho. 2003. (Congresso).

44.
XXIII Congresso da Sociedade Brasileira de Computação. XXIII Congresso da Sociedade Brasileira de Computação. 2003. (Congresso).

45.
XXIII Congresso da Sociedade Brasileira de Computação.Curso de Qualidade. 2003. (Outra).

46.
V Encontro Regional de Matemática Aplicada e Computacional.V Encontro Regional de Matemática Aplicada e Computacional. 1998. (Encontro).

47.
V Jornada da Matemática.V Jornada da Matemática. 1998. (Outra).

48.
XXI CNMAC. XXI Congresso Nacional de Matemática Aplicada e Computacional. 1998. (Congresso).

49.
I Seminário de Educação: Educação com Qualidade se Constrói no Coletivo.I Seminário de Educação: Educação com Qualidade se Constrói no Coletivo. 1997. (Seminário).

50.
XIII Congresso Regional de Iniciação Científica e Tecnológica em Engenharia (CRICTE´97). XIII Congresso Regional de Iniciação Científica e Tecnológica em Engenharia (CRICTE´97). 1997. (Congresso).

51.
II Encontro Tecnológico do Conesul.II Encontro Tecnológico do Conesul. 1996. (Encontro).

52.
VIII Salão de Iniciação Científica (UFRGS).VIII Salão de Iniciação Científica (UFRGS). 1996. (Outra).

53.
III Jornada da Matemática.III Jornada da Matemática. 1994. (Outra).


Organização de eventos, congressos, exposições e feiras
1.
CARVALHO, G. ; CAVALHEIRO, S. A. C. ; FIDADEIRO, J. . Simpósio Brasileiro de Métodos Formais - SBMF 2017. 2017. (Congresso).

2.
CAVALHEIRO, S. A. C.; MUSICANTE, M. A. . Escola de Informática Teórica e Métodos Formais. 2016. (Congresso).

3.
RIBEIRO, Leila ; DUARTE, L. M. ; MACHADO, R. ; CAVALHEIRO, S. A. C. ; FOSS, L. ; VIZZOTTO, Juliana Kaizer ; SANTOS, O. M. . III Workshop-Escola de Informática Teórica. 2015. (Congresso).

4.
DIMURO, G. P. ; FOSS, L. ; Cavalheiro, S. A. C. ; AGUIAR, M. S. . II Workshop-Escola de Informática Teórica. 2013. (Congresso).

5.
ARAUJO, R. M. ; CAVALHEIRO, Simone André da Costa . III Semiário de Pesquisa de Computação da UFPel. 2012. (Outro).

6.
CAVALHEIRO, Simone André da Costa; COSTA, A. C. R. ; FOSS, L. ; DIMURO, G. P. ; AGUIAR, M. S. . Workshop-Escola de Informática Teórica. 2011. (Congresso).

7.
CAVALHEIRO, Simone André da Costa; MATIAS Jr., R. . Workshop de Software Livre. 2011. (Congresso).

8.
ADAMATTI, D. F. ; DIMURO, G. P. ; COSTA, Simone André da . Latin American Women in Computing. 2009. (Congresso).

9.
SIMCH, M. R. R. ; COSTA, Simone André da . Encontro Regional de Matemática Aplicada e Computacional. 2008. (Congresso).

10.
COSTA, Simone André da; SILVA, Denise Bandeira da . Uniinfo 2003 - Semana Acadêmica dos Cursos da Área de Computação e Informática. 2003. (Outro).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Braz Araujo da Silva Junior. A definir. Início: 2018. Dissertação (Mestrado profissional em COMPUTAÇÃO) - Universidade Federal de Pelotas. (Orientador).

2.
Monica Marques da Cunha. A definir. Início: 2016. Dissertação (Mestrado profissional em COMPUTAÇÃO) - Universidade Federal de Pelotas. (Orientador).

Tese de doutorado
1.
Christiano Avila. A definir. Início: 2016. Tese (Doutorado em Programa de Pós-Graduação em Computação) - Universidade Federal de Pelotas. (Orientador).

2.
Adriana Bordini. A definir.. Início: 2015. Tese (Doutorado em Programa de Pós-Graduação em Computação) - Universidade Federal de Pelotas. (Orientador).

Iniciação científica
1.
Joao Vitor Vaz. Prova de Teoremas para Gramática de Grafos. Início: 2018. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Pelotas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Alex Bertei. Uma abordagem relacional para Gramática de Grafos Fuzzy. 2016. Dissertação (Mestrado em Programa de Pós-Graduação em Computação) - Universidade Federal de Pelotas, . Coorientador: Simone André da Costa Cavalheiro.

2.
Luiz Carlos Lemos Junior. Proposta de Táticas para Prova de Teoremas de Gramática de Grafos.. 2014. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas, . Orientador: Simone André da Costa Cavalheiro.

3.
André Moura de Mello. GGMA: Gramática de Grafos para Sistemas Multiagentes baseados no PopOrg.. 2014. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas, . Coorientador: Simone André da Costa Cavalheiro.

4.
Rosana Medina Zanotelli. Consolidação do estudo e análise da robustez de operadores fuzzy considerando a abordagem intuicionista. 2013. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas, . Coorientador: Simone André da Costa Cavalheiro.

Trabalho de conclusão de curso de graduação
1.
Braz Araujo da Silva Junior. A Última Árvore, Utilizando Gramática de Grafos em um Jogo Educacional para Explorar o Pensamento Computacional. 2017. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Universidade Federal de Pelotas. Orientador: Simone André da Costa Cavalheiro.

2.
Wine dos Santos Silva. LogiCs: ensino de Lógica para crianças. 2017. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pelotas. Orientador: Simone André da Costa Cavalheiro.

3.
Andrei Costa. Uma Extensão para uma Proposta de Mapeamento de Diagramas UML para Modelos Simulink. 2014. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pelotas. Orientador: Simone André da Costa Cavalheiro.

Iniciação científica
1.
Braz Araujo da Silva Junior. A Gramática de Grafos como Alternativa para o Desenvolvimento do Pensamento Computacional na Educação Básica. 2017. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Federal de Pelotas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone André da Costa Cavalheiro.

2.
Braz Araujo da Silva Junior. A Gramática de Grafos como Alternativa para o Desenvolvimento do Pensamento Computacional na Educação Básica. 2016. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Federal de Pelotas, Universidade Federal de Pelotas. Orientador: Simone André da Costa Cavalheiro.

3.
Braz Araujo da Silva Junior. A Gramática de Grafos como Alternativa para o Desenvolvimento do Pensamento Computacional na Educação Básica. 2015. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Pelotas, Universidade Federal de Pelotas. Orientador: Simone André da Costa Cavalheiro.

4.
Natália Darley. Prova de Teoremas para Gramática de Grafos. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Pelotas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone André da Costa Cavalheiro.

5.
Simone Drawanz Rutz. Explorando o Formalismo de Gramática de Grafos na Especificação e Verificação Formal de Sistemas Distribuídos. 2013. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Pelotas. Orientador: Simone André da Costa Cavalheiro.

6.
Andrei Costa. Implementação da Tradução de UML para Simulink. 2012. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Pelotas, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul. Orientador: Simone André da Costa Cavalheiro.

7.
Nicolas Bisi. De UML para Simulink: uma abordagem formal.. 2011. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Pelotas, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul. Orientador: Simone André da Costa Cavalheiro.

8.
Vinicius Pazzini. Implementação da Tradução de UML para Simulink. 2011. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Pelotas, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul. Orientador: Simone André da Costa Cavalheiro.

9.
Ederson Frozzi. Nautilus Como Uma Linguagem de Programação Concorrente Antecipativa. 2002. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade do Vale do Rio dos Sinos, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul. Orientador: Simone André da Costa Cavalheiro.

Orientações de outra natureza
1.
Jorge Nachtigall. EXP-PC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental.. 2017. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Pelotas, Universidade Federal de Pelotas. Orientador: Simone André da Costa Cavalheiro.

2.
Yuri Rocha Weisshahn. EXP-PC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental.. 2016. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Pelotas, Ministério da Educação. Orientador: Simone André da Costa Cavalheiro.

3.
Jones Marchesan Junior. EXP-PC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental.. 2016. Orientação de outra natureza. (Engenharia de Controle e Automação) - Universidade Federal de Pelotas, Ministério da Educação. Orientador: Simone André da Costa Cavalheiro.

4.
Pedro Halmenschlager. EXP-PC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental.. 2016. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Pelotas. Orientador: Simone André da Costa Cavalheiro.

5.
Rodrigo de Brum Acosta. EXP-PC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental.. 2016. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Pelotas. Orientador: Simone André da Costa Cavalheiro.

6.
Belisa Renata Arnhold Centenaro. EXP-PC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental. 2015. Orientação de outra natureza. (Engenharia de Computação) - Universidade Federal de Pelotas, Ministério da Educação. Orientador: Simone André da Costa Cavalheiro.

7.
Adson Ileon Ripinski Duarte. EXP-PC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental. 2015. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Pelotas, Ministério da Educação. Orientador: Simone André da Costa Cavalheiro.

8.
Gustavo Cruz de Pinho. EXP-PC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental. 2015. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Pelotas, Ministério da Educação. Orientador: Simone André da Costa Cavalheiro.

9.
Wine dos Santos Silva. EXP-PC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental. 2015. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Pelotas, Ministério da Educação. Orientador: Simone André da Costa Cavalheiro.

10.
Yuri Rocha Weisshahn. EXP-PC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental. 2015. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Pelotas, Ministério da Educação. Orientador: Simone André da Costa Cavalheiro.

11.
Gustavo Fernandes dos Santos. EXP-PC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental. 2015. Orientação de outra natureza. (Engenharia de Computação) - Universidade Federal de Pelotas, Ministério da Educação. Orientador: Simone André da Costa Cavalheiro.

12.
Plínio Finkenauer Júnior. EXP-PC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental. 2015. Orientação de outra natureza. (Engenharia de Computação) - Universidade Federal de Pelotas, Ministério da Educação. Orientador: Simone André da Costa Cavalheiro.

13.
Gleider Mackedanz de Campos. EXP-PC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental. 2014. Orientação de outra natureza. (Engenharia de Computação) - Universidade Federal de Pelotas, Ministério da Educação. Orientador: Simone André da Costa Cavalheiro.

14.
Plínio Finkenauer Junior. EXP-PC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental. 2014. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Pelotas, Ministério da Educação. Orientador: Simone André da Costa Cavalheiro.

15.
Douglas da Silveira Rocke. EXP-PC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental. 2014. Orientação de outra natureza. (Engenharia de Computação) - Universidade Federal de Pelotas, Ministério da Educação. Orientador: Simone André da Costa Cavalheiro.

16.
Rafael Lagemann. EXP-PC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental. 2014. Orientação de outra natureza. (Engenharia de Computação) - Universidade Federal de Pelotas, Ministério da Educação. Orientador: Simone André da Costa Cavalheiro.

17.
Gustavo Fernandes dos Santos. EXP-PC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental. 2014. Orientação de outra natureza. (Engenharia de Computação) - Universidade Federal de Pelotas, Ministério da Educação. Orientador: Simone André da Costa Cavalheiro.

18.
Daiane Andrade. EXP-PC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental. 2013. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Pelotas, Ministério da Educação. Orientador: Simone André da Costa Cavalheiro.

19.
Tainã Ribeiro Carvalho. EXP-PC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental. 2013. Orientação de outra natureza. (Engenharia de Computação) - Universidade Federal de Pelotas. Orientador: Simone André da Costa Cavalheiro.

20.
Victor Auler. EXP-PC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental. 2013. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Pelotas. Orientador: Simone André da Costa Cavalheiro.

21.
Jayne dos Santos Silveira. EXP-PC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental. 2013. Orientação de outra natureza. (Engenharia de Computação) - Universidade Federal de Pelotas. Orientador: Simone André da Costa Cavalheiro.




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