Luciana Foss

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


Possui graduação em Bacharelado Em Ciência da Computação pela Universidade de Caxias do Sul (2000), mestrado em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (2003) e doutorado em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (2008). Atualmente é professora da Universidade Federal de Pelotas. Tem experiência na área de Ciência da Computação, com ênfase em Linguagem Formais e Autômatos, atuando principalmente nos seguintes temas: semântica formal, especificação e verificação formal, linguagens formais, transformação de modelos. (Texto informado pelo autor)


Identificação


Nome
Luciana Foss
Nome em citações bibliográficas
FOSS, L.;Foss, Luciana

Endereço


Endereço Profissional
Universidade Federal de Pelotas, Centro de Desenvolvimento Tecnológico.
Rua Gomes Carneiro, 1 - Campus Porto - UFPel
Porto
96010-610 - Pelotas, RS - Brasil
Telefone: (53) 39211327
URL da Homepage: https://sites.google.com/a/inf.ufpel.edu.br/lfoss/


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


2003 - 2008
Doutorado em Computação.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
com período sanduíche em Università di Pisa (Orientador: Andrea Corradini).
Título: Transactional Graph Transformation Systems, Ano de obtenção: 2008.
Orientador: Leila Ribeiro.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Graph Transformation Systems; refinement; transactions; Interacation pattern.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
2001 - 2003
Mestrado em Computação.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Título: Uma Tradução de Gramáticas de Hipergrafos Baseados em Objetos para Cálculo-pi,Ano de Obtenção: 2003.
Orientador: Leila Ribeiro.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Cálculo-pi; Gramática de Grafos; Semântica; Especificação Baseada em Objetos.
Grande área: Ciências Exatas e da Terra
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.
1993 - 2000
Graduação em Bacharelado Em Ciência da Computação.
Universidade de Caxias do Sul, UCS, Brasil.
Título: Sistema de Tipos e Semantica Operacional do AlgoMais.
Orientador: Alvaro Freitas Moreira.
1989 - 1991
Ensino Médio (2º grau).
Escola Estadual de 1 e 2 graus Cristóvão de Mendoza, EECM, Brasil.


Pós-doutorado


2008 - 2009
Pós-Doutorado.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.


Atuação Profissional



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

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

Atividades

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

Disciplinas ministradas
Linguagens Formais
Lógica para Computação
05/2015 - 05/2017
Direção e administração, Centro de Desenvolvimento Tecnológico, .

Cargo ou função
Coordenação de Curso.
08/2016 - 03/2017
Ensino, Ciência da Computação, Nível: Graduação

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

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

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

Disciplinas ministradas
Linguagens Formais
Lógica para Computação
03/2015 - 07/2015
Ensino, 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
Linguagens Formais
Lógica para Computação
02/2014 - 07/2014
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à Ciência da Computação
Lógica para Computação
Linguagens Formais
10/2013 - 02/2014
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Lógica para Computação
Linguagens Formais
05/2013 - 08/2013
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Programação
Linguagens Formais
Lógica para Computação
11/2012 - 03/2013
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens Formais
Lógica Formal
10/2012 - 03/2013
Ensino, COMPUTAÇÃO, Nível: Pós-Graduação

Disciplinas ministradas
Métodos Formais
03/2012 - 10/2012
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Lógica Formal
Linguagens Formais
03/2012 - 10/2012
Ensino, Engenharia de Computação, Nível: Graduação

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

Disciplinas ministradas
Linguagens Formais
08/2011 - 12/2011
Ensino, COMPUTAÇÃO, Nível: Pós-Graduação

Disciplinas ministradas
Métodos Formais
03/2011 - 07/2011
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Programação
Linguagens Formais
08/2010 - 12/2010
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens Formais
Algoritmos
03/2010 - 07/2010
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Programação
Lógica Formal
Sistemas Discretos II
03/2010 - 07/2010
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Lógica para Computação
08/2009 - 02/2010
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens Formais
08/2009 - 02/2010
Ensino, Engenharia Sanitária e Ambiental, Nível: Graduação

Disciplinas ministradas
Planilhas Eletrônicas

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

2008 - 2009
Vínculo: Bolsista recém-doutor, Enquadramento Funcional: Pós-Doutorando, Carga horária: 24

Vínculo institucional

2001 - 2008
Vínculo: Bolsista de Pós-Graduação, Enquadramento Funcional: Estudante, Carga horária: 40, Regime: Dedicação exclusiva.


Universidade de Caxias do Sul, UCS, Brasil.
Vínculo institucional

2008 - 2009
Vínculo: Bolsista do FNDE, Enquadramento Funcional: Tutora, Carga horária: 20
Outras informações
Tutoria de apoio na disciplina de Instrumentalização para EAD, do curso de Artes da REGESD.

Vínculo institucional

2003 - 2009
Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 8

Vínculo institucional

1999 - 2000
Vínculo: Bolsista Iniciação Cientifica, Enquadramento Funcional: Estudante, Carga horária: 20
Outras informações
Desenvolvimento de atividades junto ao projeto ILENA (Ambiente Inteligente para Aprendizagem de Algoritmos) criando novas funcionalidades e depurando erros do compilador de algoritmos AlgoMais desenvolvido na linguagem Java, sob orientação dos professores Ricardo Vargas Dorneles e Marcos Eduardo Casa.

Atividades

03/2003 - 07/2009
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Matemática Discreta
Computação para Ciências Contábeis
Computação para Secretária Executiva II
Fundamentos Teóricos da Computação
Informática Básica
Linguagens Formais
Lógica para Computação

ADM Informática Ltda, ADM, Brasil.
Vínculo institucional

1998 - 1998
Vínculo: Celetista, Enquadramento Funcional: Programador, Carga horária: 40
Outras informações
.

Vínculo institucional

1996 - 1997
Vínculo: Estágio, Enquadramento Funcional: Programador - Estágio, Carga horária: 30

Atividades

03/1998 - 12/1998
Serviços técnicos especializados , Desenvolvimento, .

Serviço realizado
Programação em linguagem Super Mumps, atendimento ao usuário, análise de requisitos e manutenção do sistema de Departamento Pessoal..
01/1996 - 01/1997
Estágios , Desenvolvimento, .

Estágio realizado
Programação de computador em linguagem Super Mumps, operação de Sistemas Operacionais ATX, UNIX e DOS e, de equipamentos RISC e PC..

Prefeitura Municipal de Caxias do Sul, PMCS, Brasil.
Vínculo institucional

1995 - 1996
Vínculo: Estágio, Enquadramento Funcional: Programador, Carga horária: 30

Atividades

07/1995 - 01/1996
Estágios , GAMAPLAN, .

Estágio realizado
Programação de computador em linguagens Clipper, DBase, operação de micro computador, confecção e conferencia de relatórios, programação e operação de impressora Xerox..


Projetos de pesquisa


2014 - Atual
EXP-PC - Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental

Projeto certificado pelo(a) coordenador(a) Simone André da Costa Cavalheiro em 27/04/2016.
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.
2014 - Atual
Prova de Teoremas para Gramática de Grafos

Projeto certificado pelo(a) coordenador(a) Simone André da Costa Cavalheiro em 27/04/2016.
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.
2013 - Atual
Desenvolvimento Correto de Sistemas Computacionais
Descrição: Sistemas de software estão se tornando cada vez mais complexos e, como são essenciais em diversos setores, garantir que esses sistemas são corretos, é primordial. A garantia da qualidade destes softwares está intrinsecamente ligada à atividade de verificação, a qual visa a garantir que o software produzido segue a especificação definida. O uso de modelos abstratos tem sido apontado como o mecanismo ideal para tratar a complexidade do software e facilitar sua evolução. Uma das abordagens para tratar mudanças reusando projeto de software é a Engenharia de Software Guiada por Modelos (MDE). Porém, a integração desses modelos com técnicas de verificação ainda é limitada. Este projeto, que tem por objetivo propor técnicas baseadas na metodologia MDE para o desenvolvimento de sistemas computacionais complexos, integrando a atividade de verificação nessa abordagem..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) .
Integrantes: Luciana Foss - Coordenador / Leila Ribeiro - Integrante / Simone André da Costa Cavalheiro - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 5
2013 - Atual
EXP-PC - Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental

Projeto certificado pelo(a) coordenador(a) Simone André da Costa Cavalheiro em 12/05/2014.
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.
2011 - 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.
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.
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: (3) .
Integrantes: Luciana Foss - Integrante / Flávio Rech Wagner - Coordenador.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: 14
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.
2009 - 2012
MMC do CO2 - Modelagem Matemática e Computacional da Neutralização do Carbono
Descrição: O acúmulo de CO2 (gás carbônico) na atmosfera tem aumentado o efeito estufa, o que pode ter conseqüências negativas para o meio ambiente, pois origina o ?aquecimento global? . Através do desenvolvimento tecnológico o problema pode ser amenizado, a partir de processos matemáticos pretende-se modelar as características e as quantidades de árvores mais indicadas para a região Sul do RS, visando o plantio de mudas de árvores em locais adequados. Dessa forma, o presente projeto propõe desenvolver um ambiente computacional baseado no desenvolvimento tecnológico, para o processamento de informações que auxiliem na reversão da poluição ambiental, mais especificamente da poluição química. No ambiente computacional propomos: indicação e sugestão de áreas verdes existentes de preservação localizadas na região Sul do RS; estimativa do número de árvores a serem plantadas para neutralizar uma determinada quantidade de CO2; estabelecer áreas verdes cobertas pelas copas das árvores quando adultas e simular quantidades de áreas verdes para captura de CO2 quando plantadas árvores de pequeno, médio e grande porte. A região Sul do RS será considerada a área física de abrangência do estudo proposto. A identificação das áreas de preservação será realizada com a aplicação do Modelo Categorizador Bi-Dimensional para análise da declividade de regiões topográficas. O foco das áreas a serem exploradas serão as de plantios comerciais de eucalipto, gerenciadas pelos grupos Votorantim e AraCruz, os quais podem fornecer quantidades e fase de desenvolvimento das árvores..
Situação: Concluído; Natureza: Pesquisa.
2008 - 2009
Uma Metodologia de Desenvolvimento de Sistemas Computacionais à Luz da Transição do Silício para Novas Tecnologias: Fundamentos e Aplicações
Descrição: O projeto tem como objetivo principal o desenvolvimento de uma metodologia de projeto de sistemas computacionais à luz da transição do silício para novas tecnologias. Esta transição tecnológica levará a sociedade a profundas mudanças nas formas de trabalho, pesquisa e uso da computação. O projeto propõe estudos de caso de alta complexidade, com o objetivo de propor tanto uma abordagem evolutiva sobre a construção de sistemas computacionais, quanto uma abordagem disruptiva, tendo em vista novas tecnologias. O projeto é de caráter multi-disciplinar, uma vez que a transição tecnológica obrigará e levará à formação de equipes científicas com formações diversas dentro da computação, em suas aplicações e interfaces com outras ciências. Espera-se, ao final do projeto, que uma teoria e uma conseqüente metodologia de desenvolvimento de sistemas computacionais sejam propostas, elaboradas e validadas através de estudos de caso significativos. As abstrações, teorias, insights e a resultante metodologia são fundamentais em um mundo cada vez mais dependente de sistemas computacionais e, em particular, de sistemas de software capazes de evoluírem não somente com as necessidades da aplicação e de seus usuários finais, mas fundamentalmente tendo em vista a evolução/revolução tecnológica pós-silício. Entre os benefícios científicos desta metodologia estão os princípios norteadores de um processo de raciocínio, reflexão, elaboração, construção e implementação de novos sistemas computacionais, que certamente tem grande impacto na sociedade do conhecimento no século XXI..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (22) / Mestrado acadêmico: (2) / Doutorado: (2) .
Integrantes: Luciana Foss - Integrante / Álvaro Freitas Moreira - Integrante / Leila Ribeiro - Integrante / Lucio Mauro Duarte - Integrante / Flávio Rech Wagner - Coordenador / Luís da Cunha Lamb - Integrante / Érika Fernandes Cota - Integrante / Luigi Carro - Integrante / Carlos Eduardo Pereira - Integrante / Tales Heimfarth - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2003 - 2005
DACHIA
Descrição: Modeling, Analysis and Development of an Approach for the Construction of High-Quality Internet Applications based on Visual Languages and Formal Methods.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (2) .
Integrantes: Luciana Foss - Integrante / Leila Ribeiro - Coordenador / Fernando Luís Dotti - Integrante / Ana Paula Ludtke Ferreira - Integrante / Barbara König - Integrante / Bernhard Bardohl - Integrante / Hartmut Ehrig - Integrante / Roswitha Bardohl - Integrante / Izi Silva Sena - Integrante / LEONARDO MICHELON - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Cooperação / Internationales Büro des BMBF-- Wissenschaftlich- Technologische Zusamm - Cooperação.
2001 - 2004
IQ-Moblie (phase I and II)- Improving the Quality of Open Systems with Code Mobility through Rigorous Development
Descrição: The fast and continuous evolution of computing and communication capabilities have resulted in massively distributed computational environments which are now becomming a common platform for large scale distributed programming. Internet applications distinguish themselves from traditional applications on scalability (huge number of users and nodes), connectivity (both availability and bandwidth), heterogeneity (operating systems and application software) and autonomy (of administration domains having strong control of their resources). Developing applications for such environments is rather complex and therefore research efforts have been directed to improve support for development of distributed applications. One such effort is the research area around code mobility, among other paradigms. These emerging programming paradigms require on the one hand mechanisms to support mobility of code and computations, and effective infrastructures to support coordination and control of dynamically loaded software modules. On the other hand, an abstract semantic framework to formalize the model of computation of Internet applications is needed. Such semantic framework may provide the formal basis to discuss and motivate controversial design/implementation issues and to state and certify properties in a rigorous way. The project is a bilateral cooperation (Brazil/Italy) supported by CNPq and CNR (respectivelly the Brazilian and Italian National Research Councils). At the Italian side, Univerity of Pisa and CNR-IEI take part. At the brazilian side, PUCRS, UFRGS and UFBA-LaSiD are involved. The main goal is to improve the quality of software for open environments, in special mobile and distributed applications, through the use of formal methods..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (5) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Luciana Foss - Integrante / Leila Ribeiro - Coordenador / Fernando Luís Dotti - Integrante / Andrea Corradini - Integrante / Flávio de Assis Silva - Integrante / Stefania Gnesi - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Consiglio Nazionale delle Ricerche - Auxílio financeiro.
1999 - 2008
PLATUS - Desenvolvimento Formal e Simulação de Sistemas Reativos
Descrição: O projeto tem por objetivo desenvolver uma metodologia para a construção de sistemas reativos, e também construir ferramentas de simulação e verificação para apoiar a metodologia proposta. Esta metodologia deve partir de uma descrição formal, baseada em gramáticas de grafos, e permitir a transição suave entre um modelo simulado até o sistema propriamente dito. O produto final deste projeto será uma ferramenta gráfica interativa para o desenvolvimento de modelos de simulação de simulação discreta de sistemas reativos. A descrição dos modelos é feita utilizando-se o formalismo de gramática de grafos. Esta descrição poderá ser detalhada o suficiente de maneira que o sistema possa gerar o código executável correspondente ao modelo, ou servir como base para um desenvolvimento formal de software e provas de propriedades para o modelo a ser implementado..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Luciana Foss - Integrante / Leila Ribeiro - Coordenador / Fernando Luís Dotti - Integrante / Andrea Corradini - Integrante / Marcelo Cezar Pinto - Integrante / Ana Paula Ludtke Ferreira - Integrante / Paolo Baldan - Integrante / Rodrigo Machado - Integrante / Barbara König - Integrante / Hartmut Ehrig - Integrante / Roswitha Bardohl - Integrante / Izi Silva Sena - Integrante / LEONARDO MICHELON - Integrante / Simone André da Costa - Integrante / Ugo Montanari - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
1999 - 2000
ILENA - Ambiente Inteligente para o Ensino de Algoritmos
Descrição: Este projeto visa desenvolver uma arquitetura para Ambientes de Aprendizagem Inteligentes e utilizá-la na produção de um Ambiente Computacional para o auxílio ao estudo de conceitos básicos de programação. A interface e o estilo de interação promovido pelo Ambiente deverão ser projetados com base em um modelo da construção do conhecimento sobre estruturas de programação. Esse modelo será fundado em uma investigação inicial onde analisaremos o processo de aprendizagem de grupos de estudantes em disciplinas de Algoritmos na UCS. As características centrais do Ambiente serão: uso de múltiplas formas de representação, o estudante interage com ferramentas que englobam diferentes notações; flexibilidade, essas representações podem ser utilizadas em diferentes configurações; monitoração, o professor ou facilitador disporá de ferramentas para acompanhar o progresso do estudante. O projeto pretende desenvolver portanto um conjunto de ferramentas de software que combinadas com um modelo de aprendizagem de Algoritmos facilite o processo de aprendizagem de programação. Um objetivo mais geral é produzir uma estrutura de Ambiente de Aprendizagem Inteligente que possa mais tarde ser especializado em outras áreas. Além disso esse Ambiente deverá ser flexível o suficiente para que o professor possa utilizá-lo no reforço de conteúdos discutidos em sala de aula ou mesmo como substituto para aulas presenciais..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Luciana Foss - Integrante / Marcos Eduardo Casa - Coordenador / Renata de Matos Galante - Integrante / Ricardo Vargas Dorneles - Integrante / Carine Gertrudes Webber - 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.


Projetos de extensão


2013 - Atual
EXP-PC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental

Projeto certificado pelo(a) coordenador(a) Simone André da Costa Cavalheiro em 12/05/2014.
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 futura..
Situação: Em andamento; Natureza: Extensão.


Áreas de atuação


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


Idiomas


Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Bem.
Italiano
Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.


Prêmios e títulos


2013
Um dos cinco melhores artigos do WEIT 2013, FURG e UFPel.
2011
Um dos três melhores artigos do WEIT 2011, UFPEL e FURG.
2011
Um dos três melhores artigos do WEIT 2011, UFPEL e FURG.
2008
Aprovação em concurso Público para professor Adjunto, Universidade Ferderal de Pelotas.
2006
EATCS award - One of the best theoretical papers presented at the 3rd International Conference on Graph Transformation (ICGT 2006), European Association of Theoretical Computer Science.


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:13
Total de citações:29
Fator H:3
Foss, Luciana  Data: 07/03/2013

SCOPUS
Total de trabalhos:17
Total de citações:31
Foss, L.  Data: 07/03/2013

Outras
Total de trabalhos:18
Total de citações:148
Luciana Foss  Data: 13/09/2012

Artigos completos publicados em periódicos

1.
CAVALHEIRO, SIMONE ANDRÉ DA COSTA2017CAVALHEIRO, 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.
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.

3.
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.

4.
BORDINI, A.2016BORDINI, A. ; AVILA, C. M. O. ; 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. 210-238, 2016.

5.
LEMOS JR., Luiz Carlos2015LEMOS JR., Luiz Carlos ; DA COSTA, Simone André ; 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.
CAMARGO, C.A.S.2013CAMARGO, C.A.S. ; CAVALHEIRO, S.A.C. ; FOSS, L. ; 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.

7.
FOSS, L.;Foss, Luciana2013FOSS, L.; CAVALHEIRO, S.A.C. ; BISI, N. ; PAZZINI, V.S. ; BRISOLARA, L.B. ; WAGNER, F.R. . From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis. REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA, v. 20, p. 102-139, 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. 17, p. 1-14, 2013.

9.
RIBEIRO, Leila2011RIBEIRO, Leila ; dos Santos, Osmar Marchi ; Dotti, Fernando Luís ; Foss, Luciana . Correct transformation: From object-based graph grammars to PROMELA. Science of Computer Programming (Print), v. 77, p. 214-246, 2011.

10.
MACHADO, R.2009MACHADO, R. ; FOSS, L. ; RIBEIRO, Leila . Aspects for Graph Grammars. Electronic Communications of the EASST, v. 18, p. 275, 2009.

11.
Baldan, P.2008Baldan, P. ; Corradini, A. ; Dotti, F.L. ; FOSS, L. ; Gadducci, F. ; Ribeiro, L. . Towards a Notion of Transaction in Graph Rewriting. Electronic Notes in Theoretical Computer Science, v. 211, p. 39-50, 2008.

12.
PINTO, Marcelo Cezar2007PINTO, Marcelo Cezar ; FOSS, L. ; MOMBACH, José Carlos Merino ; RIBEIRO, Leila . Modelling, property verification and behavioural equivalence of lactose operon regulation. Computers in Biology and Medicine, Elmsford, NY, USA, v. 37, n.2, p. 134-148, 2007.

Livros publicados/organizados ou edições
1.
VIZZOTTO, J. K. (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. 1. ed. Santa Maria: UFSM, 2017. v. 1. 326p .

2.
VIZZOTTO, J. K. (Org.) ; RIBEIRO, Leila (Org.) ; DUARTE, Lucio Mauro (Org.) ; MACHADO, R. (Org.) ; CAVALHEIRO, S.A.C. (Org.) ; FOSS, L. (Org.) ; SANTOS, O. M. (Org.) . III Workshop-Escola de Informática Teórica - WEIT 2015. 3. ed. Porto Alegre: , 2015. v. 1. 274p .

3.
DIMURO, G. P. (Org.) ; GONCALVES, E. (Org.) ; RIBEIRO, Leila (Org.) ; FOSS, L. (Org.) ; DUARTE, Lucio Mauro (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: IEEE Computer Society. Conference Publishing Services (CPS), 2013. v. 1. 176p .

4.
CAVALHEIRO, S.A.C. (Org.) ; FOSS, L. (Org.) ; Aguiar, M. S. (Org.) ; DIMURO, G. P. (Org.) ; COSTA, A. C. R. (Org.) . 1st Workshop-School on Theoretical Computer Science (WEIT 2011). 1. ed. Los Alamitos: IEEE Computer Society. Conference Publishing Services (CPS), 2011. v. 1. 163p .

5.
DIMURO, G. P. (Org.) ; FOSS, L. (Org.) ; Aguiar, M. S. (Org.) ; CAVALHEIRO, S.A.C. (Org.) ; COSTA, A. C. R. (Org.) . Workshop-Escola de Informática Teórica - WEIT. 1. ed. Pelotas: Editora Universitária - UFPEL, 2011. v. 1. 265p .

Capítulos de livros publicados
1.
FOSS, L.; COSTA, S. A. ; LORETO, Aline Brum ; 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. Pelotas: Editora e Gráfica Universitária UFPEL, 2009, v. , p. 11-27.

Trabalhos completos publicados em anais de congressos
1.
BERTEI, A. ; FOSS, L. ; REISER, R. H. S. ; CAVALHEIRO, S.A.C. . A Relational Approach of Fuzzy Graph Grammars. In: 13th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD 2017), 2017, Guilin. Proceedings of ICNC-FSKD 2017, 2017. p. 1-6.

2.
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. org.crossref.xschema._1.Title@70185b0f, 2017. p. 123-132.

3.
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. org.crossref.xschema._1.Title@6a01a3bc, 2017. p. 314-323.

4.
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.

5.
CUNHA, M. M. ; BORDIN, 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, 2017, Santa Maria. Anais do WEIT 2017. Santa Maria: UFSM, 2017. v. 1. p. 89-96.

6.
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, 2017, Santa Maria. Anais do WEIT 2017. Santa Maria: UFSM, 2017. v. 1. p. 120-127.

7.
SILVA JUNIOR, B. A. ; CAVALHEIRO, S.A.C. ; FOSS, L. . ?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, 2017, Santa Maria. Anais do WEIT 2017. Santa Maria: UFSM, 2017. v. 1. p. 144-151.

8.
WEISSHAHN, Y. ; ACOSTA, R. B. ; CAVALHEIRO, S.A.C. ; PIANA, C. F. 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, 2017, Santa Maria. Anais do WEIT 2017. Santa Maria: UFSM, 2017. v. 1. p. 152-159.

9.
VAZ JUNIOR, J. L. N. ; 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, 2017, Santa Maria. Anais do WEIT 2017. Santa Maria: UFSM, 2017. v. 1. p. 181-187.

10.
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, 2017, Santa Maria. Anais do WEIT 2017. Santa Maria: UFSM, 2017. v. 1. p. 219-226.

11.
GAYER, C. ; CARDOZO, A. A. ; REISER, R. H. S. ; PIANA, C. F. B. ; MAZZINI, A. R. ; FOSS, L. ; CAVALHEIRO, S.A.C. ; Du BOIS, A. R. ; AGUIAR, M. S. . Sistema fuzzy de avaliação de habilidades para promoção de aprendizagem via pensamento computacional. In: IV Workshop-Escola de Informática Teórica, 2017, Santa Maria. Anais do WEIT 2017. Santa Maria: UFSM, 2017. v. 1. p. 243-250.

12.
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, 2017, Santa Maria. Anais do WEIT 2017. Santa Maria: UFSM, 2017. v. 1. p. 271-277.

13.
BERTEI, ALEX ; ZANOTELLI, ROSANA ; CARDOSO, WILSON ; REISER, RENATA ; Foss, Luciana ; BEDREGAL, BENJAMIN . Correlation coefficient analysis based on fuzzy negations and representable automorphisms. In: 2016 IEEE International Conference on Fuzzy Systems (FUZZIEEE), 2016, Vancouver. 2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2016. p. 127.

14.
ZANOTELLI, R. M. ; CARDOSO, W. ; REISER, R. H. S. ; FOSS, L. . Robustness on the class of fuzzy difference operators. In: XXXVI Congresso Nacional de Matemática Aplicada e Computacional, 2016, Gramado. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics. São Carlos: SBMAC, 2016. p. 1-6.

15.
BERTEI, A. ; REISER, R. H. S. ; CARDOSO, W. ; FOSS, L. ; BEDREGAL, B. . Correlation Analysis of Intuitionistic Fuzzy Connectives. In: XXXVI Congresso Nacional de Matemática Computacional, 2016, Gramado. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics. São Carlos: SBMAC, 2016. p. 1-6.

16.
CAVALHEIRO, S. A. C. ; PERNAS, A. M. ; AGUIAR, M. S. ; FOSS, L. ; Du BOIS, A. R. ; REISER, R. H. S. ; PIANA, C. F. B. ; WEISSHAHN, Y. . 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 do XXXVI Congresso da Sociedade Brasileira de Computação, 2016. p. 2176-2195.

17.
SILVA JUNIOR, B. A. ; CAVALHEIRO, S. A. C. ; 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 do XXXVI Congresso da Sociedade Brasileira de Computação, 2016. p. 792-795.

18.
WEISSHAHN, YURI ; PINHO, GUSTAVO ; CAVALHEIRO, SIMONE ; BOIS, ANDRE DU ; AGUIAR, MARILTON ; Foss, Luciana ; REISER, RENATA ; BRUM, CLAUSE FÁTIMA DE . 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, Uberlandia. org.crossref.xschema._1.Title@1718f1f3, 2016. p. 201-210.

19.
PINHO, GUSTAVO ; WEISSHAHN, YURI ; REISER, RENATA ; BRUM, CLAUSE FÁTIMA DE ; CAVALHEIRO, SIMONE ; Foss, Luciana ; AGUIAR, MARILTON ; BOIS, ANDRE DU . Pensamento Computacional no Ensino Fundamental: Relato de Atividade de Introdução a Algoritmos. In: XXII Workshop de Informática na Escola, 2016, Uberlandia. org.crossref.xschema._1.Title@647b9d3d, 2016. p. 261-270.

20.
AVILA, CHRISTIANO ; BORDINI, ADRIANA ; MARQUES, MONICA ; CAVALHEIRO, SIMONE ; Foss, Luciana . Desdobramentos do Pensamento Computacional no Brasil. In: XXVII Simpósio Brasileiro de Informática na Educação, 2016, Uberlandia, 2016. p. 200-209.

21.
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.

22.
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. III Workshop-Escola de Informática Teórica - WEIT 2015, 2015. v. 1. p. 174-181.

23.
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. III Workshop-Escola de Informática Teórica - WEIT 2015, 2015. v. 1. p. 206-213.

24.
DARLEY, N. ; 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. III Workshop-Escola de Informática Teórica - WEIT 2015, 2015. v. 1. p. 99-105.

25.
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. III Workshop-Escola de Informática Teórica - WEIT 2015, 2015. v. 1. p. 114-121.

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

27.
ZANOTELLI, R. M. ; REISER, R. H. S. ; CAVALHEIRO, S.A.C. ; FOSS, L. ; BEDREGAL, B. R. C. . Robustness of intuitionistic fuzzy implications: the Yager?s implication case study. In: III Workshop-Escola de Informática Teórica, 2015, Porto Alegre. III Workshop-Escola de Informática Teórica - WEIT 2015, 2015. v. 1. p. 214-221.

28.
SANTOS, GUSTAVO ; SILVA, WINE ; CAVALHEIRO, SIMONE ; Foss, Luciana ; AGUIAR, MARILTON ; PERNAS, ANA MARILZA ; BOIS, ANDRE DU ; REISER, RENATA . Proposta de atividade para o quinto ano do ensino fundamental: Algoritmos Desplugados. In: XXI Workshop de Informática na Escola, 2015, Maceió. v. 1. p. 246-255.

29.
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.

30.
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.

31.
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), 2014. p. 1-8.

32.
ZANOTELLI, R. M. ; Lemke, A ; REISER, R. H. S. ; CAVALHEIRO, S.A.C. ; FOSS, L. . Towards an Atanassov intuitionistic extensions of fuzzy Diskant implication operators. In: III Congresso Brasileiro de Sistemas Fuzzy, 2014, João Pessoa. Anais do CBSF 2014, 2014. p. 1-10.

33.
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çãoo de Informações via Pensamento Computacional: Relato de Atividade Aplicada no Ensino Fundamental. In: Workshop de Informática na Escola, 2014, Dourados. Anais do WIE 2014, 2014. p. 390-399.

34.
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.

35.
MELLO, A.M. ; FOSS, L. ; CAVALHEIRO, S.A.C. . Towards the use of Graph Grammars for specification of Multi-Agent System Organizations. In: Simpósio Brasileiro de Métodos Formais, 2013, Brasília. Simpósio Brasileiro de Métodos Formais, 2013. v. 1. p. 42-47.

36.
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. p. 97-104.

37.
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.

38.
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. p. 51-58.

39.
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.

40.
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.

41.
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, 2013. p. 111-115.

42.
CAVALHEIRO, S.A.C. ; 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.

43.
MELLO, A.M. ; FOSS, L. ; CAVALHEIRO, S.A.C. . 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é. X Jornada de Pós‐Graduação e Pesquisa (CONGREGA 2012), 2012. p. 1-11.

44.
LEMOS Junior, L.C. ; CAVALHEIRO, S.A.C. ; FOSS, L. . 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é. X Jornada de Pós‐Graduação e Pesquisa (CONGREGA 2012), 2012. p. 1-10.

45.
CAMARGO, C.A.S. ; CAVALHEIRO, G.G.H. ; PILLA, M. L. ; CAVALHEIRO, S.A.C. ; 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 HPCLatAm, 2012. p. 1-15.

46.
FOSS, L.; COSTA, S. A. ; 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.

47.
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. p. 81-87.

48.
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. p. 88-94.

49.
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. p. 95-101.

50.
DUARTE, Lucio Mauro ; FOSS, L. ; WAGNER, F. R. ; HEIMFARTH, T. . Model Checking the Ant Colony Optimisation. In: Distributed, Parallel and Biologically Inspired Systems, 2010, Brisbane. IFIP Advances in Information and Communication Technology. Boston: Springer, 2010. v. 329. p. 221-232.

51.
DUARTE, Lucio Mauro ; FOSS, L. ; WAGNER, F. R. ; HEIMFARTH, T. . A Probabilistic Model Checking Technique for the Verification of Self-Organising Emergent Systems. In: XXXVII Seminário Integrado de Software e Hardware - SEMISH, 2010, Belo Horizonte. SEMISH, 2010. v. ST2. p. 2.1-15.

52.
CORRADINI, A ; FOSS, L. ; RIBEIRO, L . Graph Transformation with Dependencies for the Specification of Interactive Systems. In: 19th International Workshop on Algebraic Development Techniques, 2009, Pisa. Lecture Notes in Computer Science - Revised Selected Papers. Berlin: Springer, 2009. v. 5486. p. 102-118.

53.
RIBEIRO, L ; FOSS, L. ; SILVA, B. ; Nunes, D. . Model Transformation Using Graph Transactions. In: 11th International Conference on Software Reuse, 2009, Falls Church. Lecture Notes in Computer Science - Formal Foundations of Reuse and Domain Engineering. Berlin: Springer, 2009. v. 5791. p. 95-105.

54.
FOSS, L.; MACHADO, R. ; RIBEIRO, Leila . Graph productions with dependencies. In: Simpósio Brasileiro de Métodos Formais, 2007, Ouro Preto. Proceedings of 10th Brazilian Symposium on Formal Methods, 2007. p. 128-143.

55.
FERREIRA, Ana Paula Ludtke ; FOSS, L. ; RIBEIRO, Leila . Formal Verification of Object-Oriented Graph Grammars Specifications. In: Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2006), 2007, Bonn. Electronic Notes in Theoretical Computer Science, 2006. v. 175. p. 101-114.

56.
BALDAN, Paolo ; CORRADINI, Andrea ; FOSS, L. ; GADDUCCI, Fabio . Graph Transactions as Processes. In: Third International Conference on Graph Transformations, 2006, Natal. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2006. v. 4178. p. 199-214.

57.
PINTO, Marcelo Cezar ; FOSS, L. ; MOMBACH, José Carlos Merino ; RIBEIRO, Leila . Modeling and Property Verification of Lactose Operon Regulation. In: Brazilian Symposium on Bioinformatics, 2005, São Leopoldo. Lecture Notes in Bioinformatics. Berlin / Heidelberg: Springer Verlag, 2005. v. 3594. p. 95-106.

58.
DOTTI, Fernando Luís ; DUARTE, Lucio Mauro ; FOSS, L. ; RIBEIRO, Leila ; RUSSI, Daniela Tereza Ascencio ; SANTOS, Osmar Marchi dos . An Environment for the Development of Concurrent Object-Based Applications. In: International Workshop on Graph-Based Tools (GraBaTs 2004), 2005, Rome. Electronic Notes in Theoretical Computer Science, 2004. v. 127. p. 3-13.

59.
CORRADINI, Andrea ; DOTTI, Fernando Luís ; FOSS, L. ; RIBEIRO, Leila . Translating Java Code to Graph Transformation Systems. In: Second International Conference on Graph Transformations, 2004, Rome. Lecture Notes in Computer Science. Berlin: Springer-Verlag, 2004. v. 3256. p. 383-398.

60.
FOSS, L.; RIBEIRO, Leila . A Translation from Object-Based Hypergraph Grammars into π-Calculus. In: Brazilian Workshop on Formal Methods, 2004, Campina Grande. Electronic Notes in Theoretical Computer Science, 2004. v. 95. p. 245-267.

61.
DOTTI, Fernando Luís ; FOSS, L. ; RIBEIRO, Leila ; SANTOS, Osmar Marchi dos . Especificação e Verificação Formal de Sistemas Distribuídos. In: XVII Simpósio Brasileiro de Engenharia de Software, 2003, Manaus. XVII Simpósio Brasileiro de Engenharia de Software, 2003. p. 225-240.

62.
DOTTI, Fernando Luís ; FOSS, L. ; RIBEIRO, Leila ; SANTOS, Osmar Marchi dos . Verification of Distributed Object-Based Systems. In: 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, 2003, Paris. Lecture Notes in Computer Science. Berlin: Springer-Verlag, 2003. v. 2884. p. 261-275.

Resumos expandidos publicados em anais de congressos
1.
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 do XXV Congresso de Iniciação Científica, 2016. p. 1-4.

2.
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, 2016, PELOTAS. Anais do XXV Congresso de Iniciação Científica, 2016. p. 1-4.

3.
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, 2016, PELOTAS. Anais do XXV Congresso de Iniciação Científica, 2016. p. 1-4.

4.
WEISSHAHN, Y. ; HALMENSCHLAGER, 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, 2016. p. 470-473.

5.
ZANOTTELLI, ROSANA M. ; REISER, RENATA H. S. ; CAVALHEIRO, SIMONE C. ; Foss, Luciana . Sensitivity of fuzzy f-Xor implication. In: XXXV CNMAC Congresso Nacional de Matemática Aplicada e Computacional, 2015. v. 3.

6.
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, 2015, Pelotas. Congresso de Extensão e Cultura - CEC 2015, 2015. p. 107-110.

7.
SILVA, W. ; CAVALHEIRO, S.A.C. ; FINKENAUER JUNIOR, P. ; PERNAS, A. M. ; PIANA, C. F. 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. XXIV Congresso de Iniciação Científica da Universidade Federal de Pelotas - CIC2015, 2015. p. 1-4.

8.
ARNHOLD, B. ; PINHO, G. C. ; SANTOS, G. ; FOSS, L. ; COSTA, S. A. ; 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. XXIV Congresso de Iniciação Científica da Universidade Federal de Pelotas - CIC 2015, 2015.

9.
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. XXIV Congresso de Iniciação Científica da Universidade Federal de Pelotas - CIC 2015, 2015. p. 1-1.

10.
DARLEY, N. ; 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 Pelotas, 2015, Pelotas. XXIV Congresso de Iniciação Científica da Universidade Federal de Pelotas - CIC 2015, 2015. p. 1-4.

11.
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. XXIV Congresso de Iniciação Científica da Universidade Federal de Pelotas - CIC 2015, 2015. p. 1-1.

12.
CAVALHEIRO, S.A.C. ; CAMPOS, G. M. ; FINKENAUER JUNIOR, P. ; LAGEMANN, R. D. ; ANDRADE, D.F. ; 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 do SEURS, 2014. p. 1-6.

13.
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 do CIC - UFPEL, 2014. p. 1-4.

14.
RUTZ, S. D. ; DARLEY, N. ; FOSS, L. ; CAVALHEIRO, S.A.C. . Otimizações de Táticas para Prova de Teoremas de Gramática de Grafos. In: XXIII Congresso de Iniciação Científica da Universidade Federal de Pelotas, 2014, PELOTAS. Anais do CIC - UFPEL, 2014. p. 1-4.

15.
BERTEI, A. ; CAVALHEIRO, S.A.C. ; FOSS, L. . Uma tradução de Gramática de Grafos Controlada para Event-B. In: XXIII Congresso de Iniciação Científica da Universidade Federal de Pelotas, 2014, PELOTAS. Anais do CIC - UFPEL, 2014. p. 1-4.

16.
ZANOTELLI, R. M. ; REISER, R. H. S. ; CAVALHEIRO, S.A.C. ; FOSS, L. . ANÁLISE DA ROBUSTEZ NA CLASSE f-XOR DE CONECTIVOS FUZZY: IMPLICAÇÕES E BI-IMPLICAÇÕES. In: XVI Encontro de Pós-Graduação da Universidade Federal de Pelotas, 2014, PELOTAS. Anais do ENPOS - UFPEL, 2014. p. 1-4.

17.
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: I Congresso de Extensão e Cultura da UFPEL, 2014, PELOTAS. Anais do CEC - UFPEL, 2014. p. 1-5.

18.
COSTA, A. ; PAZZINI, V.S. ; FOSS, L. ; CAVALHEIRO, S.A.C. ; 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 Workshop-Escola de Informática Teórica, WEIT 2013. Rio Grande: Editora da FURG, 2013. p. 26-33.

19.
ZANOTELLI, R. M. ; REISER, R. H. S. ; CAVALHEIRO, S.A.C. ; FOSS, L. . Fuzzy f-Xor Class and dual Constructions. In: Workshop-Escola de Informática Teórica, 2013, Rio Grande. Pre-Proceedings do Workshop-Escola de Informática Teórica, WEIT 2013. Rio Grande: Editora da FURG, 2013. p. 42-49.

20.
LEMOS Junior, L.C. ; CAVALHEIRO, S.A.C. ; 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 Workshop-Escola de Informática Teórica, WEIT 2013. Rio Grande: Editora da FURG, 2013. p. 146-153.

21.
CARVALHO, T. ; ANDRADE, D. ; SILVEIRA, J. ; CAVALHEIRO, S.A.C. ; Aguiar, M. S. ; FOSS, L. ; PERNAS, A. M. ; REISER, R. H. S. . 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 Workshop-Escola de Informática Teórica, WEIT 2013. Rio Grande: Editora da FURG, 2013. p. 154-161.

22.
MELLO, A.M. ; FOSS, L. ; CAVALHEIRO, S.A.C. . Using Graph Grammars to specify populational level of Multi-Agent System Organizations. In: Workshop de Informática na Escola, 2013. Pre-Proceedings do Workshop-Escola de Informática Teórica, WEIT 2013. Rio Grande: Editora da FURG. p. 174-181.

23.
BISI, N. ; PAZZINI, V. S. ; FOSS, L. ; CAVALHEIRO, S.A.C. ; 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. Pre-Proceedings do Workshop-Escola de Informática Teórica. Pelotas: Universidade Federal de Pelotas, 2011. v. 1. p. 242-253.

24.
CAMARGO, C.A.S. ; CAVALHEIRO, G.G.H. ; FOSS, L. ; COSTA, S. A. . Uma Gramática para a Transformação de DAGs em Grafos Descrevendo Programas Multithreaded. In: Workshop-Escola de Informática Teórica, 2011, Pelotas. Pre-Proceedings do Workshop-Escola de Informática Teórica. Pelotas: Universidade Federal de Pelotas, 2011. v. 1. p. 164-176.

25.
WAGNER, F. R. ; DUARTE, Lucio Mauro ; HEIMFARTH, T. ; FOSS, L. ; MACHADO, R. ; CARRO , L. ; LAMB, L. C. ; RIBEIRO, Leila ; MOREIRA, Álvaro Freitas ; COTA, E. F. ; PEREIRA, C. E. . Uma Metodologia de Engenharia de Software para o Desenvolvimento de Sistemas Emergentes Auto-organizáveis. In: II Seminário sobre Grandes Desafios da Computação no Brasil, 2009, Manaus. Relatório do II Senário sobre Grandes Desafios da Computação no Brasil, 2009.

26.
FOSS, L.; RIBEIRO, Leila . A Translation from Object-Based Hypergraph Grammars into Pi-Calculus (Concurso de Teses e Dissertações). In: XVII CTD/SBC - Concurso de Teses e Dissertações, 2004, Salvador. XXIV Congresso da Sociedade Brasileira de Computação. Salvador: Sociedade Brasileira de Computação, 2004. v. 1. p. 49-49.

Resumos publicados em anais de congressos
1.
COSTA, A. ; PAZZINI, V.S. ; CAVALHEIRO, S.A.C. ; BRISOLARA, L.B. ; WAGNER, F.R. ; FOSS, L. . TRANSFORMAÇÃO AUTOMÁTICA DE DIAGRAMAS UML PARA MODELOS SIMULINK. In: XXII Congresso de Iniciação Científica da UFPEL, 2013, Pelotas. Anais do CIC 2013, 2013. v. 1. p. 1-4.

2.
ANDRADE, D.F. ; CARVALHO, T.R. ; 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 UFPEL, 2013, Pelotas. Anais do CIC 2013, 2013. v. 1. p. 1-4.

3.
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 UFPEL, 2013, Pelotas. Anais do CIC 2013, 2013. v. 1. 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 UFPEL, 2013, Pelotas. Anais do CIC 2013, 2013. v. 1. p. 1-4.

5.
CARVALHO, T.R. ; ANDRADE, D.F. ; 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 UFPEL, 2013, Pelotas. Anais do CIC 2013, 2013. v. 1. p. 1-4.

6.
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 TEOREMA. In: XV Encontro de Pós-Graduação UFPEL, 2013, Pelotas. Anais do ENPOS 2013, 2013. v. 1. p. 1-4.

7.
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, 2013, Pelotas. Anais do ENPOS 2013, 2013. v. 1. p. 1-4.

8.
MELLO, A.M. ; FOSS, L. ; COSTA, S. A. . Gramática de Grafos para modelagem de Sistemas Multi-Agentes baseados no PopOrg. In: Seminário de Pesquisa em Computação - SPC 2012, 2012, Pelotas. Anais do Seminário de Pesquisa em Computação - SPC 2012. Pelotas, 2012.

9.
COSTA, A. ; COSTA, S. A. ; FOSS, L. ; BRISOLARA, L.B. . Automatização da Transformação de sistemas UML para modelos Simulink. In: Seminário de Pesquisa em Computação - SPC 2012, 2012, Pelotas. Anais do Seminário de Pesquisa em Computação - SPC 2012. Pelotas, 2012.

10.
LEMOS Junior, L.C. ; COSTA, S. A. ; FOSS, L. . Prova de Teoremas Para Gramática de Grafos: Estratégias para Demonstração de Obrigações de Prova. In: Seminário de Pesquisa em Computação - SPC 2012, 2012, Pelotas. Anais do Seminário de Pesquisa em Computação - SPC 2012. Pelotas, 2012.

11.
PAZZINI, V. S. ; BISI, N. ; CAVALHEIRO, S.A.C. ; FOSS, L. ; BRISOLARA, L.B. . Tradução Formal de Diagramas UML para Modelos SIMULINK. In: XX Congresso de Iniciação Científica da UFPEL, 2011, Pelotas. Anais do CIC 2011, 2011. v. 1. p. 1-4.

12.
LEMOS Junior, L.C. ; MELLO, A.M. ; CAVALHEIRO, S.A.C. ; FOSS, L. . Gramática de Grafos: Um comparativo de métodos de verificação. In: XIII 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, S.A.C. . Modelo PopOrg: Uma proposta de Especificação em Gramática de Grafos. In: || Seminário de Pesquisa em Computação - SPC 2011, 2011, Pelotas. || Seminário de Pesquisa em Computação - SPC 2011, 2011.

14.
LEMOS Junior, L.C. ; CAVALHEIRO, S.A.C. ; FOSS, L. . Provador de Teoremas para Gramática de Grafos: Um estudo nas árvores de prova e proposta de táticas. In: || Seminário de Pesquisa em Computação - SPC 2011, 2011, Pelotas. || Seminário de Pesquisa em Computação - SPC 2011, 2011.

15.
PAZZINI, V. S. ; BISI, N. ; CAVALHEIRO, S.A.C. ; FOSS, L. . Tradução Formal de Sistemas UML para Simulink. In: || Seminário de Pesquisa em Computação - SPC 2011, 2011, Pelotas. || Seminário de Pesquisa em Computação - SPC 2011, 2011.

16.
BALDAN, Paolo ; CORRADINI, Andrea ; FOSS, L. ; GADDUCCI, Fabio ; RIBEIRO, Leila . Graph transactions as a basis for graph transformation modules. In: International Workshop on Algebraic Development Techniques, 2006, La Roche en Ardenne. Booklet of International Workshop on Algebraic Development Techniques, 2006. p. 21-21.

17.
FOSS, L.; DORNELES, Ricardo Vargas . AlgoMais - interpretador de linguagem algorítmica para o projeto ILENA. In: VIII Encontro de Jovens Pesquisadores da UCS, 2000, Caxias do Sul. VIII Encontro de Jovens Pesquisadores da UCS. Caxias do Sul, 2000. p. 67.

Apresentações de Trabalho
1.
FOSS, L.. Gramática de Grafos. 2017. (Apresentação de Trabalho/Conferência ou palestra).

2.
FOSS, L.. Pensamento Computacional no Ensino Fundamental. 2016. (Apresentação de Trabalho/Conferência ou palestra).

Demais trabalhos
1.
FOSS, L.. Estudo Comparativo entre Máquinas de Estado Abstratas, Máquinas Abstratas Químicas e Gramáticas de Grafos.. 2001 (Trabalho Individual) .



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
REISER, R. H. S.; YAMIN, A. C.; BEDREGAL, B. R. C.; FOSS, L.. Participação em banca de Lidiane Visintin. Implicações Fuzzy Intuicionistas Intervalares Obtidas por Funções Duais e Agregadores Intervalares. 2013. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas.

2.
LORETO, Aline Brum; EMMENDORFER, L. R.; Du BOIS, A. R.; FOSS, L.. Participação em banca de Rafael Rodrigues Bastos. Modelagem matemática para a quantificação de dióxido de carbono neutralizado por plantios comerciais de eucalipto na região de Bagé-RS. 2013. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas.

3.
FOSS, L.. Participação em banca de Ana Maria Barbosa Abeijon. Uma Proposta de Estudo da Incerteza Integrando a Teoria dos Conjuntos Fuzzy e a Computação Quântica. 2011. Dissertação (Mestrado em Informática) - Universidade Católica de Pelotas.

4.
FOSS, L.. Participação em banca de Marília Dias do Amaral. A-implicações fuzzy valoradas Intervalarmente. 2011. Dissertação (Mestrado em Informática) - Universidade Católica de Pelotas.

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 COMPUTAÇÃO) - Universidade Federal de Pelotas.

2.
FOSS, L.; CAVALHEIRO, S.A.C.. Participação em banca de Rosana Medina Zanotelli. Comparative and Hierarchical Analysis related to Main Extensions of Fuzzy Logic. 2017. Exame de qualificação (Doutorando em COMPUTAÇÃO) - 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.
FOSS, L.; TORCHELSEN, R. P.; TAVARES, T. A.. Participação em banca de Mikael Poetsch.Avaliação do desempenho da influência do Leap Motion aplicado ao aprendizado. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

3.
Brisolara, L. B.; MATTOS, J. C. B.; FOSS, L.. Participação em banca de Aline Tonini.Sustentabilidade de Produtos de Software: Uma Avaliação de Aplicativos Móveis. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

4.
FOSS, L.; CAVALHEIRO, G.G.H.; PILLA, M. L.; Du BOIS, A. R.. Participação em banca de Rafael de Leão Bandeira.Compilador para a linguagem CMTJava. 2010. Trabalho de Conclusão de Curso (Graduação em COMPUTAÇÃO) - Universidade Federal de Pelotas.

5.
FOSS, L.; Brisolara, L. B.; CORREA, U. B.; MATTOS, J. C. B.; AGOSTINI, L. V.. Participação em banca de Wellisson Guilhermino Pereira da Silva.Uso de Refatorações na Exploração do Espaço de Projeto de Software Embarcado. 2010. Trabalho de Conclusão de Curso (Graduação em COMPUTAÇÃO) - Universidade Federal de Pelotas.

6.
FOSS, L.; ARAUJO, R. M.; FERREIRA JUNIOR, P. R.; Aguiar, M. S.. Participação em banca de Tainã Caetano Coimbra.Computação humana aplicada ao problema do caixeiro viajante. 2010. Trabalho de Conclusão de Curso (Graduação em COMPUTAÇÃO) - Universidade Federal de Pelotas.

7.
FOSS, L.; YAMIN, A. C.; Du BOIS, A. R.; CAVALHEIRO, G.G.H.. Participação em banca de Cícero Augusto de Souza Camargo.Análise do Impacto da Aplicação de Algoritmos de Escalonamento de Lista em Ambientes Multithreaded Dinâmicos. 2010. Trabalho de Conclusão de Curso (Graduação em COMPUTAÇÃO) - Universidade Federal de Pelotas.

8.
FOSS, L.; DORNELES, Ricardo Vargas; TAIROV, Stanislav. Participação em banca de André Antonio Schmitz.Computação Quântica: Principais Aspectos Lógicos e Algoritmos. 2004 - Universidade de Caxias do Sul.



Participação em bancas de comissões julgadoras
Concurso público
1.
FOSS, L.; FERREIRA JUNIOR, P. R.; Du BOIS, A. R.. Professor Temporário. 2012. Universidade Federal de Pelotas.

2.
FOSS, L.; LORETO, Aline Brum. Professor Temporário. 2011. Universidade Federal de Pelotas.

3.
FOSS, L.; Diniz, E.A.; da Rosa Junior, L.S.. Professor Substituto. 2010. Universidade Federal de Pelotas.

Outras participações
1.
FOSS, L.. XXIII CONGRESSO DE INICIAÇÃO CIENTÍFICA. 2014. Universidade Federal de Pelotas.

2.
FOSS, L.. XV Encontro de Pós-Graduação. 2013. Universidade Federal de Pelotas.

3.
FOSS, L.. XVI Salão de Iniciação Científica - Sessão de Fundamentos da Computação e Bioinformática. 2004. Universidade Federal do Rio Grande do Sul.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
3º Congresso Brasileiro de Informática na Educação. 2014. (Congresso).

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

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

4.
III Seminário de Pesquisa em Computação da UFPel.Revisão de Artigo. 2012. (Seminário).

5.
II Seminário de Pesquisa em Computação da UFPel.Revisão de Artigo. 2011. (Seminário).

6.
I Workshop-Escola de Informática Teórica. Comitê de Programa. 2011. (Congresso).

7.
Simpósio Brasileiro de Métodos Formais.From UML to SIMULINK: a Graph Grammar Specification. 2011. (Simpósio).

8.
I Seminário de Pesquisa em Computação da UFPel.Revisão de Artigo. 2010. (Seminário).

9.
Symposium On Theory of Modeling and Simulation.Revisão de artigos. 2010. (Simpósio).

10.
Conferência Latino Americana de Informática. 2009. (Congresso).

11.
Eighth International Workshop on Graph Transformation and Visual Modeling Techniques.Revisão de artigos. 2009. (Outra).

12.
Simpósio Brasileiro de Métodos Formais. 2009. (Simpósio).

13.
XXXV Conferencia Latinoamericana de Informática.Revisão de artigos. 2009. (Outra).

14.
9th International Conference on Fundamental Approaches to Software Engineering.Revisão de artigos. 2006. (Outra).

15.
Simpósio Brasileiro de Métodos Formais. 2006. (Congresso).

16.
Third International Conference on Graph Transformations. Graph Transactions as Processes. 2006. (Congresso).

17.
XX Simpósio Brasileiro de Engenharia de Software.Revisão de artigos. 2006. (Simpósio).

18.
Second International Conference on Graph Transformation. 2004. (Congresso).

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

20.
Summer School on Software Engineering - Refinement. 2004. (Outra).

21.
XVII CTD/SBC - Concurso de Teses e Dissertações. A Translation from Object-Based Hypergraph Grammars into Pi-Calculus. 2004. (Congresso).

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

23.
International Winter School on Semantics and Applications. 2003. (Outra).

24.
Minicurso - Interpretação Abstrata: Teoria e Aplicações à Análise de Programas. 2003. (Oficina).

25.
VI Workshop Brasileiro de Métodos Formais.Revisão de artigos. 2003. (Outra).

26.
VI Workshop Brasileiro de Métodos Formais.A Translation from Object-Based Hypergraph Grammars into Pi-Calculus. 2003. (Outra).

27.
Minicurso - Construção de Aplicações Distribuídas: Conceitos e Tecnologias Java.. 2002. (Oficina).

28.
Tutorial - Web Services and Implications in Software Development. 2002. (Oficina).

29.
V Workshop de Métodos Formais. 2002. (Outra).

30.
XVII Simpósio Brasileiro de Banco de Dados. 2002. (Simpósio).

31.
XVI Simpósio Brasileiro de Engenharia de Software. 2002. (Simpósio).

32.
VIII Encontro de Jovens Pesquisadores da UCS.AlgoMais - interpretador de linguagem algorítmica para o projeto ILENA. 2000. (Outra).

33.
XIX Congresso da Sociedade Brasileira de Computação. 1999. (Congresso).

34.
I Fim de Semana Acadêmico de Computação da Serra Gaúcha. 1998. (Outra).

35.
XVIII Congresso da Sociedade Brasileira da Computação. 1998. (Congresso).

36.
XVII Jornadas de Atualização de Informática - JAI 5: Banco de Dados Temporais: Teoria e Prática. 1998. (Outra).

37.
Semana Acadêmica de Informática. 1997. (Congresso).

38.
II Semana de Ciências Exatas e Tecnologia e IV Semana de Informática. 1994. (Outra).


Organização de eventos, congressos, exposições e feiras
1.
FOSS, L.. IV Workshop-Escola de Informática Teórica. 2017. (Congresso).

2.
RIBEIRO, Leila ; DUARTE, Lucio Mauro ; MACHADO, R. ; CAVALHEIRO, S.A.C. ; FOSS, L. ; VIZZOTTO, J. K. ; SANTOS, O. M. . III Workshop-Escola de Informática Teórica - WEIT 2015. 2015. (Congresso).

3.
DIMURO, G. P. ; FOSS, L. ; GONCALVES, E. ; BARBOSA, R. M. ; RIBEIRO, Leila ; DUARTE, Lucio Mauro ; Aguiar, M. S. ; CAVALHEIRO, S.A.C. . II Workshop-Escola de Informática Teórica. 2013. (Congresso).

4.
CAVALHEIRO, S.A.C. ; COSTA, A. C. R. ; FOSS, L. ; DIMURO, G. P. ; Aguiar, M. S. . I Workshop-Escola de Informática Teórica. 2011. (Congresso).

5.
FOSS, L.. Simpósio Brasileiro de Métodos Formais. 2009. (Congresso).

6.
FOSS, L.. Conferência Latino Americana de Informática. 2009. (Congresso).

7.
FOSS, L.. Simpósio Brasileiro de Engenharia de Software. 2002. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Monica Marques da Cunha. A definir. Início: 2016. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas. (Coorientador).

Tese de doutorado
1.
Alex Bertei. A definir. Início: 2017. Tese (Doutorado em Computação) - Universidade Federal de Pelotas. (Coorientador).

2.
Adriana Bordini. A definir. Início: 2015. Tese (Doutorado em Computação) - Universidade Federal de Pelotas. (Coorientador).

Iniciação científica
1.
Matheus Ianzer Hertzog. A definir. Início: 2017. 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).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Alex Bertei. Uma abordagem relacional para Gramática de Grafos Fuzzy. 2017. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas, . Orientador: Luciana Foss.

2.
Wilson Roberto da Silva Cardoso. Diferença Fuzzy intuicionistas: Classes, Propriedades e Aplicações. 2016. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas, . Orientador: Luciana Foss.

3.
André Moura de Mello. GGMA: Gram´atica de Grafos para Sistemas Multiagentes baseados no PopOrg. 2014. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas, . Orientador: Luciana Foss.

4.
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, . Coorientador: Luciana Foss.

Trabalho de conclusão de curso de graduação
1.
Alex Bertei. Uso de Provador de Teoremas para Verificação de Sistemas Multiagentes baseados no modelo PopOrg. 2014. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pelotas. Orientador: Luciana Foss.

Iniciação científica
1.
Talisson Rosa Galho. Ferramenta para Extração de Transações de TGTSs. 2015. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Pelotas. Orientador: Luciana Foss.

2.
NICOLAS OREQUES DE ARAUJO. Tradução Automática de Gramática de Grafos para Event-B. 2015. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Pelotas. Orientador: Luciana Foss.

3.
Erick C. Espindula. Ferramenta para Tradução Automática de Gramática de Grafos para Event-B. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Pelotas. Orientador: Luciana Foss.

4.
Andrei Costa. Tradução formal de diagram UML para modelos SIMULINK - Implementação. 2013. 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: Luciana Foss.

5.
Vinicius Pazzini. Implementação da tradução formal de diagramas UML para modelos 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: Luciana Foss.

6.
Nícolas Bisi. Tradução formal de diagram UML para modelos 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: Luciana Foss.




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