Leandro Dias da Silva

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


Possui graduação em Ciência da Computação pela Universidade Federal de Alagoas (1999), mestrado em Engenharia Eletrica pela Universidade Federal da Paraíba (2002) e doutorado em Engenharia Elétrica pela Universidade Federal de Campina Grande (2006). Atualmente é Professor Associado do Instituto de Computação da Universidade Federal de Alagoas. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: redes de Petri, verificação de modelos, autômatos temporizados, computação ubíqua e pervasiva, informática médica, sistemas embarcados, sistemas críticos, sistemas físicos-cibernéticos. (Texto informado pelo autor)


Identificação


Nome
Leandro Dias da Silva
Nome em citações bibliográficas
SILVA, L. D.;SILVA, LEANDRO DIAS DA;Silva, Leandro Dias;Leandro Dias da Silva;DIAS DA SILVA, LEANDRO;Silva, Leandro;da Silva, Leandro Dias;DIAS, LEANDRO;DA SILVA, LEANDRO DIAS;SILVA, LEANDRO D.;DIAS DA SILVA, L.;DA SILVA, L.D.

Endereço


Endereço Profissional
Universidade Federal de Alagoas, Instituto de Computação.
Campus A.C. Simões BR 104-Norte, Km 97
Tabuleiro dos Martins
57072970 - Maceió, AL - Brasil
Telefone: (082) 32141401
URL da Homepage: http://www.dee.ufcg.edu.br/~leandro


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


2002 - 2006
Doutorado em Engenharia Elétrica.
Universidade Federal de Campina Grande, UFCG, Brasil.
com período sanduíche em University of California, Santa Cruz (Orientador: Luca de Alfaro).
Título: Especificação e Verificação Sistemática, Formal e Modular de Sistemas Embarcados, Ano de obtenção: 2006.
Orientador: Angelo Perkusich.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Redes de Petri; Componentes; Arquitetura de Software; Linhas de Produto; Reúso; Sistemas Embarcados.
Grande área: Engenharias
Setores de atividade: Desenvolvimento de Programas (Software); Informática.
2000 - 2002
Mestrado em Engenharia Eletrica.
Universidade Federal da Paraíba, UFPB, Brasil.
Título: Modelagem Sistemática de Sistemas Flexíveis de Manufatura Baseada em Reúso de Modelos de Redes de Petri Coloridas,Ano de Obtenção: 2002.
Orientador: Angelo Perkusich.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Redes de Petri; Sistemas Flexíveis de Manufatura; Reúso.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
1996 - 1999
Graduação em Ciência da Computação.
Universidade Federal de Alagoas, UFAL, Brasil.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
1992 - 1997
Curso técnico/profissionalizante em Eletrônica.
Escola Técnica Federal de Alagoas, ETFAL, Brasil.
1992 - 1997
Ensino Médio (2º grau).
Escola Técnica Federal de Alagoas, ETFAL, Brasil.


Pós-doutorado


2015 - 2015
Pós-Doutorado.
Universidade Federal de Campina Grande, UFCG, Brasil.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Engenharias
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.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.


Formação Complementar


2003 - 2003
International Winter School on Semantics and Appli.
Institut National de Recherche en Informatique et en Automatique, INRIA, França.
2003 - 2003
EEF Foundations Summer School on Concurrency.
Institute for Programming research and Algorithmics, IPA, Holanda.


Atuação Profissional



Universidade Federal de Alagoas, UFAL, Brasil.
Vínculo institucional

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

Vínculo institucional

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

Vínculo institucional

1999 - 2000
Vínculo: Aluno, Enquadramento Funcional: Bolsista de Iniciação Científica - PIBIC, Carga horária: 20, Regime: Dedicação exclusiva.

Vínculo institucional

1999 - 1999
Vínculo: Aluno, Enquadramento Funcional: Monitor

Vínculo institucional

1998 - 1999
Vínculo: Aluno, Enquadramento Funcional: Bolsista de Iniciação Científica - PIBIC, Carga horária: 20, Regime: Dedicação exclusiva.

Atividades

07/2016 - Atual
Direção e administração, Instituto de Computação, .

Cargo ou função
Vice-Coordenador do Mestrado em Informática..
07/2012 - Atual
Conselhos, Comissões e Consultoria, Instituto de Computação, .

Cargo ou função
Consultoria Ad Hoc para avaliação de projetos e relatórios de pesquisa do PIBIC.
03/2012 - Atual
Ensino, Informática, Nível: Pós-Graduação

Disciplinas ministradas
Especificação e Verificação Formal de Sistemas
Teoria da Computação
03/2011 - Atual
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Especificação e Verificação Formal de Sistemas
Introdução a Engenharia de Computação
Linguagens Formais, Autômatos e Computabilidade
Redes de Petri
07/2008 - Atual
Pesquisa e desenvolvimento , Instituto de Computação, .

01/2012 - 07/2016
Direção e administração, Instituto de Computação, .

Cargo ou função
Coordenador do Mestrado em Informática.
07/2012 - 07/2015
Outras atividades técnico-científicas , Instituto de Computação, Instituto de Computação.

Atividade realizada
Representante Institucional da Sociedade Brasileira de Computação.
01/2010 - 12/2014
Conselhos, Comissões e Consultoria, Reitoria, Pró-reitoria de Pesquisa e Pós-Graduação - PROPEP.

Cargo ou função
Membro do Comitê Assessor.
01/2011 - 11/2013
Direção e administração, Instituto de Computação, .

Cargo ou função
Vice-Coordenador de Engenharia de Computação.
03/2010 - 12/2011
Ensino, Modelagem Computacional de Conhecimento, Nível: Pós-Graduação

Disciplinas ministradas
Ferramentas de Modelagem Computacional
07/2008 - 12/2011
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à Computação
Laboratório de Programação
Redes de Computadores I
Redes de Computadores II
Redes de Petri
Tópicos Especiais em Computação Móvel e Sem Fio
09/2009 - 10/2011
Outras atividades técnico-científicas , Instituto de Computação, Instituto de Computação.

Atividade realizada
Coordenador de Monitoria.
12/2009 - 02/2011
Direção e administração, Instituto de Computação, .

Cargo ou função
Vice-Coordenador do Mestrado em Modelagem Computacional de Conhecimento.
09/2008 - 09/2010
Conselhos, Comissões e Consultoria, Instituto de Computação, .

Cargo ou função
Membro do Colegiado de Ciência da Computação.
02/1999 - 02/2000
Outras atividades técnico-científicas , Departamento de Tecnologia da Informação, Departamento de Tecnologia da Informação.

Atividade realizada
Monitoria de Inteligência Artificial I.
07/1998 - 02/2000
Pesquisa e desenvolvimento , Departamento de Tecnologia da Informação, .

Linhas de pesquisa
Inteligência Artificial

Universidade Federal de Campina Grande, UFCG, Brasil.
Vínculo institucional

2006 - Atual
Vínculo: Colaborador, Enquadramento Funcional: Colaborador de Pós-Graduação

Vínculo institucional

2006 - 2008
Vínculo: Colaborador, Enquadramento Funcional: Consultor

Vínculo institucional

2002 - 2003
Vínculo: Aluno, Enquadramento Funcional: Estágio Docência, Regime: Dedicação exclusiva.

Atividades

03/2000 - 12/2008
Pesquisa e desenvolvimento , Departamento de Engenharia Elétrica, .

03/2003 - 08/2003
Ensino, Engenharia Elétrica, Nível: Graduação

Disciplinas ministradas
Sistemas de Tempo Real
09/2002 - 02/2003
Ensino, Engenharia Elétrica, Nível: Graduação

Disciplinas ministradas
Sistemas a Eventos Discretos

Università degli Studi di Firenze, UNIFI, Itália.
Vínculo institucional

2017 - 2017
Vínculo: Professor Visitante, Enquadramento Funcional: Visiting Researcher, Carga horária: 40, Regime: Dedicação exclusiva.


Universidade Estadual da Paraíba, UEPB, Brasil.
Vínculo institucional

2007 - 2008
Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante, Carga horária: 40

Vínculo institucional

2006 - 2007
Vínculo: Professor, Enquadramento Funcional: Professor, Carga horária: 40

Atividades

05/2007 - 06/2008
Ensino, Novas Tecnologias de Informática na Educação, Nível: Especialização

Disciplinas ministradas
Introdução a Informática
Tutores Inteligêntes
02/2006 - 06/2008
Ensino, Licenciatura em Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software
Inteligência Artificial Aplicada a Educação
Organização e Arquitetura de Computadores

University of California, Santa Cruz, UC Santa Cruz, Estados Unidos.
Vínculo institucional

2004 - 2005
Vínculo: Pesquisador Visitante, Enquadramento Funcional: Pesquisador Visitante, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

10/2004 - 10/2005
Pesquisa e desenvolvimento , Jack Baskin School of Engineering, .


Fundação de Amparo à Pesquisa do Estado de Alagoas, FAPEAL, Brasil.
Vínculo institucional

2009 - 2014
Vínculo: Colaborador, Enquadramento Funcional: Assessor Científico


Telecomunicações de Alagoas S. A., TELASA, Brasil.
Vínculo institucional

1997 - 1997
Vínculo: Estagiário, Enquadramento Funcional: Manutenção, Carga horária: 20

Atividades

01/1997 - 11/1997
Estágios .

Estágio realizado
Manutenção de Centrais Telefônicas.


Linhas de pesquisa


1.
Inteligência Artificial
2.
Engenharia de Sistemas Cognitivos
3.
Especificação e Verificação Formal de Sistemas
4.
Sistemas Embarcados
5.
Computação Pervasiva
6.
Engenharia de Software
7.
Computação Aplicada à Saúde
8.
Sistemas Embarcados
9.
Sistemas Baseados em Componentes
10.
Redes de Petri
11.
Métodos Formais
12.
Engenharia de Software
13.
Informática Aplicada a Saúde
14.
Formal Specification and Verification of Embedded Systems


Projetos de pesquisa


2014 - 2017
Auxílio ao Programa de Pós­graduação em Informática
Descrição: O Programa de Pós­Graduação em Informática ­ PPGI, da UFAL tem como objetivo contribuir para o desenvolvimento tecnológico e científico brasileiro, em particular do estado de Alagoas, através da geração de conhecimento e formação de profissionais de alto nível nas áreas de Engenharia de Sistemas Computacionais e Computação Visual e Inteligente. Assim, o programa almeja formar profissionais com capacidade para a inovação tecnológica, a crítica e a difusão de novos modelos e procedimentos, que possam servir à sociedade, a entidades de ensino e pesquisa e a empresas que lidam com computação e automação. O presente projeto visa a adequação da infraestrutura do antigo prédio do IC para o funcionamento do PPGI..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (40) .
Integrantes: Leandro Dias da Silva - Coordenador / Evandro de Barros Costa - Integrante / Eliana Silva de Almeida - Integrante / Henrique Pacca Loureiro Luna - Integrante / Rodrigo de Barros Paes - Integrante / André Luiz Lins de Aquino - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de Alagoas - Auxílio financeiro.
2014 - 2017
DEVASSES: DEsign, Verification and Validation of large-scale, dynamic Service SystEmS
Descrição: The DEVASSES project aims at taking a step forward in the design and deployment of large-scale, dynamic service-based software systems by supporting the transfer of knowledge on novel state of the art methods, techniques, and tools for both design time and run time verification and validation. The goal is to reinforce existing partners? cooperation through a coordinated program of exchange of researchers, taking as context a common research problem, which provides the frame for the project scientific activities and cannot currently be tackled by any of the partners individually. The project includes joint research activities, focused training activities, and joint workshops, designed to exploit complementary expertise and to create synergies among the partners, establishing the basis for sustainable future cooperation at different levels, including: co-advising of PhD candidates, joint organization of international events (workshops, conferences, summer schools, etc.), participation in bilateral project proposals, participation in large-scale international project proposals, etc..
Situação: Concluído; Natureza: Pesquisa.
2014 - Atual
CARECO - Sistemas de Recomendação para Manutenção Colaborativa de Software (PROCAD/CAPES)
Descrição: O objetivo deste projeto entitulado CAReCo: Cooperação Acadêmica em Sistemas de Recomendação para Manutenção Colaborativa de Software, é investigar como sistemas de recomendação podem apoiar efetivamente as tarefas de manutenção de software e contornar as limitações mencionadas anteriormente. Este objetivo será alcançado através de cooperações entre especialistas com atuação destacada em cada uma das áreas relevantes e que fazem parte das instituições integrantes PUC-Rio, UFAL, UFCG e UFAM. A equipe do projeto é formada por pesquisadores de Programas de Pós-graduação nestas quatro instituições, localizadas em três diferentes regiões do país: Sudeste, Nordeste e Norte. Além disso, cada um dos Programas possuem diferentes níveis de maturidade, tanto com relação aos seus cursos de Mestrado, como os de Doutorado. O coordenador geral é o Prof. Carlos José Pereira de Lucena (bolsista produtividade nível 1A do CNPq), que possui ampla experiência na coordenação de projetos multi-institucionais. Os coordenadores das três equipes de IES associadas são pesquisadores de excelente produtividade, com reconhecimento nacional e internacional em suas áreas de atuação bem como ampla experiência na condução de projetos. As contribuições técnicas esperadas do projeto CAReCo são: (i) sistemas de recomendação para auxiliar manutenção colaborativa de sistemas de software, (ii) métodos que apóiem avaliação da qualidade de uso de sistemas de recomendação, (iii) novos mecanismos de colaboração, integrados a ambientes de desenvolvimento, para agilizar atividades de manutenção de software, (iv) aplicação de técnicas avançadas de inteligência artificial e banco de dados para desenvolvimento de sistemas de recomendação que apoiem a manutenção colaborativa de software e (v) projeto e avaliação de sistemas de recomendação para apoio ao ensino e aprendizagem de manutenção de software. As contribuições acadêmicas esperadas deste projeto são: (i) fortalecimento da cooperação existente entre pesquisadores dos Programas de Pós-Graduação emergentes da Computação UFAL, UFCG e UFAM e pesquisadores de um Programa de Pós-Graduação mais maduro PUC-Rio; (ii) fortalecimento destes Programas de Pós-Graduação emergentes; (iii) promoção do intercâmbio regional de pesquisa em diferentes áreas importantes da Ciência da Computação, a serem envolvidas no projeto, tais como: Engenharia de Software, Interação Humano-Computador, Inteligência Artificial, Bancos de Dados e Sistemas Colaborativos; (iv) atração de candidatos em potencial para concursos nas instituições de pesquisa e ensino dos Programas de Pós-Graduação emergentes envolvidos; (v) aumento da produtividade de todos os Programas envolvidos; (vi) construção de uma rede cooperativa de pesquisa para alavancar o ensino, a pesquisa e o desenvolvimento nas áreas citadas acima em regiões fora do eixo RJ-SP. Esta rede cooperativa deve promover uma maior interação e mobilização de pesquisadores e estudantes de Graduação e Pós-Graduação para a solução de novos desafios científico-tecnológicos. A histórica inserção internacional do Programa da PUC-Rio também contribuirá para o aumento da internacionalização dos outros Programas participantes do projeto CAReCo..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (20) / Doutorado: (10) .
Integrantes: Leandro Dias da Silva - Integrante / Hyggo Oliveira de Almeida - Integrante / Evandro de Barros Costa - Integrante / Carlos Jose Pereira Lucena - Coordenador / Rohit Gheyi - Integrante / Baldoino Fonseca dos Santos Neto - Integrante / Márcio de Medeiros Ribeiro - Integrante / Alessandro Garcia - Integrante / Altigram Silva - Integrante / Tayana Conte - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.
2013 - 2016
Validação Formal de Sistemas Embarcados
Descrição: Sistemas de controle têm sido utilizados por mais de um século. Controladores Lógicos Programáveis (CLPs) foram introduzidos em 1968 pela indústria automotiva. O objetivo era substituir os painéis de controle cabeados pois qualquer alteração no sistema de produção levava a um processo de recabeamento que consumia muito tempo e aumentava a possibilidade de erros. Utilizando um CLP, um sistema de software pode ser usado como parte do processo de controle. Portanto, as mudanças no sistema de controle podem ser feitas de forma mais fácil e rápida, aumentando a flexibilidade e a confiança no funcionamento do novo sistema. Isso permite sistemas de controle mais efetivos e confiáveis. Sistemas Instrumentados de Confiança (SIS) são amplamente utilizados para prevenir acidentes e situações indesejadas durante a operação de sistemas de controle. Sua operação contínua é importante para prevenir acidentes sem interromper a linha de produção. O SIS foram introduzidos para aumentar a confiança no controle. Este é utilizado para garantir que se algo inaceitável ou perigoso ocorra, ele executa ações para evitar o perigo ou danos, ou para parar a planta emergencialmente num estado seguro. Isto é necessário pois um problema numa planta de missão crítica, como de petróleo e gás, podem causar grandes perdas financeiras, equipamentos caros, e até mesmo vidas humanas. Além disso, acidentes em tais plantas podem causar impactos ambientais. Neste projeto, um conjunto de técnicas, métodos e ferramentas para melhorar a confiança no funcionamento do SIS serão pesquisadas e desenvolvidas. As técnicas são baseadas em autômatos temporizados e testes de conformidade..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) / Doutorado: (4) .
Integrantes: Leandro Dias da Silva - Coordenador / Angelo Perkusich - Integrante / Kyller Gorgônio - Integrante / Kézia de Vasconcelos Oliveira - Integrante / José Cavalcante Reis Neto - Integrante / Álvaro Álvares de Carvalho César Sobrinho - Integrante / Leonardo Melo de Medeiros - Integrante / Bruno Roberto Santos - Integrante / Poliana Vieira Belo da Silva - Integrante / Oliveira, Elthon - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de Alagoas - Auxílio financeiro.
2008 - 2010
ProCoCo - Projeto de Consolidação das Atividades de Pesquisa no Programa de Pós-Graduação em Modelagem Computacional de Conhecimento (CNPq Casadinho 620063/2008-4)
Descrição: Este projeto tem por objetivo criar as condições ideais para a consolidação das atividades de pesquisa no âmbito do Programa de Pós-Graduação em Modelagem Computacional de Conhecimento da Universidade Federal de Alagoas (UFAL) através de ações tendentes a (i) melhorar a infra-estrutura computacional de seus laboratórios de pesquisa, (ii) ampliar o acesso ao conhecimento mais atualizado através da aquisição de literatura de ponta, (iii) ampliação do espaço físico de apoio à pesquisa e (iv) fortalecimento de parcerias com pesquisadores de notada atuação científica. A proposta está estrutura em dois subprojetos, um com a Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio) e outro com a Universidade Federal de Minas Gerais (UFMG)..
Situação: Em andamento; Natureza: Pesquisa.


Projetos de extensão


2013 - 2015
Aluno Integrado
Situação: Desativado; Natureza: Extensão.


Projetos de desenvolvimento


2006 - 2008
SIS - Sistemas Integrados de Segurança
Descrição: O objetivo central deste projeto é o estudo de métodos e técnicas que contribuam para melhorar a confiabilidade dos Sistemas Instrumentados de Segurança das Unidades da Petrobras. O aumento de confiabilidade deve reduzir a probabilidade de falhas e minimizar os riscos de acidentes..
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Mestrado acadêmico: (2) .
Integrantes: Leandro Dias da Silva - Integrante / Angelo Perkusich - Integrante / Péricles Rezende de Barros - Coordenador / Antonio Marcus Nogueira Lima - Integrante / José Sérgio da Rocha Neto - Integrante / Luiz Paulo de Assis Barbosa - Integrante / Kyller Gorgônio - Integrante.Financiador(es): Financiadora de Estudos e Projetos - Cooperação / CENPES/Petrobras - Cooperação.


Revisor de periódico


2009 - 2016
Periódico: Controle & Automação (Impresso)
2012 - Atual
Periódico: International Journal On Advances in Intelligent Systems
2012 - Atual
Periódico: International Journal On Advances in Software
2016 - 2016
Periódico: Sensors (Basel)


Á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: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.
3.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos/Especialidade: Automação Eletrônica de Processos Elétricos e Industriais.
4.
Grande área: Engenharias / Área: Engenharia de Produção / Subárea: Gerência de Produção/Especialidade: Planejamento, Projeto e Controle de Sistemas de Produção.


Idiomas


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


Produções



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

1.
PEIXOTO, RODRIGO JOSÉ SARMENTO2018PEIXOTO, RODRIGO JOSÉ SARMENTO ; DA SILVA, LEANDRO DIAS ; PERKUSICH, ANGELO . Model-based testing of software for automation systems using heuristics and coverage criterion. Software and Systems Modeling, v. 1, p. 1-27, 2018.

2.
CESAR SOBRINHO, A. A. C.2018CESAR SOBRINHO, A. A. C. ; SILVA, L. D. ; Perkusich, Angelo ; PINHEIRO, M. E. ; CUNHA, PAULO . Design and evaluation of a mobile application to assist the self-monitoring of the chronic kidney disease in developing countries. BMC Medical Informatics and Decision Making, v. 18, p. 1-14, 2018.

3.
SOBRINHO, A.A.C.C2017 SOBRINHO, A.A.C.C ; SILVA, L. D. ; PERKUSICH, A. ; CUNHA, P. C. N. ; CORDEIRO, T. D. ; LIMA, A. M. N. . Formal modeling of biomedical signal acquisition systems: source of evidence for certification. Software and Systems Modeling, v. 16, p. 1-19, 2017.

4.
OLIVEIRA, E. A. da S.2013OLIVEIRA, E. A. da S. ; SILVA, L. D. ; Almeida, Hyggo ; Perkusich, Angelo . Model-Based Solution for Controlling Physiology. Lecture Notes in Computer Science, v. 7789, p. 167-175, 2013.

5.
SOBRINHO, ÁLVARO ALVARES DE CARVALHO CÉSAR2012SOBRINHO, ÁLVARO ALVARES DE CARVALHO CÉSAR ; SILVA, LEANDRO DIAS DA ; MEDEIROS, LEONARDO MELO DE . MultCare: A mobile assistant as a tool to aid early detection of Chronic Kidney Disease. Procedia Technology, v. 5, p. 830-838, 2012.

6.
MARLOS, T. S.2011MARLOS, T. S. ; SOARES, E. E. ; BITTENCOURT, I.I. ; BARROS, H. J. S. ; SILVA, D. V. ; COSTA, E. B. ; SILVA, A. P. ; SILVA, L. D. . Combining Methontology and a Model Driven Ontology Approach to Build an Educational Ontology (ISSN 1558-7908). IEEE Multidisciplinary Engineering Education Magazine, v. 6, p. 3, 2011.

7.
SOBRINHO, A.A.C.C2011SOBRINHO, A.A.C.C ; SILVA, L. D. ; MEDEIROS, L.M. . A User-Centered Approach for the Development of a Pervasive Mobile Tool for Health Care. Communications in Computer and Information Science (Print), v. 1, p. 384-391, 2011.

8.
SILVA, L. D.2005 SILVA, L. D.; PERKUSICH, A. . Composition of Software Artifacts Modelled Using Coloured Petri Nets (ISSN 0167-6423). Science of Computer Programming (Print), The Netherlands, v. 56, n.04/2005, p. 171-189, 2005.

Livros publicados/organizados ou edições
1.
SOBRINHO, A.A.C.C ; Silva, Leandro . MultCare: Uma abordagem para o auxílio ao diagnóstico precoce da doença renal crônica. 1. ed. Saarbrücken: Novas Edições Acadêmicas, 2015. v. 1. 80p .

Capítulos de livros publicados
1.
OLIVEIRA, Elthon Allex da Silva ; Neto, Marcos J. Ferreira ; DIAS DA SILVA, LEANDRO ; Oliveira de Almeida, Hyggo ; PERKUSICH, ANGELO . Functional Software Prototypes for Defining and Monitoring Individual Exercise Program. In: Maria Manuela Cruz-Cunha; Isabel Maria Miranda; Rui Rijo. (Org.). Encyclopedia of E-Health and Telemedicine. 1ed.: IGI Global, 2016, v. 1, p. 193-201.

2.
CUNHA, PAULO ; SOBRINHO, ÁLVARO ALVARES DE CARVALHO CÉSAR ; DIAS DA SILVA, LEANDRO ; PERKUSICH, ANGELO ; Miranda, Jose . Design of a Simulation Device to Test Electrogastrography (EGG) Systems. In: Maria Manuela Cruz-Cunha; Isabel Maria Miranda; Rui Rijo. (Org.). Encyclopedia of E-Health and Telemedicine. 1ed.: IGI Global, 2016, v. 1, p. 142-156.

3.
Vidal, Inés Maria González ; de Barros Costa, Evandro ; da Silva, Leandro Dias ; de Araújo, Fabrísia Ferreira ; Ferreira, Rafael . A Hypermedia-based Adaptive Educational System for Assisting Students in Systems and Information Technology Domain for Accountability. Advances in Intelligent Systems and Computing. 1ed.: Springer International Publishing, 2016, v. , p. 277-286.

4.
SOBRINHO, ÁLVARO ALVARES DE CARVALHO CÉSAR ; DIAS DA SILVA, LEANDRO ; PERKUSICH, ANGELO ; CUNHA, PAULO ; Pinheiro, Maria Eliete ; Melo de Medeiros, Leonardo . Towards Medical Systems to Aid the Detection and Treatment of Chronic Diseases. In: Dimitrios I. Fotiadis. (Org.). Handbook of Research on Trends in the Diagnosis and Treatment of Chronic Conditions. 1ed.Hershey: IGI Global, 2015, v. 1, p. 50-69.

5.
SOBRINHO, A.A.C.C ; SILVA, L. D. ; MEDEIROS, L.M. ; PINHEIRO, M. E. . A Mobile Assistant to Aid Early Detection of Chronic Kidney Disease. In: Ricardo Martinho; Rui Rijo; Maria Manuela Cruz-Cunha; João Eduardo Varajão. (Org.). Information Systems and Technologies for Enhancing Health and Social Care (ISBN 9781466636675). 1ed.Hershey: IGI Global, 2013, v. 1, p. 309-323.

6.
SOBRINHO, A.A.C.C ; SILVA, L. D. ; MEDEIROS, L.M. . Pervasive Multiplatform Health Care Support. In: Maria Manuela Cruz-Cunha; Isabel Maria Miranda; Patricia Gonçalves. (Org.). Handbook of Research on ICTs for Human-Centered Healthcare and Social Care Services (ISBN: 9781466639867). 1ed.Hershey: IGI Global, 2013, v. 1, p. 1-10.

7.
Oliveira, Elthon ; Silva, Leandro ; Almeida, Hyggo ; PERKUSICH, ANGELO . Model-Based Solution for Controlling Physiology. In: Jens Weber; Isabelle Perseil. (Org.). Lecture Notes in Computer Science. 1ed.Berlin: Springer Berlin Heidelberg, 2013, v. 7789, p. 167-175.

8.
OLIVEIRA, K. V. ; GORGONIO, K. ; PERKUSICH, A. ; LIMA, A. M. N. ; SILVA, L. D. . Automatic Timed Automata Extraction from Ladder Programs for Model-Based Analysis of Control Systems. In: Haris Mouratidis. (Org.). Software Engineering for Secure Systems: Industrial and Research Perspectives (ISBN: 9781615208371). 1ed.Hershey: IGI Global, 2011, v. , p. 305-328.

9.
ALMEIDA, H. O. ; SILVA, L. D. ; FERREIRA, Glauber Vinícius Ventura de Melo ; LOUREIRO FILHO, Emerson Cavalcante ; PERKUSICH, A. . Validation and Verification of Software Systems Using Virtual Reality and Coloured Petri Nets. In: Pierre F. Tiako. (Org.). Software Applications: Concepts, Methodologies, Tools, and Applications. : IGI Global, 2009, v. , p. 3361-3380.

10.
OLIVEIRA, Elthon Allex da Silva ; ALMEIDA, H. O. ; SILVA, L. D. ; BUBLITZ, Frederico Moreira ; BARBOSA, Nádia Milena ; PERKUSICH, A. . Formal Modeling and Verification of Virtual Community Systems. In: Goran D. Putnik; Maria Manuela Cunha. (Org.). Encyclopedia of Networked and Virtual Organizations. Hershey, PA: IGI Global, 2008, v. 1, p. 614-621.

11.
SILVA, L. D.; GORGONIO, K. ; PERKUSICH, A. . Petri Nets for Component-based Software Systems Development. In: Vedran Kordic. (Org.). Petri Nets: Theory and Application. Vienna: I-Tech Education and Publishing, 2008, v. , p. 471-496.

12.
ALMEIDA, H. O. ; SILVA, L. D. ; FERREIRA, Glauber Vinícius Ventura de Melo ; LOUREIRO FILHO, Emerson Cavalcante ; PERKUSICH, A. . Validation and Verification of Software Systems Using Virtual Reality and Coloured Petri Nets. In: Aristides Dasso; Ana Funes. (Org.). Verification, Validation and Testing in Software Engineering. Hershey, PA: Idea Group Publishing, 2007, v. , p. 28-54.

13.
SILVA, L. D.; OLIVEIRA, Elthon Allex da Silva ; ALMEIDA, H. O. ; PERKUSICH, A. . An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems. In: Xuan F. Zha. (Org.). Artificial Intelligence and Integrated Intelligent Information Systems: Emerging Technologies and Applications. Hershey, PA: Idea Group Inc., 2007, v. , p. 287-302.

14.
SILVA, L. D.; PERKUSICH, A. . A Model-Based Approach to Formal Specification and Verification for Embedded Systems Using Coloured Petri Nets. In: Colin Atkinson; Christian Bunse; Hans-Gerhard Gross; Christian Peper. (Org.). Component-Based Software Development for Embedded Systems: An Overview on Current Research Trends. Berlin: Springer-Verlag, 2005, v. 3778, p. 35-58.

15.
ALMEIDA, H. O. ; SILVA, L. D. ; PERKUSICH, A. ; COSTA, E. B. . A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets. In: Ricardo Choren, Alessandro Garcia, Carlos Lucena e Alexander Romanovsky. (Org.). Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications. Berlin: Springer-Verlag, 2005, v. 3390, p. 162-179.

Trabalhos completos publicados em anais de congressos
1.
SILVA, L. D.; SAVINO, H. J. ; VIEIRA, T. F. ; BRITO, D. B. . Modelagem Formal Utilizando Redes de Petri Coloridas de um Sistema de Automação para abastecimento e Diluição de Ácido Sulfúrico. In: CBA2018 - 22º Congresso Brasileiro de Automática, 2018, João Pessoa. Anais do 22º Congresso Brasileiro de Automática - CBA2018, 2018.

2.
GHARIB, M. ; SILVA, L. D. ; KAVALIONAK, H. ; CECCARELLI, A. . A Model-based Approach for Analyzing the Autonomy Levels for Cyber-Physical Systems-of-Systems. In: Latin-American Symposium on Dependable Computing, 2018, Foz do Iguaçu. Proceedings of the 8th Latin-American Symposium on Dependable Computing - LADC 2018. v. 1. p. 1-8.

3.
SILVA, J. M. ; COSTA, R. G. ; SOBRINHO, A.A.C.C ; SILVA, L. C. E. ; OLIVEIRA, H. F. A. ; SILVA, L. D. ; PERKUSICH, A. . Especificação Formal de Dispositivos Médicos: Um Estudo de Caso. In: Congresso Brasileiro de Informática em Saúde, 2018, Fortaleza. CBIS 2018 - XVI Congresso Brasileiro de Informática em Saúde, 2018.

4.
MEDEIROS, LEONARDO ; Almeida, Hyggo ; DIAS, LEANDRO ; PERKUSICH, MIRKO ; FISCHER, ROBERT . A Gait Analysis Approach to Track Parkinson's Disease Evolution Using Principal Component Analysis. In: 2016 IEEE 29th International Symposium on ComputerBased Medical Systems (CBMS), 2016, Belfast and Dublin. 2016 IEEE 29th International Symposium on Computer-Based Medical Systems (CBMS). v. 1. p. 48-5.

5.
MEDEIROS, LEONARDO ; Almeida, Hyggo ; DIAS, LEANDRO ; PERKUSICH, MIRKO ; FISCHER, ROBERT . A Game-Based Approach to Monitor Parkinson's Disease: The Bradykinesia Symptom Classification. In: 2016 IEEE 29th International Symposium on ComputerBased Medical Systems (CBMS), 2016, Belfast and Dublin. 2016 IEEE 29th International Symposium on Computer-Based Medical Systems (CBMS). v. 1. p. 337-5.

6.
SOBRINHO, ALVARO ; CUNHA, PAULO ; DIAS DA SILVA, LEANDRO ; PERKUSICH, ANGELO ; CORDEIRO, THIAGO ; SEGUNDO, JARBAS . Arguing effectiveness of biomedical signal acquisition devices using colored Petri Nets models and assurance cases in GSN: An ECG case study. In: 2016 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2016, Orlando. 2016 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). p. 2488.

7.
SOBRINHO, ALVARO ; CUNHA, PAULO ; da Silva, Leandro Dias ; PERKUSICH, ANGELO ; CORDEIRO, THIAGO ; REGO, JOILSON . A simulation approach to certify electrocardiography devices. In: 2015 17th International Conference on Ehealth Networking, Application & Services (HealthCom), 2015, Boston. 2015 17th International Conference on E-health Networking, Application & Services (HealthCom). v. 1. p. 86-90.

8.
SOBRINHO, ALVARO ; CUNHA, PAULO ; da Silva, Leandro Dias ; PERKUSICH, ANGELO ; CORDEIRO, THIAGO ; REGO, JOILSON . A methodology for modeling and simulation of biomedical signal acquisition devices. In: 2015 17th International Conference on Ehealth Networking, Application & Services (HealthCom), 2015, Boston. 2015 17th International Conference on E-health Networking, Application & Services (HealthCom). v. 1. p. 227-231.

9.
SOBRINHO, ALVARO ; DIAS DA SILVA, LEANDRO ; Pinheiro, Maria Eliete ; CUNHA, PAULO ; PERKUSICH, ANGELO ; MEDEIROS, LEONARDO . Formal specification of a tool to aid the early dignosis of the Chronic Kidney Disease. In: 2015 CHILEAN Conference on Electrical, Electronics Engineering, Information and Communication Technologies (CHILECON), 2015, Santiago. 2015 CHILEAN Conference on Electrical, Electronics Engineering, Information and Communication Technologies (CHILECON). v. 1. p. 173-178.

10.
SOBRINHO, ALVARO ; NETO, JOSE ; CUNHA, PAULO ; DIAS DA SILVA, LEANDRO ; PERKUSICH, ANGELO . A Colored Petri Nets model of the risk management process based on the ISO 14971 standard. In: IECON 2015 41st Annual Conference of the IEEE Industrial Electronics Society, 2015, Yokohama. IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society. v. 1. p. 000475-480.

11.
OLIVEIRA, K. V. ; OLIVEIRA, A. B. ; SILVA, L. D. ; PERKUSICH, A. ; GORGONIO, K. . GERAÇÃO E EXECUÇÃO AUTOMÁTICA DE TESTES PARA PROGRAMAS DE CONTROLADORES LÓGICOS PROGRAMÁVEIS PARA SISTEMAS INSTRUMENTADOS DE SEGURANÇA. In: Simpósio Brasileiro de Automação Inteligente, 2015, Natal. Anais do XII Simpósio Brasileiro de Automação Inteligente, 2015. v. 1. p. 1156-1161.

12.
SILVA, G. J. B. ; SILVA, L. D. . RECONHECIMENTO DE ATIVIDADES HUMANAS ATRAVÉS DE UM SMARTPHONE. In: Simpósio Brasileiro de Automação Inteligente, 2015, Natal. Anais do XII Simpósio Brasileiro de Automação Inteligente, 2015. v. 1.

13.
SOBRINHO, ALVARO ; PERKUSICH, ANGELO ; DIAS DA SILVA, LEANDRO ; CUNHA, PAULO . Using Colored Petri Nets for the requirements engineering of a surface electrogastrography system. In: 2014 12th IEEE International Conference on Industrial Informatics (INDIN), 2014, Porto Alegre RS. 2014 12th IEEE International Conference on Industrial Informatics (INDIN). v. 1. p. 221-226.

14.
SOBRINHO, ALVARO ; PERKUSICH, ANGELO ; DIAS DA SILVA, LEANDRO ; CORDEIRO, THIAGO ; REGO, JOILSON ; CUNHA, PAULO . Towards medical device certification: A colored Petri Nets model of a surface electrocardiography device. In: IECON 2014 40th Annual Conference of the IEEE Industrial Electronics Society, 2014, Dallas. IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society. v. 1. p. 2645-6.

15.
SOBRINHO, A.A.C.C ; SILVA, L. D. ; MEDEIROS, L.M. ; PINHEIRO, M. E. ; ROCHA, D. S. F. ; CUNHA, P. C. N. . Uma metodologia de desenvolvimento centrado no usuário para um sistema de prevenção e diagnóstico precoce da Doença Renal Crônica. In: Workshop de Informática Médica (WIM), 2013, Maceió. Anais do XXXIII Congresso da Sociedade Brasileira de Computação. Porto Alegre: SBC, 2013. v. 1. p. 1123-1132.

16.
OLIVEIRA, K. V. ; SILVA, L. D. ; PERKUSICH, A. ; GORGONIO, K. . Utilização De Diagramas De Decisão Binária Ordenados Para Geração De Casos De Teste Em Sistemas Instrumentados De Segurança. In: Simpósio Brasileiro de Automação Inteligente, 2013, Fortaleza. Anais do XI Simpósio Brasileiro de Automação Inteligente, 2013. v. 1.

17.
DE VASCONCELOS OLIVEIRA, KEZIA ; PERKUSICH, ANGELO ; GORGONIO, KYLLER COSTA ; DIAS DA SILVA, LEANDRO ; MARTINS, ALDENOR FALCAO . Using equivalence classes for testing programs for safety instrumented systems. In: 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA), 2013, Cagliari. 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA), 2013. v. 1. p. 1-7.

18.
OLIVEIRA, K. V. ; SILVA, L. D. ; PERKUSICH, A. ; GORGONIO, K. . Uma abordagem para geração e execução de casos de teste em programas de Sistemas Instrumentados de Segurança. In: XIX Congresso Brasileiro de Automática, 2012, Campina Grande. Anais do XIX Congresso Brasileiro de Automática, 2012. p. 3372-3379.

19.
OLIVEIRA, Elthon Allex da Silva ; SILVA, L. D. ; ALMEIDA, H. O. ; PERKUSICH, A. . An Approach For Controlling Human Physiology Based On Supervisory Control Theory. In: International Symposium on the Foundations of Health Information Engineering and Systems - FHIES, 2012, Paris. Proceedings of the 2nd International Symposium on the Foundations of Health Information Engineering and Systems, 2012. p. 177-184.

20.
OLIVEIRA, Elthon Allex da Silva ; SILVA, L. D. ; CUNHA JUNIOR, A. T. ; ALMEIDA, H. O. ; PERKUSICH, A. . Controlled and Safe Physical Activities. In: XIII Congresso Brasileiro de Informática em Saúde - CBIS, 2012, Curitiba. Anais do XIII Congresso Brasileiro de Informática em Saúde, 2012. p. 1-6.

21.
VASCONCELOS, G. ; SILVA, L. D. ; PERKUSICH, A. . Verificação Automática de Programas a Partir da Monitoração de Múltiplas Execuções de Código. In: XIX Congresso Brasileiro de Automática. Campinas, 2012, Campina Grande. Anais do XIX Congresso Brasileiro de Automática. Campinas, 2012. p. 1-6.

22.
SAMPAIO, L.R. ; OLIVEIRA, K. V. ; PERKUSICH, A. ; SILVA, L. D. . Ladder programs validation through model-code traceability. In: IEEE International Conference on Industrial Electronics - ICIT, 2011, Auburn. Proceeding of the XIII IEEE International Conference on Industrial Electronics - ICIT, 2011. p. 276-280.

23.
SANTOS, B.R. ; SILVA, L. D. . Especificação Formal de Mecanismos de Reputação e Confiança para Computação Pervasiva. In: Escola Regional Bahia Alagoas Sergipe - ERBASE, 2011, Salvador. Anais da XI Escola Regional Bahia Alagoas Sergipe - ERBASE. Porto Alegre: SBC, 2011.

24.
OLIVEIRA, Elthon Allex da Silva ; SILVA, L. D. ; GORGONIO, K. ; PERKUSICH, A. ; MARTINS, A. F. . Obtaining formal models from Ladder diagrams. In: IEEE International Conference on Industrial Informatics (INDIN), 2011. Proceeedings of the 9th IEEE International Conference on Industrial Informatics (INDIN) 2011, 2011. p. 796-801.

25.
OLIVEIRA, Elthon Allex da Silva ; SILVA, L. D. ; GORGONIO, K. ; PERKUSICH, A. ; LIMA, A. M. N. . Convertendo Diagramas Ladder em modelos de Redes de Petri Coloridas. In: Simpósio Brasileiro de Automação Inteligente, 2011, São João del-Rei. Anais do Simpósio Brasileiro de Automação Inteligente, 2011. p. 1382-1387.

26.
DE VASCONCELOS OLIVEIRA, KEZIA ; Perkusich, Angelo ; LIMA, ANTONIO MARCUS NOGUEIRA ; GORGONIO, KYLLER ; da Silva, Leandro Dias . Standard-based formal validation of Programmable Logic Controller programs. In: 2010 IEEE International Conference on Industrial Technology, 2010, Vi a del Mar. 2010 IEEE International Conference on Industrial Technology, 2010. p. 1655.

27.
REIS NETO, J. C. ; PEIXOTO, R. J. S. ; SALES, L. M. ; SILVA, L. D. . Touche! - Uma Ferramenta de Software Livre para Mobile Learning. In: FREEBASE 2010 ? Workshop de Software Livre Bahia-Alagoas-Sergipe, 2010, Maceió. Anais da X Escola Regional Bahia-Alagoas-Sergipe, 2010.

28.
OLIVEIRA, K. V. ; SILVA, L. D. ; PERKUSICH, A. ; LIMA, A. M. N. ; GORGONIO, K. . Automatic timed automata extraction from ladder programs for model-based analysis of control systems. In: IEEE International Symposium on Industrial Electronics (ISIE), 2010, Bari. Proceedings of the 2010 IEEE International Symposium on Industrial Electronics (ISIE), 2010. p. 90-95.

29.
OLIVEIRA, K. V. ; SILVA, L. D. ; PERKUSICH, A. ; LIMA, A. M. N. ; GORGONIO, K. . Geração Automática de Testes de Conformidade para Programas de Controladores Lógicos Programáveis. In: Congresso Brasileiro de Automática, 2010, Bonito. Anais do XVIII Congresso Brasileiro de Automática, 2010. p. 2995-3001.

30.
PEIXOTO, R. J. S. ; SILVA, L. D. ; PERKUSICH, A. . Gungnir - uma ferramenta para geração e execução de testes de conformidade utilizando autômatos temporizados. In: Congresso Brasileiro de Automática, 2010, Bonito. Anais do XVIII Congresso Brasileiro de Automática, 2010. p. 3211-3216.

31.
OLIVEIRA, K. V. ; GORGONIO, K. ; PERKUSICH, A. ; LIMA, A. M. N. ; SILVA, L. D. . Extração Automática de Autômatos Temporizados a Partir de Diagramas Ladder. In: Simpósio Brasileiro de Automação Inteligente - SBAI, 2009, Brasília. Anais do IX Simpósio Brasileiro de Automação Inteligente, 2009.

32.
LISBOA, LUCIANO A. C. ; LIMA, ANTONIO M. N. ; SILVA, LEANDRO D. . Using hierarchical coloured petri net to support substation restoration. In: 2009 IEEE Bucharest PowerTech (POWERTECH), 2009, Bucharest. 2009 IEEE Bucharest PowerTech, 2009. p. 1-8.

33.
DORNELLAS, S. ; VASCONCELOS, G. ; SILVA, L. D. ; PERKUSICH, A. ; LIMA, A. M. N. . Formal Specification of DSP Gateway for Data Transmission Between Processor Cores of OMAP Platform. In: ACM Symposium on Applied Computing (ACM SAC'08), 2008, Fortaleza, CE. Proceeedings of the 23rd Annual ACM Symposium on Applied Computing,. New York: ACM, 2008. v. 2. p. 1545-1549.

34.
OLIVEIRA, L. ; SILVA, L. D. ; GORGONIO, K. ; PERKUSICH, A. . Pitfalls and Tradeoffs on Dealing with Handoff Management in Bluetooth-based WPANs for Real-Time Applications. In: IEEE Symposium on Computers and Communications (ISCC'08), 2008, Marrakech. Proceedings of the IEEE Symposium on Computers and Communications (ISCC'08). Piscatway: IEEE, 2008. v. 1. p. 631-636.

35.
DA SILVA, L.D.; DE ASSIS BARBOSA, L.P. ; GORGONIO, K. ; PERKUSICH, A. ; LIMA, A.M.N. . On the automatic generation of timed automata models from Function Block Diagrams for safety instrumented systems. In: IECON 2008 34th Annual Conference of IEEE Industrial Electronics Society, 2008, Orlando. 2008 34th Annual Conference of IEEE Industrial Electronics, 2008. v. 1. p. 291-296.

36.
SILVA, L. D.; GORGONIO, K. ; OLIVEIRA, L. ; RODRIGUES, A. F. ; PERKUSICH, A. . Specification and Analysis of a Bluetooth Handoff Protocol for Real-Time Applications. In: 16th International Conference on Software, Telecommunications and Computer Networks, 2008, Split - Dubrovnik. Proceedings of Softcom 2008. Piscatway: IEEE Communication Society, 2008. v. 1. p. 179-183.

37.
SILVA, L. D.; BARBOSA, L. P. A. ; GORGONIO, K. ; PERKUSICH, A. ; LIMA, A. M. N. . Extração Automática de Autômatos Temporizados de FBD. In: XVII Congresso Brasileiro de Automática, 2008, Juiz de Fora, MG. Anais do CBA 2008. São Paulo: Sociedade Brasileira de Automática, 2008. v. 1. p. 1-6.

38.
OLIVEIRA, Elthon Allex da Silva ; ALMEIDA, H. O. ; SILVA, L. D. ; PERKUSICH, A. . Formal modelling and verification of a component model using coloured petri nets and model checking. In: ACM Symposium on Applied Computing (ACM SAC'07),, 2007, Seoul. 22nd Annual ACM Symposium on Applied Computing (ACM SAC'07). New York: ACM, 2007. p. 1427-1431.

39.
BARBOSA, L. P. A. ; GORGONIO, K. ; LIMA, A. M. N. ; PERKUSICH, A. ; SILVA, L. D. . On the Automatic Generation of Timed Automata Models from ISA 5.2 Diagrams. In: 12th IEEE Conference on Emerging Technologies and Factory Automation, 2007, Patras. 12th IEEE Conference on Emerging Technologies and Factory Automation, 2007.

40.
de ALFARO, Luca ; ADLER, B. T. ; RAMAN, V. ; FAELLA, Marco ; LEGAY, Axel ; SILVA, L. D. ; ROY, Pritam . Ticc: A Tool for Interface Compatibility and Composition. In: Computer-aided Verification, 2006, Seattle. CAV 2006: Computer-aided Verification, 2006.

41.
SILVA, L. D.; ALMEIDA, H. O. ; PERKUSICH, A. ; BARROS, Péricles Rezende . Model Checking Plans for Flexible Manufacturing Systems. In: IFAC World Congress, 2005, Praga. Proceedings of the 16th IFAC World Congress, 2005. p. 1-6.

42.
ALMEIDA, H.O. ; DIAS DA SILVA, L. ; OLIVEIRA, E. ; PERKUSICH, A. . A Formal Approach for Component Based Embedded Software Modelling and Analysis. In: IEEE International Symposium on Industrial Electronics (ISIE 2005), 2005, Dubrovnik. Proceedings of the 2005 International Symposium on Industrial Electronics, 2005. p. 1337.

43.
ALMEIDA, H. O. ; OLIVEIRA, Elthon Allex da Silva ; BARBOSA, Nádia Milena ; BUBLITZ, Frederico Moreira ; SILVA, L. D. ; PERKUSICH, A. . Modelagem e Verificação Formal de Sistemas de Informação Baseados em Componentes. In: II Simpósio Brasileiro de Sistemas de Informação (SBSI'05), 2005, Florianópolis. Anais do II Simpósio Brasileiro de Sistemas de Informação (SBSI'05), 2005.

44.
de ALFARO, Luca ; SILVA, L. D. ; FAELLA, Marco ; LEGAY, Axel ; ROY, Pritam ; SOREA, Maria . Sociable Interfaces. In: 5th International Workshop on Frontiers of Combining Systems - FROCOS 2005, 2005, Vienna. FROCOS 2005: 5th International Workshop on Frontiers of Combining Systems. Berlin: Springer-Verlag, 2005. v. 3717. p. 81-105.

45.
SILVA, L. D.; ALMEIDA, H. O. ; PERKUSICH, A. ; COSTA, E. B. . A Formal Approach for the Verification of Multiagent Plans based on Model Checking and Petri Nets. In: International Workshop on Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'04, 2004, Edinburgh. Proceedings of 3rd International Workshop on Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'04. Stevenage: The IEE, 2004. p. 145-151.

46.
SILVA, L. D.; PERKUSICH, A. . A Systematic And Formal Approach To The Specification Of Flexible Manufacturing Systems Reusing Coloured Petri Nets Models. In: 11th IFAC Symposium on Information Control Problems in Manufacturing - INCOM'2004, 2004, Salvador. Proceedings of the 11th IFAC Symposium on Information Control Problems in Manufacturing, 2004.

47.
SILVA, L. D.; PERKUSICH, A. . A Formal Approach to Model Component Based Software Systems. In: The First International Workshop on Verification and Validation of Enterprise Information Systems, 2003, Angers. Proceedings of The First International Workshop on Verification and Validation of Enterprise Information Systems. Setúbal: ICEIS PRESS, 2003. p. 113-124.

48.
SILVA, L. D.; PERKUSICH, A. ; ALMEIDA, H. O. ; COSTA, E. B. . Modelling and Analysis of a Multi-Agent Intelligent Tutoring System Based on Coloured Petri Nets. In: First ACIS International Conference on Software Engineering Research and Applications, 2003, San Francisco. Proceedings of The First ACIS International Conference on Software Engineering Research and Applications - SERA'03, 2003. p. 276-281.

49.
SILVA, L. D.; PERKUSICH, A. . Uso de Realidade Virtual para Validação de Modelos de Sistemas Flexíveis de Manufatura. In: Simpósio Brasileiro de Automação Inteligente, 2003, Bauru. Anais do VI Simpósio Brasileiro de Automação Inteligente, 2003.

50.
SILVA, L. D.; PERKUSICH, A. . Modelagem Sistemática de Sistemas Flexíveis de Manufatura. In: Congresso Brasileiro de Automática, 2002, Natal. Anais do XIV Congresso Brasileiro de Automática, 2002.

51.
SILVA, L. D.; PERKUSICH, A. ; DISTEFANO, A. L. N. . Reúso de Modelos de Redes de Petri Coloridas de Sistemas de Manufatura. In: Simpósio Brasileiro de Automação Inteligente, 2001, Canela. Anais do V Simpósio Brasileiro de Automação Inteligente, 2001.

Resumos publicados em anais de congressos
1.
PINHEIRO, M. E. ; SOBRINHO, A.A.C.C ; SILVA, L. D. ; MEDEIROS, L.M. ; CUNHA, P. C. N. . Uma abordagem baseada em computação para a prevenção e auxílio ao diagnóstico precoce da Doença Renal Crônica. In: Congresso Paulista de Nefrologia, 2013, Atibaia. Anais do XVII Congresso Paulista de Nefrologia, 2013. v. 1.

2.
SOBRINHO, A.A.C.C ; SILVA, L. D. ; MEDEIROS, L.M. . Assitência Médica Pervasiva: Uma Abordagem Usando Software Livre. In: ERBASE, 2011, Salvador. FREEBASE, 2011. v. 1.

3.
ALBUQUERQUE, D. D. ; VIEIRA, V. N. ; MATIAS, J.P. ; MAIA, V. M. S. ; SALES, L. M. ; SILVA, L. D. . BRiGaS: Um Servidor de Jogos Pervasivo para UPnP Usando o Arcabouço BRisa. In: Simpósio Brasileiro de Jogos e Entretenimento Digital - SBGames, 2009, Rio de Janeiro. Anais do VIII Simpósio Brasileiro de Jogos e Entretenimento Digital - SBGames, no prelo, 2009.

4.
BUBLITZ, Frederico Moreira ; ALMEIDA, H. O. ; PERKUSICH, A. ; LOUREIRO FILHO, Emerson Cavalcante ; COSTA, E. B. ; SILVA, L. D. . An Infrastructure for Developing Context Aware Applications in Pervasive Environments. In: ACM Symposium on Applied Computing (ACM SAC'08), 2008, Fortaleza, CE. Proceeedings of the 23rd Annual ACM Symposium on Applied Computing. New York: ACM, 2008. v. 3. p. 1958-1959.

5.
LOUREIRO FILHO, Emerson Cavalcante ; FERREIRA, Glauber Vinícius Ventura de Melo ; OLIVEIRA, Elthon Allex da Silva ; ALMEIDA, H. O. ; SILVA, L. D. ; PERKUSICH, A. . A Java Code Annotation Approach for Model Checking Software Systems.. In: ACM Symposium on Applied Computing (ACM SAC'07), 2007, Seoul. 22nd Annual ACM Symposium on Applied Computing (ACM SAC'07),, 2007.

6.
SILVA, L. D.; PERKUSICH, A. . Validação de Modelos de Redes de Petri Coloridas Utilizando Realidade Virtual: Aplicação em Sistemas Flexíveis de Manufatura. In: Simpósio Brasileiro de Realidade Virtual, 2003, Ribeirão Petro. Anais do VI Simpósio Brasileiro de Realidade Virtual, 2003.

7.
SILVA, L. D.; PERKUSICH, A. ; ALMEIDA, H. O. ; COSTA, E. B. . A Coloured Petri Net Model to Analyze the Design of a Multi-Agent System. In: Workshop de Métodos Formais, 2003, Campina Grande. Anais do VI Workshop de Métodos Formais, 2003.

Outras produções bibliográficas
1.
SILVA, L. D.. Especificação e Verificação Sistemática, Formal e Modular de Sistemas Embarcados. Campina Grande 2006 (Tese de Doutorado).

2.
SILVA, L. D.. Modelagem Sistemática de Sistemas Flexíveis de Manufatura Baseada em Reúso de Modelos de Redes de Petri Coloridas 2002 (Dissertação de Mestrado).


Produção técnica
Programas de computador sem registro
1.
MARINHO, T. L. ; FERREIRA FILHO, W. W. B. ; SILVA, L. D. . MeuPreDi. 2018.

2.
SOBRINHO, A.A.C.C ; SILVA, L. D. . MultCare: A mobile assistant as a tool to aid early detection of Chronic Kidney Disease. 2012.

3.
PEIXOTO, R. J. S. ; SILVA, L. D. . Gungnir. 2010.

4.
PEIXOTO, R. J. S. ; SILVA, L. D. . Touchè: uma ferramenta para criação colaborativa de documentos de hipermídia. 2009.

Trabalhos técnicos
1.
SILVA, L. D.. International Conference on Future Computational Technologies and Applications - FUTURE COMPUTING (Membro do Comitê de Programa). 2016.

2.
SILVA, L. D.. International Conferences on Advanced Service Computing - SERVICE COMPUTATION (Membro do Comitê de Programa). 2016.

3.
SILVA, L. D.. Simpósio Brasileiro de Computação Ubíqua e Pervasiva - SBCUP (Membro do Comitê de Programa). 2016.

4.
SILVA, L. D.. Workshop de Informática Médica - WIM (Membro do Comitê de Programa). 2016.

5.
SILVA, L. D.. Frontiers in Education (FIE) Conference (Revisor). 2016.

6.
SILVA, L. D.. CONGRESSO BRASILEIRO DE AUTOMÁTICA - CBA (Revisor). 2016.

7.
SILVA, L. D.. International Conference on Future Computational Technologies and Applications - FUTURE COMPUTING (Membro do Comitê de Programa). 2015.

8.
SILVA, L. D.. International Conferences on Advanced Service Computing - SERVICE COMPUTATION (Membro do Comitê de Programa). 2015.

9.
SILVA, L. D.. International Conferences on Advanced Service Computing - SERVICE COMPUTATION (Membro do Comitê de Programa). 2014.

10.
SILVA, L. D.. International Conference on Future Computational Technologies and Applications - FUTURE COMPUTING (Membro do Comitê de Programa). 2014.

11.
SILVA, L. D.. International Conference on Future Computational Technologies and Applications - FUTURE COMPUTING (Membro do Comitê de Programa). 2013.

12.
SILVA, L. D.. International Conferences on Advanced Service Computing - SERVICE COMPUTATION (Membro do Comitê de Programa). 2013.

13.
SILVA, L. D.. Modelagem Sistemática e Formal de Sistemas de Software Baseados em Componentes. 2003.

14.
SILVA, L. D.. Uma Abordagem Baseada em Componentes para Especificação e Verificação Formal de Sistemas Embarcados usando Redes de Petri Coloridas. 2003.

15.
SILVA, L. D.. Verificação de Propriedades Temporais para Sistemas Embarcados de Tempo Real Usando Redes de Petri com Temporização Nebulosa. 2003.

Demais trabalhos
1.
SILVA, L. D.. Administração da Rede do Departamento de Ciência da Computção da UFAL. 1999 (Suporte) .

2.
SILVA, L. D.. Monitoria de Inteligência Artificial I. 1999 (Monitoria) .

3.
SILVA, L. D.. PIBIC - Estudo e Desenvolvimento de um Ambiente Computacional à Aprendizagem no Domínio do Cálculo Diferencial. 1999 (Iniciação Cienctífica PIBIC/UFAL) .

4.
SILVA, L. D.. Monitoria de Inteligência Artificial I. 1998 (Monitoria) .

5.
SILVA, L. D.. Administração da Rede do Departamento de Ciência da Computção da UFAL. 1998 (Suporte) .

6.
SILVA, L. D.. PIBIC - Estudo e Desenvolvimento de um Ambiente Computacional à Aprendizagem no Domínio do Cálculo Diferencial. 1998 (Iniciação Cienctífica PIBIC/UFAL) .



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
HERNANDEZ-DOMINGUEZ, A.; BRAGA, M. M.; SILVA, L. D.. Participação em banca de José Carlos Costa Milito. LearnCraft ? Uma Engine para Criação de Jogos RPG Construcionistas. 2018. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas.

2.
NASCIMENTO, M. Z.; SILVA, L. D.; OLIVEIRA, M. C.. Participação em banca de Hugo Araújo Souza. Classificação da Marcha em Parkinsonianos: Análise de Algoritmos de Aprendizagem Supervisionada. 2017. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas.

3.
BITTENCOURT, I.I.; SILVA, L. D.; RIBEIRO, M. M.; ISOTANI, S.; FERNANDES, C. T.. Participação em banca de Endhe Elias Soares. JOINT-E: Um Framework para Avaliação de Desempenho e Escalabilidade de APIs de Persistência em Ontologias. 2014. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas.

4.
BITTENCOURT, I.I.; SILVA, L. D.; COSTA, E. B.; ISOTANI, S.; SIQUEIRA, S. W. M.. Participação em banca de Olavo De Holanda Cavalcanti Neto. JOINT-DE: Sistema de Mapeamento Objeto-Ontologia com suporte a Objetos Desconectados. 2014. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas.

5.
LIMA FILHO, A. C.; BELO, F. A.; SILVA, L. D.. Participação em banca de Gabriela Jordão Lyra. ANÁLISE DE MÉTODOS PARA ESTIMAÇÃO DA VELOCIDADE EM EIXO DE MOTORES DE INDUÇÃO TRIFÁSICOS. 2014. Dissertação (Mestrado em Engenharia Mecânica) - Universidade Federal da Paraíba.

6.
AQUINO, A. L. L.; SILVA, L. D.; RAMOS FILHO, H. S.; LOUREIRO, A. A. F.. Participação em banca de David Henrique de Souza Lima. Um sistema oportunista para detecção de vagas de estacionamento utilizando placas inteligentes acopladas em câmeras de segurança. 2014. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas.

7.
PERKUSICH, A.; ALMEIDA, H. O.; SILVA, L. D.; GORGONIO, K.; MORAIS, M. R. A.. Participação em banca de Antônio Dias dos Santos Júnior. Arcabouço de Software para a Aquisição de Dados de Saúde Através de Jogos Eletrônicos. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

8.
MACHADO, A. P.; SILVA, L. D.; LYRA, J. M. A. G.; AMBROSIO JUNIOR, R.. Participação em banca de Edileuza Virgínio Leão. Modelos Computacionais Baseados em Aprendizagem de Máquinas para Classificação do Ceratocone por Meio dos Sinais Biomecânicos Fornecidos pelo Ocular Response Analyser. 2013. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas.

9.
MOREIRA, C. S.; LOPES, R. V. V.; SILVA, L. D.; FERREIRA, R. P. C.; MENEZES, P. L.. Participação em banca de Paulo Cesar do Nascimento Cunha. Um Modelo de Eletrocardiógrafo Portátil de Baixa Potência. 2012. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas.

10.
PERKUSICH, A.; ALMEIDA, H. O.; SILVA, L. D.; MORAIS, M. R. A.. Participação em banca de Marco Antonio Cavalcante Rosner. Infraestrutura para entrega de anúncios de publicidade pervasiva personalizados baseada em estatísticas de consumo. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

11.
PERKUSICH, A.; ALMEIDA, H. O.; SILVA, L. D.; GORGONIO, K.. Participação em banca de Leonardo Soares e Silva. Seleção de Anúncios em Sinalização Digital Baseada na Segmentação de Mercado e Comportamento do Consumidor. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

12.
PERKUSICH, A.; ALMEIDA, H. O.; SILVA, L. D.; VIEIRA, M. F. Q.; GORGONIO, K.. Participação em banca de Daniel Bruno Alves dos Santos. Infraestrutura para o Desenvolvimento de Aplicações Pervasivas Cientes de Redes Sociais. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

13.
PERKUSICH, A.; ALMEIDA, H. O.; GORGONIO, K.; SILVA, L. D.. Participação em banca de Lorena Fernandes Maia. Infraestrutura para o Desenvolvimento de Aplicações Baseadas em Localização e Orientadas a Domínios. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

14.
PERKUSICH, A.; ALMEIDA, H. O.; SILVA, L. D.; MORAIS, M. R. A.. Participação em banca de Paulo Rômulo Alves Barros. Abordagem Orientada a Seviços para o Gerenciamento de Energia em Redes Pervasivas. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

15.
PERKUSICH, A.; ALMEIDA, H. O.; GORGONIO, K.; SILVA, L. D.. Participação em banca de Leonardo Soares e Silva. Seleção de anúncios em sinalização digital baseada na segmentação de mercado e comportamento do consumidor. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

16.
PERKUSICH, A.; ALMEIDA, H. O.; LIMA, A. M. N.; SILVA, L. D.. Participação em banca de Thiago Bruno Melo de Sales. Especificação Baseada no Padrão UPnP para Autenticação e Autorização de Usuários em Ambientes de Computação Pervasiva. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

17.
PERKUSICH, A.; ALMEIDA, H. O.; LIMA, A. M. N.; SILVA, L. D.. Participação em banca de Ivo Augusto Andrade Rocha Calado. Infraestrutura para Transmissão de Conteúdo Multimídia com Suporte à Adaptação de Fluxos. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

18.
VIEIRA, M. F. Q.; SILVA, L. D.. Participação em banca de Ademar Virgolino da Silva Netto. Arquitetura para um ambiente de treinamento representado em Realidade Virtual. 2010. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Campina Grande.

19.
PERKUSICH, A.; VIEIRA, M. F. Q.; SILVA, L. D.. Participação em banca de André Felipe de Albuquerque Rodrigues. Um Ambiente C++ para o Desenvolvimento de Software com Suporte à Evolução Dinâmica não Antecipada. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Campina Grande.

20.
LIMA, A. M. N.; SILVA, L. D.; PERKUSICH, A.; SOUZA, B. A.. Participação em banca de Luiz Paulo de Assis Barbosa. Extração Automática de Autômatos Temporizados a partir de FBD para Teste Automático de Sistems Instrumentados de Segurança. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Campina Grande.

21.
SILVA, L. D.; VIEIRA, M. F. Q.; PERKUSICH, A.. Participação em banca de Nádia Milena da Silva Barbosa. Estudo Experimental Comparativo de Modelos de Componentes para o Desenvolvimento de Software sob o Aspecto de Evolutibilidade. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

22.
PERKUSICH, A.; COSTA, E. B.; SILVA, L. D.; CRESPO, S.. Participação em banca de Frederico Moreira Bublitz. Infra-Estrutura para o Desenvolvimento de Aplicações Cientes de Contexto em Ambientes Pervasivos. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

Teses de doutorado
1.
BITTENCOURT, I.I.; SILVA, A. P.; COSTA, E. B.; SILVA, L. D.; SIQUEIRA, S. W. M.; MAILLARD, P. A. J.. Participação em banca de Ranilson Oscar Araújo Paiva. Autoria de Decisões Pedagógicas Informadas por Dados para Ambientes MOOCs. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

2.
MORANDIN JUNIOR, O.; SILVA, L. D.; SPINA, E.; SANTOS FILHO, D. J.; SILVA, J. R.. Participação em banca de Arianna Zoila Olivera Salmon. Modelagem e Análise de Requisitos de Sistemas Automatizados Usando UML e Redes de Petri. 2017. Tese (Doutorado em Programa de Pós-Graduação em Engenharia Mecânica - Poli/USP) - Universidade de São Paulo.

3.
PERKUSICH, A.; SILVA, L. D.; SICHMAN, J. S.; FREITAS, F. L. G.. Participação em banca de Willy Carvalho Tiengo. Assistente Avançado de Suporte ao Motorista para Redução de Risco de Tombamento de Veículos Pesados em Curva. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

4.
ARAUJO, J. M. F. R.; MOURA, J. A. B.; SCHIEL, U.; SILVA, L. D.; MARINHO, L. B.; GALDINO, K. E.; REIS, B. L. F. S.. Participação em banca de Adriano Araújo Santos. Anaís: Um framework conceitual para auxílio à tomada de decisão em casos clínicos desconhecidos considerando riscos sob incertezas. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

5.
ALMEIDA, H. O.; PERKUSICH, A.; GORGONIO, K.; SILVA, L. D.; MORAIS, M. R. A.; VENANCIO NETO, A. J.. Participação em banca de Danilo Freire de Souza Santos. Controle de Fluxo Adaptativo para Gateways Bluetooth Low-Energy aplicado a Sistemas de Monitoramento Remoto de Pacientes. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

6.
COSTA, E. B.; ARAUJO, J. M. F. R.; SANTOS NETO, B. F.; CRESPO, S.; GUERRERO, D. D. S.; SILVA, L. D.. Participação em banca de Marlos Tacio Silva. Planejador adaptativo e semântico baseado em Agentes sobre uma Estrutura de Curriculum de Domínio. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

7.
PERKUSICH, ANGELO; Almeida, Hyggo; SILVA, L. D.; GORGONIO, K.; FERNANDES, S. F.; MORAIS, M. R. A.. Participação em banca de Leandro Melo de Sales. GMTP: Distribuição de Mídias ao Vivo através de uma Rede de Favores Constituída entre Roteadores. 2014. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

8.
COSTA, E. B.; BITTENCOURT, I.I.; SILVA, L. D.; PINTO, S. C. C. S.; GIRARDI, R.; BRITO, P.H.S.. Participação em banca de Alan Pedro da Silva. Uma Linha de Produto de Software baseada na Web Semântica para Sistemas Tutores Inteligentes. 2011. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

Qualificações de Doutorado
1.
REN, T. I.; MELLO, R. F. L.; SILVA, L. D.; ANDRADE, N. F.; COSTA, E. B.; ARAUJO, J. M. F. R.. Participação em banca de Jônathas José de Magalhães. Um Sistema de Recomendação Bayesiano Controlável pelo Usuário. 2017. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

2.
COSTA, E. B.; ARAUJO, J. M. F. R.; PERKUSICH, A.; SILVA, L. D.; SICHMAN, J. S.; ARAUJO, A. F. R.. Participação em banca de Willy Carvalho Tiengo. Assistente Avançado de Motorista para Redução de Risco de Tombamento em Curva de Veículos Pesados. 2016. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

3.
PERKUSICH, A.; ALMEIDA, H. O.; SILVA, L. D.; GORGONIO, K.; VENANCIO NETO, A. J.; RIBEIRO NETO, P. F.. Participação em banca de Lenardo Chaves e Silva. Uma arquitetura baseada em modelos para testes de sistemas médicos físico-cibernéticos. 2015. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

4.
PERKUSICH, A.; ALMEIDA, H. O.; SILVA, L. D.; GORGONIO, K.; VENANCIO NETO, A. J.; MORAIS, M. R. A.. Participação em banca de Danilo Freire de Souza Santos. Controle de fluxo de dados baseado em contexto para sistemas de monitoramento remoto de pacientes. 2015. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

5.
ARAUJO, J. M. F. R.; MOURA, J. A. B.; REIS, B. L. F. S.; PISA, I. T.; GALDINO, K. E.; SCHIEL, U.; SILVA, L. D.. Participação em banca de Adriano Araújo Santos. Concepção de Framework Conceitual para Auxílio à Tomada de Decisão Considerando Riscos e Incertezas na Análise de Casos Clínicos Desconhecidos. 2015. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

6.
BITTENCOURT, I.I.; MAILLARD, P. A. J.; SIQUEIRA, S. W. M.; COSTA, E. B.; SILVA, L. D.. Participação em banca de Ranilson Oscar Araújo Paiva. Autoria de Decisões Pedagógicas informada por Dados para MOOCs. 2015. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

7.
PERKUSICH, A.; ALMEIDA, H. O.; GORGONIO, K.; ANDRADE, N. F.; FERNANDES, S. F.; SILVA, L. D.. Participação em banca de Leandro Melo de Sales. Transporte de Datagramas Controlados e não Confiáveis para Distribuição de Conteúdos Multimídia entre pares na Internet. 2011. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

Qualificações de Mestrado
1.
SILVA, L. D.; PAES, R. B.; RIBEIRO, M. M.. Participação em banca de Maria Helynne Lima Silva. Perfil do Programador de Software: Conceitualização e Identificação de Soft Skills. 2014. Exame de qualificação (Mestrando em Informática) - Universidade Federal de Alagoas.

Trabalhos de conclusão de curso de graduação
1.
PAES, R. B.; SILVA, L. D.; CARVALHO, G. R.. Participação em banca de Maria Helynne Lima Silva.Comunidade de Prática para Organização do Conhecimento em Engenharia de Software. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Alagoas.

2.
ALMEIDA, E. S.; SILVA, L. D.; LINS, A. G. T.. Participação em banca de David Henrique de Souza Lima.Verificação Formal Utilizando Model Checking do Protocolo de Acesso ao Meio Smac para Redes de Sensores Sem Fio. 2011.

3.
TIENGO, W. C.; SOUZA, M.H.L.; BRITO, P.H.S.; SILVA, L. D.. Participação em banca de Gustavo José Barbosa Silva.ASA-X Uma Infra-estrutura de Comunicação Bluetooth Através de uma Rede Ad-Hoc Híbrida. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Alagoas.

4.
TIENGO, W. C.; SOUZA, M.H.L.; PAES, R. B.; SILVA, L. D.. Participação em banca de Denisson Araújo Padilha.My Delicious Google: Busca Personalisada na Web. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Alagoas.

5.
COSTA, E. B.; SILVA, L. D.; BRITO, P.H.S.. Participação em banca de Suzanna Sandes Dantas.Um Estudo Sobre Testes de Aplicações para Dispositivos Móveis. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Alagoas.

6.
COSTA, E. B.; SILVA, L. D.; RAMOS FILHO, H. S.. Participação em banca de Thiago Bruno Melo de Sales.Habilitando perfis de usuários para dar suporte a serviços personalizados em redes UPnP. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Alagoas.

7.
ALBUQUERQUE, F. C.; DALLIGNA JUNIOR, A.; SILVA, L. D.. Participação em banca de Jacson Luis Alves da Silva.Voz Sobre IP (VoIP): Um Estudo de Caso. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Alagoas.

8.
SILVA, L. D.; ALBUQUERQUE, F. C.; ALMEIDA, E. S.. Participação em banca de Elthon Allex da Silva Oliveira.Especificação e verificação formal do modelo de componentes COMPOR-CM utilizando Redes de Petri Coloridas Hierárquicas. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Alagoas.



Participação em bancas de comissões julgadoras
Concurso público
1.
SILVA, B. S.; SILVA, L. D.; MEDEIROS, L.M.. Concurso Público para Professor Efetivo - Edital 008/2017. 2017. Universidade Federal Rural do Semi-Árido.

2.
SILVA, L. D.; FERREIRA, R. P. C.; BRAGA, M. M.. Banca Examinadora do Concurso Público para Docente. 2013. Universidade Federal de Alagoas.

3.
SILVA, L. D.; MENDES, R. S.; ALBUQUERQUE, F. C.. Banca Examinadora do Concurso Público para Docente. 2013. Universidade Federal de Alagoas.

4.
BUBLITZ, Frederico Moreira; COSTA, E. B.; SILVA, L. D.. Concurso Público para Docentes. 2012. Universidade Estadual da Paraíba.

5.
FARIAS, A. C.; SILVA, L. D.. Concurso Público para Docentes. 2011. Universidade Estadual da Paraíba.

6.
ARAÚJO, L. J. S.; SILVA, L. D.; FERNEDA, E.. Banca Examinadora do Concurso Público para Docente. 2009. Universidade Federal de Alagoas.

7.
SILVA, L. D.; MASSONI, T. L.; GHEYI, R.. Banca Examinadora do Concurso Público para Docente. 2009. Universidade Estadual da Paraíba.

8.
SILVA, L. D.; BRITO, P.H.S.; SPOHN, M. A.. Banca Examinadora do Concurso Público para Docente. 2009. Universidade Federal de Alagoas.

9.
SILVA, L. D.; FERREIRA, S. N.; RANGEL, H. C. C.. Banca Examinadora do Concurso Público para Docente. 2009. Universidade Federal de Alagoas.



Eventos



Organização de eventos, congressos, exposições e feiras
1.
SILVA, L. D.; SANTOS NETO, B. F. ; RIBEIRO, M. M. . V Congresso Brasileiro de Software. 2014. (Congresso).

2.
SILVA, L. D.; ALMEIDA, E. S. . XXXIII Congresso da Sociedade Brasileira de Computação. 2013. (Congresso).

3.
SANTOS, A. ; ALMEIDA, E. S. ; SILVA, L. D. . X Escola Regional Bahia-Alagoas-Sergipe - ERBASE. 2010. (Congresso).

4.
SILVA, L. D.. XIV Encontro de Iniciação Científica da UEPB. 2007. (Congresso).

5.
SILVA, L. D.. 16th International Conference on Concurrency Theory. 2005. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Matheus Soares de Araujo. Análise do Framework AMADEOS: Um Estudo de Caso sobre a Certificação de Sistemas de Aquisições de Sinais Biomédicos. Início: 2018. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas. (Orientador).

2.
Carlos Antonio Fernandes da Silva. Modelagem e Análise do Framework AMADEOS para Sistemas Biomédicos. Início: 2018. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas. (Orientador).

3.
Ially Cristina Silveira de Almeida. Desenvolvimento de sistemas embarcados baseado em modelos formais. Início: 2018. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas. (Orientador).

4.
Andressa Carvalho Melo da Silveira. Uma abordagem para auxiliar na redução de superlotações em unidades de saúde pública. Início: 2018. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas, Fundação de Amparo à Pesquisa do Estado de Alagoas. (Orientador).

5.
Victor Rafael Silva de Oliveira. Desenvolvimento de um sistema de prevenção e diagnóstico de doenças utilizando sinais de eletrocardiogramas (ECG). Início: 2018. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas. (Orientador).

6.
Gleyser Bomfim Guimarães. Modelagem e verificação formal de Sistemas físico-cibernéticos. Início: 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande. (Coorientador).

Tese de doutorado
1.
Fabrísia Ferreira de Araújo. Mecanismos Para Percepção, Agrupamento e Acompanhamento de Estudantes em Ambientes Colaborativos de Aprendizagem, Levando-Se em Conta Aspectos Afetivos e de Personalidade. Início: 2015. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande. (Coorientador).

Iniciação científica
1.
Jacques Wolbeck Saraiva de Melo Godoy Amorim. Estudo e implantação do padrão HL7-CDA para troca, integração, compartilhamento e recuperação de informação eletrônica de saúde e documentos clínicos.. Início: 2018. Iniciação científica (Graduando em Engenharia de Computação) - Universidade Federal de Alagoas, Universidade Federal de Alagoas. (Orientador).

2.
Gabriel Fabrício Batista Freire. Estudo e implantação do padrão HL7-CDA para troca, integração, compartilhamento e recuperação de informação eletrônica de saúde e documentos clínicos. Início: 2018. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Alagoas. (Orientador).

3.
Julios Suruagil Lins Rocha. Desenvolvimento de servidor de dados para acompanhamento de doenças crônicas. Início: 2018. Iniciação científica (Graduando em Engenharia de Computação) - Universidade Federal de Alagoas, Universidade Federal de Alagoas. (Orientador).

4.
Wagner Williams Barros Ferreira Filho. Assistente inteligente para auxiliar na prevenção do diabetes tipo 2. Início: 2016. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Alagoas. (Orientador).

5.
Tiago Lima Marinho. Assistente inteligente para auxiliar na prevenção do diabetes tipo 2. Início: 2016. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Alagoas, Universidade Federal de Alagoas. (Orientador).

6.
Mirna de Araújo Costa. Assistente inteligente para auxiliar na prevenção do diabetes tipo 2. Início: 2016. Iniciação científica (Graduando em Medicina) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Thayse Justino Montenegro Falcão. Uma ferramenta de apoio a análise de risco biomecânico de trabalhadores em ambiente informatizado. 2018. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas, . Orientador: Leandro Dias da Silva.

2.
Bruno Roberto Santos. Um Método para Verificação Formal e Dinâmica de Sistemas de Software Concorrentes. 2016. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas, . Orientador: Leandro Dias da Silva.

3.
José Cavalcante Reis Neto. Especificação Formal do Gerenciamento de Risco de Equipamentos Médicos baseado na ISO 14971:2009 utilizando Redes de Petri Coloridas. 2015. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas, . Orientador: Leandro Dias da Silva.

4.
Gilton José Ferreira da Silva. Sistema Móvel Usando Sinais de um ECG Portátil para Homecares. 2015. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas, . Orientador: Leandro Dias da Silva.

5.
Gustavo José Barbosa Silva. Comunicação Ad-hoc para Ambientes de Computação Pervasiva. 2014. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas, . Orientador: Leandro Dias da Silva.

6.
Lucas Vieira de Souza. Infraestrutura para o Desenvolvimento de Aplicações com Suporte a Comercialização de Serviços entre pares em Ambientes Pervasivos. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Leandro Dias da Silva.

7.
Álvaro Álvares de Carvalho César Sobrinho. Suporte ao Auxílio a Saúde Multiplataforma. 2012. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas, . Orientador: Leandro Dias da Silva.

8.
Genildo de Moura Vasconcelos. Verificação automática de programas a partir da monitoração de múltiplas execuções de código. 2012. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Campina Grande, . Orientador: Leandro Dias da Silva.

9.
Leonardo Rodrigues Sampaio. Validação visual de programas Ladder baseada em modelos. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leandro Dias da Silva.

10.
Rodrigo José Sarmento Peixoto. Gungnir - uma ferramenta para geração e execução automática de testes de conformidade utilizando Autômatos Temporizados. 2010. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Leandro Dias da Silva.

11.
Luciano Antônio Calmon Lisbôa. Utilizando Rede de Petri Colorida Hierárquica no Auxílio à Recomposição de Subestações. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Campina Grande, . Orientador: Leandro Dias da Silva.

12.
Marcos Fábio Pereira. Desenvolvimento de um Ambiente para Disponibilização e Execução de Aplicações com Suporte à Evolução Dinâmica não Antecipada. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Leandro Dias da Silva.

13.
Loreno Feitosa de Oliveira. Um Protocolo para Gerência de Handoff em Redes Pessoais Sem Fio para Aplicações de Tempo-Real. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Leandro Dias da Silva.

14.
Kézia de Vasconcelos Oliveira. Geração Automática de Testes de Conformidade para Programas de Controlodares Lógicos Programáveis. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Leandro Dias da Silva.

Tese de doutorado
1.
Leonardo Melo de Medeiros. Uma Abordagem de Monitoramento dos Sinais Motores da Doença de Parkinson Baseada em Jogos Eletrônicos. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Leandro Dias da Silva.

2.
Álvaro Álvares de Carvalho César Sobrinho. Um Metodo para o Desenvolvimento e Certificação de Software de Sistemas Embarcados Baseado em Redes de Petri Coloridas e Casos de Garantia. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Leandro Dias da Silva.

3.
Elthon Allex da Silva Oliveira. Uso de Modelos Formais em Sistemas Pervasivos de Cuidados de Saúde: um Estudo de Caso em Auxílio à Prática de Exercícios Físicos. 2015. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Leandro Dias da Silva.

4.
Kézia de Vasconcelos Oliveira. Testes Baseados em Modelos para Sistemas Intrumentados de Segurança. 2014. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leandro Dias da Silva.

Trabalho de conclusão de curso de graduação
1.
Poliana Vieira Belo da Silva. Casos de teste baseados em modelos formais para aumentar a qualidade de software. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Leandro Dias da Silva.

2.
José Oswaldo Cavalcante da Silva Filho. Toucheweb - Um Ambiente de Aprendizagem Colaborativa para Suporte à M-Learning. 2012. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leandro Dias da Silva.

3.
José Cavalcante Reis Neto. Concepção de um Protocolo para Criação de Salas de Aulas Virtuais Colaborativas como Auxílio ao Processo de Ensino/Aprendizagem. 2012. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leandro Dias da Silva.

4.
Bruno Roberto Santos. Especificação e Validação de Mecanismos de Confiança e Reputação par Computação Pervasiva. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Leandro Dias da Silva.

5.
Thiago Araujo Silva de Oliveira. Um Estudo Sobre o Desenvolvimento de Sistemas Multi-Agentes sob uma Perspectiva de MDA. 2008. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Leandro Dias da Silva.

6.
Francisco Bernar de Almeida Figueiredo. Informatização da SAE: Construção de um Software Preliminar. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado e Licenciatura em Enfermagem) - Universidade Estadual da Paraíba. Orientador: Leandro Dias da Silva.

Iniciação científica
1.
José Carlos Pinheiro Filho. Assistente inteligente para auxiliar na prevenção do diabetes tipo 2. 2016. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Alagoas. Orientador: Leandro Dias da Silva.

2.
Jonathas Lima da Silva. Pesquisa e Desenvolvimento de Sistemas Veiculares. 2015. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Federal de Alagoas, Fundação de Amparo à Pesquisa do Estado de Alagoas. Orientador: Leandro Dias da Silva.

3.
Maria Clara Silva Santana. AUTORIA ASSISTIDA DE CURRÍCULOS MATHEMA COM REDES DE PETRI COLORIDAS. 2015. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Federal de Alagoas, Fundação de Amparo à Pesquisa do Estado de Alagoas. Orientador: Leandro Dias da Silva.

4.
Larissa de Souza Cavalcante. Formalização e Verificação com Redes de Petri Coloridas de Currículos Mathema. 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leandro Dias da Silva.

5.
José Oswaldo Cavalcante da Silva Filho. Computação pervasiva como ferramenta inovadora no processo de ensino/aprendizagem. 2012. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leandro Dias da Silva.

6.
Poliana Vieira Belo da Silva. Especificação e Validação Formais e Desenvolvimento de Aplicações para Dispositivos Móveis. 2012. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leandro Dias da Silva.

7.
Dieges Lima da Silva. Ferramentas Colaborativas para dispositivos móveis de auxílio ao processo de ensino/aprendizagem à distância. 2012. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leandro Dias da Silva.

8.
Daniel San Ferreira da Rocha. Especificação e Validação Formais e Desenvolvimento de Aplicações para Dispositivos Móveis. 2012. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leandro Dias da Silva.

9.
José Cavalcante Reis Neto. Computação Móvel como suporte a Educação à Distância. 2011. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leandro Dias da Silva.

10.
Felipe Carlos Lima dos Santos. Ferramentas Colaborativas para Dispositivos Móveis de Auxílio ao Processo de Eensino/Aprendizagem à Distância. 2011. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leandro Dias da Silva.

11.
Iago Barboza de Souza. Computação pervasiva como ferramenta inovadora no processo de ensino/aprendizagem. 2011. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leandro Dias da Silva.

12.
Sidney Vannucci de Albuquerque Vilaça. Concepção de Ferramentas para Dispositivos Móveis de Auxílio ao Processo de Ensino/Aprendizagem à Distância. 2010. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leandro Dias da Silva.

13.
Maurílio da Silva. Desenvolvimento de Aplicações para Dispositivos Móveis. 2008. Iniciação Científica. (Graduando em Licenciatura em Computação) - Universidade Estadual da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leandro Dias da Silva.

Orientações de outra natureza
1.
Daniel San Ferreira da Rocha. Suporte ao Desenvolvimento de Aplicações para Dispositivos Móveis. 2012. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal de Alagoas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leandro Dias da Silva.

2.
Janara Vieira de Souza. Utilização de Ferramentas de Software para Apoio a Portadores de Necessidades Especiais. 2008. Orientação de outra natureza. (Licenciatura em Computação) - Universidade Estadual da Paraíba. Orientador: Leandro Dias da Silva.



Inovação



Programa de computador sem registro
1.
SOBRINHO, A.A.C.C ; SILVA, L. D. . MultCare: A mobile assistant as a tool to aid early detection of Chronic Kidney Disease. 2012.

2.
PEIXOTO, R. J. S. ; SILVA, L. D. . Touchè: uma ferramenta para criação colaborativa de documentos de hipermídia. 2009.

3.
PEIXOTO, R. J. S. ; SILVA, L. D. . Gungnir. 2010.

4.
MARINHO, T. L. ; FERREIRA FILHO, W. W. B. ; SILVA, L. D. . MeuPreDi. 2018.




Página gerada pelo Sistema Currículo Lattes em 14/12/2018 às 9:00:26