Currículo do Sistema de Currículos Lattes (Leila Ribeiro)

Dados pessoais

Nome	Leila Ribeiro
Nome em citações bibliográficas	RIBEIRO, L.
Sexo	Feminino

Endereço profissional

Universidade Federal do Rio Grande do Sul, Instituto de Informática, Departamento de Informática Teórica.
Av. Bento Gonçalves, 9500 - Campus do Vale - Bloco IV
Agronomia
91509-900 - Porto Alegre, RS - Brasil
Telefone: (51) 33089498 Fax: (51) 33087308

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

1992 - 1996

Doutorado em Informatik .
Technische Universitat Berlin, T.U.B., Alemanha.
Título: Parallel composition and unfolding semantics of graph grammars, Ano de Obtenção: 1996.
Orientador: Hartmut Ehrig.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: semântica formal; composição de sistemas; modelos de computação.
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: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação.
Setores de atividade: Informática.

1989 - 1991

Mestrado em Computação .
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Título: Integração no PROSOFT de ambientes corretos obtidos a partir de especificações algébricas e executados usando sistemas de reescrita, Ano de Obtenção: 1991.
Orientador: Daltro José Nunes.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: especificação formal; sistemas de reescrita; ambiente de desenvolvimento de software.
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.
Setores de atividade: Informática.

1985 - 1988

Graduação em Ciências da Computação .
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

Atuação profissional

Sociedade Brasileira de Computação, SBC, Brasil.

Vínculo institucional

2006 - Atual

Vínculo: Colaborador, Enquadramento Funcional: Presidente de Comissão Especial

Vínculo institucional

2002 - 2003

Vínculo: Colaborador, Enquadramento Funcional: Presidente de Comissão Especial

Vínculo institucional

2000 - 2001

Vínculo: Colaborador, Enquadramento Funcional: Presidente de Comissão Especial

Atividades

09/2006 - Atual	Conselhos, Comissões e Consultoria, Secretaria de Eventos e Comissões Especiais, .
	Cargo ou função Presidente da Comissão Especial de Métodos Formais.

10/2002 - 10/2003	Conselhos, Comissões e Consultoria, Secretaria de Eventos e Comissões Especiais, .
	Cargo ou função Presidente da CEES - Comissão Especial de Engenharia de Software.

10/2000 - 10/2001	Conselhos, Comissões e Consultoria, Secretaria de Eventos e Comissões Especiais, .
	Cargo ou função Presidente da Comissão Especial de Métodos Formais.

Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Vínculo institucional

1999 - Atual

Vínculo: Bolsista PQ, Enquadramento Funcional: Pesquisador nível II, Carga horária: 0

Atividades

03/1999 - Atual	Conselhos, Comissões e Consultoria, CNPq, .
	Cargo ou função Consultora.

Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

Vínculo institucional

2006 - Atual

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

Vínculo institucional

1998 - 2006

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

Vínculo institucional

1996 - 1998

Vínculo: Bolsista recém-doutor, Enquadramento Funcional: Bolsista, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

01/2007 - Atual	Direção e administração, Instituto de Informática, Departamento de Informática Teórica.
	Cargo ou função Chefe de Departamento.

03/2006 - Atual	Conselhos, Comissões e Consultoria, Instituto de Informática, .
	Cargo ou função Coordenadora da Comissão de Cooperação Internacional.

10/1999 - Atual

Ensino, Computação, Nível: Pós-Graduação.

Disciplinas ministradas
Teoria da Computação Avançada
Tópicos Especiais em Ciência da Computação: Modelos Não-convencionais de Computação
Tópicos Especiais em Ciência da Computação: Análise de Algoritmos
Tópicos Especiais em Ciência da Computação: Modelos para Sistemas Distribuídos e Móveis
Tópicos Especiais em Ciência da Computação: Seminários em Bioinformática
Tópicos Especiais em Ciência da Computação: Introdução à Bioinformática
Tópicos Especiais em Ciência da Computação: Gramáticas de Grafos
Tópicos especiais em Ciência da Computação: Verificação Formal

3/1999 - Atual	Pesquisa e desenvolvimento , Instituto de Informática, Departamento de Informática Teórica.
	Linhas de pesquisa Modelos de Computação Bioinformática Engenharia de Software Métodos Formais

3/1998 - Atual	Ensino, Ciências da Computação, Nível: Graduação.
	Disciplinas ministradas Fundamentos de Algoritmos Categorias Computacionais Complexidade de Algoritmos Semântica Formal Teoria da Computação Tópicos Especiais em Computação

1/1998 - Atual	Atividades de Participação em Projeto, Instituto de Informática, Departamento de Informática Teórica.
	Projetos de pesquisa * PLATUS * IQ-Mobile * QaP-For * LabBIOINF * DACHIA * GRAPHIT * Composição e semântica de gramáticas de grafos com atributos

1/2003 - 12/2004	Direção e administração, Instituto de Informática, Departamento de Informática Teórica.
	Cargo ou função Chefe de Departamento.

01/2001 - 12/2002	Conselhos, Comissões e Consultoria, Instituto de Informática, .
	Cargo ou função Coordenadora da Comissão de Pesquisa do instituto de Informática/UFRGS.

1/1999 - 12/2000	Direção e administração, Instituto de Informática, Departamento de Informática Teórica.
	Cargo ou função Membro da Comissão de Graduação do Curso de Ciências da Computação.

11/1999 - 11/1999	Extensão universitária , Instituto de Informática, Departamento de Informática Teórica.
	Atividade de extensão realizada I Escola de Métodos Formais para Qualidade de Software.

Ministério da Educação, MEC, Brasil.

Vínculo institucional

1997 - 2002

Vínculo: Colaborador, Enquadramento Funcional: Consultora, Carga horária: 0

Outras informações

Consultora da Comissão de Especialistas de Ciências da Computação para autorização/reconhecimento de cursos de graduação

Atividades

1997 - 2002	Conselhos, Comissões e Consultoria, Secretaria de Educação Superior, .
	Cargo ou função Consultora para avaliação de cursos de graduação em Informática.

Universidade Luterana do Brasil, ULBRA, Brasil.

Vínculo institucional

1991 - 1992

Vínculo: Colaborador, Enquadramento Funcional: Professor, Carga horária: 8

Atividades

3/1991 - 2/1992	Ensino, Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Introdução à Informática Linguagem de Programação I

Ibm do Brasil, IBM, Brasil.

Vínculo institucional

1990 - 1990

Vínculo: Outro, Enquadramento Funcional: Estagiária, Carga horária: 40

Outras informações

Pesquisadora no Centro Científico da IBM no Rio de Janeiro

Vínculo institucional

1987 - 1987

Vínculo: Outro, Enquadramento Funcional: Estagiária, Carga horária: 20

Atividades

1/1990 - 12/1990	Pesquisa e desenvolvimento , Centro Científico, .
	Linhas de pesquisa Métodos Formais

6/1987 - 12/1987	Estágios , Filial Porto Alegre, .
	Estágio realizado Estágio em análise de sistemas.

Linhas de Pesquisa

1.	Modelos de Computação
	Objetivos: DNA Computing. Modelos de sistemas reativos..

2.	Bioinformática
	Objetivos: Desenvolvimento de modelos computationais de processos biológicos. DNA Computing. .

3.	Engenharia de Software
	Objetivos: Especificação e verificação formal. Técnicas de modularização de sistemas. Desenvolvimento de sistemas computacionais corretos..

4.	Métodos Formais
	Objetivos: Construção e análise de modelos semânticos para sistemas concorrentes..

5.	Métodos Formais
	Objetivos: Comparação entre métodos de especificação formal..

Projetos de Pesquisa

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.
Integrantes: Leila Ribeiro - Coordenador.
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-Mobile
	Descrição: Improving the quality of open systems with code mobility through rigorous development. Situação: Concluído; Natureza: Pesquisa. Integrantes: Leila Ribeiro - Coordenador. Financiador(es): CNPq - Cooperação / Consiglio Nazionale delle Ricerche - Cooperação..

2001 - 2003	* LabBIOINF
	Descrição: Laboratório de Bioinformática.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Leila Ribeiro - Coordenador. .

1999 - Atual	* PLATUS
	Descrição: Especificação e simulação de sistemas reativos.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Leila Ribeiro - Coordenador. Financiador(es): CNPq - Bolsa..

1997 - 1999	* QaP-For
	Descrição: Qualidade através do uso de métodos formais. Situação: Concluído; Natureza: Pesquisa. Integrantes: Laira Vieira Toscani - Coordenador / Leila Ribeiro - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro..

1996 - 1998	* Composição e semântica de gramáticas de grafos com atributos
	Situação: Concluído; Natureza: Pesquisa. Integrantes: Leila Ribeiro - Coordenador. Financiador(es): CNPq - Bolsa..

1994 - 2002	* GRAPHIT
	Descrição: Graphical support and integration of formal and semi-formal methods for software specification and development. Situação: Concluído; Natureza: Pesquisa. Integrantes: Leila Ribeiro - Coordenador. Financiador(es): CNPq - Cooperação / Não informado / Deutsche Forschungsanstalt für Luft-und Raumfahrt e.V. - Cooperação..

Membro de corpo editorial

2005 - Atual

Periódico: Revista de Informática Teórica e Aplicada

Revisor de periódico

2006 - 2006	Periódico: Simulation Modelling Practice and Theory
2004 - 2005	Periódico: Software and Systems Modeling
2006 - 2006	Periódico: IEEE Transactions on Computers

Áreas de atuação

1.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Metodos Formais.
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.
3.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Bioinformática.
4.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação.
5.	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.

Idiomas

Inglês	Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Alemão	Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português	Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Prêmios e títulos

2006	Segundo melhor artigo no Simpósio Brasileiro de Engenharia de Software, SBC.
1999	Prêmio Santista Juventude - Área Informática, Fundação Santista.

Produção em C,T & A

Produção bibliográfica

Artigos completos publicados em periódicos

1.	RUBBO, F. ; MACHADO, R. ; MOREIRA, A. F. ; RIBEIRO, L. ; NUNES, D. . On the Interaction of Advices and Raw Types in AspectJ. Journal of Universal Computer Science, v. 14, p. 3534-3555, 2009.

2.	RIBEIRO, L. ; BALDAN, Paolo ; CORRADINI, Andrea ; MONTANARI, Ugo . Unfolding semantics of graph transformation. Information and Computation, v. 205(5), p. 733-782, 2007.

3.	RIBEIRO, L. ; MICHELON, L. ; COSTA, S. A. . Specification of real-time systerms with graph grammars. Journal of the Brazilian Computer Society, v. 13, p. 51-68, 2007.

4.	PINTO, M. C. ; FOSS, L. ; MOMBACH, J. C. M. ; RIBEIRO, L. . Modeling, Property Verification and Behavioural Equivalence of Lactose Operon. Computers in Biology and Medicine, v. 37(2), p. 134-148, 2007.

5.	MENDIZABAL, O. ; DOTTI, F. L. ; RIBEIRO, L. . Stochastic Graph Transformation Systems. Electronic Notes in Theoretical Computer Science, v. 184, p. 151-170, 2007.

6.	RIBEIRO, L. ; DOTTI, F. L. ; SANTOS, O. M. ; PASINI, F. . Verifying Object-Based Graph Grammars: An Assume-Guarantee Approach. Software and Systems Modeling, v. 5(3), p. 289-312, 2006.

7.	SANTOS, O. M. ; DOTTI, F. L. ; RIBEIRO, L. . An Environment for the Development of Concurrent Object-Based Applications. Electronic Notes in Theoretical Computer Science, v. 127, p. 3-13, 2005.

8.	LORETO, A. B. ; SILVA, R. ; TOSCANI, L. V. ; RIBEIRO, L. ; CLAUDIO, D. ; LEAL, L. . Amostragem por Importância para Estimar Valores Esperados: uma Abordagem com Heurísticas para Problemas Intervalares NP-Difíceis. TEMA. Tendências em Matemática Aplicada e Computacional, v. 6(2), p. 261-272, 2005.

9.	FOSS, L. ; RIBEIRO, L. . A Translation from Object-Based Hypergraph Grammars into pi-Calculus. Electronic Notes in Theoretical Computer Science, v. 95, p. 245-267, 2004.

10.	FERREIRA, A. P. L. ; RIBEIRO, L. . A graph-based semantics for object-oriented programming constructs. Electronic Notes in Theoretical Computer Science, v. 122, p. 89-104, 2004.

11.	SANTOS, O. M. ; DOTTI, F. L. ; RIBEIRO, L. . Verifying Object-Based Graph Grammars. Electronic Notes in Theoretical Computer Science, v. 109, p. 125-136, 2004.

12.	CORRADINI, Andrea ; DOTTI, F. L. ; RIBEIRO, L. . A graph transformation view on the specification of applications using mobile code. Electronic Notes in Theoretical Computer Science, v. 50, n. 3, 2001.

13.	RIBEIRO, L. ; COPSTEIN, B. . Compositional construction of simulation models using graph grammars. Lecture Notes in Computer Science, v. 1779, p. 87-94, 2000.

14.	LORETO, A. B. ; RIBEIRO, L. ; TOSCANI, L. . Complexity analysis of reactive graph grammars. Revista de Informática Teórica e Aplicada, Porto Alegre, v. 7, n. 1, p. 109-128, 2000.

15.	DÉHARBE, D. ; MOREIRA, A. ; RIBEIRO, L. ; RODRIGUES, V. . Introdução a métodos formais: especificação, semântica e verificação de sistemas concorrentes. Revista de Informática Teórica e Aplicada, Porto Alegre, v. 7, n. 1, p. 7-48, 2000.

16.	RIBEIRO, L. . Parallel composition of graph grammars. Applied Categorical Structures, v. 7, n. 4, p. 405-430, 1999.

17.	RIBEIRO, L. ; KORFF, M. . True concurrency = Interleaving + Weak Conflict. Electronic Notes in Theoretical Computer Science, v. 14, p. 1-8, 1998.

18.	RIBEIRO, L. . Compatibility between sintax and semantica of graph grammars. Electronic Notes in Theoretical Computer Science, v. 14, 1998.

19.	RIBEIRO, L. ; KORFF, M. . Formal relationships between graph grammars and Petri nets. Lecture Notes in Computer Science, v. 1073, p. 288-303, 1996.

20.	RIBEIRO, L. ; PADBERG, J. ; EHRIG, H. . Algebraic high-level net transformation systems. MSCS. Mathematical Structures in Computer Science, Cambridge, v. 5, p. 217-256, 1995.

21.	RIBEIRO, L. ; EHRIG, H. ; PADBERG, J. . Algebraic high-level nets: Petri nets revisited. Lecture Notes in Computer Science, v. 785, p. 188-206, 1994.

Livros publicados/organizados ou edições

1.	CORRADINI, Andrea (Org.) ; EHRIG, H. (Org.) ; MONTANARI, Ugo (Org.) ; RIBEIRO, L. (Org.) ; Rozenberg, G. (Org.) . Graph Transformations. 1. ed. Berlim: Springer - LNCS Vol. 4178, 2006. v. 1. 472 p.

2.	RIBEIRO, L. (Org.) ; MOREIRA, A. (Org.) . SBMF - Brazilian Symposium on Formal Methods. 1. ed. , 2006. v. 1. 266 p.

3.	SAMPAIO, A. (Org.) ; MOREIRA, A. F. (Org.) ; RIBEIRO, L. (Org.) . Brazilian Symposium on Formal Methods. , 2005. v. 1. 205 p.

Capítulos de livros publicados

1.	FOSS, L. ; CORRADINI, Andrea ; RIBEIRO, L. . Graph transformation with dependencies for the speciﬁcation of interactive systems. Algebraic Development Techniques. : Springer - LNCS Vol. 5486, 2009, v. 5486, p. -.

2.	RIBEIRO, L. ; DOTTI, F. L. . Linear-Ordered Graph Grammars: Applications to Distributed Systems Design. In: Degano, Pierpaolo; Nicola, Rocco de; Meseguer, José. (Org.). Concurrency, Graphs and Models. Berlin: Springer, Série LNCS, 2008, v. 5065, p. 133-150.

3.	FERREIRA, A. P. L. ; RIBEIRO, L. . Programação orientada a objetos com grafos. In: K. Breitman; R. Anido. (Org.). Atualizações em Informática. : Editora PUC Rio, 2006, v. 1, p. 387-452.

4.	RIBEIRO, L. ; DOTTI, F. L. ; BARDOHL, R. . A Formal Framework for the Development of Concurrent Object-Based Systems. In: Hans-Jörg Kreowski; Ugo Montanari; Fernando Orejas; et al.. (Org.). Formal Methods in Software and Systems Modeling. : Springer, 2005, v. 3393, p. 385-401.

5.	BALDAN, Paolo ; CORRADINI, Andrea ; MONTANARI, Ugo ; RIBEIRO, L. . Correflective concurrent semantics for single pushout graph grammars. In: Martin Wirsing; Dirk Pattinson; Rolf Hennicker. (Org.). Recent Trends in Algebraic Development Techniques. : Springer, 2003, v. 2755, p. 165-184.

6.	RIBEIRO, L. . Métodos formais de especificação: Gramáticas de grafos. In: SBC Sul. (Org.). VIII Escola de Informática da SBC-Sul. Porto Alegre: Editora da UFRGS, 2000, v. , p. 1-33.

7.	DOTTI, F. L. ; RIBEIRO, L. . Specification of mobile code using graph grammars. In: Scott Smith; Carolyn Talcott. (Org.). Formal Methods for Open Object-Based Distributed Systems IV. Norwell, EUA: Kluwer Academic Publishers, 2000, v. , p. 45-64.

8.	EHRIG, H. ; HECKEL, R. ; KORFF, M. ; LOWE, M. ; RIBEIRO, L. ; WAGNER, A. . Algebraic approaches to graph transformations Part II: SPO approach and comparison with DPO approach. In: Gregorz Rozenberg. (Org.). Handbook of Graph Grammars. : World Scientific, 1997, v. , p. -.

9.	RIBEIRO, L. ; MENEZES, P. . A graph transformation framework for concurrent systems. In: ?. (Org.). Advances in Cybernetics. : , 1997, v. IV, p. 85-89.

Trabalhos completos publicados em anais de congressos

1.	RIBEIRO, L. ; FOSS, L. ; Bruno da Silva ; NUNES, D. . Model transformation using graph transactions. In: International Conference on Software Reuse, 2009, Washington. Formal Foundations of Reuse and Domain Engineering, 2009. v. 5791.

2.	COSTA, S. A. ; RIBEIRO, L. ; DOTTI, F. L. ; Antônio Carlos da Rocha Costa . Using attributed graph grammars to verify properties of a mobile Internet protocol. In: XXXV Conferência Latino-mericana de Informática, 2009, Pelotas. CLEI 2009, 2009.

3.	FOSS, L. ; MACHADO, R. ; RIBEIRO, L. . Aspects for graph grammars. In: 10th International Workshop on Graph Transformations and Visual Modeling Techniques, 2009, York. GT-VMT 2009, 2009.

4.	MACHADO, R. ; RIBEIRO, L. ; HECKEL, R. . Modeling and reasoning over distributed systems with aspect-oriented graph grammars. In: 10th International Workshop on Rule-Based Programming, 2009, Brasília. RULE 2009, 2009.

5.	Ramon Medrado ; RIBEIRO, L. . Graph Grammars as a Formal Foundation for Biological Process Diagrams. In: XXXV Conferência Latino-mericana de Informática, 2009, Pelotas. CLEI 2009, 2009.

6.	RUBBO, F. ; MACHADO, R. ; MOREIRA, A. F. ; RIBEIRO, L. ; NUNES, D. . On the interaction of Advices and Raw Types in AspectJ. In: XII Simpósio Brasileiro de Linguagens de Programação, 2008, Fortaleza. XII Simpósio Brasileiro de Linguagens de Programação - Anais, 2008. p. 103-116.

7.	COSTA, S. A. ; RIBEIRO, L. . Formal verification of graph grammars using mathematical induction. In: Brazilian Symposium on Formal Methods, 2008, Salvador. Proceedings of the SBMF 2008, 2008. p. 161-176.

8.

MOREIRA, A. F. ; COTA, E. ; RIBEIRO, L. ; GASPARY, L. ; CARRO, L. ; RITT, M. ; WEBER, T. . Em direção a um modelo para desenvolvimento de sistemas computacionais de qualidade para aplicações onivalentes. In: SEMISH - XXXIV Seminário Integrado do Software e Hardware, 2007, Rio de Janeiro. XXVII Congresso da Sociedade Brasileira de Computação, 2007. v. 1. p. 2262-2276.

9.

LAMB, L. C. ; VILLAVICENZIO, A. ; IDIART, M. ; BURIOL, L. ; RIBEIRO, L. ; SILVA, R. . Modelagem de sistemas computacionais complexos: Em direção a uma fundamentação científica e aplicações tecnológicas. In: SEMISH - XXXIV Seminário Integrado do Software e Hardware, 2007, Rio de Janeiro. XXVII Congresso da Sociedade Brasileira de Computação, 2007. v. 1. p. 2113-2127.

10.	FOSS, L. ; MACHADO, R. ; RIBEIRO, L. . Graph productions with dependencies. In: SBMF - Simpósio Brasileiro de Métodos Formais, 2007, Ouro Preto. Brazilian Symposium on Formal Methods, 2007.

11.	FERREIRA, A. P. L. ; FOSS, L. ; RIBEIRO, L. . Formal Verification of Object-Oriented Graph Grammars Specifications. In: Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2006), 2007, Bonn (Alemanha). Electronic Notes in Theoretical Computer Science, 2006. v. 174. p. 101-114.

12.

BALDAN, Paolo ; CORRADINI, Andrea ; DOTTI, F. L. ; FOSS, L. ; GADDUCCI, F. ; RIBEIRO, L. . Towards a Notion of Transaction in Graph Rewriting. In: GT-VMT 2006 - GT-VMT06 - 5th International Workshop on Graph Transformation, 2006, Viena. Proc. of the 5th International Workshop on Graph Transformation, 2006. v. 1. p. 1-12.

13.	MICHELON, L. ; COSTA, S. A. ; RIBEIRO, L. . Specification of real-time systems with graph grammars. In: XX Simpópsio Brasileiro de Engenharia de Software - SBES 06, 2006, Florianópolis. Anais do XX Simpósio Brasileiro de Engenharia de Software, 2006. p. 97-112.

14.	PINTO, M. C. ; FOSS, L. ; MOMBACH, J. C. M. ; RIBEIRO, L. . Modeling and property verification of lactose operon regulation. In: Brazilian Symposium on Bioinformatics, 2005, São Leopoldo. Advances in Bioinformatics and Computational Biology, 2005. v. 3594. p. 95-106.

15.	MENDIZABAL, O. ; DOTTI, F. L. ; RIBEIRO, L. . Stochastic Object-Based Graph Grammars. In: Simpósio Brasileiro de Métodos Formais, 2005, Porto Alegre. SBMF 2005, 2005. p. 128-143.

16.	FERREIRA, A. P. L. ; RIBEIRO, L. . A Graph-based Semantics For Object-oriented Programming Constructs. In: 10th Conference on Category Theory in Computer Science (CTCS 2004), 2005, Copenhagen. Electronic Notes in Theoretical Computer Science, 2004. v. 122. p. 89-104.

17.

CORRADINI, Andrea ; DOTTI, F. L. ; FOSS, L. ; RIBEIRO, L. . Translating Java code to graph transformation systems. In: International Conference on Graph Transformation, 2004, Roma, Itália. Proceeding of the 2nd. International Conference on Graph Transformation (ICGT 2004), 2004. v. 3256. p. 383-398.

18.	FERREIRA, A. P. L. ; RIBEIRO, L. . Derivations in object-oriented graph grammars. In: International Conference on Graph Transformation, 2004, Roma, Itália. Proceeding of the 2nd International Conference on Graph Transformation (ICGT 2004), 2004. v. 3256. p. 416-430.

19.	SANTOS, O. M. ; DOTTI, F. L. ; RIBEIRO, L. . Verifying Object-Based Graph Grammars. In: Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2004), 2004, Barcelona (Espanha). Electronic Notes in Theoretical Computer Science, 2004. v. 109. p. 125-136.

20.	DOTTI, F. L. ; FOSS, L. ; RIBEIRO, L. ; SANTOS, O. M. . Especificação e verificação formal de sistemas distribuidos. In: 17o. Simpósio Brasileiro de Engenharia de Software (SBES), 2003, Manaus. 17o. Simpósio Brasileiro de Engenharia de Software, 2003. v. 1. p. 225-240.

21.

DOTTI, F. L. ; RIBEIRO, L. ; SANTOS, O. M. . Specification and analysis of fault behaviors using graph grammars. In: Application of Graph Transformation with Industrial Relevance, 2003, Charlottesville. AGTIVE'2003 - Applications of Graph Transformation with Industrial Relevance, 2003. v. 3062. p. 120-133.

22.

DOTTI, F. L. ; FOSS, L. ; RIBEIRO, L. ; SANTOS, O. M. . Verification of distributed object-based systems. In: 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, 2003, Paris. FMOODS'2003 - 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, 2003. v. 2884. p. 261-275.

23.

FERREIRA, A. P. L. ; RIBEIRO, L. . Towards object-oriented graphs and grammars. In: 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, 2003, Paris. FMOODS'2003 - 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, 2003. v. 2884. p. 16-31.

24.	FOSS, L. ; RIBEIRO, L. . A translation of object-based hypergraph grammars into pi-calculus. In: 6th Workshop on Formal Methods, 2003, Campina Grande. WMF'2003 - 6th Workshop on Formal Methods, 2003. v. 1. p. 1-16.

25.	MASHUDA, C. R. Y. ; RIBEIRO, L. ; KIST, T. B. L. . Algoritmo molecular utilizando fluoroforos para resolução do problema do caixeiro viajante. In: Conferência Latino Americana de Informática, 2003, La Paz. Anais da XXIX Conferencia CLEI' 2003, 2003. v. 1. p. 1-8.

26.	MASHUDA, C. R. Y. ; RIBEIRO, L. ; KIST, T. B. L. . Computação com DNA para resolução de problemas de otimização. In: Escola Regional de Informática da Sociedade Brasileira de Computação, 2003, Paraná. Anais da XI Escola Regional de Informática da Sociedade Brasileira de Computação, 2003.

27.	DUARTE, L. M. ; DOTTI, F. L. ; COPSTEIN, B. ; RIBEIRO, L. . Simulation of Mobile Applications. In: CNDS 2002 - Communication Networks and Distributed Systems Modeling and Simulation Conference, 2002, San Antonio. Proceedings of CNDS 2002, 2002. v. 1. p. 1-15.

28.	LORETO, A. B. ; RIBEIRO, L. ; TOSCANI, L. V. . Decidability and tractability of a problem in object-based graph grammars. In: 17th IFIP World Computer Congress - Theoretical Computer Science, 2002, Montreal. Proc. of TCS 2002 - Theoretical Computer Science, 2002. v. 1. p. 396-408.

29.	RIBEIRO, L. ; MONTANARI, Ugo . Linear ordered graph grammars and their algebraic foundations. In: International Conference on Graph Transformation (ICGT 2002), 2002, Barcelona, Espanha. Graph Transformation, 2002. v. 2505. p. 317-333.

30.	CERVO, L. V. ; RIBEIRO, L. . DNA-based modeling of parallel algorithms. In: I Worksop Brasileiro de Bioinformática, 2002, Gramado. WOB 2002 - I Workshop Brasileiro de Bioinformática, 2002. v. 1. p. 16-23.

31.

CORRADINI, Andrea ; DOTTI, F. L. ; RIBEIRO, L. . A graph transformation view on the specification of applications using mobile code. In: 2nd International Workshop on Graph Transformations and Visula Modeling Techniques, 2001, Creta, Grécia. Proc. of the Satellite Wokrshops of the 28th International Colloquium on Automata, Languages and Programming (ICALP'01), 2001. v. 1. p. 240-248.

32.	LORETO, A. B. ; RIBEIRO, L. ; TOSCANI, L. V. . Decidibilidade e tratabilidade de gramáticas de grafos orientadas a objeto. In: IV Workshop de Métodos Formais, 2001, Rio de Janeiro, Brasil. Proc. of IV WMF Workshop on Formal Methods, 2001. v. 1. p. 129-140.

33.	BARBOSA, M. A. ; TOSCANI, L. V. ; RIBEIRO, L. . Apoio ao ensino de complexidade de algoritmos. In: III Simpósio Internacional de Informática Educativa, 2001, Viseu. Proc. 3º Simpósio Internacional Informática Educativa, 2001. v. 1. p. 1-5.

34.	BARBOSA, M. A. ; TOSCANI, L. V. ; RIBEIRO, L. . ANAC - Uma ferramenta para análise automática da complexidade de algoritmos. In: XXVII Conferencia Latinoamericana de Informática (CLEI 2001), 2001, Mérida, Venezuela. Proc. CLEI 2001, 2001. v. 1. p. 1-8.

35.	DOTTI, F. L. ; RIBEIRO, L. . Code mobility in open systems: a formal apporach. In: PDPTA'00 - Parallel and Distributed Processing Techniques and Applications, 2000, Las Vegas. International Conference on Parallel and Distributed Processing Techniques and Applications, 2000. v. V. p. 2401-2408.

36.	COPSTEIN, B. ; MÓRA, M. C. ; RIBEIRO, L. . An environment for formal modeling and simulation of control systems. In: ANSS'00 Annual Simulation Symposium, 2000, Washington. ANSS'00 Annual Simulation Symposium, 2000. p. 74-82.

37.	BARDOHL, R. ; ERMEL, C. ; RIBEIRO, L. . Towards visual specification and animation of Petri net based models. In: GRATRA 2000 Workshop on Graph Transformation Systems, 2000, Berlim. GRATRA 2000 Workshop on Graph Transformation Systems. Berlim : Technical University of Berlin, 2000. v. 1. p. 22-31.

38.	LORETO, A. B. ; RIBEIRO, L. ; TOSCANI, L. . Complexity analysis of reactive graph grammars. In: III Workshop de Métodos Formais (WMF 2000), 2000, João Pessoa. SBES´2000 - Workshops, 2000. v. 1. p. 193-204.

39.	BARDOHL, R. ; ERMEL, C. ; RIBEIRO, L. . A modular approach to animation of simulation models. In: XIV Simpósio Brasileiro de Engenharia de Software (SBES 2000), 2000, Joâo Pessoa. XIV Simpósio Brasileiro de Engenharia de Software, 2000. v. 1. p. 133-146.

40.	BARBOSA, M. A. ; TOSCANI, L. V. ; RIBEIRO, L. . Ferramenta para automatização da análise da complexidade de algoritmos. In: XI Simpósio Brasileiro de Informática na Educação (SBIE 2001), 2000, Maceió, Brazil. Proc. XI Simpósio Brasileiro de Informática na Educação, 2000. v. 1. p. 160-166.

41.	RIBEIRO, L. ; COPSTEIN, B. . Compositional construction of simulation models using graph grammars. In: AGTIVE - Applications of Graph Transformation with Industrial Relevance, 1999, Rolduc. AGTIVE - Applications of Graph Transformation with Industrial Relevance, 1999.

42.	RIBEIRO, L. ; COPSTEIN, B. ; MÓRA, M. C. . Formal development of control systems using simulation. In: II Workshop Brasileiro de Métodos Formais (WMF 1999), 1999, Florianópolis. WMF99 - II Workshop Brasileiro de Métodos Formais, 1999. v. 1. p. 1-8.

43.	RIBEIRO, L. ; COPSTEIN, B. . Specifying simulation models using graph grammars. In: ESS98 - European Simulation Symopsium, 1998, Nottinhgham. ESS98 Proceedings, 1998. p. 60-64.

44.	RIBEIRO, L. ; MENEZES, P. ; DIVERIO, T. ; NUNES, D. ; RODRIGUES, V. ; TOSCANI, L. . Desenvolvimento da área formal da computação no Instituto de Informática da UFRGS. In: WMF98 - I Workshop Brasileiro de Métodos Formais, 1998, Porto Alegre. I Workshop Brasileiro de Métodos Formais, 1998. p. 1-12.

45.	RIBEIRO, L. ; KORFF, M. . Graph grammars for the specificaiton of concurrent systems. In: IX SBES - Simpósio Brasileiro de Engenharia de Software, 1998, Fortaleza. IX Simpósio Brasileiro de Engenharia de Software, 1998. p. 199-214.

46.	RIBEIRO, L. ; KORFF, M. . Graph grammars. In: I Workshop em Qualidade de Software, 1997, Porto Alegre. I Workshop em Qualidade de Software, 1997. p. 88-104.

47.	RIBEIRO, L. . Object-oriented AHL-nets. In: IS-CORE Workshop on correctness and reusability of software, 1994, Amsterdam. IS-CORE Workshop on correctness and reusability of software, 1994. v. 357.

Resumos expandidos publicados em anais de congressos

1.	RIBEIRO, L. ; BURIOL, L. ; DOTTI, F. L. ; NUNES, C. ; SILVA, R. . Modeling the webgraph evolution with graph grammars. In: PNGT - Workshop on Petri Nets and Graph Transformations, 2006, Natal. Petri Nets and Graph Transformations, 2006. p. 17-18.

2.	PINTO, M. C. ; RIBEIRO, L. . Modeling metabolic pathways using graph grammars. In: III Brazilian Workshop on Bioinformatics (WOB 2004), 2004, Brasília. Terceiro Workshop Brasileiro de Bioinformática (WOB), 2004. v. 1. p. 154-157.

Resumos publicados em anais de congressos

1.

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

2.	PINTO, M. C. ; RIBEIRO, L. . Modeling Metabolic and Regulatory Networks using Graph Transformations. In: Workshop on Petri nets and Graph Transformations, 2004, Roma, Itália. Proceedings of the Workshop on Petri nets and Graph Transformations (PNGT 2004), 2004. v. 1. p. 1-2.

3.

BALDAN, Paolo ; CORRADINI, Andrea ; MONTANARI, Ugo ; RIBEIRO, L. . Correflective concurrent semantics for single pushout graph grammars. In: 16th Intrenational Workshop on Algebraic Development Techniques, 2002, Frauenchiemsee. Proc. 16th International Workshop on Algebraic Development Techniques,WADT 2002,, 2002. v. 1. p. 1-4.

4.	BARDOHL, R. ; RIBEIRO, L. . Towards a Compositional Approach to Define Graphical Animation of Software Applications. In: Visual Languages and Formal Methods (VLFM'01), 2001, Stresa, Itália. IEEE Symposia on Human-Centric Computing Languages and Environments, 2001. v. 1. p. 38-40.

5.	RIBEIRO, L. ; BARDOHL, R. . Specifying a graph grammar editor for reactive systems. In: WMF98 - I Workshop Brasileiro de Métodos Formais, 1998, Porto Alegre. I Workshop Brasileiro de Métodos Formais, 1998. p. 90-93.

6.	RIBEIRO, L. ; KORFF, M. . True concurrency model for read/write access systems. In: 4th Wollic - Workshop on Logic, Language , Information and Computation, 1997, Fortaleza. 4th Wollic - Workshop on Logic, Language , Information and Computation, 1997. p. 51-54.

7.	RIBEIRO, L. . Parallel composition of graph grammars. In: Dagstuhl Workshop on Graph Grammars, 1996, Dagstuhl. Dagstuhl seminar report, 1996. v. 155. p. 9-10.

8.	RIBEIRO, L. ; KORFF, M. . An attributed graph transformation approach to the behaviour of AHL-nets. In: 5th International Workshop on Graph Grammars, 1994, Williamsburg. 5th International Workshop on Graph Grammars, 1994. p. 133-138.

Resumos publicados em anais de congressos(artigos)

1.	RIBEIRO, L. . Occurrence graph grammars. Logic Journal Of The Igpl, Oxford, v. 6, n. 6, p. 928-929, 1998.

2.	RIBEIRO, L. ; KORFF, M. . Concurrent derivations as single-pushout graph grammar processes. Eletronic Notes In Theoretical Computer Science, v. 2, 1995.

Demais tipos de produção bibliográfica

1.	CARVALHO, A. P. L. ; RIBEIRO, L. ; et alli . Grandes Desafios da Pesquisa em Computação no Brasil 2006-2016. SBC, 2006 (Relatório).

2.	RIBEIRO, L. ; KORFF, M. . Métodos formais de especificação: Gramáticas de Grafos 1997 (Livro para escola).

3.	RIBEIRO, L. . Parallel composition and unfolding semantics of graph grammars 1996 (Tese de doutorado).

4.	RIBEIRO, L. . A telephone´s system specification using graph grammars 1996 (Relatório técnico).

Bancas

Participação em bancas de comissões julgadoras

Concurso público

1.	Bigonha, R.; MELO, A. C. V.; RIBEIRO, L.. Concurso Profesor Adjunto. 2005. Universidade Federal do Rio Grande do Sul.

Eventos

Participação em eventos

1.	SEMISH - Seminário Integrado de Software e Hardware.Os Desafios da Computação Biológica (Palestra convidada). 2007. (Seminário).

2.	Simpósio de Informática da regi!ão Centro do Rio Grande do Sul - SIRC/RS.Desafios da Computação Biológica. 2007. (Simpósio).

Organização de eventos

1.	RIBEIRO, L. . AGTIVE - Applications of Graph Transformation with Industrial Relevance (Membro do Comitê de Programa). 2007. (Congresso).

2.	RIBEIRO, L. . SBES - Simpósio Brasileiro de Engenharia de Software (Membro do Comitê de Programa). 2007. (Congresso).

3.	RIBEIRO, L. . SBMF - Simpósio Brasileiro de Métodos Formais (Membro do Comitê de Programa). 2007. (Congresso).

4.	RIBEIRO, L. . BSB - Brazilian Symposium on Bioinformatics (Membro do Comitê de Programa). 2007. (Congresso).

5.	RIBEIRO, L. . FASE - Fundamental Approaches to Software Engineering (Membro do Comitê de Programa). 2007. (Congresso).

6.	RIBEIRO, L. . SEMISH - Seminário Integrado de Software e Hardware (Membro do Comitê de Programa). 2007. (Congresso).

7.	RIBEIRO, L. ; MOREIRA, A. . International Conference on Graph Transformation (Organizadora Geral). 2006. (Congresso).

8.	RIBEIRO, L. ; MONTANARI, Ugo . International Conference on Graph Transformation (Coordenadora do ComitIe de Programa). 2006. (Congresso).

9.	RIBEIRO, L. ; MOREIRA, A. . Simpósio Brasileiro de Métodos Formais (Coordenadora do Comitê de Programa). 2006. (Congresso).

10.	RIBEIRO, L. . FASE - Fundamental Approaches to Software Engineering (Membro do ComitIe de Programa). 2006. (Congresso).

11.	RIBEIRO, L. ; MOREIRA, A. . SBMF - Brazilian Symposium on Formal Methods (Organizadora). 2006. (Concurso).

12.	RIBEIRO, L. . SBES - Simpósio Brasileiro de Engenharia de Software (Membro do Comitê de Programa). 2006. (Congresso).

13.	RIBEIRO, L. . BSB05 - Brazilian Symposium on Bioinformaics (Membro do Comitê de Programa). 2005. (Congresso).

14.	RIBEIRO, L. ; MOREIRA, A. F. . SBMF - Brazilian Symposium on Formal Methods (Organizadora). 2005. (Congresso).

15.	RIBEIRO, L. . SBMF - Simpósio Brasileiro de Métodos Formais (Membro do Comitê de Programa). 2005. (Congresso).

16.	RIBEIRO, L. . SBES - Simpósio Brasileiro de Engenharia de Software (Membro do Comitê de Programa). 2005. (Congresso).

17.	RIBEIRO, L. . SBES - Simpósio Brasileiro de Engenharia de Software (Membro do Comitê de Programa). 2004. (Congresso).

18.	RIBEIRO, L. . SBMF - Simpósio Brasileiro de Métodos Formais (Membro do Comitê de Programa). 2004. (Congresso).

19.	RIBEIRO, L. . XVII Simpósio Brasileiro de Engenharia de Software (Membro do Comitê de Programa). 2003. (Congresso).

20.	RIBEIRO, L. . VI Workshop de Métodos Formais (Membro do Comitê de Programa). 2003. (Congresso).

21.	RIBEIRO, L. . 2nd Theoretical Computer Science Conference (TCS 2002), Membro do Comitê de Programa. 2002. (Congresso).

22.	RIBEIRO, L. . 6th World Conference on Integrated Design & Process Technology (IDPT'2002), Membro do Comitê de Programa . 2002. (Congresso).

23.	RIBEIRO, L. . XVI Simpósio Brasileiro de Engenharia de Software (Presidente do Comitê de Programa e Coordenadora do Comitê Organizador). 2002. (Congresso).

24.	RIBEIRO, L. . XV Simpósio Brasileiro de Engenharia de Software (Membro do Comitê de Programa). 2001. (Congresso).

25.	RIBEIRO, L. . IV Workshop de Métodos Formais (Membro do Comitê de Programa). 2001. (Congresso).

26.	RIBEIRO, L. . III Workshop de Metodos Formais - Presidente do Comitê de Programa. 2000. (Congresso).

27.	RIBEIRO, L. . XVI Simpósio Brasileiro de Engenharia de Software - Membro do Comitê de Programa. 2000. (Congresso).

28.	RIBEIRO, L. . XIII Simpósio Brasileiro de Engenharia de Software - Membro do Comitê de Programa. 1999. (Congresso).

29.	RIBEIRO, L. . III Simpósio Brasileiro de Linguagens de Programação - Membro do Comitê de Programa . 1999. (Congresso).

30.	RIBEIRO, L. . I Workshop de Métodos Formais - Membro do Comitê de Programa. 1998. (Congresso).

Orientações

Orientações em andamento

Dissertação de mestrado

1.	Ramon Medrado. Modelagem de vias biológicas. Início: 2007. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

Tese de doutorado

1.	Rodrigo Machado. Modelagem formal de aspectos em sistemas de software. Início: 2006. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul. (Orientador).

2.	Simone André da Costa. Modelagem lógca de gramaticas de grafos. Início: 2006. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul. (Orientador).

3.	Marcelo Cezar Pinto. Modelagem formal de vias metabï licas. Início: 2004. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

Supervisões e orientações concluídas

Dissertação de mestrado

1.	Leonardo Michelon. Gramáticas de grafos baseada em objetos com tempo. 2006. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Ribeiro.

2.	Cristiane Regina Mashuda. Computação com DNA para a resolução de problemas de otimização. 2004. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Leila Ribeiro.

3.	Luciana Foss. Uma tradução de gramáticas de hipergrafos baseadas em objetos para cálculo-pi. 2003. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Ribeiro.

4.	Daniela Russi. Representação e análise de gramáticas de grafos. 2003. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Leila Ribeiro.

5.	Leonardo Vieira Cervo. Modelagem e simulação de algoritmos paralelos baseados em operações com DNA. 2002. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Leila Ribeiro.

6.	Eduardo Pretz. Uma metodologia de modelagem de sistemas computacionais baseada em gramáticas de grafos. 2000. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Leila Ribeiro.

7.	Marcelo Cunha dos Santos. Relações formais entre redes de Petri e gramáticas de grafos. 1999. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Co-Orientador: Leila Ribeiro.

Tese de doutorado

1.	Luciana Foss. Transactional graph transformation systems. 2008. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Ribeiro.

2.	Aline Brum Loreto. Análise da complexidade computacional de problemas de estatística descritiva com entradas intervalares. 2006. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Leila Ribeiro.

3.	Ana Paula Luedtke Ferreira. Object-oriented graph grammars. 2005. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Leila Ribeiro.