Rede de Colaboração
Diretório de grupos de pesquisa |
Simone André da Costa Cavalheiro 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 e membro permanente do Programa de Pós-Graduação dem Computação da UFPel. Tem experiência na área de Ciência da Computação, com ênfase em Métodos Formais, atuando principalmente em especificação e verificação formal.
Última
atualização do currículo em 06/01/2012
Endereço para acessar este CV: http://lattes.cnpq.br/2502796658601825 |
Dados pessoais
| 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 |
| Sexo | Feminino |
| 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 / Área: Ciência da Computação. 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 / Área: Ciência da Computação / Subárea: Teoria da Computação. 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 |
| 10/2010 - Atual | Atividades de Participação em Projeto, Reitoria, Pró-Reitoria de Pesquisa e Pós-Graduação. |
|
Projetos de pesquisa Explorando o Formalismo de Gramática de Grafos na Especificação e Verificação Formal de Sistemas Distribuídos |
| 2010 - Atual | Atividades de Participação em Projeto, Reitoria, Instituto de Física e Matemática. |
|
Projetos de pesquisa NESS - Núcleo de Excelência em Engenharia de Software para Sistemas Embarcados |
| 09/2009 - Atual | Atividades de Participação em Projeto, Reitoria, Pró-Reitoria de Pesquisa e Pós-Graduação. |
|
Projetos de pesquisa Descrição e Análise Formal de Transformações de Modelos |
| 10/2007 - Atual | Pesquisa e desenvolvimento , Instituto de Física e Matemática, Departamento de Informática. |
|
Linhas de pesquisa Métodos Formais |
| 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 |
| 10/2006 - 10/2010 | Atividades de Participação em Projeto, Reitoria, Pró-Reitoria de Pesquisa e Pós-Graduação. |
|
Projetos de pesquisa Especificação e Verificação Formal de Sistemas Distribuídos. |
| 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/2004 - 12/2004 | Pesquisa e desenvolvimento , Centro de Ciências Exatas e Tecnológicas, Área de Conhecimento e Aplicação de Informática. |
|
Linhas de pesquisa Métodos Formais Teoria da Computação |
| 2/2004 - 12/2004 | Atividades de Participação em Projeto, Centro de Ciências Exatas e Tecnológicas, Área de Conhecimento e Aplicação de Informática. |
|
Projetos de pesquisa DMHolo: Distribuição e Mobilidade no Holoparadigma |
| 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/2001 - 7/2004 | Pesquisa e desenvolvimento , Centro de Ciências Exatas e Tecnológicas, Área de Conhecimento e Aplicação de Informática. |
|
Linhas de pesquisa Fundamentos da Computação Semântica Formal |
| 8/2001 - 7/2004 | Atividades de Participação em Projeto, Centro de Ciências Exatas e Tecnológicas, Área de Conhecimento e Aplicação de Informática. |
|
Projetos de pesquisa TNAut: Traduzindo Nautilus, uma linguagem de programação concorrente antecipativa, para Java |
| 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, Nível: Ensino Médio. |
| 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, . |
|
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 |
| 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, Escola de Educação. |
|
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, Laboratório de Mecânica dos Solos. |
|
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, Escola de Engenharia e Arquitetura. |
|
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, Núcleo de Assessoramento à Educação. |
|
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, Núcleo de Pesquisa Desenvolvimento e Apoio do Habitat. |
|
Atividade realizada Bolsista de Iniciação Científica UCPel. |
Projetos de Pesquisa
| 2010 - Atual | 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: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 1) . Integrantes: Luciana Foss - Integrante / Flávio Rech Wagner - Coordenador / Lisane Brisolara de Brisolara - Integrante / Simone André da Costa Cavalheiro - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro. Número de produções C, T & A: 3 / Número de orientações: 1. |
| 2010 - Atual | 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: Em andamento; Natureza: Pesquisa. Integrantes: Luciana Foss - Integrante / Simone André da Costa Cavalheiro - Coordenador. Número de produções C, T & A: 7. |
| 2009 - Atual | 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: Em andamento; Natureza: Pesquisa. Integrantes: Luciana Foss - Coordenador / Simone André da Costa Cavalheiro - Integrante. . |
| 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. Integrantes: Simone André da Costa Cavalheiro - Coordenador. Número de produções C, T & A: 5. |
| 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 profissionalizante ( 0) / Doutorado ( 0) . Integrantes: 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 / Simone André da Costa Cavalheiro - Integrante. Financiador(es): Universidade do Vale do Rio dos Sinos - Auxílio financeiro / Hp Computadores - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - 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 profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Jorge Luis Victória Barbosa - Integrante / Simone André da Costa Cavalheiro - Coordenador. Financiador(es): Universidade do Vale do Rio dos Sinos - Auxílio financeiro / Universidade Federal do Rio Grande do Sul - Cooperação / Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Bolsa. Número de produções C, T & A: 5 / Número de orientações: 1. |
Á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. |
| 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 Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco. |
Prêmios e títulos
| 2011 | Melhor Artigo do WEIT 2011, Universidade Federal de Pelotas. |
| 2011 | Segundo Melhor Artigo do WEIT 2011, Universidade Federal de Pelotas. |
| 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. |
| 1994 | Primeiro Lugar no Concurso Vestibular para Licenciatura Plena em Matemática, Universidade Federal de Pelotas. |
| 1994 | Primeiro Lugar no Concurso Vestibular para Engenharia Civil, Universidade Católica de Pelotas. |
Produção em C,T & A
| Produção bibliográfica |
| Artigos completos publicados em periódicos |
| 1. | RIBEIRO, 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. |
| 2. |   COSTA, Simone André da ; RIBEIRO, Leila . Verification of graph grammars using a logical approach. Science of Computer Programming (Print), v. ipress, p. 1-31, 2010. |
| 3. | MICHELON, Leonardo ; COSTA, Simone André da ; RIBEIRO, Leila . Formal Specification and Verificaiton of Real-Time Systems using Graph Grammars. Journal of the Brazilian Computer Society, v. 13, p. 51-68, 2007. |
| 4. | COSTA, 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, Simone André da Costa (Org.) ; 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. 163 p. |
| 2. | 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. Pelotas: Editora Universitária - UFPEL, 2011. v. 1. 265 p. |
| 3. | CAVALHEIRO, Simone André da Costa (Org.) ; MATIAS Jr., R. (Org.) . XII Workshop de Software Livre. Pelotas: Editora Universitária - UFPEL, 2011. v. 1. |
| 4. | COSTA, Simone André da (Org.) . Desenvolvimento em Software Livre. 1. ed. São Leopoldo: Editora Unisinos, 2004. v. 1. 278 p. |
| 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. 1 ed. 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. 1 ed. 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. | 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. |
| 2. | 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. |
| 3. | MELLO, A. M. ; LEMOS Junior, L. C. ; FOSS, L. ; CAVALHEIRO, Simone André da Costa . Gramática de Grafos: um comparativo de métodos de verificação.. In: Workshop-Escola de Informática Teórica., 2011, Pelotas. Anais do WEIT 2011. Pelotas : Editora Universitária - UFPEL, 2011. v. 1. p. 48-60. |
| 4. | CAVALHEIRO, Simone André da Costa ; COSTA, A. C. R. ; DIMURO, G. P. . Towards Developmental Turing Machines. In: Workshop-Escola de Informática Teórica., 2011, Pelotas. Anais do WEIT 2011. Pelotas : Editora Universitária - UFPEL, 2011. v. 1. p. 152-163. |
| 5. | Bisi, N. ; PAZZINI, V. S. ; FOSS, L. ; CAVALHEIRO, Simone André da Costa ; BRISOLARA, L. B. ; WAGNER, F.R. . Using Graph Grammars to Develop Embedded Systems Based on UML Models. In: Workshop School on Theoretical Computer Science, 2011, Pelotas. Post-Proceedings of the Workshop School on Theoretical Computer Science. Los Alamitos : IEEE Computer Society. Conference Publishing Services (CPS)., 2011. v. 1. p. 81-87. |
| 6. | MELLO, A. M. ; LEMOS Junior, L. C. ; FOSS, L. ; CAVALHEIRO, Simone André da Costa . Graph Grammars: A Comparison Between Verification Methods. In: Workshop School on Theoretical Computer Science, 2011, Pelotas. Post-Proceedings of the Workshop School on Theoretical Computer Science. Los Alamitos : IEEE Computer Society. Conference Publishing Services (CPS)., 2011. v. 1. p. 88-94. |
| 7. | CAMARGO, C. A. S. ; CAVALHEIRO, G. G. H. ; FOSS, L. ; CAVALHEIRO, Simone André da Costa . A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded Programs. In: Workshop School on Theoretical Computer Science, 2011, Pelotas. Post-Proceedings of the Workshop School on Theoretical Computer Science. Los Alamitos : IEEE Computer Society. Conference Publishing Services (CPS)., 2011. v. 1. p. 95-101. |
| 8. | CAVALHEIRO, Simone André da Costa ; COSTA, A. C. R. ; DIMURO, G. P. . Towards Developmental Turing Machines. In: Workshop School on Theoretical Computer Science, 2011, Pelotas. Post-Proceedings of the Workshop School on Theoretical Computer Science. Los Alamitos : IEEE Computer Society. Conference Publishing Services (CPS)., 2011. v. 1. p. 156-162. |
| 9. | 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. |
| 10. | COSTA, Simone André da ; RIBEIRO, Leila . Formal Verification of Graph Grammars using Mathematical Induction. In: Brazilian Symposium on Formal Methods, 2009, Salvador.
Proceedings of the Eleventh Brazilian Symposium on Formal Methods (SBMF 2008). v. 240. p. 43-60. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. | 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. |
| 2. | 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. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| Demais tipos de produção bibliográfica |
| 1. | COSTA, Simone André da . Relational approach of graph grammars.
Porto Alegre:
PPGC, UFRGS, 2010 (Tese de Doutorado). |
| 2. | 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). |
| 3. | COSTA, Simone André da ; COSTA, A. C. R. . Uma Introdução à Teoria dos Topos. Porto Alegre: UFRGS, 1999 (Monografia - T.I. 949). |
| Produção técnica |
| Trabalhos técnicos |
| 1. | COSTA, Simone André da . Comitê de Programa do V Workshop sobre Software Livre. 2004. |
| Demais tipos de produção técnica |
| 1. | COSTA, Simone André da . Mercado de Trabalho em Computação. 2004. (Palestrante). |
| 2. | 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). |
| 3. | COSTA, Simone André da . Fatoração. 1997. (Desenvolvimento de material didático ou instrucional - Acadêmico). |
| 4. | 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 examinadoras |
| Dissertações |
| 1. | 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. |
| Trabalhos de Conclusão de Curso de graduação |
| 1. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. | 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 |
| 1. | XXV Congresso da Sociedade Brasileira de Computação.XXV Congresso da Sociedade Brasileira de Computação. 2005. (Congresso). |
| 2. | Simpósio Brasileiro de Métodos Formais.Simpósio Brasileiro de Métodos Formais. 2005. (Simpósio). |
| 3. | Escola Regional de Alto Desempenho.Escola Regional de Alto Desempenho . 2005. (Outra). |
| 4. | XXIV Congresso da Sociedade Brasileira de Computação.XXIV Congresso da Sociedade Brasileira de Computação . 2004. (Congresso). |
| 5. | XXIV Congresso da Sociedade Brasileira de Computação.Curso de Qualidade. 2004. (Outra). |
| 6. | Terceira Escola Regional de Alto Desempenho.Terceira Escola Regional de Alto Desempenho. 2003. (Congresso). |
| 7. | XXIII Congresso da Sociedade Brasileira de Computação.XXIII Congresso da Sociedade Brasileira de Computação. 2003. (Congresso). |
| 8. | XXIII Congresso da Sociedade Brasileira de Computação.Curso de Qualidade. 2003. (Outra). |
| 9. | IV Fórum Internacional Software Livre.IV Fórum Internacional Software Livre. 2003. (Outra). |
| 10. | XXI CNMAC.XXI Congresso Nacional de Matemática Aplicada e Computacional. 1998. (Congresso). |
| 11. | V Encontro Regional de Matemática Aplicada e Computacional.V Encontro Regional de Matemática Aplicada e Computacional. 1998. (Encontro). |
| 12. | V Jornada da Matemática.V Jornada da Matemática. 1998. (Outra). |
| 13. | 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). |
| 14. | 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). |
| 15. | II Encontro Tecnológico do Conesul.II Encontro Tecnológico do Conesul. 1996. (Encontro). |
| 16. | VIII Salão de Iniciação Científica (UFRGS).VIII Salão de Iniciação Científica (UFRGS). 1996. (Outra). |
| 17. | III Jornada da Matemática.III Jornada da Matemática. 1994. (Outra). |
| Organização de eventos |
| 1. | 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). |
| 2. | CAVALHEIRO, Simone André da Costa ; MATIAS Jr., R. . Workshop de Software Livre. 2011. (Congresso). |
| 3. | ADAMATTI, D. F. ; DIMURO, G. P. ; COSTA, Simone André da . Latin American Women in Computing. 2009. (Congresso). |
| 4. | SIMCH, M. R. R. ; COSTA, Simone André da . Encontro Regional de Matemática Aplicada e Computacional. 2008. (Congresso). |
| 5. | 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 em andamento |
| Iniciação científica |
| 1. | Nicolas Bisi. De UML para Simulink: uma abordagem formal. Início: 2011 - Universidade Federal de Pelotas. (Orientador). |
| Supervisões e orientações concluídas |
| Iniciação Científica |
| 1. | 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. |
| Página gerada pelo Sistema Currículo Lattes em 12/02/2012 às 3:50:32 |