Rede de Colaboração
Diretório de grupos de pesquisa |
Luciana Foss 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.
Última
atualização do currículo em 06/01/2012
Endereço para acessar este CV: http://lattes.cnpq.br/1097468139544018 |
Dados pessoais
| Nome | Luciana Foss |
| Nome em citações bibliográficas | FOSS, L. |
| Sexo | Feminino |
| Endereço profissional | Universidade Federal de Pelotas, Reitoria, Instituto de Física e Matemática. Campus Universitário, sn 96010-900 - Pelotas, RS - Brasil - Caixa-Postal: 354 Telefone: (53) 32757406 Fax: (53) 32757343 URL da Homepage: https://sites.google.com/a/inf.ufpel.edu.br/lfoss/ |
Formação acadêmica/Titulação
| 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 / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Metodos Formais. 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. |
| 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 / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas. 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 / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos. 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. |
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 |
| 03/2011 - Atual | Ensino, Ciência da Computação, Nível: Graduação. |
| Disciplinas ministradas Linguagens Formais Algoritmos e Programação |
| 01/2010 - Atual | Atividades de Participação em Projeto, Instituto de Física e Matemática, Departamento de Informática. |
|
Projetos de pesquisa NESS - Núcleo de Excelência em Engenharia de Software para Sistemas Embarcados |
| 2009 - Atual | Atividades de Participação em Projeto, Instituto de Física e Matemática - Departamento de Informática, . |
|
Projetos de pesquisa Descrição e Análise Formal de Transformações de Modelos MMC do CO2 - Modelagem Matemática e Computacional da Neutralização do Carbono |
| 03/2010 - 12/2010 | Ensino, Ciência da Computação, Nível: Graduação. |
| Disciplinas ministradas Algoritmos e Programação Lógica Formal Sistemas Discretos II |
| 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. |
| Atividades |
| 2008 - 2009 | Atividades de Participação em Projeto, Instituto de Informática, . |
|
Projetos de pesquisa Uma Metodologia de Desenvolvimento de Sistemas Computacionais à Luz da Transição do Silício para Novas Tecnologias: Fundamentos e Aplicações |
| 2003 - 2005 | Atividades de Participação em Projeto, Instituto de Informática, . |
|
Projetos de pesquisa DACHIA |
| 2001 - 2004 | Atividades de Participação em Projeto, Instituto de Informática, Departamento de Informática Teórica. |
|
Projetos de pesquisa IQ-Moblie (phase I and II)- Improving the Quality of Open Systems with Code Mobility through Rigorous Development |
| 2001 - 2003 | Atividades de Participação em Projeto, Instituto de Informática, Departamento de Informática Teórica. |
|
Projetos de pesquisa PLATUS - Desenvolvimento Formal e Simulação de Sistemas Reativos |
| 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 |
| 9/1999 - 7/2000 | Atividades de Participação em Projeto, Centro de Ciências Exatas e Tecnologia, . |
|
Projetos de pesquisa ILENA - Ambiente Inteligente para o Ensino de Algoritmos |
| 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 |
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. Integrantes: Flávio Rech Wagner - Coordenador / Luciana Foss - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro.. |
| 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: Leila Ribeiro - Integrante / Simone André da Costa - Integrante / Luciana Foss - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro.. |
| 2009 - Atual | 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: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 2) . Integrantes: Aline Brum Loreto - Coordenador / Diana Francisca Adamatti - Integrante / Marilton Sanchotene de Aguiar - Integrante / Flávia Tereza Giordani - Integrante / Luciana Foss - Integrante. . |
| 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: Á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 / Luciana Foss - 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: 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 / Luciana Foss - 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 profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Leila Ribeiro - Coordenador / Fernando Luís Dotti - Integrante / Andrea Corradini - Integrante / Flávio de Assis Silva - Integrante / Stefania Gnesi - Integrante / Luciana Foss - 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 profissionalizante ( 0) / Doutorado ( 0) . Integrantes: 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 / Luciana Foss - 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 profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Marcos Eduardo Casa - Coordenador / Renata de Matos Galante - Integrante / Ricardo Vargas Dorneles - Integrante / Carine Gertrudes Webber - Integrante / Luciana Foss - 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.. |
Á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
| 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ção em C,T & A
| Produção bibliográfica |
| Citações | |||||||||||||||||||
| |||||||||||||||||||
| Artigos completos publicados em periódicos |
| 1. |  RIBEIRO, Leila ; SANTOS, Osmar Marchi dos ; DOTTI, Fernando Luís ; FOSS, L. . Correct Transformation: From Object-Based Graph Grammars to PROMELA. Science of Computer Programming (Print) , v. in, p. 1, 2011. |
| 2. | PINTO, 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. |
| 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. | 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. Workshop-Escola de Informática Teórica. Pelotas : Universidade Federal de Pelotas, 2011. v. 1. p. 242-253. |
| 2. | 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. Workshop-Escola de Informática Teórica. Pelotas : Universidade Federal de Pelotas, 2011. v. 1. p. 164-176. |
| 3. | MELLO, A.M. ; LEMOS Junior, L.C. ; FOSS, L. ; CAVALHEIRO, S.A.C. . Graph Grammars: A Comparison between Verification Methods. In: Workshop-School on Theoretical Computer Science, 2011, Pelotas. Post-proceedings of Workshop-School on Theoretical Computer Science - WEIT 2011. Los Alamitos : IEEE Computer Society, 2011. p. 88-94. |
| 4. | BISI, N. ; PAZZINI, V. S. ; FOSS, L. ; CAVALHEIRO, S.A.C. ; 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 Workshop-School on Theoretical Computer Science - WEIT 2011. Los Alamitos : IEEE Computer Society, 2011. p. 81-87. |
| 5. | CAMARGO, C.A.S. ; CAVALHEIRO, G.G.H. ; FOSS, L. ; CAVALHEIRO, S.A.C. . A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded Programs. In: Workshop-School on Theoretical Computer Science, 2011, Pelotas. Post-proceedings of Workshop-School on Theoretical Computer Science - WEIT 2011. Los Alamitos : IEEE Computer Society, 2011. p. 95-101. |
| 6. | 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. |
| 7. | 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. |
| 8. |  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. |
| 9. | 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. |
| 10. | MACHADO, R. ; FOSS, L. ; RIBEIRO, Leila . Aspects for Graph Grammars. In: 8th International Workshop on Graph Transformation and Visual Modeling Techniques, 2009, York. Electronic Communications of the EASST, 2009. v. 18. p. 8/1-13. |
| 11. | BALDAN, Paolo ; CORRADINI, Andrea ; DOTTI, Fernando Luís ; FOSS, L. ; GADDUCCI, Fabio ; RIBEIRO, Leila . Towards a Notion of Transaction in Graph Rewriting. In: Fifth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2006), 2008, Vienna.
Electronic Notes in Theoretical Computer Science, 2008. v. 211. p. 39-50. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. | 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. |
| 2. | 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. |
| 3. | 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. | 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. |
| 2. | 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. |
| 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 examinadoras |
| Trabalhos de Conclusão de Curso de graduação |
| 1. | 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.; Diniz, E.A.; da Rosa Junior, L.S.. Professor Substituto. 2010. Universidade Federal de Pelotas. |
| Outras participações |
| 1. | FOSS, L.. Sessão de Fundamentos da Computação e Bioinformática do XVI Salão de Iniciação Científica. 2004. Pró-Reitoria de Pesquisa da UFRGS. |
Eventos
| Participação em eventos |
| 1. | Symposium On Theory of Modeling and Simulation.Revisão de artigos. 2010. (Simpósio). |
| 2. | Conferência Latino Americana de Informática. 2009. (Congresso). |
| 3. | Simpósio Brasileiro de Métodos Formais. 2009. (Simpósio). |
| 4. | XXXV Conferencia Latinoamericana de Informática.Revisão de artigos. 2009. (Outra). |
| 5. | Eighth International Workshop on Graph Transformation and Visual Modeling Techniques.Revisão de artigos. 2009. (Outra). |
| 6. | Third International Conference on Graph Transformations.Graph Transactions as Processes. 2006. (Congresso). |
| 7. | Simpósio Brasileiro de Métodos Formais. 2006. (Congresso). |
| 8. | XX Simpósio Brasileiro de Engenharia de Software.Revisão de artigos. 2006. (Simpósio). |
| 9. | 9th International Conference on Fundamental Approaches to Software Engineering.Revisão de artigos. 2006. (Outra). |
| 10. | XVII CTD/SBC - Concurso de Teses e Dissertações.A Translation from Object-Based Hypergraph Grammars into Pi-Calculus. 2004. (Congresso). |
| 11. | Second International Conference on Graph Transformation. 2004. (Congresso). |
| 12. | XXIV Congresso da Sociedade Brasileira de Computação. 2004. (Congresso). |
| 13. | Simpósio Brasileiro de Métodos Formais. 2004. (Simpósio). |
| 14. | Summer School on Software Engineering - Refinement. 2004. (Outra). |
| 15. | Minicurso - Interpretação Abstrata: Teoria e Aplicações à Análise de Programas. 2003. (Oficina). |
| 16. | International Winter School on Semantics and Applications. 2003. (Outra). |
| 17. | VI Workshop Brasileiro de Métodos Formais.A Translation from Object-Based Hypergraph Grammars into Pi-Calculus. 2003. (Outra). |
| 18. | VI Workshop Brasileiro de Métodos Formais.Revisão de artigos. 2003. (Outra). |
| 19. | XVII Simpósio Brasileiro de Banco de Dados. 2002. (Simpósio). |
| 20. | XVI Simpósio Brasileiro de Engenharia de Software. 2002. (Simpósio). |
| 21. | Tutorial - Web Services and Implications in Software Development. 2002. (Oficina). |
| 22. | Minicurso - Construção de Aplicações Distribuídas: Conceitos e Tecnologias Java.. 2002. (Oficina). |
| 23. | V Workshop de Métodos Formais. 2002. (Outra). |
| 24. | VIII Encontro de Jovens Pesquisadores da UCS.AlgoMais - interpretador de linguagem algorítmica para o projeto ILENA. 2000. (Outra). |
| 25. | XIX Congresso da Sociedade Brasileira de Computação. 1999. (Congresso). |
| 26. | XVIII Congresso da Sociedade Brasileira da Computação. 1998. (Congresso). |
| 27. | I Fim de Semana Acadêmico de Computação da Serra Gaúcha. 1998. (Outra). |
| 28. | XVII Jornadas de Atualização de Informática - JAI 5: Banco de Dados Temporais: Teoria e Prática. 1998. (Outra). |
| 29. | Semana Acadêmica de Informática. 1997. (Congresso). |
| 30. | II Semana de Ciências Exatas e Tecnologia e IV Semana de Informática. 1994. (Outra). |
| Organização de eventos |
| 1. | FOSS, L. . Simpósio Brasileiro de Métodos Formais. 2009. (Congresso). |
| 2. | FOSS, L. . Conferência Latino Americana de Informática. 2009. (Congresso). |
| 3. | FOSS, L. . Simpósio Brasileiro de Engenharia de Software. 2002. (Congresso). |
Orientações
| Orientações em andamento |
| Dissertação de mestrado |
| 1. | André Moura de Mello. A definir. Início: 2011. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas. (Orientador). |
| 2. | Luiz Carlos Lemos Junior. A definir. Início: 2011. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas. (Co-orientador). |
| Iniciação científica |
| 1. | Vinicius Pazzini. Núcleo de Excelência em Engenharia de Software para Sistemas Embarcados. Início: 2011. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Pelotas, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul. (Orientador). |
| 2. | Nícolas Bisi. Núcleo de Excelência em Engenharia de Software para Sistemas Embarcados. Início: 2011. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Pelotas, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul. (Orientador). |
| Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 23:09:14 |