Leila Maciel de Almeida e Silva

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


é graduada em Engenharia Civil pela Universidade Federal de Sergipe (1986), mestre em Ciência da Computação pela Universidade Estadual de Campinas (1991) e doutora em Ciência da Computação pela Universidade Federal de Pernambuco (2000). Realizou doutorado sanduíche na Universidade de Oxford (1998-1999), Reino Unido, pós-doutorado na Universidade Federal de Pernambuco (2007) e na The Open University (2014-2015), Reino Unido. Atualmente é professora Titular da Universidade Federal de Sergipe. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: verificação formal de software e hardware, semântica formal de linguagens de programação, otimização em problemas de Engenharia de Software e informática e saúde. (Texto informado pelo autor)


Identificação


Nome
Leila Maciel de Almeida e Silva
Nome em citações bibliográficas
SILVA, L.;SILVA, LEILA

Endereço


Endereço Profissional
Universidade Federal de Sergipe, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.
Campus Universitário Prof. José Aloísio Campos
Rosa Elze
49100-000 - Sao Cristovao, SE - Brasil
Telefone: (79) 21056678
Fax: (79) 21056684
URL da Homepage: http://


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


1996 - 2000
Doutorado em Doutorado em Ciência da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
com período sanduíche em University of Oxford (Orientador: Geraint Jones).
Título: An Algebraic Approach to Hardware/Software Partitioning, Ano de obtenção: 2000.
Orientador: Augusto Sampaio.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: particionamento de sistemas integrados de hardware; Co-design; verificação formal em hardware.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
1989 - 1991
Mestrado em Ciência da Computação.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Fluxos Inteiros em Grafos,Ano de Obtenção: 1991.
Orientador: Cláudio Leonardo Lucchesi.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: k-fluxos; fluxos inteiros; conjeturas de Tutte.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
1982 - 1986
Graduação em Engenharia Civil.
Universidade Federal de Sergipe, UFS, Brasil.


Pós-doutorado


2014 - 2015
Pós-Doutorado.
The Open University, OPEN, Inglaterra.
Grande área: Ciências Humanas
2007 - 2008
Pós-Doutorado.
Universidade Federal de Pernambuco, UFPE, Brasil.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Exatas e da Terra


Formação Complementar


2007 - 2007
RISE Summer School on Software Reuse. (Carga horária: 24h).
Centro de Estudos e Sistemas Avançados do Recife, CESAR, Brasil.
2007 - 2007
Pernambuco School on Software Engineering -Testing. (Carga horária: 40h).
Universidade Federal de Pernambuco, UFPE, Brasil.
2004 - 2004
Pernambuco School On Software Engineering Refineme. (Carga horária: 104h).
Universidade Federal de Pernambuco, UFPE, Brasil.
2001 - 2001
Summer School On Object Oriented Processes And Tec. (Carga horária: 104h).
Universidade Federal de Pernambuco, UFPE, Brasil.
1989 - 1991
Curso Básico e Intermediário de Inglês. (Carga horária: 360h).
Cultura Inglesa, CULTURA INGLESA, Brasil.
1987 - 1988
Curso Básico de Inglês. (Carga horária: 180h).
Cultura Inglesa, CULTURA INGLESA, Brasil.
1980 - 1981
Curso de Língua Francesa (grau Nancy). (Carga horária: 800h).
Universidade de Nancy II - Aliança Francesa, UNII, Brasil.
1974 - 1979
Curso Básico e Avançado de Francês.
Aliança Francesa, ALIANÇA FRANCESA, Brasil.


Atuação Profissional



Universidade Federal de Sergipe, UFS, Brasil.
Vínculo institucional

1992 - Atual
Vínculo: , Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Ingressou em 1992 como professora assistente, em 2000 progrediu para o nível adjunto em em 2008 para o nível associado.

Atividades

11/2014 - Atual
Pesquisa e desenvolvimento , Centro de Ciências Exatas e Tecnologia, Departamento de Computação.

05/2013 - Atual
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.

Cargo ou função
Coordenador Pedagógico do Bacharelado em Ciência da Computação.
08/2010 - Atual
Ensino, Mestrado em Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Métodos Formais
Algoritmos
Engenharia de Software
06/2010 - Atual
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.

Cargo ou função
Membro do Conselho Técnico Científico e de Inovação do Sergipe Parque tecnológico.
06/2010 - Atual
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.

Cargo ou função
Membro do Núcleo do Programa de Pós-graduação em Ciência da Computação.
01/2010 - Atual
Pesquisa e desenvolvimento , Centro de Ciências Exatas e Tecnologia, Departamento de Computação.

03/2009 - Atual
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Estatistica e Informatica.

Cargo ou função
Membro suplente do colegiado do curso de Sistema de Informação.
05/2008 - Atual
Extensão universitária , Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.

Atividade de extensão realizada
Uma Proposta para a Divulgação da Ciência da Computação no Ensino Fundamental.
01/2007 - Atual
Extensão universitária , Centro de Ciências Exatas e Tecnologia, Departamento de Computação.

Atividade de extensão realizada
Coordenadora Local da Olimpíada Brasileira de Informática.
2/2001 - Atual
Pesquisa e desenvolvimento , Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.

11/2000 - Atual
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Estatistica e Informatica.

Cargo ou função
Membro do Colegiado do Curso de Bacharelado em Ciência da Computação.
8/2000 - Atual
Pesquisa e desenvolvimento , Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.

2/1995 - Atual
Pesquisa e desenvolvimento , Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.

10/1992 - Atual
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos
Algoritmos em Grafos
Estrutura de Dados II
Grafos e Algoritmos Computacionais
Introdução à Ciência da Computação
Linguagens de Programação
Métodos Formais
Programação III
Projeto e Análise de Algoritmos
Projeto Supervisionado
Qualidade de Software
Sistemas Críticos
Informática, Ética e Sociedade
10/1992 - Atual
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.

Cargo ou função
Membro de conselho de unidade.
12/2012 - 01/2013
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.

Cargo ou função
Vice-coordenadora do Programa de Pós-Graduação em Ciência da Computação.
06/2009 - 11/2011
Outras atividades técnico-científicas , Centro de Ciências Exatas e Tecnologia, Centro de Ciências Exatas e Tecnologia.

Atividade realizada
Técnica de times da UFS para a Maratona de Programação.
04/2010 - 12/2010
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Computação.

Cargo ou função
Coordenador de Programa.
2009 - 02/2010
Ensino, Especialização em Gestão de Projetos de Software, Nível: Especialização

Disciplinas ministradas
Qualidade de Software
09/2008 - 03/2009
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Estatistica e Informatica.

Cargo ou função
Coordenador de Curso.
05/2008 - 01/2009
Ensino, Especializaçao em Engenharia de Software, Nível: Especialização

Disciplinas ministradas
Metodologias Ágeis
Qualidade de Software
10/2005 - 09/2007
Outras atividades técnico-científicas , Centro de Ciências Exatas e Tecnologia, Centro de Ciências Exatas e Tecnologia.

Atividade realizada
Secretária Regional da SBC.
8/2005 - 02/2007
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.

Cargo ou função
Coordenador de Curso de Especialização em Tecnologias da Informação.
8/2005 - 2/2007
Ensino, Especialização Em Tecnologias da Informação, Nível: Especialização

Disciplinas ministradas
Introdução à Engenharia de Software
Metodologias Ágeis
Qualidade de Software
11/2000 - 02/2007
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.

Cargo ou função
Membro de Colegiado de Curso de Bacharelado em Ciência da Computação.
11/2004 - 11/2006
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.

Cargo ou função
Vice - Coordenação de Curso.
10/2005 - 3/2006
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.

Cargo ou função
Membro do Comitê PIBIC/CNPq.
10/2002 - 10/2005
Outras atividades técnico-científicas , Centro de Ciências Exatas e Tecnologia, Centro de Ciências Exatas e Tecnologia.

Atividade realizada
Delegada Institucional da Sociedade Brasileira de Computação.
7/2004 - 9/2005
Outras atividades técnico-científicas , Centro de Ciências Exatas e Tecnologia, Centro de Ciências Exatas e Tecnologia.

Atividade realizada
Coordenação Local do POSCOMP.
7/2002 - 07/2004
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.

Cargo ou função
Membro de colegiado do Curso de Estatística.
6/2001 - 6/2004
Pesquisa e desenvolvimento , Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.

11/2000 - 10/2002
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.

Cargo ou função
Coordenador de Curso.
11/2000 - 10/2002
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.

Cargo ou função
Membro de conselho de centro.
4/2001 - 12/2001
Extensão universitária , Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.

Atividade de extensão realizada
Coordenação de Cursos Básicos para a Comunidade.
8/1993 - 2/1996
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.

Cargo ou função
Membro do Colegiado de Curso.
8/1995 - 1/1996
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.

Cargo ou função
Consultor PIBIC/CNPq.
4/1995 - 8/1995
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.

Cargo ou função
Membro da Comissão de Avaliação de Cursos do CCET.
4/1994 - 8/1995
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.

Cargo ou função
Coordenador de Curso.
4/1994 - 8/1995
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.

Cargo ou função
Membro de conselho de centro.
6/1993 - 8/1995
Pesquisa e desenvolvimento , Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.

1/1993 - 1/1995
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.

Cargo ou função
Coordenação de Laboratório.
10/1992 - 1/1993
Direção e administração, Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação e Estatística.

Cargo ou função
Coordenador de Assuntos de Biblioteca do Departamento.

Universidade Federal da Bahia, UFBA, Brasil.
Vínculo institucional

2004 - 2007
Vínculo: Colaborador, Enquadramento Funcional: Professor colaborador, Carga horária: 10
Outras informações
Docente associado ao Mestrado em Mecatrônica, mediante um convênio de intercâmbio UFS/UFBA.

Atividades

03/2005 - Atual
Pesquisa e desenvolvimento , Departamento de Ciência da Computação, .

6/2004 - Atual
Ensino, Mestrado Em Mecatrônica, Nível: Pós-Graduação

Disciplinas ministradas
Especificação Formal

Fachhochschule Mannheim, FM, Alemanha.
Vínculo institucional

2007 - 2007
Vínculo: Professor Visitante, Enquadramento Funcional: Professor, Carga horária: 40
Outras informações
Professor visitante por um mês, desenvolvendo intercâmbio de ensino e pesquisa a convite da instituição.

Atividades

09/2007 - 09/2007
Ensino, Master in Computer Science, Nível: Pós-Graduação

Disciplinas ministradas
Introduction to CSP

Universidade Tiradentes, UNIT, Brasil.
Vínculo institucional

1986 - 1988
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor, Carga horária: 8
Outras informações
Professora contratada por hora/aula.

Atividades

8/1986 - 2/1988
Ensino, Bacharelado Em Administração, Nível: Graduação

Disciplinas ministradas
Matemática Básica II
Processamento de Dados II

Departamento de Estradas e Rodagem do Estado de Sergipe, DER-SE, Brasil.
Vínculo institucional

1986 - 1988
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Engenheiro Civil, Carga horária: 30

Atividades

4/1986 - 7/1988
Direção e administração, Diretoria Técnica, Setor de Computação.

Cargo ou função
Chefe do setor de computação.
3/1986 - 7/1988
Serviços técnicos especializados , Diretoria Técnica, Setor de Computação.

Serviço realizado
Sistema computacional para Projeto Geométrico de Estradas e Custos Rodoviários.


Linhas de pesquisa


1.
Informática Aplicada à Engenharia

Objetivo: Desenvolvimento de aplicações orientadas a objetos. Em particular, coordenamos o desenvolvimento de um sistema para realizar o mapeamento geotécnico do subsolo da cidade de Aracaju..
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
Palavras-chave: Aplicações Orientadas a Objetos.
2.
Verificação Formal de Software e Hardware

Objetivo: O objetivo geral é desenvolver métodos que permitam projetar sistemas corretos por construção. Em particular, estamos concentrados no contexto de hardware/software co-design. Nosso trabalho visa garantir que durante o projeto de sistemas embarcados, o particionamento destes sistemas em componentes de hardware e software preserva a semântica da descrição original. O cerne deste trabalho já foi desenvolvido na nossa tese de doutorado e agora estamos estendendo a metodologia proposta para incluir mais construtores na gramática adotada. Este projeto é parte de um projeto maior em colaboração com a UFPE, intitulado Engenharia de Sistemas Computacionais Críticos..
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
Palavras-chave: verificação formal; Co-design; Particionamento de Hardware e Software.
3.
Cálculo de Refinamento para Programas Orientados a Objeto

Objetivo: O objetivo geral é desenvolver técnicas de transformação de programas a partir de uma semântica dada em termos de leis algébricas. Em particular, pretende-se desenvolver métodos práticos para a formalização de programas escritos numa linguagem orientada a objetos, bem como construir ferramentas que permitam a utilização destes métodos por engenheiros de software. Desenvolvemos esta linha de pesquisa em colaboração com a UFPE e o Stevens Institute of Technology..
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
Palavras-chave: verificação formal; linguagens orientadas a objetos; semântica algébrica.
4.
Recuperação da Informação

Objetivo: Desenvolvimento de um Meta-Engenho de Busca para Web.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
Palavras-chave: Meta-engenho de busca; Recuperação da Informação.
5.
Informática Aplicada à Saúde

Objetivo: Desenvolvimento de aplicações na área saúde.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Cuidado À Saúde das Pessoas.
Palavras-chave: Informática Médica.
6.
Engenharia de Software Baseada em Busca

Objetivo: Investigar soluções para problemas de Engenharia de Software utilizando uma abordagem baseada em algoritmos de busca como algoritmos genéticos, hill climbing, enxame de partículas, entre outros..
Palavras-chave: Otimização em Engenharia de Software.
7.
Educação em Ciência da Computação
8.
Metodologias para Desenvolvimentos de Produtos Mecatrônicos

Objetivo: Propor metodologias que integrem elementos de Computação, Engenharia Mecãnica e Engenharia Elétrica para o desenvolvimento de produtos mecatrônicos.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
Palavras-chave: Metodologias para Sistemas Mecatrônicos.


Projetos de pesquisa


2018 - Atual
Computação no ensino de educação musical
Descrição: Este projeto visa o desenvolvimento de aplicações móveis que ajam como facilitadores do aprendizado de educação musical por jovens..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) .
Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Tarcísio Rocha - Integrante.
2013 - 2016
Um sistema para o apoio ao Ensino de Assistência em Enfermagem
Descrição: Desenvolvimento de um sistema para o apoio ao ensino da assistência em Enfermagem.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) .
Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Marcos Barbosa Dósea - Integrante / Divaldo Lyra Jr - Integrante.
2012 - 2013
Refatoramento de Programas para Migração entre Estrutura de Dados
Descrição: Este projeto visa desenvolver métodos e ferramentas para a refatoração de estruturas de dados em programas orientados a objetos. Projeto inserido dentro do âmbito do INES..
Situação: Concluído; Natureza: Pesquisa.
2011 - Atual
Otimização em Engenharia de Software
Descrição: Este projeto visa desenvolver, aplicar e avaliar algoritmos de otimizazação em diversos problemas da Engenharia de Software dentro dos domínios de Evolução de Software, Desenvolvimento Baseados em Componentes, Requisitos e Testes..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) .
Integrantes: Leila Maciel de Almeida e Silva - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2010 - 2016
PV-UFS: Paciente Virtual para o Ensino de Assistência Farmaceutica
Descrição: Desenvolvimento de um sistema para apoiar o ensino de Assist~encia Farmaceutica.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (1) / Doutorado: (2) .
Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Marcos Dósea - Integrante / Divaldo Lyra Jr - Integrante.
Número de produções C, T & A: 2 / Número de orientações: 4
2010 - 2013
Refatoração Sincronizada de Programas Anotados com especificações Formais
Descrição: A assimilação das necessidades de evoluçãao em projetos de software que fazem uso de especificação e modelagem ainda é difícil e custosa na prática. No caso de refatoração de programas, por exemplo, modelos abstratos em conformidade com os programas tornam-se inconsistentes; técnicas como engenharia round-trip e MDA (Model-Driven Architecture) lidam parcialmente com o problema, já que estabelecem perda da abstração desejável em especificações. Este projeto pretende propor, formalizar, implementar e avaliar uma abordagem prática de refatoração de especificações que geram refatorações de programas autoáticas, mantendo sua conformidade. Especificações e ódigo-fonte serão localizados em umúnico artefato, utilizando Java e a linguagem de especificação JML (Java Modeling Language), facilitando sua adoção da abordagem. Como complemento, iremos de nir um caálogo de refatorações de programas que permanecem corretos mesmo com especificações JML presentes, formando assim uma metodologia de refatoraçào completa. A equipe brasileira colaboraá com parceiros americanos - Gary Leavens e David Naumann - com os quais á possui grande experiência de cooperação em projetos anteriores (COOP, DARE-COOP); Leavens é inclusive o idealizador da linguagem JML. Como resultado, pretendemos definir uma metodologia de refatoração de especificações e programas com alto índice de automatização, uma ferramenta que daá suporte à metodologia e estudos de caso documentados, aém de publicações em veículos internacionais reconhecidos..
Situação: Concluído; Natureza: Pesquisa.
2009 - 2016
Ferramentas de Evolução e Refatoração Automática
Descrição: O objetivo deste projeto de pesquisa é contribuir para aperfeiçoar o processo de desenvolvimento de software, em particular de atividades ligadas à evolução, com ênfase na automatização destas atividades, através de ferramentas desenvolvidas com base em técnicas rigorosas de engenharia de software. Desta forma, queremos possibilitar aumentos significativos de produtividade e qualidade do resultado final de equipes de software, principalmente no que concerne à manutenção preventiva, trazendo vantagens competitivas. Este projeto se insere nas açõs do INES (INCT para Engenharia de Software)..
Situação: Concluído; Natureza: Pesquisa.
2009 - 2014
Desenvolvimento Distribuído Orientado a Linhas de Produto de Software
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) .
Integrantes: Leila Maciel de Almeida e Silva - Integrante / Silveira, Gledson Elias - Coordenador / Valéria GonçalvesSoares - Integrante / Vaninha Vieira - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.Número de orientações: 1
2008 - 2010
Refatoração de Programas Baseada em Especificações Formais
Descrição: O objetivo deste projeto de pesquisa é contribuir para aperfei çoar o processo de desenvolvimento de software, em particular de atividades ligadas à evolução, com ênfase em refatoração sincronizada de modelos e programas. Projeto multi-institucional liderado pelo Centro de Informática (UFPE), tendo o Departamento de Sistemas e Computação (UPE) e o Departamento de Computação (UFS) como instituições colaboradoras..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Leila Maciel de Almeida e Silva - Integrante / Augsto Sampaio - Coordenador / Paulo Borba - Integrante / Márcio Cornélio - Integrante / Tiago Massoni - Integrante / Rohit Gheyi - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 1
2008 - 2010
Algoritmos de Agrupamentos Baseados em Grafos no contexto da Quimiotaxonomia
Descrição: O objetivo do projeto é investigar algoritmos de agrupamento baseados em grafos que produzam resultados de boa qualidade para classificação de plantas segundo seus compostos químicos constituintes. O trabalho é estratégico para a área de produção de fármacos..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) .
Integrantes: Leila Maciel de Almeida e Silva - Coordenador.Financiador(es): Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe - Auxílio financeiro.
Número de produções C, T & A: 1 / Número de orientações: 3
2008 - Atual
Instituto Nacional de Ciência e Tecnologia para Engenharia de Software
Descrição: Este projeto tem como objetivo geral a promoção de pesquisa e desenvolvimento na área de Engenharia de Software com o objetivo de estabelecer marcos referenciais para a implementação de fábricas de software fidedigno com alta produtividade e corretude. O instituto promoverá pesquisa integrada coordenando os esforços e competências das diversas instituições e laboratórios de pesquisa envolvidos. As principais linhas de pesquisa a serem desenvolvidas são: 1) Reuso, Linhas de produto, 2) Verificação e Validação de sistemas, 3) Técnicas de Evolução e Refactoring, 4) Desenvolvimento Dirigido por Modelos, Linguagens de Domínio Especifico, 5) Engenharia de Software Experimental..
Situação: Em andamento; Natureza: Pesquisa.
2005 - 2007
e-Patite: Um Sistema para Triagem de Doadores de Sangue Sujeitos à Presença de Hepatite
Descrição: Desenvolvimento de uma aplicação Web para dar suporte às rotinas de triagem realizadas na Liga de Hepatite..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Alberto Costa Neto - Integrante / Rita Kalile Almeida Andrade - Integrante / Maurício Soares Pacheco - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de Sergipe - Auxílio financeiro.
Número de produções C, T & A: 4 / Número de orientações: 2
2004 - 2006
Metodologias para o Desenvolvimento de Sistemas Mecatrônicos
Descrição: A proposta deste trabalhar é investigar metodologias de desenvolvimento de sistemas mecatrônicos, que considerem a junção de práticas de engenharia de software e engenharia de produto..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) .
Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Aline Andrade - Integrante.
Número de produções C, T & A: 3 / Número de orientações: 2
2003 - 2004
AbADeS-TI - Abordagens Algébricas para o Desenvolvimento de Sistemas e Tecnologia da Informação
Descrição: Prevê-se o desenvolvimento de metodologias baseadas na semântica algébrica para o desenvolvimento de sistemas escritos em uma linguagem orientada a objetos. Prevê-se a construção de aplicações médicas e de recuperação da informação dentro da área de TI..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Rita Kalile Almeida Andrade - Integrante / Sueane Santos Bomfim - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 4 / Número de orientações: 2
2002 - 2003
SisPesqUFS: Um Meta-Engenho de Busca para a Recuperação de Documentos na Web
Descrição: Pretende-se desenvolver um meta-engenho de busca com ênfase na qualidade dos resultados retornados..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Thiago Alves Costa - Integrante / Antônio José Santana - Integrante / Rômulo Augusto Nogueira de O Passos - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado de Sergipe - Auxílio financeiro.
Número de produções C, T & A: 6 / Número de orientações: 5
2001 - 2005
DareCo-op: Development and Applications of Refinement Calculus for Object-Oriented Programming
Descrição: Prevê-se a investigação de uma semântica formal para uma linguagem orientada a objetos. Somos membro deste projeto. A coordenação é de Augusto Sampaio..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Leila Maciel de Almeida e Silva - Integrante / Augsto Sampaio - Coordenador / Ana Cavalcanti - Integrante / Paulo Borba - Integrante / David Naumann - Integrante / Antônio Carvalho Júnior - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 6 / Número de orientações: 2
2001 - 2003
AbADeS: Abordagens Algébricas para o Desenvolvimento de Sistemas
Descrição: Prevê-se o desenvolvimento de metodologias baseadas na semântica algébrica para o desenvolvimento de sistemas escritos em uma linguagem orientada a objetos, bem como de sistemas embarcados..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Sandberg Marcel Santos - Integrante / Manoel Messias da Silva Menezes Júnior - Integrante / Andre Luis Meneses Silva - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Universidade Federal de Sergipe - Remuneração / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 5 / Número de orientações: 6
2001 - 2002
Uma Abordagem Algébrica para o Particionamento de Sistemas em Co-design
Descrição: O objetivo deste projeto é estender a metodologia proposta por Leila Silva (2000) para incluir estruturas mais complexas da linguagem occam. Pretende-se também automatizar provas das regras propostas na estratégia original..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Sandberg Marcel Santos - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.
Número de produções C, T & A: 1 / Número de orientações: 1
2001 - 2002
RICR: Recuperação da Informação e Cálculo de Refinamento
Descrição: O projeto dividia-se em dois módulos: Recuperação da Informação e Cálculo de Refinamento. No módulo de Recuperação da Informação prevê-se a construção de um meta-engenho de busca com ênfase na qualidade dos resultados retornados. No módulo de Cálculo de Refinamento prevê-se a investigação de uma semântica formal para uma linguagem orientada a objetos..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Thiago Alves Costa - Integrante / Antônio José S Santana - Integrante / Romulo Augusto de O Passos - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 5 / Número de orientações: 4
1995 - 1997
Projeto Integrado de Hardware e Software (PISH)
Descrição: Destina-se à concepção de uma metodologia forma para o particionamento de hardware e software..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Leila Maciel de Almeida e Silva - Integrante / Edna Barros - Coordenador / Manuel Eusébio Lima - Integrante / Ricardo Jacobi - Integrante / Ney Calazans - Integrante / Augsto Sampaio - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 11


Projetos de extensão


2018 - Atual
COR AT COR: Aplicações móveis com finalidades sociais
Descrição: Desenvolvimento de aplicações móveis com fins sociais, para uso sem finalidade lucrativa por organizações sociais e comunidade em geral..
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (5) .
Integrantes: Leila Maciel de Almeida e Silva - Coordenador.
2009 - 2014
Rede de Laboratórios de Produtividade de Software
Descrição: Este projeto visa contribuir com a formação de capital humano em desenvolvimento de software através da criação de uma Rede de Laboratórios de Produtividade de Software. Esta rede tem como missão preparar desenvolvedores de software de alto nível, capazes de serem prontamente absorvidos por empresas de destaque no mercado mundial de software, e de transformação, absorção e difusão para a indústria de técnicas, práticas e ferramentas de alta produtividade. A rede funcionará como uma fábrica de software distribuída pelas várias instituições participantes do projeto, com clientes reais, estudantes de graduação e mestrado trabalhando nas várias atividades de desenvolvimento e manutenção de software, e professores, estudantes de doutorado, líderes técnicos, e colaboradores da indústria direcionando e supervisionando as atividades da fábrica. Como co-produto deste projeto de dois anos, teremos um modelo de laboratório de produtividade a ser replicado por outros instituições. Este projeto faz parte das ações do INES (INCT para Engenharia de Software)..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (3) .
Integrantes: Leila Maciel de Almeida e Silva - Integrante / Paulo Borba - Coordenador / Marcos Dósea - Integrante / Sérgio Soares - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2008 - 2014
Uma Proposta para a Disseminação da Ciência da Computação nos Ensinos Fundamental e Médio
Descrição: Este projeto visa a oferta de cursos de Introdução à Programação aos alunos melhores classificados na Olímpiada Brasileira de Informática.
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (3) .
Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Kênia Kodel Cox - Integrante / Leonardo Nogueira Matos - Integrante / Aldênia Hora Nunes - Integrante.Financiador(es): Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe - Auxílio financeiro / Sergipe Parque Tecnológico - Auxílio financeiro / Universidade Federal de Sergipe - Bolsa.Número de orientações: 2
2006 - 2017
Olímpiada Brasileira de Informática em Sergipe
Descrição: Este projeto visa a implantação da Olímpiada Brasileira de Informática no Estado de Sergipe..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (6) .
Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Kênia Kodel Cox - Integrante / Aldênia Hora Nunes - Integrante.Financiador(es): Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe - Auxílio financeiro.


Projetos de desenvolvimento


2017 - Atual
Cidades Inteligentes: aplicações para saúde pública
Descrição: O objetivo do projeto é o desenvolvimento de aplicações na área de saúde usando plataformas de cidades inteligentes, mais especificamente FIWARE..
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (2) .
Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Rogério Patrício Chagas Nascimento - Integrante.
2009 - 2016
Pharma PV - Projetando um Paciente Virtual para Ensino de Assistência Farmacêutica
Descrição: O objetivo do projeto é projetar um sistema para auxilair o ensino da assistência farmacêutica a alunos do curso de Farmácia..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) .
Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Divaldo Lyra Jr - Integrante / Monique Jabbur - Integrante / Wanderson Costa - Integrante / José Rafael Nascimento - Integrante.Financiador(es): Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe - Bolsa.
2003 - 2006
Ferramentas para auxiliar no planejamento de fármacos
Descrição: Desenvolvimento de ferramentas para auxiliar na classificação de plantas segundo os compostos químicos constituintes, uma etapa da produção de novos fármacos..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (3) .
Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Sócrates Cavalcanti - Integrante / Leonardo Nogueira Matos - Integrante / Maria da Paz Moreno - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 6 / Número de orientações: 5
2003 - 2004
Automação de Rotinas Odontológicas na Prevenção de Doenças Periodontais
Descrição: Prevê-se a construção de um módulo de um amplo sistema que provê suporte automático a rotinas de prevenção de doenças peridontais..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Leila Maciel de Almeida e Silva - Coordenador / José Carlos dos Santos Júnior - Integrante / Liane Maciel de Almeida Souza - Integrante / José Henrique M Goulart - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado de Sergipe - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de Sergipe - Bolsa.
Número de produções C, T & A: 7 / Número de orientações: 3
2001 - 2004
SISPED - Sistema de Monitoramento do Pé Diabético
Descrição: Desenvolvimento de um sistema para monitorar a evolução da diabetes em pacientes com risco de amputação. O sistema prevê acesso remoto aos pacientes, visando a implantação em postos de saúde. A partir de dados clínicos e exames físicos o sistema gera um laudo de conduta para o acompanhamento do paciente. Além disso, gera inúmero ralatórios estatísticos que permitem apoiar decisões de planejamento no âmbito da saúde pública..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (2) .
Integrantes: Leila Maciel de Almeida e Silva - Coordenador / Karla F Rezende - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 7 / Número de orientações: 3


Outros Projetos


2003 - 2004
RESETI: Rede de Tecnologia da Informação do Estado de Sergipe
Descrição: Fomentar ações para a instalação da Rede de Tecnologia da Informação no Estado de Sergipe..
Situação: Concluído; Natureza: Outra.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Leila Maciel de Almeida e Silva - Integrante / Eduardo Freire - Integrante / Edson Menezes - Coordenador.Financiador(es): Fundação de Amparo à Pesquisa do Estado de Sergipe - Auxílio financeiro.


Revisor de periódico


2017 - 2017
Periódico: Journal of the Brazilian Computer Society
2004 - 2004
Periódico: Journal of the Brazilian Computer Society
2001 - 2002
Periódico: CLEI Eletronic Journal
2006 - 2006
Periódico: IEEE Latin American Transaction
2007 - 2008
Periódico: IET Software
2007 - 2008
Periódico: Revista de Informática Teórica e Aplicada
2009 - 2009
Periódico: Science of Computer Programming
2014 - 2015
Periódico: Journal of Software Engineering Research and Development


Revisor de projeto de fomento


2013 - 2013
Agência de fomento: Fundação de Pesquisa do Estado de Alagoas
2015 - Atual
Agência de fomento: Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco
2014 - 2014
Agência de fomento: Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco
2013 - 2013
Agência de fomento: Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco
2012 - 2013
Agência de fomento: Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco
2004 - Atual
Agência de fomento: Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe


Á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: Engenharia de Software.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Informática Aplicada à Saúde.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Algoritmos.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Espanhol
Compreende BemLê Razoavelmente.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2018
Prêmio Iniciação Científica Destaque da UFS - Primeiro Lugar - (Orientação do trabalho premiado), Universidade Federal de Sergipe.
2018
Prêmio Iniciação Científica Destaque da UFS - Segundo Lugar - (Orientação do trabalho premiado), Universidade Federal de Sergipe.
2013
Prêmio de Melhores Trabalhos de Extensão da UFS - segundo lugar, Universidade Federal de Sergipe.
2012
Prêmio Melhores Monografias Prof. Arivaldo Montalvão (orientação da monografia de Marcos Paulo Paixão, primeiro lugar da área de Engenharias e Computação), Universidade Federal de Sergipe.
2009
Medalha de ouro na Maratona de Programação (como co-técnica da equipe Anuncie Aqui), Sociedade Brasileira de Computação.
2007
Pesquisador FAPITEC/SE, Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe.
2006
Primeiro lugar no IV WTICG-BASE, categoria Iniciação Científica (Orientação de trabalho premiado), Sociedade Brasileira de Computação - Regional Nordeste 3.
2006
CTIC 2006 - Orientação de artigo selecionado entre os dez melhores trabalhos, Sociedade Braileira de Computação.
2005
CTIC 2005 - Orientação de artigo selecionado entre os dez melhores trabalhos, Sociedade Brasileira de Computação.
2005
Primeiro lugar no III WTICG-BASE, categoria Iniciação Científica (Orientação de trabalho premiado), Sociedade Brasileira de Computação - Regional Nordeste 3.
2004
Primeiro lugar no II WTICG-BASE, categoria Iniciação Científica (Orientação de trabalho premiado), Sociedade Brasileira de Computação - Regional Nordeste 3.
2004
Terceiro Lugar no CTIC 2004 - (Orientação de Trabalho Premiado), Sociedade Brasileira de Computação.
2000
Melhor Tese de Doutorado, Sociedade Brasileira de Computação.
1991
Dissertação de Mestrado aprovada com distinção e louvor, Universidade Estadual de Campinas.
1986
Medalha do Mérito Estudantil, pela maior média ponderada entre todos os formandos da UFS em 1985/02, Universidade Federal de Sergipe.
1982
Primeiro lugar geral no vestibular da Universidade Federal de Sergipe, Universidade Federal de Sergipe.


Produções



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

1.
Blicie Rocha2015Blicie Rocha ; Menendez, Elisa ; SILVA, L. M. A. ; Guimarães, V. G. ; Britto, G. C. ; Mesquita, A. R. ; Magalhães, G. F. ; Lyra Jr, Divaldo . Improvement and Assessment of Virtual Patient Tool in Teaching of Skills for Practice of Pharmaceutical Care. International Journal of Pharmacy, v. 5, p. 661-674, 2015.

2.
Menendez, Elisa2015Menendez, Elisa ; ROCHA, Blicie ; Jabbur, Monique ; Costa, Wanderson ; Nascimento, José Rafael ; DÓSEA, Marcos Barbosa ; SILVA, L. M. A. ; Lyra Jr, Divaldo . Using a virtual patient system for the teaching of pharmaceutical care. International Journal of Medical Informatics, v. 84, p. 640-646, 2015.

3.
NAUMANN, David2012 NAUMANN, David ; SAMPAIO, Augsto ; SILVA, L. . Refactoring and Representation Independence for Class Hierarchies (Qualis A1). Theoretical Computer Science, v. 8748, p. 60-97, 2012.

4.
Jabbur, Monique2012Jabbur, Monique ; Mesquita, Alessandra ; SILVA, L. ; ALMEIDA NETO, Abílio ; Lyra Jr, Divaldo . Virtual Patient in Pharmaceutical Education. American Journal of Pharmaceutical Education, v. 76, p. 92, 2012.

5.
PAIXAO, Marcos Paulo2011PAIXAO, Marcos Paulo ; SILVA, L. ; Britto, Talles ; Elias, Gledson . Turning Large Software Component Repositories into Small Index Files (Qualis B5). International Journal on Advances in Softw, v. 4, p. 412-421, 2011.

6.
F. G. Silva2009F. G. Silva ; HOENTSCH, S. C. P. ; SILVA, L. . Uma análise das Metodologias Ágeis FDD e Scrum sob a Perspectiva do Modelo de Qualidade MPS.BR (Qualis C). Scientia Plena, v. 5, p. 1-13, 2009.

7.
DÓSEA, Marcos2008DÓSEA, Marcos ; SILVA, L. ; SILVA, Maria Andréia ; CAVALCANTI, Sócrates . Adaptive Mean-Linkage with Penalty: a New Algorithm for Cluster Analysis (Qualis B2). Chemometrics and Intelligent Laboratory Systems (Print), v. 94, p. 1-8, 2008.

8.
CARVALHO JÚNIOR, Antônio2007CARVALHO JÚNIOR, Antônio ; SILVA, L. ; CORNÉLIO, Márcio . Using CafeOBJ to mechanise Refactoring Proofs and Applications (Qualis B1). Electronic Notes in Theoretical Computer Science, v. 184, p. 39-61, 2007.

9.
DÓSEA, Marcos2005DÓSEA, Marcos ; SILVA, L. ; CAVALCANTI, Sócrates . Explorando Algoritmos Hierárquicos e Não-Hierárquicos na Construção de uma Ferramenta de Auxílio à Pesquisa de Fitoterápicos (Qualis C). Revista Eletrônica de Iniciação Científica, Rio Grande do Sul, v. III, p. 1-10, 2005.

10.
SILVA, L.;SILVA, LEILA2004 SILVA, L.; SAMPAIO, A. ; BARROS, E. . A Constructive Approach to Hardware/Software Partitioning (Qualis A2). Formal Methods in System Design, Estados Unidos, v. 24, p. 45-90, 2004.

11.
MENEZES, Manoel Messias2004MENEZES, Manoel Messias ; SILVA, Andre Luis Meneses ; SILVA, L. . Explorando o Uso de Sistemas de Reescrita como Ferramenta de Suporte no Contexto do Particionamento de Hardware e Software (Qualis C). Revista Eletrônica de Iniciação Científica, Rio Grande do Sul, v. IV, n.s, p. 1-10, 2004.

12.
MENEZES, Manoel Messias2003MENEZES, Manoel Messias ; SILVA, André Luiz ; SILVA, L. . Using CafeOBJ to implement a Reduction Strategy in the Context of Hardware/Software Partitioning (Qualis B1). Electronic Notes in Theoretical Computer Science, v. 95, p. 63-82, 2003.

Livros publicados/organizados ou edições
1.
Davies, J. (Org.) ; SILVA, L. (Org.) ; Simao, A. (Org.) . Formal Methods: Foundations and Applications - Proceedings of 13th Brazilian Symposium on Formal Methods - Lecture Notes in Computer Science 6527. 1. ed. Heildeberg: Springer, 2010. v. 1. 290p .

2.
SILVA, L.; NASCIMENTO, R. P. C. (Org.) ; MACEDO, Hendrik (Org.) ; CARRILHO, Eduardo (Org.) . Proceedings of EATIS 2008. 1. ed. Aracaju: , 2008. v. 1.

Trabalhos completos publicados em anais de congressos
1.
BOTELHO, Glauber ; CARVALHO, André Britto de ; SILVA, L. M. A. . A Many-Objective Estimation Distributed Algorithm Applied to Search Based Software Refactoring. In: IEEE Congress on Evolutionary Computation (IEEE CEC 2018), 2018. Proc. of IEEE Congress on Evolutionary Computation (IEEE CEC 2018), 2018.

2.
BOTELHO, Glauber ; BRITTO, ANDRE ; SILVA, LEILA . A New Estimation Distributed Algorithm Applied to a Many-Objective Discrete Optimization Problem. In: 2016 5th Brazilian Conference on Intelligent Systems (BRACIS), 2016, Recife. 2016 5th Brazilian Conference on Intelligent Systems (BRACIS), 2016. p. 415-424.

3.
BOTELHO, Glauber ; CARVALHO, André Britto de ; SILVA, L. M. A. . Investigating Bioinspired Strategies to Solve Large Scale Next Release Problem. In: XVIII Ibero American Conference on Software Engeneering (CIBSE 2015), 2015, Lima. Proc. of XVIII Ibero American Conference on Software Engeneering, 2015.

4.
RIBEIRO, A. ; SILVA, L. ; Elias, Gledson . Using Hill Climbing for Identifying Similar Software Components. In: Euro American Conference in Informatics and Telecomunicartion Systems, 2014, VAlparaíso. Proc. of EATIS 2014, 2014.

5.
Rodrigo Otoni ; CARVALHO, André Britto de ; SILVA, L. . Análise da Aplicação de Variantes do Algoritmo NSGA-II no Problema do Planejamento da Próxima Versão de um Software com Grande Número de Requisitos. In: WESB - Workshop de Engenharia de Software Baseada em Buscas, 2014, Maceió. Anais do CBSOft 2014 - WESB 2014, 2014. v. 1. p. 1-10.

6.
Arthur Menezes ; CARVALHO, André Britto de ; SILVA, L. . Applying Particle Swarm Optimisation for Solving the Next Release Problem. In: WESB - Workshop de Engenharia de Software Baseada em Buscas, 2014, Maceió. Anais do CBSOft 2014 - WESB 2014, 2014. v. 1. p. 1-10.

7.
FONSECA, D. H. M. ; LACERDA, A. ; SILVA, L. ; VELOSO, A. ; ZIVIANI, Nívio . Weighted Slope One Predictors Revisited. In: 4th International Conference on Social Recommender Systems, 2013, Rio de Janeiro. Proc. of 22nd International World Web Conference, 2013.

8.
FONSECA, D. H. M. ; LACERDA, A. ; SILVA, L. ; ZIVIANI, Nívio . Estendendo o Algoritmo Slope One com Conceitos de Utilidade dos Itens e de Redes de Confiança. In: Workshop de Trabalhos de Iniciação Científica e de Graduação - WTICG-BASE, 2013, Aracaju. Anais do WTICG-BASE 2013, 2013.

9.
PAIXAO, Marcos Paulo ; SILVA, L. ; Elias, Gledson . Clustering Large-Scale, Distributed Software Component Repositories. In: International Conference on Advances in Databases, Knowledge, and Data Applications (Qualis B4), 2012, Saint Gilles. Proc. of the Fourth International Conference on Advances in Databases, Knowledge, and Data Applications, 2012. p. 1-10.

10.
Costa, Wanderson ; Nascimento, José Rafael ; Menendez, Elisa ; DÓSEA, Marcos ; SILVA, L. ; Jabbur, Monique ; Lima, Ana Patrícia ; Lyra Jr, Divaldo . A System to help the teaching of Pharmaceutical Care. In: EATIS - Euro American Conference on Telematics and Information Systems (Qualis B4), 2012, Valencia. Proceedings of EATIS 2012, 2012. p. 1-10.

11.
Santos, Kaio Cesar ; Feistauer, Leonardo ; CARVALHO, Márcio Ribeiro de ; SILVA, L. ; REZENDE, K. F. . Sisped 2.0: An Extension of a System to Monitor Diabetic Patients. In: EATIS - Euro American Conference on Telematics and Information Systems (Qualis B4), 2012, Valencia. Proceeding of EATIS 2012, 2012. p. 1-10.

12.
Martins, Diego ; Gois, Ely ; DÓSEA, Marcos ; SILVA, L. . Uma Abordagem para o Gerenciamento Integrado de Testes Manuais e Automatizados no TestLink. In: WTICG-BASE - Workshop de Trabalhos de Iniciação Científica e de Graduação, 2012, Juazeiro. Anais do WTICG., 2012. p. 1-10.

13.
PAIXAO, Marcos Paulo ; SILVA, L. ; Britto, Talles ; Elias, Gledson . Large Software Component Repositories into Small Index Files. In: International Conference on Advances in Databases, Knowledge, and Data Applications, 2011, St Marteen. Proc of the Third International Conference on Advances in Databases, Knowledge, and Data Applications (Qualis B4), 2011. p. 1-6.

14.
Nascimento, José Rafael ; Costa, Wanderson ; DÓSEA, Marcos ; SILVA, L. ; Jabbur, Monique ; Lyra Jr, Divaldo . Uma proposta de um sistema para o ensino de competências farmacoterapêuticas e habilidades de comunicação. In: WTICG 2011- Workshop de Trabalhos de Iniciação e de Graduação, 2011, Salvador. Anais do WTICG-BASE, 2011.

15.
Valéria Carvalho ; SILVA, L. ; MATOS, Leonardo Nogueira ; CAVALCANTI, Sócrates . Agrupamento de Dados no Contexto da Quimiotaxonomia: Aplicando Heurísticas Baseadas em Coloração de Grafos. In: WTICG -BASE- Workshop de Trabalhos de Graduação e Iniciação Científica Bahia-Alagoas-Sergipe, 2010, Maceió. ERBASE 2011, 2010. p. 1-10.

16.
Liliane Santana ; SILVA, L. ; MATOS, Leonardo Nogueira ; CAVALCANTI, Sócrates . Agrupamento de Dados na Quimiotaxonomia Utilizando a Teoria dos Grafos: Aplicação de Árvore Geradora Mínima com Conceito de Penalidade. In: WTICG-BASE - Workshop de Trabalhos de Graduação e Iniciação Científica Bahia-Alagoas-Sergipe, 2010, Maceió. ERBASE 2011, 2010. p. 11-20.

17.
SILVA, L.; NAUMANN, David ; SAMPAIO, A. . Refactoring and Representation Independence for Class Hierarchies[Extended Abstract]. In: Workshop on Formal Techniques for Java-like Programs (Qualis B4), 2010, Maribor. Proceedings of the 12th Workshop on Formal Methods for Java-like Programs, 2010. v. 1. p. 50-56.

18.
PAIXAO, Marcos Paulo ; Britto, Talles ; SILVA, L. ; Elias, Gledson . Explorando Técnicas de Agrupamento de Dados na Indexação de Repositórios de Componentes de Software. In: Workshop Brasileiro de Otimização em Engenharia de Software, 2010, Salvador. Anais do Congresso Brasileiro de Software: Teoria e Prática, 2010. v. 1. p. 1-8.

19.
Liliane Santana ; Valéria Carvalho ; SILVA, L. ; MATOS, Leonardo Nogueira ; CAVALCANTI, Sócrates . Clustering Data in Chemosystematics using a Graph-theoretic Approach: an Application of Minimum Spanning Treee with Penalty Concept. In: BIOMAT 2009- International Symposium on Mathematical and Computational Biology, 2009, Brasília. BIOMAT 2009- International Symposium on Mathematical and Computational Biology (to appear), 2009. v. 1. p. 272-288.

20.
SILVA, L.; SAMPAIO, Augsto ; LIU, Zhiming . Laws of Object-Orientation with Reference Semantics. In: IEEE International Conference on Software Engineering and Formal Methods (Qualis B2), 2008, Cidade do Cabo. Proc. of Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008. p. 217-226.

21.
Ana Patrícia Magalhâes ; ANDRADE, A. M. S. ; SILVA, L. ; Herman Lepikson . A Development Process for Mechatronic Products: Intgrating Software Engineering and Product Engineering. In: IEEE International Conference on Engineering Technologies and Factory Automation (Qualis B2), 2007, Patras. Proceedings of ETFA 07, 2007.

22.
SOUZA, Paula Costa ; Vanessa Fonseca ; SILVA, L. . Estudo da adequação do uso da plataforma .net e da metodologia de desenvolvimento Extreme Programming na elaboração de um software para a área médica. In: V Workshop de Trabalhos de Iniciação Científica e de Graduação da ERBASE, 2007, Vitória da Conquista. Anais do V WTICG-ERBASE, 2007. p. 1-10.

23.
TRINCHÃO, Beatriz ; SILVA, L. ; FREIRE, Eduardo . Modelando Sistemas Mecatrônicos com a UML-RT: Uma Proposta de Extensão. In: V Workshop de Trabalhos de Inciação Científica e de Graduação, 2007, Vitória da Conquista. Anais do V WITICG-ERBASE, 2007. p. 1-10.

24.
CARVALHO JÚNIOR, Antônio C de ; SILVA, L. . Mecanização de regras de Refatoração com o Apoio de Sistemas de Reescrita. In: IV WTICG-BASE - Workshop de Trabalhos de Graduação e Iniciação Científica Bahia-Sergipe, 2006, Aracaju. Anis da VI ERBASE - EScola Regional de Computação Bahia Sergipe, 2006. p. 1-10.

25.
CARVALHO, André Britto de ; SILVA, L. ; MATOS, Leonardo Nogueira . Explorando Algoritmos Inspirados em Colônias de Formigas no Contexto do Agrupamento de dados em Quimiotaxonomia. In: IV WTICG-BASE - Workshop de Trabalhos de Graduação e Iniciação Científica Bahia-Sergipe, 2006, Aracaju. Anais da VI ERBASE - Escola Regional de Computação Bahia-Sergipe, 2006. p. 1-10.

26.
CARVALHO, André Britto de ; SILVA, L. ; MATOS, Leonardo Nogueira . Um Algoritmo Baseado na Meta-heurística ACO no Contexto da Quimiotaxonomia. In: I Workshop on Computational Intellignce - WCI/SBRN, 2006, Ribeirão Preto. Anais do I Workshop on Computational Intelligence, 2006. p. 1-6.

27.
TRINCHÃO, Beatriz ; SILVA, L. ; FREIRE, Eduardo . Uma Proposta de Extensão da UML-RT para Permitir a Modelagem de Sistemas Mecatrônicos. In: XII Congresso Argentino de Ciências de la Computacion (CACIC), 2006, San Luis. Anais do CACIC 2006, 2006. p. 1-12.

28.
MAGALHÃES, Ana Patrícia Fontes ; ANDRADE, Aline ; SILVA, L. ; LEPIKSON, Herman Augusto . Uma Metodologia para o desenvolvimento de produtos mecatrônicos integrando Engenharia de Software e Engenharia de Produtos. In: XXVI Encontro Nacional de Engenharia de Produção - ENEGEP, 2006, Fortaleza. Anais do ENEGEP 2006, 2006. p. 1-8.

29.
ANDRADE, Rita Kalile Almeida ; SILVA, L. ; COSTA NETO, Alberto ; PACHECO, Maurício Soares . e-Patite: Um Sistema para Triagem de Doadores de Sangue quanto à Presença de Hepatite. In: Workshop de Informática Médica, 2005, Porto Alegre. Anais do WIM 2005, 2005. p. 1-10.

30.
CARVALHO JÚNIOR, Antônio ; SILVA, L. ; CORNÉLIO, Márcio . Using CAfeOBJ to Mechanise Refactoring Proofs. In: Brazilian Symposium of Formal Methods (Qualis B3), 2005, Porto Alegre. Anais do SBMF 2005, 2005. v. 1. p. 32-46.

31.
CARVALHO, Márcio Ribeiro de ; SILVA, L. ; REZENDE, Karla . Um Sistema para o Monitoramento do Pé Diabético. In: II WTICG-BASE - Workshop de Trabalhos de Graduação e Iniciação Científica Bahia-Sergipe, 2004, Feira de Santana. Anais do II WTICG-BASE, 2004. p. 1-10.

32.
SILVA, Andre Luis ; MENEZES, Manoel Messias ; SILVA, L. . Implementando uma Estratégia de Redução para o Contexto de Sistemas Embarcados Usando CafeOBJ. In: II WTICG-BASE - Workshop de Trabalhos de Graduação e Iniciação Científica Bahia-Sergipe, 2004, Feira de Santana. Anais do II WTICG-BASE, 2004. p. 1-10.

33.
SANTOS JÚNIOR, J. C. ; GOULART, José Henrique M ; SILVA, L. ; SOUZA, Liane Maciel de Almeida . Um Sistema para Triagem de Pacientes com Doenças Periodontais. In: II WTICG-BASE - Workshop de Trabalhos de Graduação e Iniciação Científica Bahia-Sergipe, 2004, Feira de Santana. Anais do II WTICG-BASE, 2004. p. 1-10.

34.
SANTOS JÚNIOR, Jose Carlos dos ; GOULART, José Henrique M ; SILVA, L. ; SOUZA, Liane Maciel de Almeida ; CORTES, Tânia ; MARQUES, Marlos . Um Sistema para Triagem de Pacientes com Doenças Periodontais. In: IV Workshop de Informática Médica, 2004, Brasília. Anais do IV Workshop de Informática Médica, 2004. p. 1-10.

35.
CARVALHO, Márcio Ribeiro de ; SILVA, L. ; REZENDE, K. F. ; MELO, Naira ; LOBÃO, Yuri ; MALERBI, Domingos . Monitoramento do Pé Diabético com Suporte Computacional. In: XXXI SEMISH- Seminário Integrado de Hardware e Software, 2004, Salvador. Anais do XXXI SEMISH - Seminário Integrado de Hardware e Software, 2004. p. 1-10.

36.
MENEZES, Manoel Messias ; SILVA, Andre Luis ; SILVA, L. . Explorando o Uso de Sistemas de Reescrita como Ferramenta de Suporte no Contexto do Particionamento de Hardware e Software. In: CTIC 2004 - Concursos de Trabalhos de Iniciação Científica, 2004, Salvador. Anais do Congresso da Sociedade Brasileira de Computação, 2004.

37.
GUIMARÃES, Ricardo Luiz ; SILVA, L. . Atlantis: Um jogo 3D multiusuário. In: I WTICG-BASE - Workshop de Trabalhos de Graduação e Iniciação Científica Bahia-Sergipe, 2003, Salvador. Anais do I WTICG-BASE, 2003. p. 1-10.

38.
COSTA, T. A. ; PASSOS, Rômulo Augusto Nogueira de O ; SILVA, L. . TRALK: Um meta- engenho de busca que provê resultados de alta qualidade. In: I WTICG-BASE - Workshop de Trabalhos de Graduação e Iniciação Científica Bahia-Sergipe, 2003, Salvador. Anais do I WTICG-BASE, 2003. p. 1-10.

39.
MENEZES, Manoel Messias ; SILVA, André Luiz ; SILVA, L. . Verificação Formal em Co-design Usando o Sistema de Reescrita BOBJ. In: XXX SEMISH- Seminário Integrado de Hardware e Software, 2003, Campinas. Anais do XXX SEMISH, 2003. p. 195-209.

40.
CARVALHO, Márcio Ribeiro de ; SILVA, L. ; REZENDE, Karla . Um sistema para o monitoramento do pé diabético. In: III Workshop de Informática Médica, 2003, Fortaleza. Anais do III Workshop de Informática Médica, 2003. p. 1-10.

41.
SILVA, André Luiz ; MENEZES, Manoel Messias ; SILVA, L. . Using CafeOBJ to implement a Reduction Strategy in the Context of Hardware/Software Partitioning. In: VI Workshop de Métodos Formais, 2003, Campina Grande. Anais do VI Workshop em Métodos Formais, 2003. p. 43-58.

42.
SANTOS, L. A. ; SILVA, L. ; MELO, Naira ; REZENDE, Karla . SISPED: A System to Monitor Foot Complications in Diabetic Patients. In: CSITeA-Intenacional Conference on Computer Science, Software Engineering, Information technology, e-Business and Applications, 2002, Foz de Iguaçu. Proceedings of the ACIS Internacional Conference on Computer Science, Software Engineering, Information Technology and Applications, 2002. p. 357-362.

43.
SANTANA, A. J. ; PASSOS, R. A. ; COSTA, T. ; SILVA, L. ; SANTOS, K. . Towards a Meta-search Engine Allowing Advanced User Interaction. In: CSITeA-Intenacional Conference on Computer Science, Software Engineering, Information technology, e-Business and Applications, 2002, Foz de Iguaçu. Proceedings of ACIS- Internacional Conference on Computer Science, Software Engineering, Information Technology, e-Business and Applications, 2002. p. 348-351.

44.
SILVA, L.; SAMPAIO, A. ; JONES, G. . Serialising Parallel Processes In a Hardware/Software Partitioning Context. In: Formal Methods Europe 2001 (Qualis B1), 2001, Berlim. Lecture Notes in Computer Science. Heildberg: Springer-Verlag, 2001. v. 2021. p. 344-363.

45.
SILVA, L.; SAMPAIO, Augsto ; BARROS, E. . An Algebraic Approach to Hardware/Software Partitioning. In: CTD 2001- XXI Congresso da Sociedade Brasileira de Computação, 2001, Fortaleza. Anais do XXI Congresso da Sociedade Brasileira de Computação, 2001. p. 110-110.

46.
SILVA, L.; SAMPAIO, A. ; BARROS, E. ; IYODA, J. . An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment. In: 7th International Conference on Algenraic Methodology and Software Technology - AMAST'98 (Qualis B1), 1999, Manaus. Lecture Notes in Computer Science. Heidelberg: Springer-Verlag, 1999. v. 1548. p. 308-324.

47.
IYODA, J. ; SAMPAIO, A. ; SILVA, L. . ParTS: A Partitioning Transformation System. In: FM'99- World Congress on Formal Methods in the Development of Computing Systems (Qualis B1), 1999, Toulouse. Lecture Notes in Computer Science. Heildelberg: Springer-Verlag, 1999. v. 1709. p. 1400-1419.

48.
BARROS, E. ; SAMPAIO, A. ; LIMA, M. E. ; SILVA, L. ; JACOBI, R. ; CALAZANS, N. . The PISH Methodology for Hardware/Software Co-design. In: Workshop do ProTem-CC, 1998, Belo Horizonte. Workshop do ProTem-CC, 1998. p. 65-98.

49.
IYODA, J. ; SAMPAIO, A. ; SILVA, L. . Partitioning Transformation System. In: XII Simpósio Brasileiro de Engenharia de Software, 1998, Maringá. Anais da 1a Mostra Brasileira de Software Acadêmico e Comercial, 1998. p. 67-74.

50.
SILVA, L.; SAMPAIO, A. ; BARROS, E. . Projeto Integrado de Hardware e Software com Ênfase em Corretude: Um Estudo de Caso. In: XXIV SEMISH (Qualis B4), 1997, Brasília. Anais do XXIV SEMISH - Seminário Integrado de Software e Hardware, 1997. p. 47-58.

51.
SILVA, L.; SAMPAIO, A. ; BARROS, E. . A Normal Form Reduction Strategy for Hardware/Software Partitioning. In: 4th International Symposium of Formal Methods Europe - FME'97 (Qualis B1), 1997, Graz. Lecture Notes in Computer Science. Heildelberg: Springer-Verlag, 1997. v. 1313. p. 624-643.

52.
CAVALCANTI JR, D. A. ; SILVA, L. ; CASTOR, I. G. ; ALVES, C. M. ; SILVA, F. S. ; NASCIMENTO, R. P. C. . Um sistema orientados a objetos para cadastramento e manipulação de sondagens à percussão. In: Conferência Latino-Americana de Engenheiros Geotécnicos Jovens, 1995, Rio de Janeiro. Anais da Segunda Conferência Latino-Americana de Engenheiros Geotécnicos Jovens, 1995. p. 399-405.

53.
PEDRINI, H. ; SILVA, L. ; TOZZI, C. . Avaliação da precisão no processo de reconstrução 3D a partir de seções seriadas. In: SIBGRAPI (Qualis B3), 1992, Águas de Lindóia. Anais do SIBIGRAPI V, 1992. p. 155-161.

Resumos expandidos publicados em anais de congressos
1.
SILVA, L. M. A.; BARROCA, L. . Towards a Blended Learning Approach to Teach a Theoretical Computer Science Module. In: International Conference on Computer Supported Education, 2015, Lisboa. Proc of 7th International Conference on Computer Supported Education, 2015. v. 1.

2.
RIBEIRO, A. ; SILVA, L. ; Elias, Gledson . Usando Hill Climbing para Identificação de Componentes de Software Similares. In: WESB 2013, 2013, Brasilia. Workshop de Engenharia de Software Baseada em Buscas, 2013.

3.
Nascimento, José Rafael ; Costa, Wanderson ; SILVA, L. ; DÓSEA, Marcos ; Jabbur, Monique ; Lyra Jr, Divaldo . Uma proposta de um sistema para o ensino de habilidades de comunicação e competências farmacoterapêuticas. In: Workshop de Informática Médica (Qualis B4), 2010, Belo Horizonte. Anais do X Workshop em Informática Médica, 2010. v. 1. p. 1-4.

4.
CARVALHO JÚNIOR, Antônio C de ; SILVA, L. . Formalização de Refatorações Usando Sistema de Reescrita CafeOBJ. In: WCOMPA - Workshop de Computação e Aplicações, 2006, Campo Grande. Anais do WCOMPA, 2006. p. 1-4.

5.
CARVALHO, André Britto de ; SILVA, L. ; MATOS, Leonardo Nogueira . Explorando Algoritmos Basedos em Colônias de Formigas para a Classificação de Plantas no Contexto da Quimiotaxonomia. In: WCOMPA - Workshop de Computação e Aplicações, 2006, Campo Grande. Anais do WCOMPA, 2006. p. 82-85.

6.
SOUZA, Paula Costa ; COX, Kênia Kodel ; SILVA, L. ; FACKOURI, Riacardo . Uma Proposta de Um Curso à Distância em Patologia. In: IV Workshop de Informática Médica, 2004, Brasília. Anais do IV Workshop de Informática Médica, 2004. p. 1-4.

7.
CARVALHO, Márcio Ribeiro de ; SILVA, L. ; REZENDE, K. F. ; MELO, Naira ; MALERBI, Domingos ; LOBÃO, Yuri . Projeto SISPED: Validação, Implantação e Impactos Esperados. In: IV Workshop de Informática Médica, 2004, Brasília. Anais do IV Workshop de Informática Médica, 2004. p. 1-4.

8.
COSTA, T. ; PASSOS, R. A. O. ; BONFIM, Sueane ; SILVA, L. . TRALK: Um sistema de busca. In: Webmídia e LA-Web Joint Conference, 2004, Ribeirão Preto. Anais de Webmídia e LA-Web Joint Conference, 2004. p. 87-90.

9.
DÓSEA, Marcos Barbosa ; SILVA, Maria Andréia ; SILVA, L. ; CAVALCANTI, Sócrates . ChemoTax: A Tool to Support Phytoterapics Research Based on Chemotaxonomy. In: Third Brazilian Workshop on Bioinformatics, 2004, Brasília. Proceedings of the Third Brazilian Workshop on Bioinformatics, 2004. p. 113-116.

10.
SANTOS JÚNIOR, Jose Carlos dos ; SILVA, L. ; SOUZA, Liane Maciel de Almeida . Uma proposta de um sistema para a triagem de pacientes com doenças periodontais. In: III Workshop de Informática Médica, 2003, Fortaleza. Anais do III Workshop em Informática Médica, 2003. p. 1-4.

Resumos publicados em anais de congressos
1.
Costa, Wanderson ; Nascimento, José Rafael ; Jabbur, Monique ; SILVA, L. ; Lyra Jr, Divaldo ; DÓSEA, Marcos . PV-UFS: Simulando um Paciente Virtual no Contexto da Farmacoterapia. In: II Encontro de Iniciação em Desenvolvimento Tecnológico e Inovação, 2010. Anais do II Encontro de Iniciação em Desenvolvimento Tecnológico e Inovação, 2010. p. 39-39.

2.
Valéria Carvalho ; SILVA, L. ; MATOS, Leonardo Nogueira ; CAVALCANTI, Sócrates . Algoritmos de Agrupamento Baseados em Coloração de Grafos no Contexto da Quimiotaxonomia. In: 19º Encontro de Iniciação Científica da UFS, 2009. Anais do 19º Encontro de Iniciação Científica da UFS, 2009. p. 324-324.

3.
Liliane Santana ; SILVA, L. ; MATOS, Leonardo Nogueira ; CAVALCANTI, Sócrates . Algoritmos de Agrupamento Baseados em Árvores Geradoras Mínimas no Contexto da quimiotaxonomia. In: 19º Encontro de Iniciação Científica da UFS, 2009, Aracaju. Anais do 19º Encontro de Iniciação Científica da UFS, 2009. v. 1. p. 318-318.

4.
NUNES, Thiago ; SILVA, L. ; MORENO, M. P. . Um Sistema para Auxiliar no Planejamento de Fármacos. In: Congresso de Inciação Científica da UFS, 2006, São Crsitóvão. Anais do VIII Congresso de Iniciação Científica da UFS, 2006.

5.
LIMA, Felipe de Oliveira ; SILVA, L. . Explorando o Paradigma de Aspectos no Desenvolvimento de Sistemas Mecatrônicos. In: Congresso de IC da UFS, 2006, São Cristóvão. Anais do VIII Congresso de IC da UFS, 2006.

6.
CARVALHO JÚNIOR, Antônio C de ; SILVA, L. . Provas Formais de refactorings usando Sistemas de Reescrita. In: VII Congresso de Iniciação Científica da UFS, 2005, Aracaju. Anis do VII Congresso de Iniciação Científica da UFS, 2005. p. 22-22.

7.
CARVALHO, André Britto de ; SILVA, L. ; MATOS, Leonardo Nogueira . Explorando Algoritmos Inspirados em Colônias de Formigas No Contexto do Agrupamento de dados em Quimiotaxonomia. In: VII Congresso de Iniciação Científica da UFS, 2005, Aracaju. Anais de VII Congresso de Iniciação Científica da UFS, 2005. p. 21-21.

8.
RIBEIRO, Breno Piva ; PALMA, Giovanny F L ; SILVA, L. . Verificação de Modelos de Sistemas Concorrentes Escritos em E-LOTOS. In: VII Congresso de Iniciação Científica da UFS, 2005, Aracaju. Anais de VII Congresso de Iniciação Científica da UFS, 2005. p. 23-23.

9.
ÁVILA, Sandra Eliza Fontes de ; PALMA, Giovanny F L ; SILVA, L. . Linguagens de Programação Funcionais e Reativas para o Ensino de Física. In: VII Congresso de Iniciação Científica da UFS, 2005, Aracaju. Anais de VII Congresso de Iniciação Científica da UFS, 2005. p. 26-26.

10.
GOULART, José Henrique M ; SANTOS JÚNIOR, Jose Carlos dos ; SILVA, L. ; SOUZA, Liane Maciel de Almeida . Um Sistema para Triagem de Pacientes com doenças Periodontais. In: VI Congresso de Iniciação Científica da UFS, 2004, Aracaju. Anais do VI Congresso de Iniciação Científica da UFS, 2004. p. 22-22.

11.
DÓSEA, Marcos ; SILVA, L. ; CAVALCANTI, Sócrates . Um Sistema para Auxiliar a Pesquisa de Fitoterápicos. In: VI Congresso de Iniciação Científica da UFS, 2004, Aracaju. Anais do VI Congresso de Iniciação Científica da UFS, 2004. p. 23-23.

12.
BONFIM, Sueane ; SILVA, L. . Validação e Aprimoramento do Sistema de Meta-busca TRALK. In: VI Congresso de Iniciação Científica da UFS, 2004, Aracaju. Anais do VI Congresso de Iniciação Científica da UFS, 2004. p. 26-26.

13.
ANDRADE, Rita Kalile Almeida ; SILVA, L. ; COSTA NETO, Alberto ; PACHECO, Maurício Soares . Um Sistema de Doadores de Sangue Sujeitos à Presença de Hepatites. In: VI Congresso de Iniciação Científica da UFS, 2004, Aracaju. Anais do VI Congresso de Iniciação Científica da UFS, 2004. p. 24-24.

14.
REZENDE, Karla ; CARVALHO, Márcio Ribeiro de ; SILVA, L. ; MELO, Naira ; MALERBI, Domingos ; LOBÃO, Yuri . SISPED: A Software to monitor and prevent foot amputation in a diabetic patient.. In: XVIII Congress of IDF: International Diabetes Federation, 2003, Paris. Anais do XVIII Congress of IDF, 2003.

15.
SILVA, A. L. M. ; SILVA, L. . Explorando CafeOBJ na Prova de Regras Algébricas em Co-design. In: VCongresso de Iniciação Científica da UFS, 2003, Aracaju. Anais do V Congresso de Iniciação Científica da UFS, 2004. p. 39-40.

16.
MENEZES JÚNIOR, M. M. S. ; SILVA, L. . Explorando BOBJ na Prova de Regras Algébricas para o Particionamento. In: VCongresso de Iniciação Científica da UFS, 2003, Aracaju. Anais do V Congresso de Iniciação Científica da UFS, 2003. p. 42-42.

17.
SANTOS JÚNIOR, Jose Carlos dos ; SILVA, L. . Um Sistema para Auxiliar na Prevenção de Doenças Periodontais. In: V Congresso de Iniciação Científica da UFS, 2003, Aracaju. Anais do V Congresso de Iniciação Científica da UFS, 2003. p. 40.

18.
CARVALHO, L. M. M. ; SILVA, L. . Análise Computacional de Dados de Expressão Gênica Gerados por Experimentos de DNA Microarray. In: IV Congresso de Iniciação Científica da UFS, 2003, Aracaju. Anais do V Congresso de Iniciação Científica da UFS, 2003. p. 41-41.

19.
CARVALHO, Márcio Ribeiro de ; SILVA, L. . Um Sistema para Auxiliar na Prevenção do Pé Diabético. In: V Congresso de Iniciação Científica da UFS, 2003, Aracaju. Anais do V Congresso de Iniciação Científica da UFS, 2003. p. 43-43.

20.
MEIRELLES, L. M. C. ; SCHERR, R. ; SILVA, L. . Análise Funcional de Seqüências de Nucleotídeos e Aminoácidos Utilizando Ferramentas Computacionais. In: IV Congresso de Iniciação Científica da UFS, 2002, Aracaju. IV Congresso de Iniciação Científica da UFS, 2002. p. 252-253.

21.
SANTOS, S. M. ; SILVA, L. . Prova Automática de Regras de Utilizadas em Projeto de Sistemas Embarcados. In: IV Congresso de Iniciação Científica da UFS, 2002, Aracaju. IV Congresso de Iniciação Científica da UFS, 2002. p. 50-51.

22.
SANTANA, A. J. S. ; SILVA, L. . SisPesqUFS : Um Meta-Engenho de Busca para a Recuperação de Documentos na Web-Interfaces e Linguagem. In: IV Congresso de Iniciação Científica da UFS, 2002, Aracaju. IV Congresso de Iniciação Científica da UFS, 2002. p. 47-48.

23.
COSTA, T. A. ; SILVA, L. . MetaUFS: Um núcleo do Meta-Engenho de Busca SisPesqUFS. In: IV Congresso de Iniciação Científica da UFS, 2002, Aracaju. IV Congresso de Iniciação Científica da UFS, 2002. p. 51-52.

24.
PASSOS, R. A. O. ; SILVA, L. . RankUFS: O módulo do Meta-Engenho de Busca SisPesqUFS para classificar e exibir documentos relevante. In: IV Congresso de Iniciação Científica da UFS, 2002, Aracaju. IV Congresso de Iniciação Científica da UFS, 2002. p. 49-50.

25.
COSTA, G. G. L. ; SILVA, L. ; SCHERR, R. . Identificação de Similaridades de Seqüências DNA usando Técnicas Computacionais. In: IV Congresso de Iniciação Científica da UFS, 2002, Aracaju. IV Congresso de Iniciação Científica da UFS, 2002. p. 48-49.

26.
MELO, N. H. ; SANTOS, L. A. A. ; SANTOS, F. T. ; SILVA, L. ; FIDELIS, C. L. ; REZENDE, K. F. . Avaliação do Pé Diabético Através de um Software em Unidades Básicas de Saúde. In: XIII Congresso Brasileiro de Diabetes, 2001, Rio de Janeiro. Anais do XIII Congresso Brasileiro de Diabetes, 2001. p. S529-S529.

27.
SANTOS, L. A. A. ; SILVA, L. ; REZENDE, K. F. . SISPED: Sistema Automático para Monitoramento de Pacientes Diabéticos. In: III Congresso de Iniciação Científica da UFS, 2001, Aracaju. Anais do III Congresso de Iniciação Científica da UFS, 2001. p. 17-18.

28.
SILVA, L.. Uma Abordagem para Projeto Integrado de Hardware e Software com Ênfase em Corretude. In: XI Simpósio Brasileiro de Engenharia de Software, 1997, Fortaleza. II Workshop de Teses em Engenharia de Software, 1997. p. 24-25.

Apresentações de Trabalho
1.
SILVA, L.. A Olimpíada Brasileira de Informática em Sergipe. 2010. (Apresentação de Trabalho/Outra).

2.
SILVA, L.. Olimpíadas de Ciências. 2010. (Apresentação de Trabalho/Outra).

3.
SILVA, L.. Carreira do Profissional em Informática. 2010. (Apresentação de Trabalho/Outra).

4.
SILVA, L.. Os Cursos de Informática, Formação Acadêmica e a SBC. 2010. (Apresentação de Trabalho/Outra).

5.
SILVA, L.; ANDRADE, Aline ; MOURA, V. B. . Importância da Olimpíadas e Maratonas para os cursos de Computação (painelista convidada). 2007. (Apresentação de Trabalho/Outra).

6.
SILVA, L.. Formação do Profissional de Computação: Aspectos gerais e perspectivas futuras (palestrante convidada). 2006. (Apresentação de Trabalho/Seminário).

7.
SILVA, L.; Meira, Sílvio ; SANTANA, J. ; Alvelos, José . Políticas Governamentais para a área de tecnologia da Informação nos estados de Bahia e Sergipe (coordenadora de painel). 2006. (Apresentação de Trabalho/Outra).

8.
SILVA, L.. Os Grandes Desafios da Computação para a Década (palestrante convidada). 2006. (Apresentação de Trabalho/Conferência ou palestra).

9.
SILVA, L.. A Importância da Iniciação Científica na Formação do Profissional em Computação (palestrante convidada). 2004. (Apresentação de Trabalho/Conferência ou palestra).

10.
SILVA, L.. A Computação no Brasil e em Sergipe (palestrante convidada). 2004. (Apresentação de Trabalho/Seminário).

11.
SILVA, L.; SANTANA, Marcos ; COSTA, Terezinha . Painel sobre Diferenças Regionais (painelista convidada). 2004. (Apresentação de Trabalho/Congresso).

12.
SILVA, L.. Bioinformática: Uma Abordagem Geral (palestrante convidada). 2002. (Apresentação de Trabalho/Conferência ou palestra).

13.
SILVA, L.. Uma Abordagem Álgebrica para o Particionamento de Sistemas Embarcados (palestrante convidada). 2001. (Apresentação de Trabalho/Conferência ou palestra).


Produção técnica
Programas de computador sem registro
1.
Costa, Wanderson ; Nascimento, José Rafael ; DÓSEA, Marcos ; SILVA, L. ; Jabbur, Monique ; Lyra Jr, Divaldo . PharmaPV: Simulando um Paciente Virtual para o Ensino de Atenção Farmacêutica. 2010.

2.
ANDRADE, Rita Kalile Almeida ; SILVA, L. ; PACHECO, Maurício Soares . e-Patite: Um sistema para triagem de doadores de sangue suspeito de serem portadores de Hepatites. 2006.

3.
CARVALHO, Márcio Ribeiro de ; SILVA, L. ; REZENDE, Karla ; MELO, Naira . SISPED: Um sistema para o monitoramento do pé diabético. 2006.

4.
DÓSEA, Marcos Barbosa ; SILVA, L. ; CAVALCANTI, Sócrates . ChemoTax: Uma ferramenta para classificação automática de plantas. 2005.

5.
SANTOS JÚNIOR, Jose Carlos dos ; GOULART, José Henrique M ; SILVA, L. ; REZENDE, K. F. . PERIODONT: Um Sistema para a Triagem de Doenças Periodontais. 2004.

6.
COSTA, T. A. ; PASSOS, R. A. N. ; SANTANA, A. J. ; SILVA, L. . TRALK- um meta-engenho de busca. 2002.

7.
SANTOS, L. A. A. ; SILVA, L. ; REZENDE, K. F. . SISPED: Sistema de Acompanhamento de Pacientes Diabéticos. 2001.

Trabalhos técnicos
1.
SILVA, L.. Avaliadora do PIBIC e PIBIT da UFS. 2008.


Demais tipos de produção técnica
1.
SILVA, L.. Avaliadora de projetos de extensão (PIBIX) da UFS. 2011. (Extensão).

2.
SILVA, L.. Membro do Conselho Técnico e Científico do Sergipe Parque Tecnológico. 2010. (Extensão).

3.
SILVA, L.. Técnica da equipe Lena´s Buddies na Maratona de Programação. 2010. (Extensão).

4.
SILVA, L.. Avaliadora de projetos PIBIC e PIBIT da UFS. 2010. (Extensão).

5.
SILVA, L.. Co-técnica da equipe Anuncie Aqui na Maratona de Programação. 2009. (Extensão).

6.
SILVA, L.; SAMPAIO, Augsto ; LIU, Zhiming . Laws of Object-orientation with Reference Semantics. 2008. (Relatório de pesquisa).

7.
SILVA, L.. Consultora ad hoc na II Etapa de Seleção do Edital MS/CNPq/CECT-01/2006. 2007. (Extensão).

8.
SILVA, L.; SOARES, Ana Rosimere . Consultoria no Centro Encubador de Empresas de Sergipe. 2004. (Extensão).

9.
SILVA, L.. Bionformática: Uma Visão Geral. 2003. (Curso de curta duração ministrado/Extensão).

10.
SILVA, L.. Consultora ad hoc da FAP/SE. 2003. (Extensão).

11.
SILVA, L.. Introdução à Biologia Computacional. 2001. (Curso de curta duração ministrado/Extensão).



Patentes e registros



Programa de computador
1.
REZENDE, K. F. ; SILVA, L. ; MELO, Naira ; CARVALHO, Márcio Ribeiro de . SisPed: Sistema Salvando o Pé Diabético. 2006.
Patente: Programa de Computador. Número do registro: 081002, título: "SisPed: Sistema Salvando o Pé Diabético" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.

2.
Blicie Rocha ; Lyra Jr, Divaldo ; Menendez, Elisa ; Nascimento, José Rafael ; DÓSEA, Marcos ; Jabbur, Monique ; Costa, Wanderson . Software Pharma PV. 2014.
Patente: Programa de Computador. Número do registro: 14155-6, data de registro: 10/02/2014, título: "Software Pharma PV" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
NASCIMENTO, R. P. C.; SILVA, L.; A.C. Dias. Participação em banca de Anderson Santos Barroso. A Influência da Personalidade Humana na Qualidade do Software Produzido. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

2.
CARVALHO, André Britto de; SILVA, L.; M.S. Soares; PRUDENCIO, R. B. C.. Participação em banca de GLAUBER ANDRADE BOTELHO. Investigando Algoritmos Baseados em Estimadores de Distribuição e Técnicas da Otimização com Muitos Objetivos na Refatoração Automática de Software. 2017. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

3.
M.S. Soares; SILVA, L.; COSTA, Heitor. Participação em banca de TELMO OLIVEIRA DE JESUS. UMA TÉCNICA BASEADA EM EVENTOS PARA RASTREABILIDADE ENTRE REQUISITOS MODELADOS COM SysML. 2017. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

4.
SILVA, L.; Elias, Gledson; Clauirton Siebra. Participação em banca de Larissa Leoncio Pinheiro. Uma Abordagem Ontológica para Recomendação de Equipes Qualificadas em projetos de desenvolvimento distribuído de linhas de produto de software. 2014. Dissertação (Mestrado em INFORMÁTICA) - Universidade Federal da Paraíba.

5.
SILVA, L.; Elias, Gledson; Clauirton Siebra. Participação em banca de Vinicius Souza dos Santos. Uma Abordagem para Seleção de Equipes Tecnicamente Qualificadas para Implementação de Projetos de Software. 2014. Dissertação (Mestrado em INFORMÁTICA) - Universidade Federal da Paraíba.

6.
SILVA, L. M. A.; Elias, Gledson; COSTA NETO, Alberto. Participação em banca de Leonardo Bezerra Silva Júnior. Investigando a refatoração automática de software baseada em algoritmos de otimização multiobjetivos. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

7.
COSTA NETO, Alberto; SILVA, L. M. A.; GHEYI, Rohit. Participação em banca de Fernanda Almeida Passos. Avaliação de Técnicas de Linha de Produto de Software no Processo de Adaptação e Manutenção de Sistemas Customizáveis. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

8.
Oliveira, Adicineia; SILVA, L.; Judith Mendoza; Fernanda Alencar. Participação em banca de JOSE HENRIQUE DE MELO CARDOSO. UMA ABORDAGEM PARA O PROCESSO DE ENGENHARIA DE REQUISITOS SOB A ÓTICA DA GESTÃO DE PROCESSOS DE NEGÓCIO. 2012. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

9.
SILVA, L.; SAMPAIO, Augusto César Alves; BORBA, Paulo. Participação em banca de Sidney de Carvalho Nogueira. Geração Automática de Casos de Teste CSP Orientado por Propósito. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

10.
SILVA, L.; MENDONÇA NETO, Manoel Gomes de; SANTOS, Celso Alberto Saibel. Participação em banca de Cristiane Marise da Silva Carneiro. Frameworks de Aplicações Orientadas a Objetos: Uma Abordagem Iterativa e Incremental. 2003. Dissertação (Mestrado em Mestrado Profissional Em Redes de Computadores) - Universidade Salvador.

Qualificações de Mestrado
1.
COSTA NETO, Alberto; SILVA, L.; GHEYI, Rohit. Participação em banca de Fernanda Almeida Passos. Aprimorando o Processo de Customização de Sistemas Individuais Através de Soluções Adotadas na Construção de Linhas de Produtos de Software. 2013. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Sergipe.

2.
COSTA NETO, Alberto; SILVA, L.; Sílvia Virgílio. Participação em banca de Leonardo Bezerra Silva Junior. Aplicando Algoritmos de Busca para Realizar a Refatoração de Software Objetivando a Manutenabilidade. 2013. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Sergipe.

3.
COSTA NETO, Alberto; Oliveira, Adicineia; SILVA, L.; NASCIMENTO, R. P. C.. Participação em banca de Jeirlan Correia Palmeira. Proposta de Aperfeiçoamento da Metodologia PEETIC. 2012. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Sergipe.

4.
Oliveira, Adicineia; Fernanda Alencar; Judith Mendoza; SILVA, L.. Participação em banca de Hosé Henrique de Melo Cardoso. Uma Abordagem para Extensão do Processo de Engenharia de Requisitos sob a Ótica BPM. 2011. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Sergipe.

Monografias de cursos de aperfeiçoamento/especialização
1.
SILVA, L.; SCHNEIDER, Henrique Nou; Almeida, Charlton. Participação em banca de Aysla Mychele D. L. Tavares e Erika Ferreira da Conceição. Modelo de Maturidade de Capacitação de Pessoas: Investigando o Nível de Maturidade de Empresas Locais. 2010. Monografia (Aperfeiçoamento/Especialização em Especialização em Gestão de Projetos de Software) - Universidade Federal de Sergipe.

2.
SILVA, L.; DÓSEA, Marcos; Oliveira, Adicineia. Participação em banca de Pedro Silva Neto. Estudo de Caso de um Processo de Gerenciamento de Projetos de Software baseado em Métodos Ágeis e no modelo MPS.br. 2010. Monografia (Aperfeiçoamento/Especialização em Especialização em Gestão de Projetos de Software) - Universidade Federal de Sergipe.

3.
SILVA, L.; NASCIMENTO, Débora; Machado, Breno. Participação em banca de Elenildes de Almeida S. Costa e Jean Carlos de O. Ramos. Proposta de Implementação do Nível F do MPS.Br em uma Empresa de Médio Porte. 2010. Monografia (Aperfeiçoamento/Especialização em Especialização em Gestão de Projetos de Software) - Universidade Federal de Sergipe.

4.
PALMA, G. F. L.; SILVA, L.; NASCIMENTO, Débora. Participação em banca de Sávio Pessoa e José Henrique Cardoso. PLUS - Planejamento Unificado de Software. 2007. Monografia (Aperfeiçoamento/Especialização em Especialização Em Tecnologias da Informação) - Universidade Federal de Sergipe.

5.
SILVA, L.; NASCIMENTO, Débora; PALMA, G. F. L.. Participação em banca de Jaziel Lobo, Ananette Oliveira, José Wanderclan Chaves. Desenvolvimento de um Sistema de Gestão de Almoxarifado para o Serviço Público Federal. 2007. Monografia (Aperfeiçoamento/Especialização em Especialização Em Tecnologias da Informação) - Universidade Federal de Sergipe.

6.
SILVA, L.; COSTA NETO, Alberto; PALMA, G. F. L.. Participação em banca de F. Lima, A. Meneses e E.F. Santos. Testes de Software: Teoria e Prática. 2007. Monografia (Aperfeiçoamento/Especialização em Especialização Em Tecnologias da Informação) - Universidade Federal de Sergipe.

7.
SILVA, L.; MATOS, Leonardo Nogueira; PALMA, Giovanny F L. Participação em banca de Alberto Souza e Eduardo Garcez. Gonax - ferramenta CASE para criar projetos e gerar código-fonte. 2007. Monografia (Aperfeiçoamento/Especialização em Especialização Em Tecnologias da Informação) - Universidade Federal de Sergipe.

8.
COSTA NETO, Alberto; SILVA, L.; MATOS, Leonardo Nogueira. Participação em banca de José Aélio Oliveira, M. Carvalho. Avaliação do Processo àgil FDD para Empresas Pequenas de Desenvolvimento. 2007. Monografia (Aperfeiçoamento/Especialização em Especialização Em Tecnologias da Informação) - Universidade Federal de Sergipe.

Trabalhos de conclusão de curso de graduação
1.
M.S. Soares; SILVA, L.; PALMA, Giovanny F L. Participação em banca de Renato Silveira Nunes Júnior.Verificações Formais com Redes de Petri Coloridas em Processos de Saúde Modelados com BPMN. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.

2.
CARVALHO, André Britto de; SILVA, L.; COSTA NETO, Alberto. Participação em banca de Ícaro Marley Oliveira Fraga da Silva.Extração de Conhecimento para Auxiliar a Tomada de Decisão da Coordenação dos Cursos da Área de Computação da Universidade Federal de Sergipe. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.

3.
PALMA, Giovanny F L; SILVA, L.; CARVALHO, André Britto de. Participação em banca de Igor Nascimento dos Santos.Uma Estratégia para Implementar Refatorações Seguras no Eclipse. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.

4.
COSTA NETO, Alberto; MACEDO, Hendrik; SILVA, L.. Participação em banca de Danilo Henrique Fonseca Menezes.Abordagens de Recomendação Baseadas no Algoritmo Slope One. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.

5.
SILVA, L.; COSTA NETO, Alberto; MACEDO, Hendrik. Participação em banca de Marcos Paulo dos Santos Paixão.Aplicando a técnica de agrupamento de dados em repositórios de componentes de software. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

6.
SILVA, L.; COSTA NETO, Alberto; NASCIMENTO, Débora. Participação em banca de Diego Martins e Ely Gois.Uma abordagem para o gerenciamento integrado de testes manuais e automatizados no Testlink. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

7.
SILVA, L.; Nunes, Maria Augusta; Montalvão, J.. Participação em banca de Sandy Porto e Wanderson Costa.PersonaliKey: uma ferramenta de extração de traços de personalidade através do ritmo de digitação. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

8.
Oliveira, Adicineia; SILVA, L.; Oliveira, Kleber. Participação em banca de Danilo Reinert.Uma proposta de relevância para classificação de produtos baseada nas características do consumidor. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

9.
SILVA, L.; COSTA NETO, Alberto; Oliveira, Adicineia. Participação em banca de Valmor Aguiar Barreto.Métricas de Software: Teoria e Aplicações. 2010. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

10.
MACEDO, Hendrik; SILVA, L.; Nunes, Maria Augusta. Participação em banca de André Carvalho Silva.Estudo Empirico de Algoritmos de Filtragem de Informação. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

11.
MATOS, Leonardo Nogueira; SILVA, L.; Montalvão, J.. Participação em banca de Renato José Santos Maciel.Desenvolvimento de Sistema Neural de Suporte ao Processo de Zoneamento Ambiental a partir de Dados Categóricos. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

12.
SILVA, L.; PALMA, Giovanny F L; NASCIMENTO, Débora. Participação em banca de Paula Costa de Souza e Vanessa Oliveira Fonseca.Estudo da Adequação do Uso da Plataforma .Net e da Metodologia de Desenvolvimento XP na Elaboração de um Software para a área Médica. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

13.
SILVA, L.; MATOS, Leonardo Nogueira; METHANIAS. Participação em banca de Sueane Santos Bonfim.Análise das Principais Técnicas de Mineração de dados com Enfoque em Agrupamento. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

14.
SILVA, L.; PALMA, Giovanny F L; BRUNELLI, Luiz. Participação em banca de Beatriz Trinchão Andrade.Explorando UML-RT na Modelagem de Sistemas Mecatrônicos. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

15.
SILVA, L.; PALMA, Giovanny F L; COX, Kenia Kodel. Participação em banca de Antônio Carlos de Carvalho Júnior.Explorando Sistemas de Reescrita na Formalização de refactorings. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

16.
SILVA, L.; COX, Kenia Kodel; BRUNELLI, Luiz. Participação em banca de André Britto de Carvalho.Explorando Algoritmos Inspirados em Colônias de Formigas e Redes neurais no Contexto do Agrupamento de Dados em Quimiotaxonomia. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

17.
PALMA, Giovanny F L; SILVA, L.; COX, Kênia Kodel. Participação em banca de Breno Piva.Extensões e Dados de Tempo para o LIFT. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

18.
SILVA, L.; NASCIMENTO, Débora; COX, Kênia Kodel. Participação em banca de Rita Kalile Almeida Andrade.e-Patite: Um Sistema de Triagem de Doadores de Sangue Sujeitos à Presença de Hepatites. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

19.
SILVA, L.; MATOS, Leonardo Nogueira; PALMA, Giovanny F L. Participação em banca de Marcos Barbosa Dósea.ChemoTax: Uma Ferramenta Para Auxiliar a Pesquisa de Fitoterápicos. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

20.
SILVA, L.; PALMA, Giovanny F L; COX, Kênia Kodel. Participação em banca de Manoel Messias Menezes Silva e André Luis Silva.Explorando Sistemas de Reescrita no Contexto de Co-design. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

21.
SILVA, L.; COSTA NETO, Alberto; COX, Kênia Kodel. Participação em banca de Márcio Ribeiro de Carvalho.SISPED: Um Sistema Web para o Tratamento do Pé Diabético. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

22.
SILVA, L.; COSTA NETO, Alberto; COX, Kênia Kodel. Participação em banca de José Carlos dos Santos Júnior.PERIODONT: Um Sistema para Triagem de Pacientes com Doenças Periodontais. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

23.
SILVA, L.; SANTOS, K. M.; FREIRE, Antônio Monteiro. Participação em banca de Gustavo Gilson Lacerda Costa, Sandberg Marcel Santos.Uma Abordagem de Alinhamento e Recuperação de Seqüências Fonéticas Utilizando Técnicas da Biologia Computacional. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

24.
SILVA, L.; COX, Kenia Kodel; SANTOS, K. M.. Participação em banca de Lídio Marx Carvalho Meireles.Análise Computacional de expressão Gênica Gerados por experimentos de DNA Microarrays. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

25.
SILVA, L.; COSTA NETO, Alberto; FREIRE, Antônio Monteiro. Participação em banca de Patrícia Lima Santos e Mônica Vieira de Jesus.Estudo de Tecnologias e Ferramentas para a Implementação da Camada de Persistência do SCAA. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

26.
SILVA, L.; COX, Kenia Kodel; SANTOS, K. M.. Participação em banca de Ricardo Luis Guimarães dos Santos.Atlantis: Um Jogo 3D Multi-usuário. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

27.
SILVA, L.; COSTA NETO, Alberto; COX, Kenia Kodel. Participação em banca de Rômulo Augusto N O Passos e Thiago Alves Costa.O Meta-Engenho de Busca TRALK. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

28.
SILVA, L.; FREIRE, Antônio Monteiro; COSTA NETO, Alberto. Participação em banca de João Paulo Andrade Santos e Márcio Rocha Melo.SCAA: Sistema de Controle Acadêmico Administrativo. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

29.
SILVA, L.; SANTOS, K. M.; COSTA NETO, Alberto. Participação em banca de Carlos Alexandre e Wesley Aragão.Sistema de Controle de Recursos via Web para a UFS. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

30.
SILVA, L.; SANTOS, K. M.; COSTA NETO, Alberto. Participação em banca de Rita de Cássia e Manoel Libório.As Tarefas de Extração e Transformação de Dados em Sistemas Legados. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

31.
SILVA, L.; FREIRE, Antônio Monteiro; FONTES, W.. Participação em banca de Luiz Américo A Santos.SISPED: Sistema de Tratamento do Pé Diabético. 2001. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

32.
SILVA, L.; SOUZA, H.; SANTANA, J.. Participação em banca de Luiz Carlos Santos Júnior e Ivaniel Morais Souto.Desenvolvimento de uma Aplicação com Interface Web para a Configuração de Segurança em Ambiente Linux. 2001. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

33.
SILVA, L.; PALMA, G. F. L.; SOARES, Ana Rosimere. Participação em banca de Airto Antônio de Jesus Júnior, Anderson Luiz Oliveira França.Aperipê: Implantação de Serviços de Web para o Site do DCCE. 2001. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe.

34.
SILVA, L.; COSTA, R. M.; SOUZA, A. C.. Participação em banca de Kenia Kodel Cox.Mini-tutorial para auxiliar o ensino de Algoritmos em Grafos. 1995. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Universidade Federal de Sergipe.



Participação em bancas de comissões julgadoras
Concurso público
1.
SILVA, L. M. A.; Sérgio Medeiros; Dantas, Daniel. Concurso para Professor Adjunto. 2014. Universidade Federal de Sergipe.

2.
Scarpinati, Maurício; SILVA, L.; Caminha, Vera Lúcia. Concurso para Professor Assistente. 2011. Universidade Estadual de Feira de Santana.

3.
NASCIMENTO, R. P. C.; SILVA, L.; Mendes Neto, F. M.. Concurso para Prof Adjunto portaria 10/2009. 2009. Universidade Federal de Sergipe.

4.
SILVA, L.; FREIRE, Antônio Monteiro; NASCIMENTO, Débora. Professor substituto (portaria 04/2006). 2006. Universidade Federal de Sergipe.

5.
SILVA, L.; SALGUEIRO, R.; BRUNELLI, Luiz. Peofessor Substituto (portaria 28/2006). 2006.

6.
SILVA, L.; GREVE, Fabíola G Pereira; CAVALCANTI, Sérgio Vanderlei. Professor Adjunto. 2004. Universidade Federal da Bahia.

7.
SILVA, L.; SAMPAIO, Augsto; SCHNEIDER, Henrique Nou. Professor Assistente. 2004. Universidade Federal de Sergipe.

8.
SILVA, L.; FREIRE, Antônio Monteiro; COSTA NETO, Alberto. Professor Substituto. 2003. Universidade Federal de Sergipe.

9.
SILVA, L.; GUIMARAES, K.; SANTOS, A.. Professor Adjunto (presidente). 2002. Universidade Federal de Sergipe.

10.
SILVA, L.; ROSA, N. S.; SOARES, Ana Rosimere. Professor Assistente (membro). 2002. Universidade Federal de Sergipe.

11.
SILVA, L.; COX, Kenia Kodel; FREIRE, Antônio Monteiro. Professor Substituto. 2002. Universidade Federal de Sergipe.

12.
SILVA, L.; FREIRE, Antônio Monteiro; SOARES, Ana Rosimere. Professor Substituto. 2002. Universidade Federal de Sergipe.

13.
SILVA, L.; FREIRE, Antônio Monteiro; SOARES, Ana Rosimere. Professor Substituto. 2002. Universidade Federal de Sergipe.

14.
SILVA, L.. Professor Substituto (portaria no. 09 de 13/02/2001). 2001. Universidade Federal de Sergipe.

15.
SILVA, L.. Professor Substituto (portaria no. 12 de 10/04/2001). 2001. Universidade Federal de Sergipe.

16.
SILVA, L.. Professor Substituto (portaria no. 14 de 18/04/2001). 2001. Universidade Federal de Sergipe.

17.
SILVA, L.. Professor Substituto (portaria no. 19 de 10/12/2001). 2001. Universidade Federal de Sergipe.

18.
SILVA, L.. Professor Substituto (portaria no. 20 de 10/12/2001). 2001. Universidade Federal de Sergipe.

19.
SILVA, L.. Professor Visitante (portaria no. 07 de 13/02/2001). 2001. Universidade Federal de Sergipe.

20.
SILVA, L.. Professor Visitante (portaria no. 17 de 25/06/2001). 2001. Universidade Federal de Sergipe.

21.
SILVA, L.. Professor Substituto (presidente). 1995. Universidade Federal de Sergipe.

22.
SILVA, L.. Professor Substituto (membro em 4 bancas de 1/1993-12/1995 ). 1995. Universidade Federal de Sergipe.

23.
SILVA, L.. Professor Visitante (membro). 1995. Universidade Federal de Sergipe.

24.
SILVA, L.. Professor Auxiliar de Ensino (membro). 1994. Universidade Federal da Bahia.

Outras participações
1.
Nunes, Maria Augusta; Rocha, Tarcísio; SILVA, L.. Seleção para Prof. Substituto. 2010. Universidade Federal de Sergipe.

2.
SILVA, L.; PALMA, Giovanny F L; SALGUEIRO, R.. Monitoria Remunerada (portaria 01/2006). 2006. Universidade Federal de Sergipe.

3.
SILVA, L.; SALGUEIRO, R.; PALMA, Giovanny F L. Monitoria Remunerada (portaria 02/2006). 2006. Universidade Federal de Sergipe.

4.
SILVA, L.; PALMA, Giovanny F L; SALGUEIRO, R.. Monitoria Remunerada (portaria 03/2006). 2006. Universidade Federal de Sergipe.

5.
SILVA, L.; PALMA, G. F. L.; SALGUEIRO, R.. Aproveitamento de Estudos (portaria 11/2006). 2006. Universidade Federal de Sergipe.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
WESB 2016. SBSE na UFS. 2016. (Congresso).

2.
Brazilian Symposium of Formal Methods. 2013. (Congresso).

3.
CBSoft 2013. 2013. (Congresso).

4.
CSBC 2013. 2013. (Congresso).

5.
WESB 2013. Usando Hill Climbing para Identificação de Componentes de Software Similares. 2013. (Congresso).

6.
CBSoft 2012. 2012. (Congresso).

7.
Euro American Conference in Informatics and Telecomunicartion Systems. Sisped 2.0: An Extension of a System to Monitor Diabetic Patients. 2012. (Congresso).

8.
CBSoft 2011. 2011. (Congresso).

9.
CSBC 2010. 2010. (Congresso).

10.
ECOOP 2010 - European Conference on Object-Oriented Programming. 2010. (Congresso).

11.
SBMF. 2008. (Congresso).

12.
SEFM 2008. Laws of Object-Orientation with Reference Semantics. 2008. (Congresso).

13.
Congresso da Sociedade Brasileira de Computação. 2007. (Congresso).

14.
VII ERBASE - Escola regional Bahia Alagoas Sergipe.Painel sobre a Oimpíada Brasileira de Informática. 2007. (Outra).

15.
Congresso da Sociedade Brasileira da Computação. Vários trabalhos no WCOMPA. 2006. (Congresso).

16.
Simpósio Brasileiro de Métodos Formais.Chair de sessâo técnica. 2006. (Simpósio).

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

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

19.
Congresso da Sociedade Brasileira de Computação. Painel de Diferenças Regionais - Curso de Qualidade. 2004. (Congresso).

20.
IV ERBASE - Escola Regional de Computação Bahia Sergipe.Coordenação dos Trabalhos do WTICG. 2004. (Outra).

21.
SBMF - Simpósio Brasileiro de Métodos Formais. 2004. (Simpósio).

22.
Congresso da Sociedade Brasilieira de Computação. 2003. (Congresso).

23.
Simpósio Brasileiro de Métodos Formais. 2003. (Simpósio).

24.
WIM - Workshop de Informática Médica.Chair de sessão técnica. 2003. (Outra).

25.
CQ.Curso de Qualidade. 2002. (Outra).

26.
CSBC. Congresso da Sociedade Brasileira de Computação. 2002. (Congresso).

27.
ERBASE.Escola Regional de Computação Bahia Sergipe. 2002. (Outra).

28.
SBES.Simpósio Brasileiro de Engenharia de Software. 2002. (Simpósio).

29.
WIM.Workshop de Informática Médica. 2002. (Outra).

30.
WMF.Workshop de Métodos Formais. 2002. (Outra).

31.
CQ.Curso de Qualidade. 2001. (Outra).

32.
CSBC. Congresso da Sociedade Brasileira de Computação. 2001. (Congresso).

33.
FME 2001. Formal Methods Europe. 2001. (Congresso).

34.
SBES.Simpósio Brasileiro de Engenharia de Software. 2001. (Simpósio).

35.
WMF.Workshop de Métodos Formais. 2001. (Outra).

36.
SBES.Simpósio Brasileiro de Engenharia de Software. 2000. (Simpósio).

37.
WMF.Workshop de Métodos Formais. 2000. (Outra).

38.
CSBC. Congresso da Sociedade Brasileira de Computação. 1997. (Congresso).

39.
FME 97. Formal Methods Europe. 1997. (Congresso).

40.
CSBC. Congresso da Sociedade Brasileira de Computação. 1996. (Congresso).

41.
Workshop Bras. Hard/Soft Co-design.Workshop Brasileiro de Hardware/Software Co-design. 1996. (Outra).

42.
VIII Escola de Computação.Escola de Computação. 1992. (Outra).

43.
Escola de Grafos Perfeitos.Escola de Grafos Perfeitos. 1991. (Outra).

44.
Workshop de Combinatória.Workshop de Combinatória. 1991. (Outra).

45.
VII Escola de Computação.Escola de Computação. 1990. (Outra).


Organização de eventos, congressos, exposições e feiras
1.
SILVA, L. M. A.. SBMF 2018-Simpósio Brasileiro de Métodos Formais (membro de comitê de programa). 2018. (Congresso).

2.
SILVA, L. M. A.. CSBC 2018 -18 SBCAS - Simpósio Brasileiro de Computação Aplicada à Saúde (membro de comitê de programa). 2018. (Congresso).

3.
SILVA, L. M. A.. WIM 2017 - Workshop de Informática Médica (membro de comitê de programa). 2017. (Congresso).

4.
SILVA, L. M. A.. CTD 2017- Concurso de Teses e Dissertações (membro de comitê de programa). 2017. (Congresso).

5.
SILVA, L. M. A.. SBMF 2017- Simpósio Brasileiro de Métodos Formais (membro de comitê de programa). 2017. (Congresso).

6.
SILVA, L. M. A.. CBSoft-WESB 2017 - Workshop de Engenharia de Software Baseada em Busca (membro de comitê de programa). 2017. (Congresso).

7.
SILVA, L. M. A.. CSBC -WIM 2016 - Workshp de Informática médica (membro de comitê de programa). 2016. (Congresso).

8.
SILVA, L. M. A.. CBSoft - SBMF 2016 - Simpósio Brasileiro de Métodos Formais (membro de comitê de programa). 2016. (Congresso).

9.
SILVA, L. M. A.. CBSoft -WESB 2016 - Workshop de Engenharia de Software Baseada em Busca (chair de comitê de programa). 2016. (Congresso).

10.
SILVA, L. M. A.. EATIS 2016- Euro American Conference on Telematics and Information System (membro de comitê de programa). 2016. (Congresso).

11.
SILVA, L. M. A.. CSBC-WIM 2015 - Workshop de Informática Médica (membro de comitê de programa). 2015. (Congresso).

12.
SILVA, L. M. A.. CBSoft - SBES 2015- Simpósio Brasileiro de Engenharia de Software (membro de comitê de programa). 2015. (Congresso).

13.
SILVA, L. M. A.. CBSoft - SBMF 2015 - Simpósio Brasileiro de Métodos Formais (membro de comitê de programa). 2015. (Congresso).

14.
SILVA, L. M. A.. CBSoft -WESB 2015 - Workshop de Engenharia de Software Baseada em Busca (membro de comitê de programa). 2015. (Congresso).

15.
SILVA, L. M. A.. CBSoft -WTDSoft 2015 - Workshop de Teses e Dissertações em Engenharia de Software (membro de comitê de programa). 2015. (Congresso).

16.
SILVA, L. M. A.. CBSoft-Tools 2015- Sessão de Ferramentas do CBSoft (membro de comitê de programa). 2015. (Congresso).

17.
SILVA, L. M. A.. CLEI 2015- SLTC-Conferência latino-Americana em Informática (membro de comitê de programa). 2015. (Congresso).

18.
SILVA, L.. CBSoft - SBES 2014 - Simpósio Brasileiro de Engenharia de Software (membro de comitê de programa). 2014. (Congresso).

19.
SILVA, L.. CBSoft - SBMF 2014 - Brazilian Symposium of Formal Methods (membro de comitê de programa). 2014. (Congresso).

20.
SILVA, L.. CLEI 2014-Conferência latino-Americana em Informática (membro de comitê de programa). 2014. (Congresso).

21.
SILVA, L.. WPOS 2014 - Workshop de Trabalhos de Pós-Graduação da ERBASE (membro de comitê de programa). 2014. (Congresso).

22.
SILVA, L.. EATIS 2014- Euro American Conference on Telematics and Information System (membro de comitê de programa). 2014. (Congresso).

23.
SILVA, L. M. A.. CBSoft-WESB 2014- Woorkshop de Engenharia de Software Baseada em Busca (membro de comitê de programa). 2014. (Congresso).

24.
SILVA, L. M. A.. CBSoft-Tools 2014- Sessão de Ferramentas do CBSoft (membro de comitê de programa). 2014. (Congresso).

25.
SILVA, L. M. A.. CBSoft-WTDSoft- Workshop de Tese e Dissertações (membro de comitê de programa). 2014. (Congresso).

26.
SILVA, L. M. A.. CSBC-WIM 2014 - Workshop de Informática Médica. 2014. (Congresso).

27.
SILVA, L.. WIM 2013- Workshop de Informática Médica (membro de comitê de programa). 2013. (Congresso).

28.
SILVA, L.. CSBC-CTD 2013 - Concurso de Teses e Dissertações (membro de comitê de programa). 2013. (Congresso).

29.
SILVA, L.. SBMF 2013- Simpósio Brasileiro de Métodos Formais (membro de comitê de programa). 2013. (Congresso).

30.
SILVA, L.. CBSoft-WTDSoft 2013 - Workshop de Teses e Dissertação (membro de comitê de programa). 2013. (Congresso).

31.
SILVA, L.. OBI 2013 - Olimpíada Brasileira de Informática ( coordenação estadual e membro de comitê nacional). 2013. (Outro).

32.
SILVA, L.. Olímpiada Brasileira de Informática em Sergipe. 2013. (Outro).

33.
SILVA, L.. CBSoft- SBES - Simpósio Brasileiro de Engenharia de Software (membro de comitê de programa). 2013. (Congresso).

34.
SILVA, L.. CBSoft Tools - Sessão de Ferramentas do CBSoft (membro de comitê de programa). 2013. (Congresso).

35.
SILVA, L.. WESB 2013 - Workshop em Engenharia de Software Baseada em Busca. 2013. (Congresso).

36.
SILVA, L.. LAFM 2013 - Latin American Formal Methods (membro de comitê de programa). 2013. (Congresso).

37.
SILVA, L.. OBI 2012 - Olimpíada Brasileira de Informática (coordenação local e membro de comitê diretivo nacional). 2012. (Outro).

38.
SILVA, L.. SBMF 2012 - Simpósio Brasileiro de Métodos Formais (membro de comitê de programa). 2012. (Congresso).

39.
SILVA, L.. CTIC 2012- Concurso de Trabalhos de Iniciação Científica (membro de comitê científico). 2012. (Congresso).

40.
SILVA, L.. WIM 2012 - Workshop de Informática Médica (membro de comitê científico). 2012. (Congresso).

41.
SILVA, L.. WTDSoft 2012- Workshop de teses e dissertações de Engenharia de Software (membro de comitê de programa). 2012. (Congresso).

42.
SILVA, L.. CBSoft-Tools 2012 -Congresso Brasileiro de Software - Trilha de Ferramentas (membro de comitê de programa). 2012. (Congresso).

43.
SILVA, L.. WESB 2012 - Workshop on Search Based Software Engineering (membro de comitê científico). 2012. (Congresso).

44.
SILVA, L.. Olimpíada Brasileira de Informática (em Sergipe). 2012. (Outro).

45.
SILVA, L.. SULCOMP 2012 (membro de comitê de programa). 2012. (Congresso).

46.
SILVA, L.. EATIS 2012- Euro American Conference on Telematics and Information System (membro de comitê de programa0. 2012. (Congresso).

47.
SILVA, L.. CBSoft - Tutorias 2011 - Congresso Brasileiro de Software (membro do comitê científico diretivo). 2011. (Congresso).

48.
SILVA, L.. SBMF 2011- Simpósio Brasileiro de Métodos Formais (membro do comitê restrito). 2011. (Congresso).

49.
SILVA, L.. WIM 2011 - Workshop de Informática Médica (membro de comitê de programa). 2011. (Congresso).

50.
SILVA, L.. CBSoft - Ferramentas 2011- Congresso Brasileiro de Software/Sessão de Ferramentas (membro de comitê de programa). 2011. (Congresso).

51.
SILVA, L.. CTIC 2011 - Concurso de Trabalhos de Inciação Científica (membro do comitê de programa). 2011. (Congresso).

52.
SILVA, L.. WTDSoft 2011 - Workshop de Teses e Dissertações do CBSoft (membro de comitê de programa). 2011. (Congresso).

53.
SILVA, L.. OBI 2011 - Olimpíada Brasileira de Informática (coordenação local e membro do comitê nacional). 2011. (Outro).

54.
SILVA, L.. WIM 2010 - Workshop Brasileiro de Informática Médica (membro do comitê de programa). 2010. (Congresso).

55.
SILVA, L.. SBES 2010 - Simpósio Brasileiro de Engenharia de Software (membro de comitê de programa). 2010. (Congresso).

56.
SILVA, L.. Concurso de Redação SBC Horizontes (membro de comitê avaliador). 2010. (Congresso).

57.
SILVA, L.. EATIS 2010 - Euro American Conference on Telematics and Information System (membro de comitê de programa). 2010. (Congresso).

58.
SILVA, L.. ICTAC 2010 - International Colloquium on Theoretical Aspects of Computing (revisora de artigo científico). 2010. (Congresso).

59.
SILVA, L.. CBSoft 2010 - Tools Section - Congresso Brasileiro de Software: Teoria e Prática (membro de comitê de programa). 2010. (Congresso).

60.
SILVA, L.. CLTM 2010 -Concurso Latinoamericano de Tesis de Maestría (membro de comitê avaliador). 2010. (Concurso).

61.
SILVA, L.. Olimpíada Brasileira de Informática (coordenação estadual). 2010. (Outro).

62.
SILVA, L.. CACIC 2010 - Congresso Argentino de Ciencias de la Computacion (revisora de artigo científico). 2010. (Congresso).

63.
SILVA, L.. SBMF 2010- Brazilian Symposium of Formal Methods (chair do comitê de programa). 2010. (Congresso).

64.
SILVA, L.. Olimpíada Brasileira de Informática - sede UFS (coordenadora estadual). 2009. (Outro).

65.
SILVA, L.. WIM- Workshop de Informática Médica (membro de comitê de programa). 2009. (Congresso).

66.
SILVA, L.. SBMF- Simpósio Brasileiro de Métodos Formais (membro de comitê de programa). 2009. (Congresso).

67.
SILVA, L.. CLEI - Conferência Latino Americana de Informática (membro de comitê de programa). 2009. (Congresso).

68.
SILVA, L.. RULE - International Workshop on Rule-Based Specification and Programming (membro de comitê de programa). 2009. (Congresso).

69.
SILVA, L.. EATIS- Euro American Conference in Telematics and Information System (membro de comitê programa). 2009. (Congresso).

70.
SILVA, L.. ERBASE- Escola Regional de Computação Bahia- Alagoas-Sergipe (membro de comitê organizador). 2009. (Congresso).

71.
SILVA, L.. SBES - Simpósio Brasileiro de Engenharia de Software (membro de comitê de programa). 2009. (Congresso).

72.
SILVA, L.. CTIC - Concurso Nacional de Trabalhos de Iniciação Científica (membro de comitê de programa). 2009. (Concurso).

73.
SILVA, L.. ICTAC -International Colloquium on Theoretical Aspects of Computing (revisora de artigo científico). 2009. (Congresso).

74.
SILVA, L.. WISBD - Workshop de Engenharia de Software e Base de Dados (revisora de artigo científico). 2009. (Congresso).

75.
SILVA, L.. ICFEM - International Conference on Formal Engineering Methods (revisora de artigo científico). 2009. (Congresso).

76.
SILVA, L.. Olimpíada Brasileira de Informática - sede UFS (coordenadora). 2008. (Outro).

77.
SILVA, L.; NASCIMENTO, R. P. C. . EATIS - Euro American Conference on Telematics and Information Systems (general chair). 2008. (Congresso).

78.
SILVA, L.. SBMF - Simpósio Brasileiro de Métodos Formais (membro do comitê de programa). 2008. (Congresso).

79.
SILVA, L.. WIM - Workshop de Informática Médica (membro do comitê de programa). 2008. (Congresso).

80.
SILVA, L.. SEMISH - Seminário Integrado de Hardware e Software (membro do comitê de programa). 2008. (Congresso).

81.
SILVA, L.. SBES - Simpósio Brasileiro de Engenharia de Software (membro do comitê de programa). 2008. (Congresso).

82.
SILVA, L.. FME - Formal Methods Europe (revisora de artigo científico). 2008. (Congresso).

83.
SILVA, L.. WISBD - Workshop de Engenharia de Software e Base de Dados (revisora de artigo científico). 2008. (Congresso).

84.
SILVA, L.. VSTTE - IFIP Working Conference on Verified Software: Theories, Tools, and Experiments (revisora de artigo científico). 2008. (Congresso).

85.
SILVA, L.. CTD - Concurso de Teses e Dissertações (revisora de artigo científico). 2008. (Concurso).

86.
SILVA, L.. IEEE Internacional Conference on Software Engineering and Formal Methods - SEFM (revisora de artigo científico). 2008. (Congresso).

87.
ANDRADE, Aline ; BITTENCOURT, Roberto ; ATTA, Antônio ; BRANCO, Simone ; SILVA, L. . VII ERBASE - Escola Regional de Computação Bahia Alagoas Sergipe (membro do comitê organizador). 2007. (Congresso).

88.
SILVA, L.. Olimpíada Brasileira de Informática - sede UFS (coordenadora). 2007. (Outro).

89.
NASCIMENTO, R. P. C. ; SILVA, L. . EATIS - Euro American Association on Telematics and Information Systems (membro do permanent advisory committee). 2007. (Congresso).

90.
SILVA, L.. SBMF - Simpósio Brasileiro de Métodos Formais (membro do comitê de programa). 2007. (Congresso).

91.
SILVA, L.. WIM - Workshop de Informática Médica (membro do comitê de programa). 2007. (Congresso).

92.
SILVA, L.. SBES - Simpósio Brasileiro de Engenharia de Software (membro do comitê de programa). 2007. (Congresso).

93.
SILVA, L.. SEFM - Software Engineering and Formal Methods (revisora de artigo científico). 2007. (Congresso).

94.
SILVA, L.. WISBD - Workshop de Engenharia de Software e Base de Dados (revisora de artigo científico). 2007. (Congresso).

95.
SILVA, L.. SBLP - Simpósio Brasileiro de Linguagens de Programação (revisora de artigo científico). 2007. (Congresso).

96.
SILVA, L.; MATOS, Leonardo Nogueira ; PIRES, Christiane . VI ERBASE - Escola Regional de Computação Bahia Sergipe (coordenadora). 2006. (Congresso).

97.
SILVA, L.. SeTra - Worshop on Software Evolution through Transformation (membro do comitê de programa). 2006. (Congresso).

98.
SILVA, L.. EATIS - Euro American Association on Telematics and Information Systems (membro de comitê de programa). 2006. (Congresso).

99.
SILVA, L.. SBMF - Simpósio Brasileiro de Métodos Formais (membro do comitê de programa). 2006. (Congresso).

100.
SILVA, L.. WIM - Workshop de Informática Médica (membro do comitê de programa). 2006. (Congresso).

101.
SILVA, L.. SBES - Simpósio Brasileiro de Engenharia de Software (membro do comitê de programa). 2006. (Congresso).

102.
SILVA, L.. WISBD - Workshop de Engenharia de Software e Base de Dados (revisora de artigo científico). 2006. (Congresso).

103.
SILVA, L.; ATTA, Antônio ; BRANCO, Simone ; ANDRADE, Aline ; BITTENCOURT, Roberto . V ERBASE - Escola Regional de Computação Bahia Sergipe (membro do comitê organizador). 2005. (Congresso).

104.
SILVA, L.. Maratona de Programação - sede Aracaju (coordenadora). 2005. (Outro).

105.
SILVA, L.. III WTICG-BASE - Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia-Sergipe (membro do comitê de programa). 2005. (Congresso).

106.
SILVA, L.. SBMF - Simpósio Brasileiro de Métodos Formais (membro do comitê de programa). 2005. (Congresso).

107.
SILVA, L.. WIM - Workshop de Informática Médica (membro do comitê de programa). 2005. (Congresso).

108.
SILVA, L.. CTIC - Concurso de Trabalhos de Iniciação Científica (membro do comitê de programa). 2005. (Congresso).

109.
SILVA, L.. SBES - Simpósio Brasileiro de Engenharia de Software (membro do comitê de programa). 2005. (Congresso).

110.
SILVA, L.. II WTICG-BASE - Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia-Sergipe (chair do comitê de programa). 2004. (Outro).

111.
SILVA, L.. IV ERBASE - Escola Regional de Computação Bahia-Sergipe (membro do comitê organizador). 2004. (Outro).

112.
SILVA, L.. SBMF - Simpósio Brasileiro de Métodos Formais (membro do comitê de programa). 2004. (Congresso).

113.
SILVA, L.. WIM - Workshop de Informática Médica (membro do comitê de programa). 2004. (Congresso).

114.
SILVA, L.. JAI - Jornadas de Atualização em Informática (membro do comitê de programa). 2004. (Congresso).

115.
SILVA, L.. SBES - Simpósio Brasileiro de Engenharia de Software (membro do comitê de programa). 2004. (Congresso).

116.
SILVA, L.. SEFM - Software Engineering and Formal Methods (revisora de artigo científico). 2004. (Congresso).

117.
SILVA, L.; ANDRADE, A. M. S. ; MOREIRA, I. ; AMORIM, C. ; KLAUCK, H. ; OLIVEIRA, J. A. ; RODRIGUES, J. ; MASSA, M. ; COSTA, S. . I WTICG-BASE - Workshop de Trabalhos de Iniciação Científica e de Garduação Bahia-Sergipe (chair do comitê de programa). 2003. (Outro).

118.
SILVA, L.. III ERBASE - Escola Regional de Computação Bahia-Sergipe (membro do comitê organizador). 2003. (Outro).

119.
Machado, P. ; SILVA, L. . SBMF - Simpósio Brasileiro de Métodos Formais (membro do comitê de programa). 2003. (Congresso).

120.
SILVA, L.. WIM - Workshop de Informática Médica (membro do comitê de programa). 2003. (Congresso).

121.
SILVA, L.. SBES - Simpósio Brasileiro de Engenharia de Software (membro do comitê de programa). 2003. (Congresso).

122.
SILVA, L.. CSITeA - International Conference on Computer Science, Software Engineering, Information technology, e-Business and Applications (membro do comitê de programa). 2003. (Congresso).

123.
SOARES, Ana Rosimere ; SILVA, L. ; ANDRADE, A. M. S. ; AMORIM, C. ; MOREIRA, I. ; KLAUCK, H. ; RODRIGUES, J. ; SANTOS, S. . II ERBASE - Escola regional de Computação Bahia - Sergipe (vice-coordenadora). 2002. (Outro).

124.
SILVA, L.. SBES - Simpósio Brasileiro de Engenharia de Software (membro do comitê de programa). 2002. (Congresso).

125.
SILVA, L.. Workshops do Congresso Brasileiro de Engenharia de Software (chair do comitê de seleção de wokshops). 2002. (Congresso).

126.
SILVA, L.. I Jornada de Informática (coordenadora). 2001. (Congresso).

127.
SILVA, L.. SBES - Simpósio Brasileiro de Engenharia de Software (membro do comitê de programa). 2001. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
ADRIANO MOREIRA COSTA VILELA. A definir. Início: 2018. Dissertação (Mestrado profissional em Mestrado em Ciência da Computação) - Universidade Federal de Sergipe. (Orientador).

2.
ALLAN VINICIUS REZENDE. Otimização com Muitos Objetivos por Evolução Diferencial Aplicada ao Escalonamento Dinâmico de Projeto de Software. Início: 2017. Dissertação (Mestrado profissional em Mestrado em Ciência da Computação) - Universidade Federal de Sergipe. (Orientador).

Trabalho de conclusão de curso de graduação
1.
WERTHEN DE CASTRO SANTOS. Uma ferramenta para alocação de equipes baseada em meta-heurísticas (título provisório). Início: 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe. (Orientador).

2.
CAIO ALEXANDRE NUNES ARAUJO. Uma Aplicação para o Monitoramento da Febre Amarela (título provisório). Início: 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe. (Orientador).

Iniciação científica
1.
JAINE DA CONCEICAO SANTOS. Aplicação do NSGA-III ao Problema do Escalonamento e Atribuição de Tarefas em Projetos de Software. Início: 2018. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Sergipe. (Orientador).

2.
GABRIEL AUGUSTO FONTES DA SILVA. Aplicação do EDA ao Problema do Escalonamento e Atribuição de Tarefas em Projetos de Software. Início: 2018. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Sergipe. (Orientador).

Orientações de outra natureza
1.
PATRICK AUGUSTO OLIVEIRA PINHEIRO. COR AT COR: Desenvolvendo um aplicativo móvel para aproximar ONGs de cidadãos. Início: 2018. Orientação de outra natureza. Universidade Federal de Sergipe. (Orientador).

2.
SILVIO WILLIAN CAIRES BATISTA. COR AT COR: Um aplicativo móvel para aproximar ONGs e cidadãos. Início: 2018. Orientação de outra natureza. Universidade Federal de Sergipe. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Rodrigo Octávio Melo do Amara. Otimização Multiobjetivo por Múltiplos Enxames Aplicada ao Escalonamento Dinâmico de Projetos de Software. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe, . Coorientador: Leila Maciel de Almeida e Silva.

2.
Glauber Andrade Botelho. Algoritmos Baseados em Estimadores de Distribuição e Técnicas da Otimização com Muitos Objetivos aplicados naRefatoração Automática de Software. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe, . Coorientador: Leila Maciel de Almeida e Silva.

3.
Elielma Alves de Sá. Ambiente Virtual de Aprendizagem: Ferramenta de Ensino para o Processo de Enfermagem. 2015. Dissertação (Mestrado em Mestrado em Ciências da Saúde) - Universidade Federal de Sergipe, . Coorientador: Leila Maciel de Almeida e Silva.

4.
Leonardo Bezerra Silva Júnior. Investigando a refatoração automática de software baseada em algoritmos de otimização multiobjetivos. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe, . Orientador: Leila Maciel de Almeida e Silva.

5.
Monique Oliveira Jabbur Lopes. ELABORAÇÃO E AVALIAÇÃO DA FERRAMENTA DO PACIENTE VIRTUAL NO ENSINO DA FARMACOTERAPIA E DESENVOLVIMENTO DE HABILIDADES DE COMUNICAÇÃO DOS ESTUDANTES DE FARMÁCIA. 2011. Dissertação (Mestrado em Ciências da Saude) - Universidade Federal de Sergipe, . Coorientador: Leila Maciel de Almeida e Silva.

6.
Ana Patrícia Fontes Magalhães. Uma Metodologia para Sistemas Mecatrônicos. 2006. 0 f. Dissertação (Mestrado em Mestrado Em Mecatrônica) - Universidade Federal da Bahia, . Coorientador: Leila Maciel de Almeida e Silva.

Tese de doutorado
1.
Blície Jennifer Balisa Rocha. Validação da ferramenta do Paciente Virtual no ensino de competências para a prática da Atenção Farmacêutica. 2013. Tese (Doutorado em Ciências da Saude) - Universidade Federal de Sergipe, . Coorientador: Leila Maciel de Almeida e Silva.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Aysla Michele Dantas L. Tavares e Erika Ferreira da Conceiçã. Modelo de Maturidade de Capacitação de Pessoas: Investigando o nível de maturidade de empresas locais. 2010. Monografia. (Aperfeiçoamento/Especialização em Especialização em Gestão de Projetos de Software) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

2.
Fernanda Gomes Silva e SandraCosta Pinto Hoentsch. Uma Análise das Metodologias Ágeis FDD e Scrum sob a Perspectiva do Modelo de Qualidade MPS.BR. 2008. Monografia. (Aperfeiçoamento/Especialização em Especializaçao em Engenharia de Software) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

3.
Carlos Hamilton dos S. Vasconcelos e Valdívia Marques Bomfim. Estudo da Adequação das Metodologias RUP e XP para atingir os níveis G e F do MPS.BR. 2008. Monografia. (Aperfeiçoamento/Especialização em Especializaçao em Engenharia de Software) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

4.
Fábio S. F. Lima, Alfredo M. Vieira e Luiz Eduardo F. Santos. Testes de Software: Teoria e Ferramentas. 2007. Monografia. (Aperfeiçoamento/Especialização em Especialização Em Tecnologias da Informação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

5.
Jaziel S. Lôbo, Annanette R. B. Oliveira e José W. G. Chaves. Desenvolvimento de um Sistema de Gestão de Almoxarifado para o Serviço Público Federal. 2007. Monografia. (Aperfeiçoamento/Especialização em Especialização Em Tecnologias da Informação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

6.
Alberto D. Souza e Eduardo Silveira Garcez. GonaX: Ferramenta CASE para criar projetos e gerar código fonte. 2007. Monografia. (Aperfeiçoamento/Especialização em Especialização Em Tecnologias da Informação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

Trabalho de conclusão de curso de graduação
1.
José Joaquim Andrade. Uma Abordagem para o Problema do Escalonamento Dinâmico em Projeto de Software. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

2.
Rodrigo Benedito Otoni. Uma Estratégia para a Verificação de Implementações de Sistemas de Controle em Safety-Critical Java (coorientação). 2016. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

3.
Danilo Henrique Fonseca Menezes. Abordagens de Recomendação baseadas no Algoritmo Slope One. 2012. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

4.
Diego Andrade Martins e Ely Lima de Gois. Uma abordagem para o gerenciamento integrado de testes manuais e automatizados no Testlink. 2011. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

5.
Marcos Paulo dos Santos Paixão. Aplicando a técnica de agrupamento de dados em repositórios de componentes de software. 2011. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

6.
VALMOR AGUIAR BARRETO. Métricas de Software: Teoria e Aplicações. 2010. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

7.
Paula Souza e Vanessa Alves. Estudo da Adequação do uso da Plataformaa . net e da Metodologia de desenvolvimento XP na elaboração de um software para a área médica. 2006. 80 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

8.
André Britto de Carvalho. Explorando Algoritmos Inspirados em Colônias de Formigas e Redes neurais no Contexto do Agrupamento de Dados em Quimiotaxonomia. 2006. 80 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

9.
Beatriz Trinchão. Explorando UML-RT para a Modelagem de Sistemas Mecatrônicos. 2006. 90 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

10.
Antônio Carvalho Júnior. Explorando Sistemas de Reescrita na Formalização de Refactorings. 2006. 110 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

11.
Sueane Santos Bomfim. Análise das Principais Técnicas de Mineração de Dados com enfoque em Agrupamento. 2006. 90 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

12.
Rita Kalile Almeida Andrade. Automação da triagem de doadores de sangue segundo a presença de Hepatite. 2005. 70 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

13.
Marcos Barbosa Dósea. Explorando algoritmos hierárquicos e não hierárquicos para a resolução do agrupamento de plantas baseado na quimiotaxonomia. 2005. 70 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

14.
José Carlos dos Santos Júnior. PERIODONT- Um Sistema Web para Triagem de Pacientes com Doenças Periodontais. 2004. 49 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

15.
Márcio Ribeiro de Carvalho. SISPED: Um Sistema Web para o Tratamento do Pé Diabético. 2004. 85 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

16.
Andre Luis Meneses Silva. Explorando Sistemas de Reescrita no Contexto de Co-design. 2004. 65 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

17.
Manoel Messias Menezes. Explorando Sistemas de Reescrita no Contexto de Co-design. 2004. 65 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

18.
Lídio Marx Carvalho Meirelles. Análise Computacional de Expressão Gênica: Uma Visão Geral. 2003. 55 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

19.
Rômulo Augusto Nogueira de O Passos. TRALK: Um meta-engenho de busca. 2003. 69 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

20.
Thiago Alves Costa. TRALK: Um meta-engenho de busca. 2003. 69 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

21.
Gustavo Gilson Lacerda Costa. Uma Abordagem para o Alinhamento e Recuperação de Seqüências Fonéticas Usando Técnicas de Biologia Computacional. 2003. 70 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

22.
Ricardo Luis Guimarães dos Santos. Desenvolvimento de Jogos Computacionais Multiusuário em Ambiente de Realidade 3D. 2003. 62 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

23.
Sandberg Marcel Santos. Uma Abordagem para o Alinhamento e Recuperação de Seqüências Fonéticas Usando Técnicas de Biologia Computacional. 2003. 70 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

24.
João Paulo Andrade Santos. Modelagem de um Sistema de Apoio à Administração dos Departamentos de Universidades. 2002. 60 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

25.
Márcio Rocha Melo. Modelagem de um Sistema de Apoio à Administração de Departamentos em Universidades. 2002. 60 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

26.
Luís Américo de Araújo Santos. SISPED:Sistema Salvando o Pé Diabético. 2001. 0 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

27.
Ivaniel de Morais Souza. Desenvolvendo Aplicações para a Web para Configuração de Segurança em Linux. 2001. 0 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

28.
Luís Carlos Santos Júnior. Desenvolvendo Aplicações para a Web para Configuraçãoes de Segurança em Linux. 2001. 0 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

29.
Kênia Kodel Cox. Mini-tutorial para auxiliar o ensino de Algoritmos em Grafos. 1995. 0 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Informática) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

Iniciação científica
1.
WERTHEN DE CASTRO SANTOS. Explorando a Meta-heurística SMPSO no Contexto do SPSP estático. 2018. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

2.
GABRIEL LEITE LIMA. Explorando a Meta-heurística PSO Multiobjetivo no Contexto do SPSP Dinâmico. 2018. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

3.
José Joaquim Andrade. Explorando a Meta-heurística SigmaPSO no Contexto do SPSP estático. 2018. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

4.
Weslan Rezende Alves. Explorando a plataforma FIWARE para o desenvolvimento de uma aplicação em saúde coletiva. 2018. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

5.
CAIO ALEXANDRE NUNES ARAUJO. Explorando a plataforma FIWARE no contexto do controle de doenças propagadas pelo Aedes Aegypti. 2018. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

6.
José Joaquim Andrade Neto. Explorando a Meta-heurística Inspirada em Reações Químicas (CRO) no Contexto do SPSP. 2017. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

7.
Arthur Rocha de Menezes. Explorando a Abordagem de Enxame de Insetos em Engenharia de Requisitos. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

8.
Glauber Andrade Botelho. Explorando a Meta-heurística de Colônia de Formigas em Engenharia de Requisitos. 2014. Iniciação Científica - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

9.
Rodrigo Benedito Otoni. Explorando a Abordagem Multi-objetivo em Engenharia de Requisitos. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

10.
Andres Silva Menendez. Um sistema para auxiliar o Ensino da Assistência em Enfermagem. 2014. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

11.
Cleverton dos Santos. Validando e estendendo um sistema de Auxílio à Enfermagem. 2014. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

12.
Cleverton dos Santos. Construção de um sistema para auxiliar o Ensino da Assistência em Enfermagem. 2014. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

13.
ANTONIO RIBERO DOS SANTOS JUNIOR. Explorando Algoritmos de Otimização no contexto de Requisitos em Engenharia de Software. 2013. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

14.
MARCEL OLIVEIRA ALVES. Explorando Algoritmos de Otimização no Contexto de Manutenção de Sistemas. 2013. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

15.
Glauber Andrade Botelho. Aplicando a meta-heurística de Colônia de Formigas no Contexto de Desenvolvimento Baseado em Componenetes. 2013. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

16.
JOAO PAULO ANDRADE LIMA. Construindo módulos do Sistema de Auxílio ao Tratamento do Pé Diabético. 2012. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

17.
Edman Paes dos Anjos. Investigando algoritmos de agrupamento baseados em grafos para segmentação de imagens. 2011. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

18.
KAIO CESAR OLIVEIRA SANTOS. Construindo a Versão 2 do SISPED. 2011. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Fundação de Apoio à Pesquisa e à Inovação Tecnológica do Estado de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

19.
JAIRO CHARNOSKI DO NASCIMENTO. Projetando e implementando o módulo do Endócrino no SISPED. 2011. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

20.
José Rafael Nascimento Silva. PV-UFS: Simulando um Paciente Virtual no Contexto da Farmacoterapia. 2010. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

21.
Wanderson Santos Costa. PV-UFS: Simulando um Paciente Virtual no Contexto da Farmacoterapia. 2010. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

22.
Sandy Moreira Porto. Algoritmos de Agrupamento baseados em Técnicas Evolutivas no Contexto da Quimiotaxonomia. 2010. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

23.
Marcos Paulo Santos Paixão. Clusterização em Repositório distribuído de Componentes. 2010. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

24.
Valéria de Carvalho Santos. Algoritmos de agrupamento baseados em coloração em grafos no contexto da Quimiotaxonomia. 2009. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

25.
Liliana Santana Oliveira. Algoritmos de agrupamento baseados em árvores geradoras mínimas no contexto da quimiotaxonomia. 2009. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

26.
Thiago Nunes. Uma ferramenta para auxiliar no planejamento de fármacos. 2006. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

27.
Felipe de Oliveira Lima. Explorando o Paradigma de Aspectos no Desenvolvimento de Sistemas Mecatrônicos. 2006. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

28.
André Britto de Carvalho. Explorando algoritmos basedos em insetos socias para a classificação de plantas medicinais. 2005. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

29.
Antônio C de Carvalho Júnior. Prova Formal de Refactorings usando sistemas de reescrita. 2005. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

30.
Sandra Eliza Fontes de Ávila. Linguagens de Programação Funcionais e Reativas para o Ensino de Física. 2005. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

31.
Breno Piva Ribeiro. Verificação de Sistemas Concorrentes descritos em E-Lotos.. 2005. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

32.
Rita Kalile Almeida Andrade. Um Sistema para Triagem de Doadores Suspeitos de Serem Portadores de Hepatite. 2004. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

33.
Sueane Santos Bomfim. Explorando algoritmos de ranking no meta-engenho TRALK. 2004. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

34.
Marcos Barbosa Dósea. Um Sistema para Auxiliar a Pesquisa de Fitoterápicos Baseado na Quimiotaxonomia. 2004. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

35.
José Henrique M Goulart. Automação de Rotinas Odontológicas na Prevenção de Doenças Periodontais. 2004. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Fundação de Amparo à Pesquisa do Estado de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

36.
André Luis Meneses Silva. Explorando o CafeOBJ na Prova de Regras Algébricas em Co-design. 2003. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

37.
Márcio Ribeiro de Carvalho. Um Sistema para Auxiliar na Prevenção do Pé Diabético. 2003. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

38.
José Carlos dos Santos Júnior. Um Sistema para Auxiliar na Prevenção de Doenças Periodontais. 2003. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

39.
Manoel Messias da Silva Menezes Júnior. Explorando BOBJ na Prova de Regras Algébricas. 2003. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

40.
Gustavo Gilson Lacerda Costa. Identificação de Similaridades de Seqüências DNA usando Técnicas Computacionais. 2002. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

41.
Antônio José Siqueira de Santana. InterfaceUFS: Projetando a Interação com o usuário do SisPesqUFS. 2002. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

42.
Sandberg Marcel Santos. Prova Automática de Regras de Utilizadas em Projeto de Sistemas Embarcados. 2002. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

43.
Thiago Alves Costa. MetaUFS: Um núcleo do Meta-Engenho de Busca SisPesqUFS. 2002. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

44.
Rômulo Augusto de Oliveira Passos. RankUFS: O módulo do Meta-Engenho de Busca SisPesqUFS para classificar e exibir documentos relevantes.. 2002. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

45.
Lídio Marxo Meireles Carvalho. Análise Funcional de Seqüências de Nucleotídeos e Aminoácidos Utilizando Ferramentas Computacionais. 2002. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

46.
Jeirlan Correia Palmeira. Prova Automática de regras algébricas usando o Cafe-OBJ. 2002. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

47.
Rogério Patrício Chagas Nascimento. Criação de um sistema de computação para cadastramento e manipulação dos resultados obtidos de ensaios de sondagem à percussão na cidade de Aracaju. 1995. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Informática) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

48.
Fábio Soares Silva. Criação de um sistema para cadastramento e manipulação dos resultados obtidos de ensaios à percussão na cidade de Aracaju. 1995. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Informática) - Universidade Federal de Sergipe, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Maciel de Almeida e Silva.

Orientações de outra natureza
1.
Galileu Santos de Jesus. Uma proposta para a disseminação da Ciência da Computação em Escolas do ensino fundamental e médio. 2014. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

2.
Diego Assis Siqueira Góis. Uma proposta para disseminar o interesse sobre a Ciência da Computação no ensino fundamental e médio. 2014. Orientação de outra natureza. (Engenharia da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

3.
DIEGO ASSIS SIQUEIRA GOIS. Uma proposta para disseminar o interesse sobre a Ciência da Computação no ensino fundamental e médio. 2013. Orientação de outra natureza. (Engenharia da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

4.
LEONARDO ETZBERGER FEISTAUER. Uma proposta para disseminar o interesse sobre a Ciência da Computação no ensino fundamental e médio. 2012. Orientação de outra natureza. (Engenharia da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

5.
Danilo Henrique Fonseca de Menezes. Monitoria em Projeto e Análise de Algoritmos. 2012. Orientação de outra natureza. (Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

6.
José Bonifácio Silva. Monitoria de Introdução à Ciência da Computação para Jovens. 2011. Orientação de outra natureza. (Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

7.
Sandy Moreira Porto. Monitoria de Projeto e Análise de Algoritmos. 2011. Orientação de outra natureza. (Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

8.
Danilo Henrique Meneses Fonseca. Monitoria de Grafos e Algoritmos Computacionais. 2010. Orientação de outra natureza. (Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

9.
Gabriel Martins Conde. Monitoria de Projeto e Análise de Algoritmos. 2010. Orientação de outra natureza. (Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

10.
Domenico Medeiros Travalia. Uma Proposta de Disseminação da Ciência da Computação em Escolas do Ensino Fundamental. 2010. Orientação de outra natureza. (Sistemas de Informação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

11.
Marcos Paulo Santos Paixão. Monitoria de Projeto e Análise de Algoritmos. 2010. Orientação de outra natureza. (Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

12.
Thadeu Henrique Rodrigues Meneses. Uma Proposta de Disseminação da Ciência da Computação em Escolas do Ensino Fundamental. 2009. Orientação de outra natureza. (Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

13.
Sandy Moreira Porto. Monitoria de Projeto e Análise de Algoritmos. 2009. Orientação de outra natureza. (Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

14.
Thadeu Henrique Rodrigues Meneses. Monitoria de Projeto e Análise de Algoritmos. 2008. Orientação de outra natureza. (Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

15.
Alexandre Magno. Monitoria de Projeto e Análise de Algoritmos. 2008. Orientação de outra natureza. (Bacharelado Em Ciência da Computação) - Universidade Federal de Sergipe, Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

16.
Beatriz Trinchão. Monitoria de Grafos e Algoritmos Computacionais. 2006. 0 f. Orientação de outra natureza - Universidade Federal de Sergipe, Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

17.
Antônio C de Carvalho Júnior. Monitoria em Linguagens de Programação. 2006. 0 f. Orientação de outra natureza - Universidade Federal de Sergipe, Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

18.
André Britto de Carvalho. Monitoria de Projeto e Análise de Algoritmos. 2005. 0 f. Orientação de outra natureza - Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.

19.
José Márcio de Andrade Bezerra. Monitoria em Grafos. 2004. 0 f. Orientação de outra natureza - Universidade Federal de Sergipe, Universidade Federal de Sergipe. Orientador: Leila Maciel de Almeida e Silva.



Inovação



Programa de computador registrado
1.
Blicie Rocha ; Lyra Jr, Divaldo ; Menendez, Elisa ; Nascimento, José Rafael ; DÓSEA, Marcos ; Jabbur, Monique ; Costa, Wanderson . Software Pharma PV. 2014.
Patente: Programa de Computador. Número do registro: 14155-6, data de registro: 10/02/2014, título: "Software Pharma PV" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.

2.
REZENDE, K. F. ; SILVA, L. ; MELO, Naira ; CARVALHO, Márcio Ribeiro de . SisPed: Sistema Salvando o Pé Diabético. 2006.
Patente: Programa de Computador. Número do registro: 081002, título: "SisPed: Sistema Salvando o Pé Diabético" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.


Projetos de pesquisa

Projeto de desenvolvimento tecnológico


Educação e Popularização de C & T



Programa de Computador registrado
1.
Blicie Rocha ; Lyra Jr, Divaldo ; Menendez, Elisa ; Nascimento, José Rafael ; DÓSEA, Marcos ; Jabbur, Monique ; Costa, Wanderson . Software Pharma PV. 2014.
Patente: Programa de Computador. Número do registro: 14155-6, data de registro: 10/02/2014, título: "Software Pharma PV" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.


Organização de eventos, congressos, exposições e feiras
1.
SILVA, L.. Olimpíada Brasileira de Informática (em Sergipe). 2012. (Outro).

2.
SILVA, L.. Olímpiada Brasileira de Informática em Sergipe. 2013. (Outro).



Outras informações relevantes


Visita técnica à Universidade de Kent , UK, setembro/2002. (15 dias)
Visita técnica ao IIST-UNU, Macau, maio/2005. (45 dias)
Visita técnica ao Stevens Institute of Technology, New York, USA, fev/2008. (15 dias)
Visita técnica ao Stevens Institute of Technology, New York, USA, out/2009. (15 dias)
Visita técnica ao Stevens Institute of Technology, New York, USA, abr/2010. (15 dias)

Membro da Sociedade Brasileira de Computação (SBC).

Delegada Institucional da UFS junto à SBC (2002-2005)
Secretária Regional da Nordeste 3 (2005-2007)


Homenagens acadêmicas:

Paraninfa das turmas de Bacharelado em Ciência da Computação nos anos: 1996-2, 2002-2, 2004-2, 2005-2
Mestre Amiga da turma de Bacharelado em Ciência da Computação no ano 2006-1
Nome de turma da turma de Bacharelado em Ciência da Computação no ano de 1995-2
Professora homenageada das turmas de Bacharelado em Ciência da Computação nos anos: 1994-2, 2002-1, 2007-1, 2007-2, 2008-2, 2009-1, 2009-2



Página gerada pelo Sistema Currículo Lattes em 14/12/2018 às 22:43:47