|
Angelo Perkusich possui graduação em Engenharia Elétrica pela Fundação Educacional de Barretos (1982), mestrado em Engenharia Elétrica pela Universidade Federal da Paraíba (1987) e doutorado em Engenharia Elétrica pela Universidade Federal da Paraíba (1994). Atualmente é professor associado da Universidade Federal de Campina Grande. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software e Computação Pervasiva, atuando principalmente nos seguintes temas: redes de petri, engenharia de software, redes de petri coloridas, métodos formais e orientação a objetos.
Última
atualização do currículo em 02/12/2011
Endereço para acessar este CV: http://lattes.cnpq.br/9439858291700830 |
| Nome | Angelo Perkusich |
| Nome em citações bibliográficas | Perkusich, Angelo;Perkusich, A. |
| Sexo | Masculino |
| Endereço profissional | Universidade Federal de Campina Grande, Departamento de Engenharia Elétrica, Laboratório de Sistemas Embarcados e Computação Pervasiva. DEE/CEEI/UFPB Caixa Postal 10105 Bodocongó 58409-970 - Campina Grande, PB - Brasil - Caixa-Postal: 10105 Telefone: (83) 21011692 Fax: (83) 21011015 URL da Homepage: www.dee.ufcg.edu.br/~perkusich |
| 1988 - 1994 | Doutorado em Engenharia Elétrica
.
Universidade Federal da Paraíba, UFPB, Brasil. Título: Análise de Sistemas Complexos Baseada na Decomposição de G-Nets, Ano de Obtenção: 1994. Orientador: ShiKuo Chang e Misael Elias de Morais. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil . Palavras-chave: Métodos Formais; redes de petri; Engenharia de Software; Tolerância a Faltas. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Arquitetura de Sistemas de Computação. Setores de atividade: Informática. |
| 1983 - 1987 | Mestrado em Engenharia Elétrica
.
Universidade Federal da Paraíba, UFPB, Brasil. Título: Contribuição a Implementação de um Sistema Distribuído Verticalmente Hierárquico para Automação e Controle de Processos, Ano de Obtenção: 1987. Orientador: Gurdip Singh Deep. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil . Palavras-chave: Software para Tempo Real; Sistemas Distribuídos; Controle de Processos. Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Arquitetura de Sistemas de Computação. Setores de atividade: Informática. |
| 1978 - 1982 | Graduação em Engenharia Elétrica
.
Fundação Educacional de Barretos, FEB, Brasil. |
| 1996 - 1996 | School On Embedded Systems.
(Carga horária: 40h). European Education Forum. |
| Universidade Federal de Campina Grande, UFCG, Brasil. |
| Vínculo institucional |
| 2002 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado, Carga horária: 40, Regime: Dedicação exclusiva. |
| Atividades |
| 2011 - Atual | Atividades de Participação em Projeto, Laboratório de Sistemas Embarcados e Computação Pervasiva, . |
|
Projetos de pesquisa Desenvolvimento de software para sistemas embarcados compatíveis com a plataforma Android |
| 2010 - Atual | Atividades de Participação em Projeto, Laboratório de Sistemas Embarcados e Computação Pervasiva, . |
|
Projetos de pesquisa Gerenciamento Dinâmico de Energia |
| 12/2005 - Atual | Pesquisa e desenvolvimento , Laboratório de Sistemas Embarcados e Computação Pervasiva, Departamento de Engenharia Elétrica. |
|
Linhas de pesquisa Desenvolvimento de Aplicações Embarcadas e Pervasivas |
| 12/2005 - Atual | Atividades de Participação em Projeto, Laboratório de Sistemas Embarcados e Computação Pervasiva, Departamento de Engenharia Elétrica. |
|
Projetos de pesquisa Sistemas Instrumentados de Segurança |
| 1/2005 - Atual | Atividades de Participação em Projeto, . |
|
Projetos de pesquisa Especificação Formal, Análise e Síntese de Componentes de Software para Sistemas Abertos e Concorrentes Composição Dinâmica de Software para Computação Móvel e Ubíqua |
| 9/2003 - Atual | Pesquisa e desenvolvimento , Departamento de Engenharia Elétrica, Laboratório de Sistemas Embarcados e Computação Pervasiva. |
|
Linhas de pesquisa Desenvovlimento de Software para Aplicaçoes Móveis Embutidas Baseado no Sistema Operacional Symbian e na Paltaforma J2ME |
| 5/2003 - Atual | Direção e administração, Departamento de Engenharia Elétrica, Laboratório de Telemática. |
| Cargo ou função Outro. |
| 4/2003 - Atual | Ensino, Doutorado Em Engenharia Elétrica, Nível: Pós-Graduação. |
| Disciplinas ministradas SIstemas a Eventos Discretos Sistemas em Tempo-Real Redes de Petri de Alto-Nível Informática Industrial Projeto e Pesquisa |
| 3/2003 - Atual | Pesquisa e desenvolvimento , Laboratório de Sistemas Embarcados e Computação Pervasiva, Departamento de Engenharia Elétrica. |
|
Linhas de pesquisa Sistemas Embarcados para Aplicações Móveis |
| 4/2002 - Atual | Pesquisa e desenvolvimento , Laboratório de Sistemas Embarcados e Computação Pervasiva, Departamento de Engenharia Elétrica. |
|
Linhas de pesquisa Redes de Petri de Alto-Nível Bancos de Dados em Tempo-Real Engenharia de Software para Sistemas Multi-Agentes Desenvolvimento Baseado em Componentes |
| 4/2002 - Atual | Ensino, Graduação Em Engenharia Elétrica, Nível: Graduação. |
| Disciplinas ministradas Sistemas a Eventos Discretos Sistemas Embarcados Sistemas em Tempo-Real Redes de Computadores |
| 2/2002 - Atual | Atividades de Participação em Projeto, Departamento de Engenharia Elétrica, Laboratório de Instrumentação e Controle. |
|
Projetos de pesquisa Redes de Sensores Inteligentes |
| 2002 - Atual | Atividades de Participação em Projeto, Laboratório de Sistemas Embarcados e Computação Pervasiva, . |
|
Projetos de pesquisa Desenvolvimentos de Software para Dispositivos Móveis e Embarcados Eólica Forum Nokia Innovation Network |
| 5/1995 - Atual | Ensino, Curso de Mestrado Em Informática, Nível: Pós-Graduação. |
| Disciplinas ministradas Redes de Petri Projeto de Sistemas Multiagentes |
| 2/1987 - Atual | Ensino, Curso de Mestrado Em Informática, Nível: Pós-Graduação. |
| Disciplinas ministradas Redes de Petri Desenvolvimento de Sistemas Multiagentes |
| 2010 - 2011 | Atividades de Participação em Projeto, Laboratório de Sistemas Embarcados e Computação Pervasiva, . |
|
Projetos de pesquisa Capacitação de alunos na tecnologia Bada para o desenvolvimento de software para dispositivos móveis. |
| 2008 - 2009 | Atividades de Participação em Projeto, Laboratório de Sistemas Embarcados e Computação Pervasiva, . |
|
Projetos de pesquisa Utilização de dispositivos móveis para suporte à automação veicular |
| 2006 - 2007 | Atividades de Participação em Projeto, Laboratório de Sistemas Embarcados e Computação Pervasiva, . |
|
Projetos de pesquisa Plataforma de Hardsware e Software Aberta para Monitoração de Transito |
| 2005 - 2007 | Atividades de Participação em Projeto, Laboratório de Sistemas Embarcados e Computação Pervasiva, . |
|
Projetos de pesquisa No Break |
| 3/2003 - 2005 | Atividades de Participação em Projeto, Departamento de Engenharia Elétrica, Laboratório de Telemática. |
|
Projetos de pesquisa Redes de Petri de Alto-Nível: Modelagem, Análise e Verificação de Sistemas de Software |
| 3/1998 - 2005 | Atividades de Participação em Projeto, Departamento de Engenharia Elétrica, Laboratório de Instrumentação e Controle. |
|
Projetos de pesquisa Sistemas de Instrumentação Inteligente |
| 12/2002 - 12/2003 | Atividades de Participação em Projeto, Departamento de Engenharia Elétrica, Laboratório de Telemática. |
|
Projetos de pesquisa Escalonamento e Controle de Concorrência em Bancos de Dados em Tempo-Real |
| 3/2001 - 2/2002 | Atividades de Participação em Projeto, Departamento de Engenharia Elétrica, Laboratório de Telemática. |
| Universidade Federal da Paraíba, UFPB, Brasil. |
| Vínculo institucional |
| 1990 - 2002 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva. |
| Atividades |
| 3/1999 - 3/2002 | Ensino, Bacharelado em Ciência da Computação, Nível: Graduação. |
| Disciplinas ministradas Redes de Petri |
| 3/1999 - 3/2002 | Outras atividades técnico-científicas , Centro de Ciências e Tecnologia - Campus II, Departamento de Engenharia Elétrica. |
|
Atividade realizada Representante do DEE/CCT/UFPB na Rede de Automação, Sub-rede de Manufatura, Grupo de Design, no projeto RECOPE/FINEP. |
| 5/1998 - 3/2002 | Direção e administração, Centro de Ciências e Tecnologia - Campus II, Departamento de Engenharia Elétrica. |
| Cargo ou função Representante do DEE/CCT/UFPB no Colegiado de Mestrado Informática. |
| 1/1998 - 3/2002 | Ensino, Ciência da Computação, Nível: Pós-Graduação. |
| Disciplinas ministradas Projeto em Informática Seminário Aplicação de Redes de Petri a Sistemas Concorrentes |
| 10/1995 - 3/2002 | Direção e administração, Centro de Ciências e Tecnologia - Campus II, Departamento de Engenharia Elétrica. |
| Cargo ou função Coordenador da Comissão de Informática DEE/CCT/UFPB. |
| 10/1995 - 3/2002 | Direção e administração, Centro de Ciências e Tecnologia - Campus II, Departamento de Engenharia Elétrica. |
| Cargo ou função Coordenador do Laboratório de Pós-Graduação e Pesquisa, DEE/CCT/UFPB. |
| 10/1995 - 3/2002 | Serviços técnicos especializados , Centro de Ciências e Tecnologia - Campus II, Departamento de Engenharia Elétrica. |
|
Serviço realizado Gerência da Rede de Computadores do DEE/CCT/UFPB. |
| 10/1994 - 3/2002 | Ensino, Engenharia Elétrica, Nível: Pós-Graduação. |
| Disciplinas ministradas Redes Locais de Computadores Sistemas a Eventos Discretos Gerência de Redes de Computadores Princípios de Programação em Tempo-Real Controle de Processos |
| 9/1994 - 3/2002 | Pesquisa e desenvolvimento , Centro de Ciências e Tecnologia - Campus II, Departamento de Engenharia Elétrica. |
|
Linhas de pesquisa Redes de Petri Computação Pervasiva Sistemas Embarcados Engenharia de Software |
| 5/1990 - 3/2002 | Ensino, Engenharia Elétrica, Nível: Graduação. |
| Disciplinas ministradas Redes de Computadores Sistemas em Tempo-Real TEEE: Linguagem de Programação C Laboratório de Eletrônica Digital Laboratório de Sistemas Digitais Sistemas a Eventos Discretos Microprocessadores |
| 12/2000 - 12/2000 | Extensão universitária , Centro de Ciências e Tecnologia - Campus II, Departamento de Engenharia Elétrica. |
|
Atividade de extensão realizada Interconexão de Redes Computadores,Especialização em Tecnologia da Informação/UFAL. |
| 10/2000 - 10/2000 | Extensão universitária , Centro de Ciências e Tecnologia - Campus II, Departamento de Engenharia Elétrica. |
|
Atividade de extensão realizada Plataformas de Software-Curso de Redes Corporativas/Convênio UFPB/CCT/ECT. |
| 9/2000 - 9/2000 | Extensão universitária , Centro de Ciências e Tecnologia - Campus II, Departamento de Engenharia Elétrica. |
|
Atividade de extensão realizada Sistemas em Tempo Real-Curso de Automação Industrial DEE/CCT/UFPB/Petrobrás. |
| 8/2000 - 8/2000 | Extensão universitária , Centro de Ciências e Tecnologia - Campus II, Departamento de Engenharia Elétrica. |
|
Atividade de extensão realizada Tecnologia em Redes de Computadores-Especialização em Tecnologia da Informação/UFAL. |
| 7/2000 - 7/2000 | Extensão universitária , Centro de Ciências e Tecnologia - Campus II, Departamento de Engenharia Elétrica. |
|
Atividade de extensão realizada XIX Jornada de Atualização em Informática. |
| 5/2000 - 6/2000 | Extensão universitária , Centro de Ciências e Tecnologia - Campus II, Departamento de Engenharia Elétrica. |
|
Atividade de extensão realizada Sistemas Operacionais-Curso de Redes Corporativas/Convênio UFPB/CCT/ECT. |
| 5/2000 - 6/2000 | Extensão universitária , Centro de Ciências e Tecnologia - Campus II, Departamento de Engenharia Elétrica. |
|
Atividade de extensão realizada Redes de Computadores-Curso de Automação Industrial DEE/CCT/UFPB/Petrobrás. |
| 7/1998 - 3/2000 | Direção e administração, Centro de Ciências e Tecnologia - Campus II, Departamento de Sistemas e Computação. |
| Cargo ou função Coordenação do Laboratório de Redes de Petri. |
| 7/1999 - 7/1999 | Extensão universitária , Centro de Ciências e Tecnologia - Campus II, Departamento de Engenharia Elétrica. |
|
Atividade de extensão realizada Tecnologia em Redes de Computadores-Especialização em Tecnologia da Informação/UFAL. |
| 9/1996 - 10/1996 | Extensão universitária , Centro de Ciências e Tecnologia - Campus II, Departamento de Engenharia Elétrica. |
|
Atividade de extensão realizada Redes de Computadores-Curso de Especialização DEE/CCT/UFPB/CHESF. |
| 5/1995 - 6/1995 | Extensão universitária , Centro de Ciências e Tecnologia - Campus II, Departamento de Engenharia Elétrica. |
|
Atividade de extensão realizada Tecnologia TCP-IP - Especialização DEE/CCT/UFPB-Embratel. |
| 10/1990 - 10/1990 | Extensão universitária , Centro de Ciências e Tecnologia - Campus II, Departamento de Engenharia Elétrica. |
|
Atividade de extensão realizada Curso de TCP/IP. |
| Universidade Federal de Pernambuco, UFPE, Brasil. |
| Vínculo institucional |
| 1988 - 1990 | Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Assistente, Carga horária: 40, Regime: Dedicação exclusiva. |
| Atividades |
| 10/1988 - 5/1990 | Pesquisa e desenvolvimento , Centro de Tecnologia, Departamento de Eletrônica e Sistemas. |
|
Linhas de pesquisa Redes de Petri Sistemas de Manufatura Inteligência Artificial |
| 10/1988 - 5/1990 | Ensino, Engenharia Elétrica, Nível: Graduação. |
| Disciplinas ministradas Organização de Computadores Instrumentação Eletrônica Trabalho de Graduação I Trabalho de Graduação II Controle de Processos |
| Calcon Tecnologia S A, CALCON, Brasil. |
| Vínculo institucional |
| 1986 - 1988 | Vínculo: Outro, Enquadramento Funcional: Engenheiro de Desenvolvimento, Carga horária: 40 |
| Atividades |
| 6/1986 - 9/1988 | Pesquisa e desenvolvimento . |
|
Linhas de pesquisa Desenvolvimento de Software Básico Desenvovimento de Hardaware para Controle de Processos |
| 6/1986 - 9/1988 | Serviços técnicos especializados . |
|
Serviço realizado Instalação de Equipamentos para Automação e Controle. |
| 1. | Desenvolvimento de Software Básico |
| 2. | Desenvovimento de Hardaware para Controle de Processos |
| 3. | Redes de Petri |
| 4. | Computação Pervasiva |
| 5. | Sistemas Embarcados |
| 6. | Engenharia de Software |
| 7. | Redes de Petri |
| 8. | Sistemas de Manufatura |
| 9. | Inteligência Artificial |
| 10. | Redes de Petri de Alto-Nível |
| 11. | Bancos de Dados em Tempo-Real |
| 12. | Engenharia de Software para Sistemas Multi-Agentes |
| 13. | Desenvolvimento Baseado em Componentes |
| 14. | Sistemas Embarcados para Aplicações Móveis |
| 15. | Desenvovlimento de Software para Aplicaçoes Móveis Embutidas Baseado no Sistema Operacional Symbian e na Paltaforma J2ME |
| 16. | Desenvolvimento de Aplicações Embarcadas e Pervasivas |
| 2011 - Atual | Desenvolvimento de software para sistemas embarcados compatíveis com a plataforma Android |
| Descrição: Desenvolvimento de software para sistemas embarcados compatíveis com a plataforma Android. Situação: Em andamento; Natureza: Desenvolvimento. Alunos envolvidos: Graduação ( 6) / Especialização ( 1) / Mestrado acadêmico ( 4) . Integrantes: Hyggo Oliveira de Almeida - Integrante / Tiago Massoni - Integrante / Angelo Perkusich - Coordenador. Financiador(es): Compalead Eletrônica do Brasil Indústria e Comércio Ltda - Cooperação.. |
| 2010 - 2011 | Capacitação de alunos na tecnologia Bada para o desenvolvimento de software para dispositivos móveis. |
| Descrição: Capacitação de alunos na tecnologia Bada para o desenvolvimento de software para dispositivos móveis.. Situação: Concluído; Natureza: Desenvolvimento. Alunos envolvidos: Graduação ( 10) . Integrantes: Hyggo Oliveira de Almeida - Integrante / Rohit Gheyi - Integrante / Angelo Perkusich - Coordenador. Financiador(es): Samsung Eletrônica da Amazônia - Cooperação / Samsung Instituto de Desenvolvimento para a Informatica da Amazonia - Auxílio financeiro.. |
| 2010 - Atual | Gerenciamento Dinâmico de Energia |
| Descrição: O objetivo neste projeto é investigar soluções para gerenciamento dinâmico de energia para dispositivos móveis. A ênfase é na utilização de estratégias avançadas para escalonamento de tensão e freqüência de processador ou múltiplos processadores.. Situação: Em andamento; Natureza: Desenvolvimento. Alunos envolvidos: Graduação ( 6) / Mestrado acadêmico ( 2) / Doutorado ( 1) . Integrantes: José Sérgio da Rocha Neto - Integrante / Jaidilson Jó da Silva - Integrante / Saulo Oliveira Dornellas Luiz - Integrante / Hyggo Oliveira de Almeida - Integrante / Antonio Marcus Nogueira Lima - Integrante / Angelo Perkusich - Coordenador. Financiador(es): Positivo Informática S.A. - Cooperação. Número de produções C, T & A: 2. |
| 2009 - 2010 | Eólica |
| Descrição: Utilização de dispositivos móveis para suporte à automação e recuperação de informação em tempo real de fontes de energia eólica.. Situação: Concluído; Natureza: Desenvolvimento. Alunos envolvidos: Graduação ( 5) / Mestrado acadêmico ( 2) . Integrantes: Hyggo Oliveira de Almeida - Integrante / Maurício Beltrão Rossiter - Coordenador / Angelo Perkusich - Integrante. . |
| 2008 - 2009 | Utilização de dispositivos móveis para suporte à automação veicular |
| Descrição: Utilização de dispositivos móveis para suporte à automação veicular com suporte a comunicação em padrão OBDII.. Situação: Concluído; Natureza: Desenvolvimento. Alunos envolvidos: Graduação ( 6) / Mestrado acadêmico ( 2) . Integrantes: José Sérgio da Rocha Neto - Integrante / Marcos Ricardo Alcântara Morais - Integrante / Hyggo Oliveira de Almeida - Integrante / Angelo Perkusich - Coordenador. Financiador(es): Ford Motor Company Brasil - BA - Cooperação.. |
| 2006 - 2007 | Plataforma de Hardsware e Software Aberta para Monitoração de Transito |
| Descrição: Especificação, desenvolvimento e validação de plataforma embarcada baseada em linux para controlar sistemas de transito.. Situação: Concluído; Natureza: Desenvolvimento. Alunos envolvidos: Graduação ( 2) / Mestrado acadêmico ( 3) . Integrantes: Danilo Freire de Souza Santos - Integrante / José Luis Nascimento - Integrante / Olympio Cipriano Silva - Integrante / Angelo Perkusich - Coordenador. Financiador(es): Fotosensores Tecnologia Eletrônica - Cooperação.. |
| 2006 - Atual | Forum Nokia Innovation Network |
| Descrição: Rede Mundial de Inovação do Forum Nokia.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Hyggo Oliveira de Almeida - Integrante / Angelo Perkusich - Coordenador. Financiador(es): Forum Nokia - Cooperação.. |
| 2005 - 2010 | Composição Dinâmica de Software para Computação Móvel e Ubíqua |
| Descrição: Este projeto de pesquisa e desenvolvimento tem como objetivo o desenvolvimento de uma infra-estrutura para composição dinâmica de software, no domínio de computação móvel e ubíqua, baseada em agentes de software. Tal estrutura, a ser implementada como arcabouços na linguagem Java, deve estar de acordo com a especificação de componentes Compor CMS, assim como padrões da indústria, tais como XML, OSGi e UPnP . Metodologia O projeto será desenvolvido no Laboratório de Sistemas Embarcados e Computação Pervasiva da Universidade Federal de Campina Grande (UFCG) e Laboratório de Engenharia de Software da Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio). Estarão envolvidos na equipe pesquisadores, mestrandos e doutorandos das duas instituições. Além da estratégia geral definida acima, a implementação das seguintes ações principais é foco neste projeto: integrar alunos de graduação, mestrandos e doutorandos em engenharia elétrica da UFCG e de informática da PUC-RJ, visando desenvolver habilidades específicas necessárias a tratar com a inerente multi-disciplinaridade associada ao desenvolvimento deste projeto de pesquisa; articular o desenvolvimento das atividades de pesquisa através de seminários e visitas de pesquiadores nas instituições envolvidas; estabelecimento de mecanismos detalhados de acompanhamento do desenvolvimento do projeto através da determinação e verificação de indicadores de andamento das diferentes atividades. Objetivos e Resultados esperados: Desenvolvimento de uma especificação para composição dinâmica baseada em agentes, denominada AMS, com base nos conceitos e entidades definidos na CMS; desenvolvimento de um arcabouço de software, chamado JAF, que implementa a especificação AMS para a composição dinâmica de software baseada em agentes; desenvolvimento de uma aplicação no contexto de comunidades virtuais móveis utilizando o arcabouço e especificação baseada em agentes propostas; publicação de tutoriais e livros nos temas do projeto.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 5) / Mestrado profissionalizante ( 0) / Doutorado ( 3) . Integrantes: Angelo Perkusich - Coordenador. . |
| 2005 - 2010 | Sistemas Instrumentados de Segurança |
| Descrição: Desenvolvimento de software seguro para aplicações industriais no contexto de petróleo e gás natural.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 6) / Especialização ( 0) / Mestrado acadêmico ( 3) / Mestrado profissionalizante ( 0) / Doutorado ( 1) . Integrantes: Kyller Costa Gorgônio - Integrante / Leandro Dias da Silva - Integrante / José Sérgio da Rocha Neto - Integrante / Péricles Resende de Barros - Integrante / Antonio Marcus Nogueira Lima - Integrante / Angelo Perkusich - Coordenador. Financiador(es): Financiadora de Estudos e Projetos - Cooperação / Petróleo Brasileiro - Rio de Janeiro - Matriz - Cooperação. Número de produções C, T & A: 5 / Número de orientações: 1. |
| 2005 - 2007 | No Break |
| Descrição: Solução para monitoramento de no breaks industriais, desde a concepção do projeto da placa de hardware ao software de monitoramento e gerenciamento em tempo real.. Situação: Concluído; Natureza: Desenvolvimento. Alunos envolvidos: Graduação ( 4) / Mestrado acadêmico ( 2) . Integrantes: Edmar Candeia Gurjão - Integrante / José Sérgio da Rocha Neto - Integrante / Marcos Ricardo Alcântara Morais - Integrante / Hyggo Oliveira de Almeida - Integrante / Antonio Marcus Nogueira Lima - Coordenador / Angelo Perkusich - Integrante. Financiador(es): Nhs Sistemas Eletronicos - Cooperação.. |
| 2003 - 2010 | Capacitação para o Desenvolvimento de Aplicações baseadas em J2ME, Symbiam, e nos padrões do Open Mobile Alliance |
| Descrição: Projeto de cooperação técnica e científica entre a Nokia do Brasil e o Departamento de Engenharia Elétrica da UFCG com o objetivo de difundir o conhecimento nas tecnologias J2ME, sistema operacional Symbian, M2M e padrões do OMA. - O foco principal do projeto é estabelecer mecanismos para o desenvolvimento de competências e habilidades para o desenvolvimeto de software para telefones celulares.. Situação: Concluído; Natureza: Desenvolvimento. Alunos envolvidos: Graduação ( 40) / Especialização ( 0) / Mestrado acadêmico ( 2) / Mestrado profissionalizante ( 0) / Doutorado ( 1) . Integrantes: Jorge Cesar Abrantes de Figueiredo - Integrante / Dalton Dario Serey Guerrero - Integrante / José Sérgio da Rocha Neto - Integrante / Péricles Resende de Barros - Integrante / Herman Martins Gomes - Integrante / Marcos Ricardo Alcântara Morais - Integrante / Antonio Marcus Nogueira Lima - Integrante / Angelo Perkusich - Coordenador. Financiador(es): Forum Nokia - Auxílio financeiro / Instittuto Nokia de Tecnologia - Cooperação / Nokia do Brasil Ltda - Cooperação.. |
| 2003 - 2010 | Desenvolvimento de Aplicações Embarcadas e Pervasivas |
| Descrição: O objetivo deste projeto é o desenvolvimento de aplicações embarcadas pervasivas para aplicações multimedia. Neste contexto investigase soluções para a descoberta e disponibilização de serviços e a a evoluçào dinâmica não antecipada de software.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 40) / Especialização ( 0) / Mestrado acadêmico ( 12) / Mestrado profissionalizante ( 0) / Doutorado ( 2) . Integrantes: Dalton Dario Serey Guerrero - Integrante / José Sérgio da Rocha Neto - Integrante / Péricles Resende de Barros - Integrante / Hyggo Oliveira de Almeida - Integrante / Antonio Marcus Nogueira Lima - Integrante / Angelo Perkusich - Coordenador. Financiador(es): Forum Nokia - Auxílio financeiro / Instittuto Nokia de Tecnologia - Cooperação / Nokia do Brasil Ltda - Cooperação. Número de produções C, T & A: 30 / Número de orientações: 15. |
| 2003 - 2007 | Projeto Wireless: Automação de Procedimentos em Unidades de Petróleo e Gás |
| Descrição: No contexto deste projeto o objetivo é investigar estratégias e soluções tecnológicas, com base em dispositivos embarcados móveis sem fio, aplicáveis a cadeia produtiva de petróleo e gás natural. O foco é o desenvolvimento de um sistema para aumentar o nível de controle e segurança dos procedimentos executados manualmente. O sistema se insere na área de automação de procedimentos, monitoração e controle do fluxo de trabalho. O sistema deverá disponibilizar funcionalidades que possibilitem sua integração
com sistemas de supervisão e controle de processos. Tal integração se dará por meio de interfaces padronizadas de modo que as aplicações clientes possam interagir com um aplicativo servidor para acesso a recursos do sistema supervisório corporativo.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 6) / Especialização ( 0) / Mestrado acadêmico ( 6) / Mestrado profissionalizante ( 0) / Doutorado ( 1) . Integrantes: Maria de Fátima Queiroz Vieira Turnell - Integrante / José Sérgio da Rocha Neto - Integrante / Péricles Resende de Barros - Integrante / Angelo Perkusich - Coordenador. Financiador(es): Petróleo Brasileiro - Rio de Janeiro - Matriz - Cooperação. Número de produções C, T & A: 6. |
| 2003 - 2005 | Redes de Petri de Alto-Nível: Modelagem, Análise e Verificação de Sistemas de Software |
| Descrição: O foco neste projeto é a especificação formal de modelos de software para sistemas abertos e sistemas embarcados bem como a definição de um arcabouço para a especificação, análise, síntese e integração de modelos de redes de Petri e sua aplicação no contexto de componentes de software para sistemas abertos, e sua aplicação ao domínio de sistemas de software. Neste projeto de pesquisa busca-se investigar métodos formais como redes de Petri, Lógica Temporal e Teoria de Controle Supervisório para especificar o comportamento de componentes de software bem como de seu supervisor, o qual restringe o comportamento de um componente com base em restrições definidas pelo projetista. Deste modo, investigaremos como o conjunto das técnicas e ferramentas supracitadas, juntamente com um procedimento que estruture o seu uso.
. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 4) / Mestrado profissionalizante ( 0) / Doutorado ( 4) . Integrantes: Maria Lígia Barbosa Perkusich - Integrante / Denis Hipólito de Araújo - Integrante / Edmar Candeia Gurjão - Integrante / Leandro Dias da Silva - Integrante / Cicília Raquel Maia Leite - Integrante / Hyggo Oliveira de Almeida - Integrante / Evandro de Barros Costa - Integrante / Angelo Perkusich - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Número de produções C, T & A: 26 / Número de orientações: 3. |
| 2002 - 2003 | Escalonamento e Controle de Concorrência em Bancos de Dados em Tempo-Real |
| Descrição: Ne projeto investiga-se a aplicação de redes de Petri Coloridas como suporte para um método para modelagem de bancos de dados em tempo real (BDTR). Neste método, além da definição de um conjunto sistemático de procedimentos para obter o modelo conceitual de um BDTR, considera-se mecanismos para introdução e formalização de restriçõeses lógicas e temporais e a formalização do tratamento da execução concorrente de transações.
. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 3) / Mestrado profissionalizante ( 0) / Doutorado ( 1) . Integrantes: Maria Lígia Barbosa Perkusich - Coordenador / Pedro Fernandes Ribeiro Neto - Integrante / Cicília Raquel Maia Leite - Integrante / Angelo Perkusich - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Número de produções C, T & A: 5. |
| 2002 - Atual | Redes de Sensores Inteligentes |
| Descrição: A tecnologia de sensores está sendo revolucionada pelo uso das técnicas de microeletrônica, pois além da integração do circuito de detecção, pode-se também incluir a conversão do sinal de analógico para digital, auto-calibração, processamento local das informações adquiridas e subsistema de comunicação do sensor com o sistema de controle e/ou supervisão do processo. Com este objetivo pretende-se: Estimular a criação e a consolidação de grupos de pesquisa na área de instrumentação eletrônica, mais especificamente em aquisição e tratamento de sinais em Redes de Sensores/Atuadores Inteligentes e Instrumentação Inteligente. Apoiar a realização de pesquisas conjuntas em Redes de Sensores/Atuadores Inteligentes e Instrumentação Inteligente, utilizando os recursos humanos e materiais existentes na UFPB, UFRN e UFPE. Estabelecer a competência das equipes participantes sobre o tema em questão, com a implementação de uma rede de sensores/atuadores inteligentes, na qual os sensores/atuadores devem ser desenvolvidos pela rede. Elaborar material bibliográfico (apostilas e livros) sobre o assunto, para ser usado nos cursos de treinamento de recursos humanos, em cursos de graduação ou cursos de pós-graduação e na realização de dissertações de mestrado e/ou teses de doutorado sobre o tema em questão.
. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 2) / Mestrado profissionalizante ( 0) / Doutorado ( 2) . Integrantes: José Sérgio da Rocha Neto - Coordenador / Angelo Perkusich - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.. |
| 2002 - Atual | Desenvolvimentos de Software para Dispositivos Móveis e Embarcados |
| Descrição: O foco neste projeto e a capacitação de recurso humanos e no desenvolvimentos de software para dispositivos móveis e embarcados. Situação: Em andamento; Natureza: Desenvolvimento. Alunos envolvidos: Graduação ( 10) / Mestrado acadêmico ( 2) . Integrantes: Hyggo Oliveira de Almeida - Integrante / Angelo Perkusich - Coordenador. . |
| 2001 - 2002 | Especificação Formal, Análise e Síntese de Componentes de Software para Sistemas Abertos e Concorrentes |
| Descrição: O objetivo neste projeto de pesquisa é estabelecer métodos e técnicas para a formalização da especificação de sistemas de software baseado em componentes. O foco são os istemas abertos e concorrentes.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 3) / Mestrado profissionalizante ( 0) / Doutorado ( 2) . Integrantes: Angelo Perkusich - Coordenador. . |
| 1998 - 2005 | Sistemas de Instrumentação Inteligente |
| Descrição: O foco deste projeto é o desenvolvimento de novas concepções de instrumentação inteligente e suas aplicações na monitoração, diagnose, detecção e compensação de falhas em sistemas de acionamento. O projeto é sub-dividido em dois sub-projetos. O primeiro sub-projeto (Sub-Projeto I) é intitulado Instrumentação Eletrônica Inteligente e trata da concepção de novos métodos e técnicas para maximizar o desempenho e a flexibilidade dos sistemas de instrumentação através do uso intensivo de microeletrônica. Os objetivos principais desse projeto são: definição de uma arquitetura genérica de sensor inteligente ; definição de campos de aplicação e o estudo dos transdutores e atuadores associados; estudo da possibilidade de realização; desenvolvimento de circuitos reconfiguráveis analógicos ou mistos de interface, concepção, estudo da testabilidade, validação de protótipos de circuitos integrados e de circuitos desenvolvidos em FPGA e FPAA; e, aplicação das técnicas acima na monitoração, diagnose e detecção e compensação de falhas em sistemas de acionamento com máquinas elétricas. O segundo sub-projeto (Sub-Projeto II) é intitulado Monitoração, Diagnose e Detecção de Falhas em Sistemas de Acionamento e trata da investigação de estratégias para aumentar a confiabilidade dos sistemas de acionamento. O objetivo principal deste sub-projeto é a monitoração, diagnose e deteção incipiente e compensação de falha em sistemas de acionamento estático de máquinas com e sem comutação suave, com uma abordagem de instrumentação eletrônica inteligente. Os principais aspectos a serem considerados são: Estudo, definição e desenvolvimento de modelos para sistemas de acionamento com máquinas para diagnose e deteção incipiente de falha através da utilização de Modelos eletromagnético Modelos elétricos equivalentes Redes neurais Modelos para conversores estáticos Modelos espectrais Informações adicionais provida pelo aumento do número de sensores usuais e incorporação
. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 12) / Especialização ( 0) / Mestrado acadêmico ( 10) / Mestrado profissionalizante ( 0) / Doutorado ( 10) . Integrantes: Gurdip Singh Deep - Integrante / Maria de Fátima Queiroz Vieira Turnell - Integrante / Denis Hipólito de Araújo - Integrante / Leandro Dias da Silva - Integrante / José Sérgio da Rocha Neto - Integrante / Péricles Resende de Barros - Integrante / Edison Roberto Cabral - Integrante / Cursino Brandão Jacobina - Integrante / Antonio Marcus Nogueira Lima - Coordenador / Angelo Perkusich - Integrante. Financiador(es): Ministério da Ciência e Tecnologia - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Número de produções C, T & A: 24. |
| 2010 - Atual | Periódico: I.E.E.E. Transactions on Computers (Print) |
| 2000 - Atual | Periódico: Controle & Automação (Impresso) |
| 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: 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. |
| 3. | 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 Industrial. |
| 4. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação /
Especialidade: Métodos Formais. |
| 5. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação /
Especialidade: Computação Pervasiva. |
| Inglês | Compreende Bem, Fala Bem, Lê Bem, Escreve Bem. |
| Espanhol | Compreende Bem, Fala Pouco, Lê Bem, Escreve Pouco. |
| Francês | Compreende Pouco, Fala Pouco, Lê Razoavelmente, Escreve Pouco. |
| 2011 | Forum Nokia Champion, Forum Nokia. |
| 2010 | Forum Nokia Champion, Forum Nokia. |
| 2009 | Forum Nokia Champion, Forum Nokia. |
| 2008 | Forum Nokia Champion, Forum Nokia. |
| 2007 | Reconhecimento Forum Nokia, Forum Nokia. |
| 2007 | Forum Nokia Champion, Forum Nokia. |
| 2007 | Menção Honrosa 16o. Congresso SAE - melhor artigo em Tecnologia da Informação, SAE Brasil. |
| 1990 | Prêmio de Informática, SUCESO-PE. |
| Produção bibliográfica |
| Artigos completos publicados em periódicos |
| 1. | Sales, Thiago ; Sales, Leandro ; Almeida, Hyggo ; Perkusich, Angelo . A UPnP extension for enabling user authentication and authorization in pervasive systems. Journal of the Brazilian Computer Society (Impresso) , v. 16, p. 261-277, 2010. |
| 2. | Luiz, Saulo Oliveira Dornellas ; Perkusich, Angelo ; Lima, Antonio Marcus Nogueira . Multi-size Sliding Window in Workload Estimation for Dynamic Power Management. I.E.E.E. Transactions on Computers (Print) , v. 59, p. 1625-1639, 2010. |
| 3. | Sausen, Paulo Sérgio ; Spohn, Marco Aurélio ; Perkusich, Angelo . Broadcast Routing in Wireless Sensor Networks with Dynamic Power Management and Multi-Coverage Backbones. Information Sciences , v. 180, p. 653-663, 2009. |
| 4. | Sausen, Paulo Sérgio ; Souza, José Renato de Brito ; Sphon, Marco Aurélio ; Perkusich, Angelo ; Lima, Antonio Marcus Nogueira . Dynamic Power Management with Scheduled Switching Modes. Computer Communications , v. 31, p. 3625-3637, 2008. |
| 5. | Sousa, José Renato de Brito ; Sausen, Paulo Sérgio ; Lima, Antonio Marcus Nogueira ; Perkusich, Angelo . Redes de petri híbridas diferenciais: aplicação na modelagem e no gerenciamento dinâmico de energia de redes de sensores sem fio. SBA. Sociedade Brasileira de Automática , v. 18, p. 278-291, 2007. |
| 6. | Oliveira, Loreno ; Sales, Leandro ; Loureiro, Emerson ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Filling the gap between mobile and service-oriented computing: issues for evolving mobile computing towards wired infrastructures and vice versa. International Journal of Web and Grid Services , v. 2, p. 355, 2006. |
| 7. | SIlva, L. da ; PERKUSICH, A . Composition of software artifacts modelled using Colored Petri nets. Science of Computer Programming , Holanda, v. 56, n. 1-2, p. 171-189, 2005. |
| 8. | Almeida, Hyggo Oliveira de ; Perkusich, Angelo ; Costa, Evandro de Barros ; Paes, Rodrigo de Barros . COMPOR: a Methodology, a Component Model, a Component based Framework and Tools to Build Multiagent Systems. CLEI Electronic Journal , v. 7, n. 1, p. paper-1, 2004. |
| 9. | Almeida, Hyggo Oliveira de ; Perkusich, Angelo ; Costa, Evandro de Barros . An Infrastructure for Building Component Based Multiagent Intelligent Tutoring Systems. Revista Tecnologia da Informação , Brasília/DF, v. 4, n. 1, p. 9-16, 2004. |
| 10. | Almeida, Hyggo Oliveira de ; Costa, Evandro de Barros ; Perkusich, Angelo . An Infrastructure for Building Component Based Multiagent Intelligent Tutoring Systems. Revista Tecnologia da Informação , v. 4, n. 1, p. 9-16, 2004. |
| 11. | Ferreira, Glauber Vinícius Ventura de Melo ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo ; Costa, Evandro de Barros . Especificação e Implementação de Protocolos de Interação entre Agentes para a Plataforma COMPOR. INFOCOMP (UFLA) , Lavras, MG, Brasil, v. 3, n. 2, p. 1-7, 2004. |
| 12. | Figueiredo, Jorge Cesar Abrantes de ; Perkusich, Angelo . G-Nets: A Petri Net Based Approach for Logical and Timing Analysis of Complex Software Systems. Journal of Systems and Software , Elsevier, v. 39, n. 1, p. 39-59, 1997. |
| 13. | Barros, Tomaz Carvalho de ; Perkusich, Angelo ; Figueiredo, Jorge Cesar Abrantes de . A Fault Tolerant Coloured Petri Net Model For Flexible Manufacturing Systems. Journal of the Brazilian Computer Society , v. 2, n. 4, p. 16-30, 1997. |
| 14. | Perkusich, Angelo ; Perkusich, Maria Lígia Barbosa ; Chang, Shi Kuo . Object Oriented Design, Modular Analysis and Fault-Tolerance of Real-Time Control Software. International Journal on Software Engineering and Knowlege Engineering, World Scientific Publishing, v. 6, n. 3, p. 447-476, 1996. |
| 15. | Figueiredo, Jorge Cesar Abrantes de ; Perkusich, Angelo . Faults and Timing Analysis in Real-Time Distributed Systems: A Fuzzy Time Net-Based Approach. Fuzzy Sets and Systems , Elsevier, v. 83, p. 143-168, 1996. |
| 16. | Perkusich, Angelo ; Figueiredo, Jorge Cesar Abrantes de . A Petri Net Based Approach to Model Objects for aTrack-Vehicle System. Journal of Computing and Information, Ontario, Canada, v. 1, n. 1, p. 931-955, 1995. |
| 17. | Figueiredo, Jorge Cesar Abrantes de ; Perkusich, Angelo . Fault Tolerance in Real Time Distributed Systems using Petri Net Extension. Journal of Computing and Information, Ontario, Canada, v. 1, n. 1, p. 436-460, 1995. |
| 18. | Perkusich, Angelo ; Figueiredo, Jorge Cesar Abrantes de ; Chang, Shi Kuo . Embedding Fault-Tolerant Properties In The Design Of Complex Systems. Journal of Systems and Software , Elsevier, v. 25, n. 2, p. 23-37, 1994. |
| 19. | Perkusich, Angelo ; Deng, Yi ; Figueiredo, Jorge Cesar Abrantes de ; Chang, Shi Kuo . Integrating software engineering methods and petri nets for the specification and prototyping of complex software systems. Lecture Notes in Computer Science , v. 691, p. 206-223, 1993. |
| 20. | Perkusich, Angelo ; Deep, Gurdip Singh ; Varani, Márcio Luiz . Amplificador de ECG Com Chaveamento Eletronico : Aplicacao A Um Sistema de Aquisicao e Analise.. Revista Brasileira de Engenharia, v. 6, n. 2, p. 298-305, 1989. |
| 21. | Deep, Gurdip Singh ; Rabello, Eliana Bontempo ; Cavalcanti, José Homero Feitosa ; Perkusich, Angelo . Microcomputer Based Data Acquisition SystemfFor Transient Studies in Hidrology.. IEEE TRANSACTIONS ON INSTRUMENTION MEASUREMENT, v. IM-36, n. 4, p. 940-944, 1987. |
| Capítulos de livros publicados |
| 1. | Perkusich, Angelo ; Gorgônio, Kyller Costa ; Almeida, Hyggo Oliveira de . Qt Apps and Native Symbian Extensions. In: Frank H. P. Fitzek, Tommi Mikkonen, Tony Torp. (Org.). Qt For Symbian. 1 ed. Chichester: John Wiley & Sons, 2010, v. , p. 95-116. |
| 2. | Oliveira, Kézia Vasconcelos de ; Gorgônio, Kyller Costa ; Perkusich, Angelo ; Lima, Antonio Marcus Nogueira ; Silva, Leandro Dias da . Automatic Timed Automata Extraction from Ladder Programs for Model-Based Analysis of Control Systems. In: Haralambos Mouratidis. (Org.). Software Engineering for Secure Systems: Industrial and Research Perspectives. Hershey: IGI Global, 2010, v. 1, p. 305-328. |
| 3. | Oliveira, Elthon Allex da Silva ; Almeida, Hyggo Oliveira de ; Silva, Leandro Dias da ; Barbosa, Nadia Milena ; Bublitz, Frederico Moreira ; Perkusich, Angelo . Formal Modeling and Verification of Virtual Community Systems. In: Goran D. Putnik; Maria Manuela Cunha. (Org.). Encyclopedia of Networked and Virtual Organizations. Hershey, PA, EUA: Information Science Reference, 2008, v. I, p. 614-620. |
| 4. | Silva, Leandro Dias da ; Gorgônio, Kyller Costa ; Perkusich, Angelo . Petri Nets for Component-based Software Systems Development. In: Vedran Kordic. (Org.). Petri Net: Theory and Application. Viena: I-Tech Education and Publishing, 2008, v. 1, p. 471-496. |
| 5. | Sausen, Paulo Sérgio ; Sphon, Marco Aurélio ; Souza, José Renato de Brito ; Perkusich, Angelo ; Lima, Antonio Marcus Nogueira . Simulation of Mobile Ad Hoc Networks Based on a Realistic Battery Model. In: Alvin C. Harper; Rayhmod V. Bures. (Org.). Mobile Telephones: Networks, Applications, and Performance. 229 ed. Hauppauge, USA: Nova Science Publishers, 2008, v. 1, p. -221. |
| 6. | Loureiro Filho, Emerson Cavalcante ; Oliveira, Loreno Feitosa de ; Bublitz, Frederico Moreira ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . A Software Engineering Perspective on Ubiquitous Computing Systems. In: Yin-Leng Theng, Henry Duh. (Org.). Ubiquitous Computing: Design, Implementation, and Usability. Information Science Reference: Hershey, PA, USA, 2008, v. 1, p. 174-181. |
| 7. | Loureiro Filho, Emerson Cavalcante ; Ferreira, Glauber Vinícius Ventura de Melo ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Pervasive Computing: What is it Anyway?. In: Miltiadis D. Lytras; Ambjörn Naeve. (Org.). Ubiquitous and Pervasive Knowledge and Learning Management: Semantics, Social Networking and New Media to their Full Potential. Hershey, PA, USA,: Idea Group Inc., 2007, v. 1, p. 1-34. |
| 8. | Oliveira, Juliano ; Xavier, Rodrigo ; Barbosa, Luis Paulo ; Gomes, Yuri de Carvalho ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Wireless Access Control using Bluetooth. In: David Taniar. (Org.). Encyclopedia of Mobile Computing & Commerce. Hershey, PA, EUA: Information Science Reference, 2007, v. 2, p. 1011-1014. |
| 9. | Santos, Danilo Freire de Souza ; Nascimento, José Luis ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Interactive Multimedia File Sharing using Bluetooth.. In: David Taniar. (Org.). Encyclopedia of Mobile Computing & Commerce. Hershey, PA, EUA: Information Science Reference, 2007, v. 1, p. 341-344. |
| 10. | Marques, Stefânia ; Souto, Sabrina ; Queiroga, Miguel ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Using Mobile Devices to Manage Traffic Infractions. In: David Tainar. (Org.). Encyclopedia of Mobile Computing & Commerce. Hershey, PA, EUA: Information Science Reference, 2007, v. 2, p. 978-980. |
| 11. | Guedes, Ádrian ; Rocha, Jerônimo ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Enabling Mobile Chat Using Bluetooth. In: David Taniar. (Org.). Encyclopedia of Mobile Computing & Commerce. Hershey, PA, EUA: Information Science Reference, 2007, v. 1, p. 249-252. |
| 12. | Oliveira, Loreno Feitosa de ; Loureiro Filho, Emerson Cavalcante ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Bridging Together Mobile and Service Oriented Computing.. In: David Taniar. (Org.). Encyclopedia of Mobile Computing & Commerce. Hershey, PA, EUA: Information Science Reference, 2007, v. 1, p. 71-77. |
| 13. | Loureiro Filho, Emerson Cavalcante ; Bublitz, Frederico Moreira ; Oliveira, Loreno Feitosa de ; Barbosa, Nadia Milena ; Perkusich, Angelo ; Almeida, Hyggo Oliveira de ; Ferreira, Glauber Vinícius Ventura de Melo . Service Provision for Pervasive Computing Environments. In: David Tainar. (Org.). Encyclopedia of Mobile Computing & Commerce. Hershey, PA, EUA: Information Science Reference, 2007, v. 2, p. 877-884. |
| 14. | Silva, Leandro Dias da ; Oliveira, Elthon Allex da Silva ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems. In: Xuan Zha. (Org.). Artificial Intelligence and Integrated Intelligent Information Systems: Emerging Technologies and Applications. Hershey, PA, USA: Idea Group Publishing, 2007, v. , p. 287-302. |
| 15. | Ferreira, Glauber Vinícius Ventura de Melo ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo ; Costa, Evandro de Barros . Mobile Virtual Communities. In: Goran D. Putnik; Maria Manuela Cunha. (Org.). Encyclopedia of Networked and Virtual Organizations. Hershey, PA, EUA: Information Science Reference, 2007, v. 1, p. 944-999. |
| 16. | Oliveira, Loreno Feitosa de ; Loureiro Filho, Emerson Cavalcante ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Mobile Users in Smart Spaces. In: David Taniar. (Org.). Encyclopedia of Mobile Computing and Commerce. Hershey, PA, EUA: Information Science Reference, 2007, v. 2, p. 621-626. |
| 17. | Herbster, Raul Fernandes ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Using Mobile Devices for Electronic Commerce. In: David Taniar. (Org.). Encyclopedia of Mobile Computing & Commerce. Hershey, PA, EUA: Information Science Reference, 2007, v. 2, p. 974-977. |
| 18. | Herbster, Raul Fernandes ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo ; Morais, Marcos Ricardo Alcântara . Enabling Multimedia Applications in Memory Limited Mobile Devices. In: David Taniar. (Org.). Encyclopedia of Mobile Computing & Commerce. Hershey, PA, EUA: Information Science Reference, 2007, v. 1, p. 260-264. |
| 19. | Bublitz, Frederico Moreira ; Loureiro Filho, Emerson Cavalcante ; Almeida, Hyggo Oliveira de ; Costa, Evandro de Barros ; Perkusich, Angelo . Context-Awareness in Pervasive Environments: An Overview. In: Goran D. Putnik; Maria Manuela Cunha. (Org.). Encyclopedia of Networked and Virtual Organizations. Hershey, PA, EUA: Information Science Reference, 2007, v. 1, p. 331-336. |
| 20. | Oliveira, Loreno Feitosa de ; Loureiro Filho, Emerson Cavalcante ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Pervasive and Grid Computing Merging. In: Goran D. Putnik; Maria Manuela Cunha. (Org.). Encyclopedia of Networked and Virtual Organizations. Hershey, PA, EUA: Information Science Reference, 2007, v. 1, p. 1223-1229. |
| 21. | Perkusich, Angelo ; Lima, Antonio Marcus Nogueira . Redes de Petri. In: Luis Antonio Aguirre. (Org.). Enciclopédia de Automática - Vol. 1. São Paulo: Edgard Blucher, 2007, v. 1, p. 313-332. |
| 22. | Herbster, Raul Fernandes ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Using Mobile Devices for Electronic Commerce (republished). In: S. Ann Becker. (Org.). Electronic Commerce: Concepts, Methodologies Tools, and Applications. 917 ed. Hershey, PA, EUA: Information Science Reference, 2007, v. 1, p. -913. |
| 23. | Ferreira, Glauber Vinícius Ventura de Melo ; Almeida, Hyggo Oliveira de ; Loureiro Filho, Emerson Cavalcante ; Silva, Leandro Dias da ; Perkusich, Angelo . 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, Information Science, 2006, v. 1, p. 28-54. |
| 24. | Ribeiro Neto, Pedro Fernandes ; Almeida, Hyggo Oliveira de ; Perkusich, Maria Lígia Barbosa ; Perkusich, Angelo . A Formal Verification and Validation Approach for Real-Time Databases. In: Aristides Dasso; Ana Funes. (Org.). Verification, Validation and Testing in Software Engineering. Hershey, PA, USA: Idea Group Publishing, Information Science, IRM Press, 2006, v. 1, p. 111-135. |
| 25. | Silva, Leandro Dias da ; Perkusich, Angelo . A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Coloured Petri Nets. In: C. Atkinson; C. Bunse; H.-G. Gross; C. Peper. (Org.). Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends. Berlin: Springer, 2005, v. 3778, p. 35-58. |
| 26. | Almeida, Hyggo Oliveira de ; Silva, Leandro Dias da ; Perkusich, Angelo ; Costa, Evandro de Barros . 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; Alexander Romanovsky. (Org.). Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications. Berlin: Springer-Verlag GmBH, 2005, v. 3390, p. 162-179. |
| 27. | Guerrero, Dalton Dario Serey ; Figueiredo, Jorge Cesar Abrantes de ; Perkusich, Angelo . An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment.
In:
Gul A.Agha; Fiorella De Cindio; Grzegorz Rozenberg.
(Org.). Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets. Berlin:
Springer,
2001, v. 2001, p. 338-354. |
| 28. | Scaico, Alexandre ; Souza, Marckson de ; Turnell, Maria de Fátima Queiroz Vieira ; Perkusich, Angelo . User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis. In: C. Johnson. (Org.). Revised Papers from 8th International Workshop, DSV-IS 2001.. Berlim: Springer, 2001, v. 2220, p. 69-87. |
| 29. | Barroso, Giovanni Cordeiro ; Lima, Antonio Marcus Nogueira ; Perkusich, Angelo . Transition Enabling Petri nets to Supervisory Control Theory. In: Luis M. Camarinha-Matos; Hamideh Afsarmanesh. (Org.). Balanced Automation Systems: Architecture and Design Methods. London: Chapman & Hall, 1995, v. 1, p. 55-62. |
| Textos em jornais de notícias/revistas |
| 1. | Sales, Leandro de Melo ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Smart Controlling with Qt BRisa UPnP Framework. Smart Developer - Mobile Programming and Solutions, Estados Unidos, p. 42 - 51, 10 dez. 2010. |
| 2. | Sales, Leandro de Melo ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Coding for Maemo devices with Qt: Cute Possibilities. Linux Magazine, Estados Unidos, Canadá, Europa, p. 29 - 35, 18 dez. 2009. |
| 3. | Sales, Marcello ; Sales, Leandro de Melo ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Rede Plug and Play. Linux Magazine Brasil, Brasil, p. 70 - 77, 07 out. 2009. |
| 4. | Sales, Thiago Melo de ; Sales, Leandro de Melo ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Pesquisadores desenvolvem a casa inteligente em Campina Grande. Jornal da Paraíba, Paraíba, Brasil, p. 15 - 16, 02 ago. 2009. |
| 5. | Sales, Leandro de Melo ; Perkusich, Angelo ; Almeida, Hyggo Oliveira de ; Dieb, André ; Sales, Thiago Melo de ; Sales, Marcello ; Nascimento, José Luis . Exploring the Universal Plug and Play Architecture: Custom Connections. Linux Magazine, Alemanha, p. 50 - 56, 01 dez. 2008. |
| 6. | Sales, Leandro de Melo ; Perkusich, Angelo ; Carvalho de Melo, Arnaldo ; Xavier, Erivaldo ; Coutinho, Felipe ; Almeida, Hyggo Oliveira de ; Sales, Marcello ; Santos, Thiago . Desenvolvimento de aplicativos multimídia com DCCP. Desenvolvimento de aplicativos multimídia com DCCP (republicado em português)., Brasil, p. 68 - 76, 01 dez. 2008. |
| 7. | Sales, Leandro de Melo ; Carvalho de Melo, Arnaldo ; Perkusich, Angelo ; Almeida, Hyggo Oliveira de ; Sales, Marcello ; Santos, Thiago ; Xavier, Erivaldo ; Coutinho, Felipe . Developing Multimedia Applications with DCCP.. Linux Magazine, Alemanha, p. 56 - 62, 10 ago. 2008. |
| Trabalhos completos publicados em anais de congressos |
| 2. | Santos, Daniel ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Infraestrutura para o Desenvolvimento de Aplicaçãos Pervasivas Cientes de Redes Sociais. In: XXIX Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2011, Campo Grande, MS. Anais do SBRC 2011. Porto Alegre, RS : SBC, 2011. v. 1. p. 501-514. |
| 3. | Sales, Thiago Melo de ; Sales, Leandro de Melo ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . BRisa: Um Arcabouço para o Desenvolvimento de Aplicações Baseadas no Padrão UPnP. In: XXIX Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2011, Campo Grande - Mato Grosso. Sessão de Ferramentas. Porto Alegre, RS : Sociedade Brasileira de Computação, 2011. v. 1. p. 973-980. |
| 4. | Sales, Leandro de Melo ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Multimedia Content Distribution of Real Time Controlled and Non-reliable Datagrams Between Peers. In: 2nd IEEE Workshop on Multimedia Communications & Services, 2011, Houston, USA. Porc. of 2nd IEEE Workshop on Multimedi. Piscatway, USA : IEEE Communications Society, 2011. p. no prelo. |
| 5. | Luiz, Saulo Oliveira Dornellas ; Lima, Antonio Marcus Nogueira ; Perkusich, Angelo . Adaptive Control for Power Management. In: 9th IEEE International Conference on Control & Automation, 2011. Proc. of IEEE ICCA 11. Piscatway, NY : IEEE Control Systems Society. v. 1. p. no prelo. |
| 6. | Oliveira, Elthon Allex da Silva ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo ; Martins, Aldenor Falcão . Obtaining Formal Models from Ladder Diagrams. In: IEEE 9th International Conference on Industrial Informatics, 2011, Lisboa, Portugal. Proc. of INDIN 2011. Piscatway, NY : IEEE Insdustrial Electronics Society, 2011. v. 1. p. 796-801. |
| 8. | Luiz, Saulo Oliveira Dornellas ; Perkusich, Angelo ; Lima, Antonio Marcus Nogueira ; Silva, Jaidilson Jó da ; Almeida, Hyggo Oliveira de ; Silva, Gustavo Riesemberg Bastos . Identification and Control for Processor Power Management. In: 2012 IEEE International Conference on Consumer Electronics (ICCE), 2011, Las Vegas, NV (LAS). Proceedings of ICCE 2011. Piscatway, NY : IEEE Consumer Eletcronics Society, 2012. v. 1. p. no prelo. |
| 9. | Oliveira, Elthon Allex da Silva ; Silva, Leandro Dias da ; Gorgônio, Kyller Costa ; Perkusich, Angelo ; Lima, Antonio Marcus Nogueira . Convertendo Diagramas Ladder em Modelos de Redes de Petri Coloridas. In: X Simpósio Brasileiro de Automação Inteligente, 2011, São João del-Rei, MG. Anais do X SBAI. São Paulo, SP : Sociedade Brasileira de Automática, 2011. v. 1. p. 1382-1387. |
| 10. | Oliveira, Kézia Vasconcelos de ; Perkusich, Angelo ; Lima, Antonio Marcus Nogueira ; Gorgônio, Kyller Costa ; Silva, Leandro Dias da . Standard-based Formal Validation of Programmable Logic Controller Programs. In: IEEE-ICIT 2010 International Conference on Industrial Technology, 2010, Vina del Mar, Chile. Proceedings of IEEE-ICIT 2010 International Conference on Industrial Technology, 2010. v. 1. p. 1635-1640. |
| 11. | Rached, Taciana Saad ; Santos, Danilo Freire de Souza ; Perkusich, Angelo ; Almeida, Hyggo Oliveira de ; Holanda, Maurus . Controlling Interactive Digital Television Applications by Brain-Computer Interface. In: 8th European Conference on Interactive TV and Video, 2010, Tampere. Proceedings of Euroitv 2010. Tampere, Finland : Tampere University of Technology, 2010. v. 1. p. 71-74. |
| 12. | Luiz, Saulo Oliveira Dornellas ; Lima, Antonio Marcus Nogueira ; Perkusich, Angelo . Stochastic Learning-based Weak Estimation for Dynamic Power Management. In: XVIII Congresso Brasileiro de Automática, 2010, Bonito, MS. Anais do CBA 2010. Porto Alegre, RS : Sociedade Brasileira de Automática, 2010. v. 1. p. 2113-2120. |
| 13. | Sá, Jadsonlee da Silva ; Lima, Antonio Marcus Nogueira ; Perkusich, Angelo ; Rocha Neto, José Sérgio da . Análise dos tempos de resposta fim a fim de sistemas de controle via rede baseado na técnica de verificação de modelos. In: XVIII Congresso Brasileiro de Automática, 2010, Bonito, MS. Anais do CBA 2010. Porto Alegre, RS : Sociedade Brasileira de Automática, 2010. v. 1. p. 4793-4800. |
| 14. | Oliveira, Kézia Vasconcelos de ; Silva, Leandro Dias da ; Perkusich, Angelo ; Gorgônio, Kyller Costa . Geração Automática de Testes de Conformidade para Programas de Controladores Lógicos Programáveis. In: XVIII Congresso Brasileiro de Automática, 2010, Bonito, MS. Anais do CBA 2010. Porto Alegre, RS : Sociedade Brasileira de Automática, 2010. v. 1. p. 2995-3001. |
| 15. | Peixoto, Rodrigo José Sarmento ; Perkusich, Angelo ; Silva, Leandro Dias da ; Lima, Antonio Marcus Nogueira ; Gorgônio, Kyller Costa . GUNGNIR - uma ferramenta para geração e execução de testes de conformidade utilizando autômatos temporizados. In: XVIII Congresso Brasileiro de Automática, 2010, Bonito, MS. Anais do CBA 2010. Porto Alegre, RS : Sociedade Brasileira de Automática, 2010. v. 1. p. 3211-3216. |
| 16. | Rached, Taciana Saad ; Santos, Danilo Freire de Souza ; Perkusich, Angelo ; Almeida, Hyggo Oliveira de ; Holanda, Maurus . BCI-Aware Pervasive Multimedia for Motor Disabled People. In: International Conference on Information Society, 2010, Londres, Inglaterra. Proceedings of i-Society 2010. Piscatway, USA : IEEE Computer Society, 2010. v. 1. p. 1-8. |
| 17. | Maia, Lorena F. ; Santos, Danilo Freire de Souza ; Perkusich, Angelo ; Almeida, Hyggo Oliveira de . MoMPt Tools: Enabling HTPCs Access Using UPnP and Web Services. In: 2009 IEEE International Conference on Consumer Electronics, 2009, Las Vegas. Proceedings of ICCE 2008. Piscatway : IEEE, 2009. v. 1. p. paper 4.1-2. |
| 18. | Lima, Mateus A. M. ; Santos Júnior, Gutemberg G. ; Morais, Marcos Ricardo Alcântara ; Gorgônio, Kyller Costa ; Perkusich, Angelo . Clevermote - Adaptive Environments Using Bluetooth/Infrared Tranceivers. In: IEEE International Conference on Consumer Electronics, 2009, Las Vegas. Proceedings of IEEE ICCE 2009. Piscatway : IEEE Consumer Electronics Society, 2009. v. 1. p. paper P.2.19. |
| 19. | Luiz, Saulo Oliveira Dornellas ; Lima, Antonio Marcus Nogueira ; Perkusich, Angelo . Workload Estimation for Power Management. In: IEEE International Conference on Consumer Electronics, 2009, Las Vegas. Proceedings of ICCE 2009. Piscatway : IEEE Consumer Electronics Society, 2009. v. 1. p. paper 7.4-2. |
| 20. | Maia, Lorena F. ; Santos, Danilo Freire de Souza ; Souza, Ricardo S. ; Perkusich, Angelo ; Almeida, Hyggo Oliveira de . Seamless access of home theater personal computers for mobile devices. In: 24th Annual ACM Symposium on Applied Computing, 2009, Honolulu.
Proceedings of the 2009 ACM symposium on Applied Computing. New York, NY, USA :
ACM, 2009. v. 1. p. 167-171. |
| 21. | Sales, Thiago Melo de ; Sales, Leandro de Melo ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Towards to UPnP-UP: Developing Context-Aware UPnP Applications. In: Simpósio Brasileira de Computação Ubíqua e Pervasiva, 2009, Bento Gonçalves. Anais do Simpósio Brasileira de Computação Ubíqua e Pervasiva. Porto Alegre : Sociedade Brasileira de Computação, 2009. v. 1. p. 1-12. |
| 22. | Sales, Leandro de Melo ; Almeida, Hyggo Oliveira de ; Carvalho de Melo, Arnaldo ; Perkusich, Angelo . Step two in DCCP adoption: The Libraries. In: 11th Linux Symposium, 2009, Montreal. Proceedings of the 11th Linux Symposium. Montreal : Linux Symposium, 2009. v. 1. p. 239-250. |
| 23. | Luiz, Saulo Oliveira Dornellas ; Lima, Antonio Marcus Nogueira ; Perkusich, Angelo . Modeling, Estimation and Control for Power Management in Embedded Systems. In: th Brazilian Conference on Dynamics, Control and Applications, 2009, Bauru. Proceedings of DINCON'09, 2009. v. 1. p. 1-30. |
| 24. | Sales, Thiago Melo de ; Sales, Leandro de Melo ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Enabling User Authentication and Authorization to Support Context-Aware UPnP Applications. In: Simpósio Brasileiro de Sistemas Multimídia e Web, 2009, Fortaleza. Anais do WebMedia 2009. Porto Alegre : Sociedade Brasileira de Computação,, 2009. v. 1. p. 1-12. |
| 25. | Guedes, Ádrian ; Santos, Danilo Freire de Souza ; Nascimento, José Luis ; Sales, Leandro de Melo ; Perkusich, Angelo ; Almeida, Hyggo Oliveira de . BRisa UPnP A/V Framework. In: 26th IEEE International Conference on Consumer Electronics, 2008, Las Vegas. Proceedings of the 26th IEEE International Conference on Consumer Electronics, ICCE 2008,. Piscatway : IEEE Consumer Electronics Society, 2008. v. 1. p. P4-21-1-P4-21-2. |
| 26. | Gorgônio, Uian Sol ; Cunha, Henza R. ; Luiz, Saulo Oliveira Dornellas ; Perkusich, Angelo ; Morais, Marcos Ricardo Alcântara ; Lima, Antonio Marcus Nogueira . Application Profiling in a Dual-Core Platform. In: 26th IEEE International Conference on Consumer Electronics, 2008, Las Vegas. Proceedings of the 26th IEEE International Conference on Consumer Electronics, ICCE 2008. Piscatway : IEEE Consumer Electronics Society, 2008. v. 1. p. 11.1-1-1-11.1-1-2. |
| 27. | Santos Júnior, Gutemberg G. ; Lima, Mateus A. M. ; Guerra Filho, Walter Onofre ; Perkusich, Angelo ; Morais, Marcos Ricardo Alcântara ; Lima, Antonio Marcus Nogueira . A Fast and Memory Efficient Huffman Decoding Method for the MPEG-4 AAC Standard. In: 26th IEEE International Conference on Consumer Electronics, 2008, Las Vegas. Proceedings of the 26th IEEE International Conference on Consumer Electronics, ICCE 2008. Piscatway : IEEE Consumer Electronics Society, 2008. v. 1. p. 7.1-2-1-7.1-2-2. |
| 28. | Sales, Leandro de Melo ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo ; Sales, Marcello . An Experimental Evaluation of DCCP Transport Protocol: A Focus on the Fairness and Hand-off over 802.11g Networks. In: 5th IEEE Consumer Communications and Networking Conference, (CCNC 2008), 2008, Las Vegas.
Proc. of the 5th IEEE Consumer Communications and Networking Conference, (CCNC 2008). Piscatway :
IEEE Communication Society, 2008. v. 1. p. 1149-1153. |
| 29. | Guedes, Ádrian ; Santos, Danilo Freire de Souza ; Sales, Leandro de Melo ; Perkusich, Angelo ; Almeida, Hyggo Oliveira de . Set your Multimedia Application Free with BRisa Framework: An Open Source UPnP Implementation for Resource Limited Devices. In: 5th IEEE Consumer Communications and Networking Conference, 2008 (CCNC 2008), 2008, Las Vegas.
5th IEEE Consumer Communications and Networking Conference, 2008 (CCNC 2008). Piscatway :
IEEE Communication Society, 2008. v. 1. p. 10-12. |
| 30. | Sales, Leandro de Melo ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . On the Performance of TCP, UDP and DCCP over 802.11g Networks. In: 23rd ACM Symposium on Applied Computing, 2008, Fortaleza, CE, Brazil. Proceedings of the SAC 2008. New York : ACM, 2008. v. 1. p. 2074-2076. |
| 31. | Luiz, Saulo Oliveira Dornellas ; Vasconcelos, Genildo de Moura ; Perkusich, Angelo ; Silva, Leandro Dias da ; Lima, Antonio Marcus Nogueira . Formal Specification of DSP Gateway for Data Transmission Between Processor Cores of OMAP Platform. In: 23rd ACM Symposium on Applied Computing Fortaleza, 2008, Fortaleza, CE. Proceedings of the SAC 2008. New York : ACM, 2008. v. 1. p. 1545-1549. |
| 32. | Rodrigues, Andre Felipe Rodrigues ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . A C++ Environment for Dynamic Unanticipated Software Evolution. In: 23rd ACM Symposium on Applied Computing, 2008, Fortaleza, CE. Proceedings of the SAC 2008. New York : ACM, 2008. v. 1. p. 815-819. |
| 33. | Oliveira, Loreno Feitosa de ; Silva, Leandro Dias da ; Gorgônio, Kyller Costa ; Perkusich, Angelo . Pitfalls and tradeoffs on dealing with handoff management in bluetooth-based WPANs for real-time applications. In: 13th IEEE Symposium on Computers and Communications, 2008, Marrakech, Morocco.
Proceedings of ISCC'08. Piscatway :
IEEE, 2008. v. 1. p. 631-636. |
| 34. | Sausen, Paulo Sérgio ; Sphon, Marco Aurélio ; Perkusich, Angelo . Gerenciamento Dinâmico de Energia com Desligamento Escalonado Aplicado ao Blind Flooding em Redes de Sensores. In: 26º Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2008, Rio de Janeiro, Brasil. Anais do SBRC'2008. Porto Alegre : Sociedade Brasileira de Computaçao, 2008. v. 1. p. 763-776. |
| 35. | Herbster, Raul Fernandes ; Alves, Paulo Rômulo ; Nogueira, Carolina ; Macedo, Márcio ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . ESbox: uma Ferramenta para o Desenvolvimento de Aplicações para Linux Embarcado. In: IX Workshop de Software Livre (WSL 2008), 9o. Fórum Internacional de Software Livre, 2008, Porto Alegre, RS. Anais do IX Workshop de Software Livre. Porto Alegre : Sociedade Brasileira de Computação, 2008. v. 1. p. 191-198. |
| 36. | Falcão, Miguel ; Hora, André ; Dantas, Emanuel ; Hozano, Mário ; Wolf, Luciano ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Easy: uma API baseada em Python para facilitar o desenvolvimento de aplicações para a plataforma Maemo. In: IX Workshop de Software Livre (WSL 2008), 9o. Fórum Internacional de Software Livre, 2008, Porto Alegre, RS. Anais do IX Workshop de Software Livre. Porto Alegre : Sociedade Brasileira de Computaçao, 2008. v. 1. p. 177-182. |
| 37. | Sales, Leandro de Melo ; Nascimento, José Luis ; C. Júnior, Francisco ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo ; Chencarek, Renato . Uma Implementação de Código Aberto do Padrão UPnP de Áudio/Video/Imagem para Dispositivos com Recursos Limitados. In: IX Workshop de Software Livre (WSL 2008), 9o. Fórum Internacional de Software Livre, 2008, Porto Alegre, RS. Anais do IX Workshop de Software Livre. Porto Alegre : Sociedade Brasileira de Computação, 2008. v. 1. p. 217-222. |
| 38. | Sales, Leandro de Melo ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo ; Carvalho de Melo, Arnaldo . Measuring DCCP for Linux against TCP and UDP With Wireless Mobile Devices. In: 2008 Linux Symposium, 2008, Ottawa, Canada. Proceedinds of the 2008 Linux Symposium, 2008. v. 2. p. 163-177. |
| 39. | Santos, Danilo Freire de Souza ; Perkusich, Angelo . A Location and Bandwitdh Aware P2P Video on Demand System for Mobile Devices. In: WINSYS 2008, The International Conference on Wireless Information Networks and Systems, 2008, Porto, Portugal. Proceedings of WINSYS 2008, The International Conference on Wireless Information Networks and Systems, 2008. v. 1. p. 249-252. |
| 40. | Almeida, Hyggo Oliveira de ; Pereira, Marcos Fábio ; Perkusich, Angelo ; Loureiro Filho, Emerson Cavalcante ; Costa, Evandro de Barros . Developing Enterprise Applications with Support to Dynamic Unanticipated Evolution. In: The 20th International Conference on Software Engineering and Knowledge Engineering, 2008, Redwood City. Proceedings of The 20th International Conference on Software Engineering and Knowledge Engineering, SEKE 2008. Skokie, IL : Knowledge Systems Institute Graduate School. v. 1. p. 599-602. |
| 41. | Silva, Olympio Cipriano ; Santos, Danilo Freire de Souza ; Perkusich, Angelo ; Loureiro Filho, Emerson Cavalcante ; Almeida, Hyggo Oliveira de . Wings4Symbian: A Pervasive Computing Middleware for Symbian OS Mobile Devices. In: The 20th International Conference on Software Engineering and Knowledge Engineering, 2008, Redwood City. Proceedings of The 20th International Conference on Software Engineering and Knowledge Engineering, SEKE 2008. Skokie, IL : Knowledge Systems Institute Graduate School, 2008. v. 1. p. 887-892. |
| 42. | Sausen, Paulo Sérgio ; Sphon, Marco Aurélio ; Perkusich, Angelo . Broadcast routing in Wireless Sensor Networks with Dynamic Power Management. In: 13th IEEE Symposium on Computers and Communications, 2008, Marrakech, Morocco.
Proceedings of ISCC'08. Piscatway :
IEEE Communication Society, 2008. v. 1. p. 1090-1095. |
| 43. | Silva, Leandro Dias da ; Barbosa, Luis Paulo ; Gorgônio, Kyller Costa ; Perkusich, Angelo ; Lima, Antonio Marcus Nogueira . On the Automatic Generation of Timed Automata. In: 34th Annual Conference of the IEEE Industrial Electronics, 2008, Orlando, USA. Proceedings of The 34th Annual Conference of the IEEE Industrial Electronics, IECON 2008. Piscatway : IEEE Industrial Electronics Society, 2008. v. 1. p. 291-296. |
| 44. | Sausen, Paulo Sérgio ; Sphon, Marco Aurélio ; Perkusich, Angelo . Energy Efficient Blind Flooding in Wireless Sensors Networks. In: 34th Annual Conference of the IEEE Industrial Electronics, 2008, Orlando, USA. Proceedings of The 34th Annual Conference of the IEEE Industrial Electronics, IECON 2008. Piscatway : IEEE Industrial Electronics Society, 2008. v. 1. p. 1737-1741. |
| 45. | Sausen, Paulo Sérgio ; Sphon, Marco Aurélio ; Perkusich, Angelo ; Campos, Maurício de ; Salvadori, Fabiano . Applying Dynamic Power Management with Mode Switching in Wireless Sensor Networks. In: 34th Annual Conference of the IEEE Industrial Electronics, 2008, Orlando, USA. Proceedings of The 34th Annual Conference of the IEEE Industrial Electronics, IECON 2008. Piscatway : IEEE Industrial Electronics Society, 2008. v. 1. p. 1713-1717. |
| 46. | Leite, Cicília Raquel Maia ; Ribeiro Neto, Pedro Fernandes ; Perkusich, Maria Lígia Barbosa ; Perkusich, Angelo ; Mendes Neto, Francisco Milton Mendes ; Paillard, Antoine Louis Gabriel . Linguagem de Consulta para Sistemas com Restrições de Tempo-Real Estrita. In: 2008 Euro American Conference on Telematics and Information Systems, 2008, Aracajú, Brasil. Proceeedings of EATIS 2008. New York : Association for Computing Machinery, Inc, 2008. v. 1. p. 1-10. |
| 47. | Ribeiro Neto, Pedro Fernandes ; Perkusich, Maria Lígia Barbosa ; Perkusich, Angelo ; Mendes Neto, Francisco Milton Mendes ; Paillard, Antoine Louis Gabriel . Gerenciamento de QoS para Banco de Dados em Tempo-Real em Sistemas Embarcados. In: 2008 Euro American Conference on Telematics and Information Systems, 2008, Aracajú, Brasil. Proceeedings of EATIS 2008, ID 261. New York : Association for Computing Machinery, Inc, 2008. p. 1-8. |
| 48. | Hora, André ; Hozano, Mário ; Dantas, Emanuel ; Falcão, Miguel ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Using easy API to develop multimedia applications for maemo platform. In: 2008 Euro American Conference on Telematics and Information Systems, 2008, Aracajú, Brasil.
Proceeedings of EATIS 2008. New York :
Association for Computing Machinery, Inc, 2008. v. 1. p. 11-20. |
| 49. | Sales, Thiago Melo de ; Sales, Leandro de Melo ; Pereira, Marcos Fábio ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo ; Gorgônio, Kyller Costa ; Sales, Marcello . Towards the UPnP-UP: Enabling User Profile to Support Customized Services in UPnP Networks. In: The Second International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, 2008, Valência, Espanha.
Proceedings of UBICOMM 2008. Piscatway :
IEEE Computer Society, 2008. v. 1. p. 206-211. |
| 50. | Silva, Leandro Dias da ; Barbosa, Luiz Paulo ; Gorgônio, Kyller Costa ; Perkusich, Angelo ; Lima, Antonio Marcus Nogueira . 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. |
| 51. | Luiz, Saulo Oliveira Dornellas ; Perkusich, Angelo ; Lima, Antonio Marcus Nogueira ; Gorgônio, Kyller Costa . Técnica de gerenciamento dinâmico de energia orientada à autonomia da bateria para sistemas embarcados. 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. |
| 52. | Silva, Leandro Dias da ; Gorgônio, Kyller Costa ; Oliveira, Loreno Feitosa de ; Rodrigues, Andre Felipe Rodrigues ; Perkusich, Angelo . 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, Croatia.
Proceedings of Softcom 2008. Piscatway :
IEEE Communication Society, 2008. v. 1. p. 179-183. |
| 54. | Oliveira, Elthon Allex da Silva ; Almeida, Hyggo Oliveira de ; Silva, Leandro Dias da ; Perkusich, Angelo . Formal Modelling and Verification of a Software Component Model using Coloured Petri Nets and Model Checking. In: 22nd Annual ACM Symposium on Applied Computing (ACM SAC'07), 2007, Seoul.
Proceedings of 22nd Annual ACM Symposium on Applied Computing, 2007. v. 2. p. 1427-1431. |
| 55. | Camila Nunes ; Souza Júnior, Marcílio Ferreira de ; Bittencourt, Ig ; Almeida, Hyggo Oliveira de ; Ferreira, Glauber Vinícius Ventura de Melo ; Perkusich, Angelo ; Costa, Evandro de Barros . Applying a Component-Based Framework to Develop Multi-Agent Environments: Case Study. In: 22nd Annual ACM Symposium on Applied Computing (ACM SAC'07), 2007, Seoul.
Proceedings of 22nd Annual ACM Symposium on Applied Computing, 2007. v. 1. p. 37-41. |
| 56. | Silva, Alan ; Alencar Neto, José ; Bittencourt, Ig ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo ; Costa, Evandro de Barros . A Computation Environment for Automated Negotiation: A Case Study in Electronic Tourism. In: 22nd Annual ACM Symposium on Applied Computing (ACM SAC'07), 2007, Seoul.
Proceedings of 22nd Annual ACM Symposium on Applied Computing, 2007. v. 1. p. 654-658. |
| 57. | Sausen, Paulo Sérgio ; Sphon, Marco Aurélio ; Lima, Antonio Marcus Nogueira ; Perkusich, Angelo . Bounded-Distance Multi-Coverage Backbones in Wireless Sensor Networks. In: 22nd Annual ACM Symposium on Applied Computing (ACM SAC'07), 2007, Seoul.
Proceedings of 22nd Annual ACM Symposium on Applied Computing, 2007. v. 1. p. 203-208. |
| 58. | Santos, Danilo Freire de Souza ; Souto, Sabrina ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Uma arquitetura de IPTV para DVB-H em Linux. In: Congresso de Redes e Telecom (NetCom'07), 2007, São Paulo. Anais do Congresso de Redes e Telecom (NetCom'07), 2007. p. 235-244. |
| 59. | Rodrigues, Andre Felipe Rodrigues ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . A C++ Framework for Developing Component Based Software Supporting Dynamic Unanticipated Evolution. In: The Nineteenth International Conference on Software Engineering and Knowledge Engineering, 2007, Boston. Proceedinds of The Nineteenth International Conference on Software Engineering and Knowledge Engineering. Chicago : Knowledge Systems Institute Graduate School, 2007. v. 1. p. 326-331. |
| 60. | Sausen, Paulo Sérgio ; Souza, José Renato de Brito ; Sphon, Marco Aurélio ; Perkusich, Angelo ; Lima, Antonio Marcus Nogueira . Exploring the Switching Energy Effect in a Dynamic Power Management Technique for Wireless Sensor Networks. In: 33rd IEEE Industrial Electronics Society (IECON'07), 2007, Taipei.
Proceedings of 33rd IEEE Industrial Electronics Society. Piscatway :
IEEE Industrial Electronics Society, 2007. v. 1. p. 2260-2265. |
| 61. | Barbosa, Luiz Paulo ; Gorgônio, Kyller Costa ; Lima, Antonio Marcus Nogueira ; Silva, Leandro Dias da ; Perkusich, Angelo . 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, Grécia. Proceedings of 12th IEEE Conference on Emerging Technologies and Factory Automation. Piscatway : IEEE Industrial Electronics Society, 2007. v. 1. p. 406-412. |
| 62. | Sausen, Paulo Sérgio ; Souza, José Renato de Brito ; Sphon, Marco Aurélio ; Lima, Antonio Marcus Nogueira ; Perkusich, Angelo . Dynamic Power Management with Scheduled Switching Modes in Wireless Sensor Networks. In: 14th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), 2007, Istambul, Turquia. Proceedings of 14th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Piscatway : IEEE Computer Society, 2007. v. 1. p. 1-8. |
| 63. | Vasconcelos, Genildo de Moura ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . An Architecture for the Simulation of Pervasive Applications for Automobiles. In: XVI Congresso e Exposição Internacionais de Tecnologia da Mobilidade SAE BRASIL 2007, Artigo 2007-01-2911, 2007, São Paulo. Anais SAE Brasil 2007. São Paulo : SAE Brasil, 2007. v. 1. p. 1-12. |
| 64. | Santos, Danilo Freire de Souza ; Nascimento, José Luis ; Silva, Olympio Cipriano ; Perkusich, Angelo . Wireless Network Topologies for Voice Over the Internet Protocol and Data Applications in Industrial Environments. In: VII Conferência Internacional de Aplicações Industriais, 2006, Recife. Proceedings of IEEE Induscon 2006, 2006. v. 1. p. 257-262. |
| 65. | Sá, Jadsonlee da Silva ; Vasconcelos, Genildo de Moura ; Silva, Jaidilson Jó da ; Rocha Neto, José Sérgio da ; Perkusich, Angelo . A Distributed Control System Architecture Based on the ASI and CAN Protocols . In: VII Conferência Iinternacional de Aplicações Industriais,, 2006, Recife. Proceedings of IEEE Induscon 2006, 2006. v. 1. p. 71-77. |
| 66. | SIlva, Alfranque da ; Leite, Cicília Raquel Maia ; Perkusich, Angelo ; Perkusich, Maria Lígia Barbosa ; Lima, Antonio Marcus Nogueira ; Barros, Péricles Resende de . Application of a Real Time Query Language for Smart Transducer Networks Based on IEEE1451.1 and IEEE 1451.2 Standards. In: VII Conferência Iinternacional de Aplicações Industriais, 2006, Recife. IEEE Induscon 2006, 2006. v. 1. p. 345-350. |
| 67. | Loureiro Filho, Emerson Cavalcante ; Almeida, Hyggo Oliveira de ; Ferreira, Glauber Vinícius Ventura de Melo ; Perkusich, Angelo . A Flexible Middleware for Service Provision Over Heterogeneous Pervasive Networks. In: 7th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, 2006, Niagara-Falls/Buffalo, NY, USA.
Proceedings of WoWMoM 2006. Los Alamitos, CA :
IEEE Computer Society Press, 2006. v. 1. p. 609-614. |
| 68. | Herbster, Raul Fernandes ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo ; Guerrero, Dalton Dario Serey . Integrating Open Source Tools for Developing Embedded Linux Applications. In: 7º Fórum Internacional Software Livre, VII Workshop de Software Livre, International Track, 2006, Porto Alegre. Anais do VII Workshop de Software Livre, 2006. p. 229-236. |
| 69. | Santos, Danilo Freire de Souza ; Silva, Olympio Cipriano ; Nascimento, José Luis ; Perkusich, Angelo . Deployment of a Wireless Hybrid and Mobile Network for VoIP Services Based on Open Source Software. In: 7º Fórum Internacional Software Livre, VII Workshop de Software Livre, International Track, 2006, Proto Alegre. Anais do VII Workshop de Software Livre, 2006. v. 1. p. 211-220. |
| 70. | Santos, Danilo Freire de Souza ; Souto, Sabrina ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Uma Arquitetura de IPTV Utilizando Software Livre. In: 7º Fórum Internacional Software Livre , VII Workshop de Software Livre, Trilha Nacional, 2006, Porto Alegre. Anais do VII Workshop de Software Livre, 2006. v. 1. p. 87-92. |
| 71. | Gomes, Yuri de Carvalho ; Bezerra, Diego Márcio Oliveira ; Silva, Joelma ; Santos, Danilo Freire de Souza ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Desenvolvimento de um Software Livre de Videophone baseado em VoIP. In: 7º Fórum Internacional Software Livre , VII Workshop de Software Livre, Trilha Nacional, 2006, Porto Alegre. Anais VII Workshop de Software Livre, 2006. v. 1. p. 229-236. |
| 72. | Almeida, Hyggo Oliveira de ; Perkusich, Angelo ; Morais, Marcos Ricardo Alcântara ; Lima, Antonio Marcus Nogueira . A Training Program for Mobile Technology: the First Year of the Embedded Academy Project. In: Methods, Materials and Tools for Programming Education, 2006, Tampere, FInland. Proceedings of MMTP'2006, 2006. v. 1. p. 71-76. |
| 73. | Almeida, Hyggo Oliveira de ; Loureiro Filho, Emerson Cavalcante ; Ferreira, Glauber Vinícius Ventura de Melo ; Oliveira, Loreno Feitosa de ; Perkusich, Angelo ; Paes, Rodrigo de Barros . A Component Based Model to Develop Software Supporting Dynamic Unanticipated Evolution. In: XX Simpósio Brasileiro de Engenharia de Software, 2006, Florianópolis, SC. Anais do XX Simpósio Brasileiro de Engenharia de Software. Florianópolis, SC, Brasil : Sociedade Braileira de Computação, 2006. v. 1. p. 145-160. |
| 74. | Almeida, Hyggo Oliveira de ; Ferreira, Glauber Vinícius Ventura de Melo ; Loureiro Filho, Emerson Cavalcante ; Perkusich, Angelo ; Costa, Evandro de Barros . A Component Model to Support Dynamic Unanticipated Software Evolution. In: Eighnteen International Conference on Software Engineering and Knowledge Engineering (SEKE'06), 2006, San Francisco, CA. Proceedinds of The Eighnteen International Conference on Software Engineering and Knowledge Engineering, 2006. v. 18. p. 262-267. |
| 75. | Freitas, Rodrigo Choji de ; Turnell, Maria de Fátima Queiroz Vieira ; Perkusich, Angelo ; Xavier, Christophe . Mecanismo Para Visualización y Comunicación Bidireccional Entre Modelos Redes de Petri Coloreadas y Modelos em Realidad Virtual. In: 4th International Conference of the Faculty of Electrical Engineering, 2006, Santiago de Cuba. Anais do FIE'06, 2006. v. 1. |
| 76. | Freitas, Rodrigo Choji de ; Turnell, Maria de Fátima Queiroz Vieira ; Perkusich, Angelo ; Xavier, Christophe . Representando a IHM de uma Subestação Através de Modelos Formais e Realidade Virtual. In: Simpósio Brasileiro de Sistemas Elétricos 2006, 2006, Campoina Grande. Anais do SBSE'06, 2006. v. 1. p. 325-330. |
| 77. | Perkusich, Angelo ; Barbosa, Nadia Milena . Estudo Empírico Comparativo de Modelos de Componentes para o Desenvolvimento de Software com Suporte à Evolução Dinâmica e não Antecipada. In: XX Simpósio Brasileiro de Engenharia de Software, X1 Workshop de Teses em Eengenharia de Software, 2006, Florianópolis, SC, Brasil. Anais do WTES 2006. Florianópolis, SC : Sociedade Braileira de Computação, 2006. v. 1. p. 31-36. |
| 78. | Santos, Danilo Freire de Souza ; Nascimento, José Luis ; Silva, Olympio Cipriano ; Perkusich, Angelo . Evaluation of Wireless Links in a Hybrid Network Structure for Mobile Voip Services. In: 2006 International Telecommunications Symposium, 2006, Fortaleza, Brazil. Proceedings of the 2006 International Telecommunications Symposium. Los Alamitos, USA : IEEE Communications Society, 2006. v. 1. p. 298-303. |
| 79. | Souza, José Renato de Brito ; Sausen, Paulo Sérgio ; Lima, Antonio Marcus Nogueira ; Perkusich, Angelo . Modelagem do Consumo de Energia de um Nó Sensor utilizando Redes de Petri Híbridas Diferenciais. In: XVI Congresso Brasileiro de Automática, 2006, Salvador, BA. Anais do CBA 2006, 2006. p. 1109-1114. |
| 80. | Luiz, Saulo Oliveira Dornellas ; Santana, Jayarama Sundar ; Vasconcelos, Genildo de Moura ; Perkusich, Angelo ; Lima, Antonio Marcus Nogueira ; Morais, Marcos Ricardo Alcântara . A Methodology to Deploy Applications on the Dual-core OMAP Platform . In: XII Congresso Brasileiro de Automática, 2006, Salvador, BA, Brasil. Anais do CBA 2006, 2006. p. 3260-3265. |
| 81. | Carvalho, Gustavo Robichez de ; Almeida, Hyggo Oliveira de ; Gatti, Maíra ; Ferreira, Glauber Vinícius Ventura de Melo ; Paes, Rodrigo de Barros ; Perkusich, Angelo ; Lucena, Carlos José Pereira de . Dynamic Law Evolution in Governance Mechanisms for Open Multi-Agent Systems. In: Second Workshop on Software Engineering for Agent-oriented Systems, 2006, Florianópolis, SC. Proceedinds of SEAS'2006. Florianópolis, SC, Brasil : Sociedade Braileira de Computação, 2006. v. 1. p. 83-94. |
| 82. | Silva, Olympio Cipriano ; Santos, Danilo Freire de Souza ; Nascimento, José Luis ; Berger, Marcus ; Accioly, George ; Perkusich, Angelo ; Barros, Péricles Resende de . Análise de Segurança da Comunicação no Padrão OPC. In: 6o. Congresso Internacional de AUtomação, Sistemas e Instrumentação, 2006, São Paulo, SP, Brasil. Anais COngresso ISA 2006, 2006. v. 1. p. 1-10. |
| 83. | Silva, Leandro Dias da ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo . Model Checking Plans for Flexible Manufacturing Systems. In: 16th World Congress International Federation of Automatic Control, 2005, Praga. Proceeding of the 16th World Congress International Federation of Automatic Control, 2005. v. 1. p. 1-6. |
| 84. | Almeida, Hyggo Oliveira de ; Oliveira, Elthon Allex da Silva ; Silva, Leandro Dias da ; Perkusich, Angelo . A Formal Approach for Component Based Embedded Software Modelling and Analysis. In: ISIE'2005, 2005, Dubrovnik. IEEE International Symposium on Industrial Electronics, 2005. v. 4. p. 1337-1342. |
| 85. | Leite, Cicília Raquel Maia ; Fernandes, Yáskara Ygara Menescal ; Ribeiro Neto, Pedro Fernandes ; Perkusich, Maria Lígia Barbosa ; Perkusich, Angelo . QL-RTDB: Query Language for Real-Time Databases. In: 7th International Conference on Enterprise Information Systems, 2005, Miami. ICEIS'05, 2005. v. 1. p. 420-423. |
| 86. | Sausen, Paulo Sérgio ; Ribeiro Neto, Pedro Fernandes ; Perkusich, Angelo ; Lima, Antonio Marcus Nogueira ; Salvadori, Fabiano . Modelling, Verification and Validation of the IEEE 802.15.4 for Wireless Networks. In: 3rd International Workshop on Modeling, Simulation, Verification, and Validation of Enterprise Information Systems, 2005, Miami. Modelling, Simulation, 2005. v. 1. p. 49-57. |
| 87. | Almeida, Hyggo Oliveira de ; Costa, Evandro de Barros ; Perkusich, Angelo . Desenvolvimento de Software para Sistemas Multiagentes. In: XVIII Concurso de Teses e Dissertações (CTD/SBC'05), 2005, São Leopoldo. Anais do CTD 2005, 2005. v. 25. p. 80-85. |
| 88. | Leite, Cicília Raquel Maia ; Ribeiro Neto, Pedro Fernandes ; Moura, Marcelo ; Santos Júnior, Alexandre ; Perkusich, Maria Lígia Barbosa ; Perkusich, Angelo . Processamento de Consultas para Fluxos Contínuos de Dados. In: VII Simpósio Brasileiro de Automação Inteligente, 2005, São Luiz. Anai do SBAI 2005, 2005. v. 1. p. 201-208. |
| 89. | Souza, José Renato de Brito ; Lima, Antonio Marcus Nogueira ; Perkusich, Angelo . Redes de Petri Híbridas Diferenciais: Aplicação na Modelagem do Consumo de Energia de um Nó Sensor Sem Fio. In: VII Simpósio Brasileiro de Automação Inteligente, 2005, São Luiz. Anais do SBAI 2005, 2005. v. 1. p. 123-131. |
| 90. | Perkusich, Angelo ; Almeida, Hyggo Oliveira de ; Costa, Evandro de Barros ; Silva, Alan . A Multiagent Approach for Dynamic Enterprise Partnerships. In: 12th Portuguese Conference on Artificial Intelligence, 2005, Cavilhã, Portugal. 3rd Workshop on Multi-Agent Systems: Theory and Applications, 2005. v. 1. p. 85-94. |
| 91. | Sausen, Paulo Sérgio ; Lima, Antonio Marcus Nogueira ; Rocha Neto, José Sérgio da ; Perkusich, Angelo ; Salvadori, Fabiano . O Estado da Arte do Padrão IEEE 1451 Aplicado às Redes de Sensores. In: VI Simpósio de Automação de Sistemas Elétricos, 2005, São Paulo, 2005. v. 1. p. 21-36. |
| 92. | Souza, José Renato de Brito ; Lima, Antonio Marcus Nogueira ; Perkusich, Angelo . Modeling and Analyzing Power Consumption in Sensor Networks Nodes based on Differential Hybrid Petri Nets. In: IECON 2005, 2005, Raleigh. The 31st Annual Conference of the IEEE Industrial Electronics Society. Los Alamitos : IEEE Industrial Electronics Society, 2005. v. 1. p. 389-394. |
| 93. | Perkusich, Angelo ; Araújo, Carlos Wagner Barros ; Moraes, Tiago Alves ; Nóbrega, Vinicius Eduardo Ferraz da . Um Ambiente para a Modelagem, Simulação e Supervisão de Sistemas a Eventos Discretos com Objetivos Didáticos. In: COBENGE 2005, 2005, Campina Grande. XXXIII - Congresso Brasileiro de Ensino de Engenharia, 2005. v. 1. p. 231-236. |
| 94. | Almeida, Hyggo Oliveira de ; Tenório, Luiz Eugênio Fernandes ; Costa, Evandro de Barros ; Perkusich, Angelo . Desenvolvimento de Sistemas de Informação com Suporte à Composição Dinâmica. In: II Simpósio Brasileiro de Sistemas de Informação, 2005, Florianópolis. Anais do SBSI'2005, 2005. v. 1. p. 33-40. |
| 95. | Almeida, Hyggo Oliveira de ; Oliveira, Elthon Allex da Silva ; Barbosa, Nadia Milena ; Bublitz, Frederico Moreira ; Silva, Leandro Dias da ; Perkusich, Angelo . Modelagem e Verificação Formal de Sistemas de Informação Baseados em Componentes. In: II Simpósio Brasileiro de Sistemas de Informação, 2005, Florianópolis. Anais do SBSI'2005, 2005. v. 1. p. 45-52. |
| 96. | Almeida, Hyggo Oliveira de ; Loureiro Filho, Emerson Cavalcante ; Perkusich, Angelo ; Costa, Evandro de Barros . Usando Aspectos para Personalizar a Execução de Aplicações Baseadas em Componentes de Prateleira. In: 2nd. Brazilian Workshop on Aspect-Oriented Software Development, 2005, Uberlândia. Anais do WASP'05, 2005. v. 1. p. 33-40. |
| 97. | Loureiro Filho, Emerson Cavalcante ; Oliveira, Loreno Feitosa de ; Almeida, Hyggo Oliveira de ; Ferreira, Glauber Vinícius Ventura de Melo ; Perkusich, Angelo . Improving Flexibility on Host Discovery for Pervasive Computing Middlewares. In: 3rd International Workshop on Middleware for Pervasive and Ad-Hoc Computing, 2005, Grenoble, France.
Proceedings of MPAC 2005. New York, NY, USA :
ACM Press, 2005. v. 1. p. 1-8. |
| 98. | Ribeiro Neto, Pedro Fernandes ; Perkusich, Maria Lígia Barbosa ; Perkusich, Angelo . Modelling and Analysis of Real-Time Databases for Sensor Networks Using Coloured Petri Nets. In: 11th IFAC Symposium on Information Control Problems in Manufacturing, 2004, Salvador. Proc. of 11th IFAC Symposium on Information Control Problems in Manufacturing, 2004. p. 125-130. |
| 99. | Ribeiro Neto, Pedro Fernandes ; Perkusich, Maria Lígia Barbosa ; Perkusich, Angelo . Real-Time Database Modeling for Sensor Networks. In: 6th International Conference on Enterprise Information Systems, 2004, Porto. Proc. of 6th International Conference on Enterprise Information Systems, 2004. v. 1. p. 599-603. |
| 100. | Ribeiro Neto, Pedro Fernandes ; Perkusich, Maria Lígia Barbosa ; Perkusich, Angelo ; Fernandes, Yáskara Ygara Menescal ; Leite, Cicília Raquel Maia . Uma Aplicação de Bancos de Dados em Tempo-Real para Redes de Sensores. In: 2 Simpósio Brasileiro de Redes de Computadores, 2004, Gramado. Anis do V Workshop de Tempo-Real, 2004. p. 211-218. |
| 101. | Silva, Leandro Dias da ; Perkusich, Angelo . 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, 2004, Salvador. Proc. of 11th IFAC Symposium on Information Control Problems in Manufacturing, 2004. p. 235-240. |
| 102. | Silva, Leandro Dias da ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo ; Costa, Evandro de Barros . A Formal Approach for the Verification of Multiagent Plans based on Model Checking and Petri Nets. In: 3rd International Workshop on Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'04, 2004, Glasgow. Proc. of 3rd International Workshop on Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'04, 2004. p. 145-151. |
| 103. | Almeida, Hyggo Oliveira de ; Costa, Evandro de Barros ; Perkusich, Angelo . Improving Reuse and Flexibility in Multiagent Intelligent Tutoring System Development Basen on the COMPOR Platform. In: 7th International Conference on Intelligent Tutoring Systems, 2004, Maceió. Lecture Notes in Computer Science. Berlin : Springer, 2004. v. 3220. p. 806-808. |
| 104. | Ribeiro Neto, Pedro Fernandes ; Perkusich, Maria Lígia Barbosa ; Perkusich, Angelo . Scheduling Real-Time Transactions for Sensor Networks Applications. In: 10th International Conference on Real-Time and Embeded Computing Systems and Applications, 2004, Göteborg. 10th RTCSA, Advanced Proceedings, 2004. p. 181-200. |
| 105. | Ribeiro Neto, Pedro Fernandes ; Perkusich, Angelo ; Perkusich, Maria Lígia Barbosa ; Fernandes, Yáskara Ygara Menescal . Implementation of Transactions Scheduling for Real-Time Database Management. In: 2004 IEEE Systems, Man and Cybernetics Conference, 2004, Hague. Proc. of 2004 IEEE Systems, Man and Cybernetics Conference, aceito para publicação, 2004. v. 6. p. 5136-5141. |
| 106. | Almeida, Hyggo Oliveira de ; Perkusich, Angelo ; Costa, Evandro de Barros . Composição Dinâmica de Componentes para Aplicações com Mudanças Frequentes de Requisitos. In: Workshop de Desenvolvimento Baseado em Componentes, 2004, João Pessoa. WDBC'04, 2004. p. 9-14. |
| 107. | Ribeiro Neto, Pedro Fernandes ; Perkusich, Maria Lígia Barbosa ; Perkusich, Angelo . Escalonamento de Transações em Sistemas de Gerenciamento de Banco de Dados em Tempo-Real com Aplicações para Redes de Sensores. In: 1o. Workshop da Rede de Instrumentação e Contrrole, 2004, Natal. Anais do 1o. Workshop da Rede de Instrumentação e Contrrole, aceito para publicação, 2004. |
| 108. | Ribeiro Neto, Pedro Fernandes ; Perkusich, Maria Lígia Barbosa ; Perkusich, Angelo . A Model for Real Time Databases. In: Argentine Symposium on Software Engineering, 2004, Córdoba, Argentina. Proceeding of Argentine Symposium on Software Engineering. Córdoba, Argentina : ociedad Argentina de Informática e Investigación Operativa, SADIO, 2004. |
| 109. | Almeida, Hyggo Oliveira de ; Costa, Evandro de Barros ; Perkusich, Angelo . Building Flexible Multiagent Interactive Learning Environment based on Reusable Components. In: SBIE2004 - Simpósio Brasileiro de Informática na Educação, 2004, Manaus. Anais do Simpósio Brasileiro de Informática na Educação, aceito para publicação, 2004. |
| 110. | Almeida, Hyggo Oliveira de ; Costa, Evandro de Barros ; Perkusich, Angelo . Developing Flexible Agent Based Learning Environments using Reusable Components. In: Workshop on Architectures and Methodologies for Building Agent-Based Environments, 2004, São Luiz. Workshop on Architectures and Methodologies for Building Agent-Based Environments (SBIA'04), 2004. p. 67-78. |
| 111. | Almeida, Hyggo Oliveira de ; Costa, Evandro de Barros ; Perkusich, Angelo ; Paes, Rodrigo de Barros . COMPOR: A Component-Based Framework for Bulding Multi-Agent Systems. In: SELMAS´03, 2nd International Workshop on Software Engineering for Large-Scale Multi-Agent Systems, 2003, Portland. Proc. of SELMAS´03, 2nd International Workshop on Software Engineering for Large-Scale Multi-Agent Systems, 2003. p. 184-190. |
| 112. | Silva, Leandro Dias da ; Perkusich, Angelo . Formal Verification of Component-Based Software Systems. In: 1st International Workshop on Validation and Verification of Software for Enterprise Information Systems, 2003, Angers. New Technologies for Information Systems. Setúbal, Portugal : ICEIS Press, 2003. p. 113-124. |
| 113. | Ribeiro Neto, Pedro Fernandes ; Perkusich, Angelo ; Perkusich, Maria Lígia Barbosa . Real-Time Database Modeling Considering Quality of Service. In: Fifth International Conference on Enterpreise Information Systems, 2003, Angers. Proc. of Fifth International Conference on Enterpreise Information Systems, 2003. v. 3. p. 403-410. |
| 114. | Ribeiro Neto, Pedro Fernandes ; Perkusich, Angelo ; Perkusich, Maria Lígia Barbosa . Modelagem e Análise de Qualidade de Serviços para Bancos de Dados em Tempo-Real. In: IV Workshop e Tempo Real, 2003, Natal, 2003. p. 63-70. |
| 115. | Silva, Leandro Dias da ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo ; Costa, Evandro de Barros . Modelling and Analysis of a Multi-Agent Intellgent Tutoring System Based on Coloured Petri Nets. In: 1st ACIS International Conference on Software Engineering Research & Applications, 2003, San Francisco. SERA´03. Mt. Pleasant : International Association for Computer and Information Sciences (ACIS), 2003. p. 276-281. |
| 116. | Gurjão, Edmar Candeia ; Assis, Francisco Marcos de ; Perkusich, Angelo ; Pimentel, Cecílio José Lins . Petri Nets Compressibility and Capacity of Concurrent Systems. In: 2003 IEEE International Symposium on Information Theory, 2003, Yokohama, 2003. p. 250-251. |
| 117. | Perkusich, Angelo ; Almeida, Hyggo Oliveira de ; Araújo, Denis Hipólito de . A Software Framework for Real-Time Embedded Automation and Control Systems. In: 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003, Lisboa. Piscatway, NJ : IEEE, 2003. v. 2. p. 181-184. |
| 118. | Silva, Leandro Dias da ; Perkusich, Angelo . Validação de Modelos de Redes de Petri Coloridas Utilizando Realidade Virtual: Aplicação em Sistemas Flexíveis de Manufatura. In: VI Symposium on Virtual Reality, 2003, Ribeirão Preto. a ser publicado, 2003. |
| 119. | Almeida, Hyggo Oliveira de ; Perkusich, Angelo ; Costa, Evandro de Barros ; Paes, Rodrigo de Barros . COMPOR: Uma Metodologia para o Desenvolvimento de Sistemas Multiagentes. In: III Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC 2003)., 2003, Valdivia, Chile. Proc. of III Ibero-American Symposium on Software Engineering and Knowledge Engineering, JIISIC 2003, 2003. v. 1. p. 21-31. |
| 120. | Almeida, Hyggo Oliveira de ; Perkusich, Angelo ; Loureiro Filho, Emerson Cavalcante ; Ferreira, Glauber Vinícius Ventura de Melo ; Costa, Evandro de Barros ; Paes, Rodrigo de Barros . Ambiente de Desenvolvimento de Sistemas Multi-agentes. In: XVII Simpósio Brasileiro de Engenharia de Software-Sessão de Ferramentas, 2003, Manaus. Manaus : Editora da Universidade Federal do Amazonas, 2003. v. 17. p. 55-60. |
| 121. | Ribeiro Neto, Pedro Fernandes ; Perkusich, Maria Lígia Barbosa ; Perkusich, Angelo . A Model in Petri Nets to Analyze Quality of Service in Real-Time Databases . In: 2003 IEEE International Conference on Systems, Man & Cybernetics, 2003, Washington. 2003 IEEE International Conference on Systems, Man & Cybernetics. Pisctway : IEEE, 2003. v. 1. p. 300-305. |
| 122. | Ribeiro Neto, Pedro Fernandes ; Perkusich, Maria Lígia Barbosa ; Perkusich, Angelo . Formal Specification of the Epsilon Seriazibility Considering Quality of Service . In: 2003 IEEE International Conference on Systems, Man & Cybernetics, 2003, Washington. 2003 IEEE International Conference on Systems, Man & Cybernetics. Piscatway : IEEE, 2003. v. 4. p. 4027-4032. |
| 123. | Silva, Leandro Dias da ; Perkusich, Angelo . Uso de Realidade Virtual para Validação de Modelos de Sistemas Flexíveis de Manufatura . In: 6o. Simpósio Brasileiro de Automação Inteligente, SBAI, 2003, Bauru, SP, 2003. p. 220-225. |
| 124. | Almeida, Hyggo Oliveira de ; Perkusich, Angelo ; Costa, Evandro de Barros . COMPOR: Uma Metodologia para o Desenvolvimento de Sistemas Multi-agentes. In: 8º Workshop de Teses em Engenharia de Software, 2003, Manaus. 8º Workshop de Teses em Engenharia de Software, 2003. v. 8. p. 95-100. |
| 125. | Costa, Evandro de Barros ; Almeida, Hyggo Oliveira de ; Silva, Klebson dos Santos ; Perkusich, Angelo . A Conceptual Framework for Building Intelligent Tutoring Systems in a Distance Learning Environment Based on a Multi-Agent Approach. In: Worshop on Architectures and Methodologies for Building Agent-based Learning Environments, 2002, Biarritz. Proceedings of Worshop on Architectures and Methodologies for Building Agent-based Learning Environments, 2002. p. 48-57. |
| 126. | Ribeiro Neto, Pedro Fernandes ; Perkusich, Angelo ; Perkusich, Maria Lígia Barbosa . Escalonamento de Transações Periódicas e Esporádicas para Bancos de Dados em Tempo-real Baseado em Redes de Petri Coloridas. In: IV Workshop de Tempo-real, 2002, Búzios. Anais do IV Workshop de Tempo-real, 2002. p. 11-18. |
| 127. | Gorgônio, Kyller Costa ; Perkusich, Angelo . Adaptation of Coloured Petri Nets Models of Software Artifact for Reuse. In: th International Conference on Software Reuse, 2002, Austin. Lecture Notes in Computer Science, 2002. v. 2319. p. 240-254. |
| 128. | Silva, Leandro Dias da ; Perkusich, Angelo . Modelagem Sistemática de Sistemas Flexíveis de Manufatura. In: XIV Congresso Brasileiro de Automática, 2002, Natal. CBA 2002, 2002. p. 227-232. |
| 129. | Gurjão, Edmar Candeia ; Assis, Francisco Marcos de ; Perkusich, Angelo . Some Comments on Petri Net Compressiblity with Application to Calculation of Infrared Wireless Channel Capacity. In: Brazilian Petri Net Meeting, 2002, Natal, 2002. p. 31-44. |
| 130. | Ribeiro, Érica de Lima Gallindo ; Perkusich, Angelo . Uma Estratégia de Análise de Modelos em redes de Petri e Orientação a Objetos. In: V Workshop on Formal Methods, 2002, Gramado. Anais do V Workshop on Formal Methods, 2002. p. 129-144. |
| 131. | Almeida, Hyggo Oliveira de ; Costa, Evandro de Barros ; Perkusich, Angelo ; Paes, Rodrigo de Barros . Towards a Methodology for Building Intelligent Tutoring Systems in a Distance Learning Environment Based on a Multi-agent Approach . In: V Workshop Ambientes de aprendizagem baseados em agentes - SBIE2002, 2002, Porto Alegre, RS, 2002. p. 32-41. |
| 132. | Perkusich, Angelo ; Perkusich, Maria Lígia Barbosa ; Ribeiro Neto, Pedro Fernandes . Escalonamento de Transações para Banco de Dados de Tempo-Real usando Redes de Petri Coloridas. In: III Workshop de Tempo Real, 2001, Florianópolis. Anais do III Workshop de Tempo Real, 2001. p. 20-27. |
| 133. | Perkusich, Angelo ; Lemos, Adriano José Pinheiro . Reuse of Colored Petri Nets Software Models. In: 13th International Conference on Software Engineering and Knowledge Engineering, 2001, Buenos Aires. Proceedings of 13th International Conference on Software Engineering and Knowledge Engineering, 2001. p. 145-152. |
| 134. | Perkusich, Angelo ; Gurjão, Edmar Candeia ; Assis, Francisco Marcos de ; Barros, Tomaz Carvalho de ; Pimentel, Cecílio José Lins . Cálculo de Capacidade de Seqüências com Restrições Bi-dimensionais Usabdo Redes de Petri. In: Simpósio Brasileiro de Telecomunicações, 2001, Fortaleza, RN. Anais do Simpósio Brasileiro de Telecomunicações, 2001. |
| 135. | Perkusich, Angelo ; Ribeiro, Érica de Lima Gallindo ; Guerrero, Dalton Dario Serey ; Figueiredo, Jorge Cesar Abrantes de . Aplicação de uma Notação Baseada em Redes de Petri e Orientação a Objetos: Um Experimento de Modelagem. In: IV Workshop on Formal Methods, 2001, Rio de aneiro. Proceedings of IV Workshop on Formal Methods, 2001. p. 13-24. |
| 136. | Perkusich, Angelo ; Ribeiro Neto, Pedro Fernandes ; Perkusich, Maria Lígia Barbosa . Analysis of Periodic Transactions and Semantic Concurrency Control for Real-Time Dabases Using Coloured Petri Nets. In: IEEE International Conferece on Systems Man and Cybernetics, 2001, Tucson. IEEE SMC 2001 Conference Proceedings, 2001. p. 2723-2728. |
| 137. | Perkusich, Angelo ; Silva, Leandro Dias da ; Distéfano, Ana Luísa Nóbrega . Um Arcabouço para Modelagem de Sistemas de Manufatura Utilizando Redes de Petri Coloridas e Reúso de Modelos. In: V Simpósio Brasileiro de Automação Inteligente, 2001, Canela. Anais do V SBAI, 2001. |
| 138. | Perkusich, Angelo ; Scaico, Alexandre ; Turnell, Maria de Fátima Queiroz Vieira . Modelagem da Navegação de Interfaces com o Usuário de Sistemasde Automação Industrial. In: V Simpósio Brasileiro de Automação Inteligente, 2001, Canela. Anais do V SBAI, 2001. |
| 139. | Perkusich, Angelo ; Perkusich, Maria Lígia Barbosa ; Turnell, Maria de Fátima Queiroz Vieira . Bancos de Dados em Tempo-Real. In: XIX Jornada de Atualização em Informátca, 2000, Curitiba. Anais da XIX Jornada de Atualização em Informátca. Curitiba : Editora Universitária Champagnat, 2000. v. 2. p. 245-285. |
| 140. | Perkusich, Angelo ; Barros, Tomaz Carvalho de . Modeling of Batch Production Systems Supervisors Based on Colored Petri Nets. In: Second IFIP/IFAC/IEEEConference on Management and Control of Production Logistics, 2000, Grenoble. Proceedings of Second IFIP/IFAC/IEEEConference on Management and Control of Production Logistics. Londres : Chapman & Hall, 2000. p. 123-128. |
| 141. | Perkusich, Angelo ; Araújo, Luciana Maria de . Uma Abordagem por Redes de Petri Coloridas para Controle de Sistemas de Transporte Inteligentes. In: XIII Congresso Brasileiro de Automática, 2000, Florianópolis. Anais do XIII Congresso Brasileiro de Automática, 2000. p. 2066-2071. |
| 142. | Perkusich, Angelo ; Barros, Tomaz Carvalho de . Verificação de Receitas para Sistemas de Produção em Lotes Baseado em Redes de Petri. In: XIII Congresso Brasileiro de Automática, 2000, Florianópolis. Anais do XIII Congresso Brasileiro de Automática, 2000. p. 2072-2077. |
| 143. | Perkusich, Angelo ; Barros, Tomaz Carvalho de . Supervisão de Sistemas de Produção em Lotes Baseada em Redes de Petri Coloridas. In: XIII Congresso Brasileiro de Automática, 2000, Florianópolis. Anais do XIII Congresso Brasileiro de Automática, 2000. p. 2078-2083. |
| 144. | Perkusich, Angelo ; Gorgônio, Kyller Costa . Síntese de Especificações em Redes de Petri para Componentes de Software. In: III Workshop de Métodos Formais, 2000, João Pessoa. Anais do III Workshop de Métodos Formais, 2000. p. 139-144. |
| 145. | Perkusich, Angelo ; Barros, Tomaz Carvalho de . Design of Supervisors for Agile Manufacturing Systems using Colored Petri Nets. In: 5th International Conference on CAD/CAM Robotics & Factories of the Future, CARS & FOF'99, 1999, Águas de Lindóia. Proc. of 15th International Conference on CAD/CAM Robotics & Factories of the Future, CARS & FOF'99, 1999. p. MF1-1-MF-16. |
| 146. | Perkusich, Angelo ; Ribeiro, Zilma Betânia de Sá ; Barros, Tomaz Carvalho de . Modeling and Analysis of a Distributed Supervisor for Manufacturing Systems. In: 5th International Conference on CAD/CAM Robotics & Factories of the Future, CARS & FOF'99, 1999, Águas de Lindóia. Proc. of 15th International Conference on CAD/CAM Robotics & Factories of the Future,, 1999. p. MT1-7-MT1-1. |
| 147. | Perkusich, Angelo ; Miranda, Márcia Verônica Costa . Modeling and Analysis of a Multi-Agent System Using Colored Petri Nets. In: Workshop on Applications of Petri Nets to Intelligent System Development, 1999, Williamsburg. Proc. of Workshop on Applications of Petri Nets to Intelligent System Development, 1999. p. 68-78. |
| 148. | Perkusich, Angelo ; Miranda, Márcia Verônica Costa . Uma Abordagem Multi-Agentes para Sistemas Flexíveis de Manufatura. In: IV Simpósio Brasileiro de Automação Inteligente, 1999, São Paulo. Anais do IV Simpósio Brasileiro de Automação Inteligente, 1999. p. 245-250. |
| 149. | Perkusich, Angelo ; Bastos, Wellington de Araújo . Aplicação de Verificação de Modelo para a Síntese de Supervisores de Sistemas a Eventos Discretos. In: IV Simpósio Brasileiro de Automação Inteligente, 1999, São Paulo. Anais do IV Simpósio Brasileiro de Automação Inteligente, 1999. p. 545-550. |
| 150. | Perkusich, Angelo ; Ribeiro, Zilma Betânia de Sá ; Barros, Tomaz Carvalho de . Supervisores Distribuídos Tolerantes a Faltas para Sistemas Flexíveis de Manufatura. In: VII Simpósio Brasileiro de Computadores Tolerantes a Falhas, 1999, Campinas. Anais do VII Simpósio Brasileiro de Computadores Tolerantes a Falhas, 1999. p. 127-141. |
| 151. | Perkusich, Angelo ; Araújo, Luciana Maria de ; Coelho, Roberta de Souza ; Gorgônio, Kyller Costa ; Ribeiro, Érica de Lima Gallindo ; Lemos, Adriano José Pinheiro . Design and Animation of Colored Petri Models for Traffic Signals. In: Second Workshop on Practical Use of Colored Petri Nets and Design/CPN, 1999, Aarhus. Proc. of the Second Workshop on Practical Use of Colored Petri Nets and Design/CPN, 1999. p. 99-118. |
| 152. | Perkusich, Angelo ; Perkusich, Maria Lígia Barbosa ; Turnell, Maria de Fátima Queiroz Vieira . Modelagem de Bancos de Dados em Tempo-real. In: Simpósio Brasileiro de Banco de Dados, 1999, Florianópolis. Anais IV Simpósio Brasileiro de Banco de Dados, 1999. p. 253-267. |
| 153. | Costa, Evandro de Barros ; Perkusich, Angelo ; Ferneda, Edílson . From A Tridimensional View Of A Domain Knowledge To A Multi-Agent Tutoring System. In: XIV Brazilian Symposium on Artificial Intelligence, 1998, Porto Alegre. Advances in Artificiall Inteligence, Proc. of 14thBrazilian Symposium on Artificial Intelligence. Porto Alegre, RS : Springer-Verlag, 1998. v. 1515. p. 61-72. |
| 154. | Costa, Sandro Alex Damasceno ; Guerrero, Dalton Dario Serey ; Figueiredo, Jorge Cesar Abrantes de ; Perkusich, Angelo . Aspectos de Herança Em Uma Ferramenta de Modelagem de Sistemas Baseada Em Redes de Petri. In: XII Simpósio Brasileiro de Engenharia de Software, 1998. Anais do XII Simpósio Brasileiro de Engenharia de Software, 13-16. Maringá, PR. |
| 155. | Barros, Tomaz Carvalho de ; Perkusich, Angelo . Simulation of the Continuous Dynamics of Batch Control Systems Based on Petri Nets. In: IEEE International Conferece on Systems Man and Cybernetics, 1998, San Diego. Proc. of theInternational Conferece on Systems Man and Cybernetics. San Diego, USA, 1998. |
| 156. | Góis, Gustavo de Meneses ; Perkusich, Angelo ; Costa, Evandro de Barros ; Figueiredo, Jorge Cesar Abrantes de . Towards A Multi-Agent Interactive Learning Environment Oriented To The Petri Net Domain. In: IEEE International Conference on Systems Man and Cybernetics, 1998. Proc. of IEEE Int. Conf. on Systems Man and Cybernetics. San Diego, USA,. |
| 157. | Costa, Sandro Alex Damasceno ; Guerrero, Dalton Dario Serey ; Figueiredo, Jorge Cesar Abrantes de ; Perkusich, Angelo . Inheritance Issues In Object-Oriented Petri Net Modeling. In: IEEE International Conferece on Systems Man and Cybernetics, 1998, San Diego. Proc. of IEEE Int. Conf. on Systems Man and Cybernetics. San Diego, USA, 1998. |
| 158. | Medeiros, Ana Karla Alves de ; Guerrero, Dalton Dario Serey ; Figueiredo, Jorge Cesar Abrantes de ; Perkusich, Angelo . An Object-Oriented Petri-Net Modeling Tool And Abstraction Mechanisms For Cooperative Systems. In: IEEE International Conference on Systems Man and Cybernetics, 1998, San DIego. Proc. of IEEE Int. Conf. on Systems Man and Cybernetics. San Diego, USA, 1998. |
| 159. | Perkusich, Angelo ; Turnell, Maria de Fátima Queiroz Vieira . Object-Oriented Real-Time Database Design Based On Petri Nets. In: IEEE International Conference on Systems Man and Cybernetics, 1998. Proc. of IEEE Int. Conf. on Systems Man and Cybernetics. San Diego, USA. |
| 160. | Perkusich, Angelo . Sistemas A Eventos Discretos. In: XVII Encontro Nacional de Automática, 1998, Natal. Anais do XVII Encontro Nacional de Automática. Natal, RN, julho 1998, 1998. p. 38-45. |
| 161. | Barros, Tomaz Carvalho de ; Perkusich, Angelo ; Figueiredo, Jorge Cesar Abrantes de . Modelagem e Controle dos Sistemas Flexíveis de Manufatura Baseada Em Redes de Petri Coloridas. In: XII Congresso Brasileiro de Automática, 1998. Anais do XII Congresso Brasileiro de Automática. Ubelândia, MG, setembro 1998. v. 4. p. 1403-1408. |
| 162. | Barros, Tomaz Carvalho de ; Perkusich, Angelo . Redes de Petri: Um Procedimento de Modelagem Aplicado Aos Sistemas de Produção Em Lotes. In: XII Congresso Brasileiro de Automática, 1998, Uberlândia. Anais do XII Congresso Brasileiro de Automática. Uberlândia : Sociedade Brasileira de Automática, 1998. v. 4. p. 1377-1382. |
| 163. | Guerrero, Dalton Dario Serey ; Martins, Aldenor Falcão ; Perkusich, Angelo ; Figueiredo, Jorge Cesar Abrantes de . A G-Cpn Approach For M4 Network-View Interface Managed Objects Entities Modeling. In: Simpósio Brasileiro de Telecomunicações, 1997. Anais do Simpósio Brasileiro de Telecomunicações. Recife, PE. |
| 164. | Costa, Evandro de Barros ; Perkusich, Angelo ; Jatobá, Alessandro Araújo . Arquitetura e Protocolos Para Cooperação Entre Agentes Em Um Ambiente Interativo de Ensino e Aprendizagem. In: I Encontro Nacional de Inteligência Artificial, 1997. Anais do I Encontro Nacional de Inteligência Artificial, Brasília, DF. Anais do I Encontro Nacional de Inteligência Artificial, Brasília, DF, Brasil, Agosto 1997. Anais do I Encontro Nacional de Inteligência Artificial, Brasília, DF, Brasil, Agost. Brasília, DF. |
| 165. | Barros, Tomaz Carvalho de ; Perkusich, Angelo ; Figueiredo, Jorge Cesar Abrantes de . Alocação de Recursos e Tolerância A Faltas Em Sistemas Flexíveis de Manufatura Utilizando Redes de Petri Coloridas. In: VII Simpósio Brasileiro de Computadores Tolerantes a Falhas, 1997. Anais do VII Simpósio Brasileiro de Computadores Tolerantes a Falha. Campina Grande, PB. p. 153-167. |
| 166. | Figueiredo, Fabrícia Abrantes de ; Perkusich, Angelo ; Assis, Francisco Marcos de . Tolerância A Falhas Em Sistemas de Software Utilizando Códigos Convolucionais.. In: VII Simpósio Brasileiro de Computadores Tolerantes a Falhas, 1997. Anais do VII Simpósio Brasileiro de Computadores Tolerantes a Falhas. Campina Grande, PB. p. 195-209. |
| 167. | Costa, Evandro de Barros ; Perkusich, Angelo ; Perkusich, Angelo . Designing A Multi-Agent Interactive Learning Environment. In: International Conference on Computers Em Education, ICCE'97, 1997. Proceeding of International Conference on Computers Em Education, ICCE'97. Malasya. |
| 168. | Barros, Tomaz Carvalho de ; Perkusich, Angelo ; Figueiredo, Jorge Cesar Abrantes de . A Fault Tolerant Coloured Petri Net Resource Allocation Manager For Manufacturing Systems. In: IEEE International Conference on Systems Man and Cybernetics, 1997. Proceedings of IEEE Int. Conf. on Systems Man and Cybernetics. Orlando, Florida. |
| 169. | Figueiredo, Jorge Cesar Abrantes de ; Perkusich, Angelo . Towards A Modular Timing Analysis Of Real-Time Software System. In: IEEE International Conference on Systems Man and Cybernetics, 1997. Proceedings of IEEE Int. Conf. on Systems Man and Cybernetics. Orlando, Florida. |
| 170. | Guerrero, Dalton Dario Serey ; Figueiredo, Jorge Cesar Abrantes de ; Perkusich, Angelo . Object-Based High-Level Petri Nets As A Formal Approach To Distributed Information System. In: IEEE International Conference on Systems Man and Cybernetics, 1997. Proceedings of Int. Conf. on Systems, Man, and Cybernetics. Orlando, Florida. |
| 171. | Guerrero, Dalton Dario Serey ; Fernandes, Jean Pereira ; Perkusich, Angelo ; Figueiredo, Jorge Cesar Abrantes de . An Object Based Petri Net Model: Application To Manufacturing Systems. In: IEEE International Conference on Systems Man and Cybernetics, 1997. Proc. of IEEE Int. Conf. on Systems Man and Cybernetics. Orlando, Florida. |
| 172. | Costa, Evandro de Barros ; Perkusich, Angelo . A Multi-Agent Interactive Learning Environment Model. In: Workshop on Pedagogical Agents with Artificial Intelligence in Education, AI-ED'97, 1997. Proc. of the Workshop on Pedagogical Agents with Artificial Intelligence in Education, AI-ED'97. Kobe, Japão. |
| 173. | Barros, Tomaz Carvalho de ; Perkusich, Angelo ; Figueiredo, Jorge Cesar Abrantes de . A Coloured Petri Net Based Approach For Resource Allocation And Fault Tolerance For Flexible Manufacturing Systems. In: 18th International Conference on Application and Theory of Petri Nets, 1997. Proc. of 2nd Workshop on Manufacturing and Petri Nets. Toulouse,France. p. 77-96. |
| 174. | Guerrero, Dalton Dario Serey ; Figueiredo, Jorge Cesar Abrantes de ; Perkusich, Angelo . Modeling A Cooperative Environment Based On An Object-Based Modular Petri Net.. In: 9th International Conference on Software Engineering and Knowledge Engineering, 1997. Proc. of The 9th International Conference on Software Engineering and Knowledge Engineering. Madrid, Espanha. p. 240-247. |
| 175. | Barroso, Giovanni Cordeiro ; Lima, Antonio Marcus Nogueira ; Perkusich, Angelo . Petri Nets With Transittion Enabling Functions In The Supervision Of Discrete Event Systems. In: Congresso Brasileiro de Automática, 1996. Anais do Congresso Brasileiro de Automática. São Paulo, SP. |
| 176. | Leão, Ricardo ; Morais, Misael Elias de ; Perkusich, Angelo . Um Sistema de Controle Local Distribuído Baseado Em Redes de Petri Em Tempo Real. In: Congresso Brasileiro de Automática, 1996. Anais do Congresso Brasileiro de Automática. São Paulo, SP. |
| 177. | Miranda, Márcia Verônica Costa ; Figueiredo, Jorge Cesar Abrantes de ; Perkusich, Angelo . Um Ambiente Para Edição e Animação de G-Nets. In: Congresso Brasileiro de Automática, 1996. Anais do Congresso Brasileiro de Automática. São Paulo, SP. |
| 178. | Barroso, Giovanni Cordeiro ; Lima, Antonio Marcus Nogueira ; Perkusich, Angelo . Supervision Of Discrete Event System Using Petri Nets And Supervisory Control Theory. In: 17th International Conference on Application and Theory of Petri Nets, 1996. Proc. of 1st Workshop on Manufacturing and Petri Nets. Osaka, Japão. p. 77-79. |
| 179. | Barroso, Giovanni Cordeiro ; Lima, Antonio Marcus Nogueira ; Perkusich, Angelo . Synthesis Of Supervisors Using Petri Nets. In: 13th World Congress International Federation of Automatic Control, IFAC'96, 1996. Proc. of 13th World Congress International Federation of Automatic Control, IFAC'96. São Francisco, USA. p. 449-454. |
| 180. | Costa, Evandro de Barros ; Perkusich, Angelo . Modeling The Cooperative Interactions In A Teaching/Learning Situation. In: Intelligent Tutoring Systems, ITS, 96, 1996. Lecture Notes in Artficial Intelligence. Montreal, Canada. |
| 181. | Costa, Evandro de Barros ; Perkusich, Angelo ; Figueiredo, Jorge Cesar Abrantes de . A Multi-Agent Environment To Aid In The Design Of Petri Nets Based Software Systems. In: 8th International Conference on Software Engineering and Knowledge Engineering, SEKE'96, 1996. Proc. of The Eighth Int. Conference on Software Engineering and Knowledge Engineering, SEKE'96. , Lake Tahoe, USA. p. 253-259. |
| 182. | Costa, Evandro de Barros ; Perkusich, Angelo ; Jatobá, Alessandro Araújo . Petri Net Based Modelling Of The Cooperative Interaction In A Multi-Agent Based Learning Environment. In: IEEE Computational Engineering in Systems Application, CESA'96, 1996. Proc. of IEEE Computational Engineering Em Systems Application, CESA'96. Lille, France. |
| 183. | Lima, Itamar de Souza ; Figueiredo, Jorge Cesar Abrantes de ; Perkusich, Angelo . An Interactive Petri Net Tool For Modeling, Analysis And Simulation Of Complex Systems. In: IEEE International Conference on Systems Man and Cybernetics, 1996, Beijing, China. Proc. of IEEE Int. Conf. on Systems Man and Cybernetics. Beijing, China, 1996. p. 870-875. |
| 184. | Figueiredo, Jorge Cesar Abrantes de ; Perkusich, Angelo . Modeling A Multi-Agent Cooperative Graphical Editor With A Class Of Object Oriented Petri Net. In: 17th International Conference on Application and Theory of Petri Nets, 1996. Proc. of 2nd Workshop on Object Oriented Petri Nets and Models of Concurrency. Osaka, Japan. p. 57-71. |
| 185. | Barroso, Giovanni Cordeiro ; Lima, Antonio Marcus Nogueira ; Perkusich, Angelo . Análise de Segurança Baseada Em Controle Supervisório e Redes de Petri. In: VI Simpósio Brasileiro de Computadores Tolerantes a Falhas, 1995. Anais do 6o .Simpósio Brasileiro de Tolerância a Falhas. Canela, RS. p. 345-355. |
| 186. | Barroso, Giovanni Cordeiro ; Lima, Antonio Marcus Nogueira ; Perkusich, Angelo . Modular Synthesis Of Supervisors Based On A Petri Net Approach. In: 22o. Simpósio Integrado de Software e Hardware, SEMISH'95, 1995. Anais do 22o. Simpósio Integrado de Software e Hardware, SEMISH'95. Canela, RS. p. 882-894. |
| 187. | Figueiredo, Jorge Cesar Abrantes de ; Perkusich, Angelo . Tratamento Antecipado de Falhas: Uma Abordagem Por Redes de Petri. In: VI Simpósio Brasileiro de Computadores Tolerantes a Falhas, 1995. Anais do 6o.Simpósio Brasileiro de Tolerância a Falhas. Canela, RS. p. 125-142. |
| 188. | Perkusich, Angelo ; Figueiredo, Jorge Cesar Abrantes de . A G-Net Based Environment For Logical And Timing Analysis Of Software System. In: SBES'95, Simpósio Brasileiro de Engenharia de Software, 1995. Anais do SBES'95, Simpósio Brasileiro de Engenharia de Software. Recife, PE. p. 56-75. |
| 189. | Figueiredo, Jorge Cesar Abrantes de ; Perkusich, Angelo . Distributed Control Of Rack-Vehicle System With Fault-Tolerant Characteristics: A Petri Net Based Approach. In: IEEE International Conferece on Systems Man and Cybernetics, 1995. Proc. of IEEE Int. Conf. on Systems Man and Cybernetic. Vancouver, Canada. p. 377-382. |
| 190. | Perkusich, Angelo ; Figueiredo, Jorge Cesar Abrantes de . Design Of Distributed Track-Vehicle Systems Applying A High-Level Object Oriented Petri Net Methodology. In: IEEE International Conferece on Systems Man and Cybernetics, 1995. Proc. of IEEE Int. Conf. on Systems Man and Cybernetics. Vancouver, Canada. p. 389-394. |
| 191. | Figueiredo, Jorge Cesar Abrantes de ; Perkusich, Angelo ; Chang, Shi Kuo . Anticipated Faults In Real-Time Distributed Systems. In: Seventh International Conference on Software Engineering and Knowledge Engineering, SEKE'95, 1995. Proc. of The Seventh Int. Conference on Software Engineering and Knowledge Engineering, SEKE'95. Washington, USA. p. 411-418. |
| 192. | Perkusich, Angelo ; Figueiredo, Jorge Cesar Abrantes de . Object Oriented Design Of A Track-Vehicle System. In: Seventh International Conference on Software Engineering and Knowledge Engineering, SEKE'95, 1995. Proc. of The Seventh Int, Conference on Software Engineering and Knowledge Engineering, SEKE'95. Washington, USA. p. 283-290. |
| 193. | Perkusich, Angelo ; Schiel, Ulrich . Integrated Design Of Object-Oriented Real-Time Control And Database Systems. In: Seventh International Conference on Software Engineering and Knowledge Engineering, SEKE'95, 1995. The Seventh Int. Conference on SoftwareEngineering and Knowledge Engineering, SEKE'95. Washington, USA. p. 150-152. |
| 194. | Perkusich, Angelo ; Schiel, Ulrich . Object-Oriented Real-Time Database Design And Hierarchical Control Systems. In: International Workshop on Active and Real-Time Databases, ARTDB-95, 1995. Proc. of International Workshop on Active and Real-Time Databases, ARTDB-95,Wokshop Series in Computing, Springer. Skovde, SE. p. 104-121. |
| 195. | Figueiredo, Jorge Cesar Abrantes de ; Perkusich, Angelo . Análise Temporal Baseada Em Redes de Petri Para Sistemas de Software. In: IX Seminário Integrado de Software e Hardware, SEMISH 94, 1994. Anais do XIX Seminário Integrado de Software e Hardware, SEMISH 94. Caxambu, MG. |
| 196. | Perkusich, Angelo ; Schiel, Ulrich . Modelo Orientado A Objetos Para Modelagem de Sistemas e Bancos de Dados Em Tempo-Real. In: IX Simpósio Brasileiro de Banco de Dados, IX SBDD, 1994. Anais do IX Simpósio Brasileiro de Banco de Dados, IX SBDD. São Carlos, SP. p. 127-141. |
| 197. | Figueiredo, Jorge Cesar Abrantes de ; Perkusich, Angelo ; Chang, Shi Kuo . Timing Analisys Of Real-Time Software Systems Using Fuzzy Time Petri Nets. In: Sixth Int. Conference on Software Engineering and Knowledge Engineering, SEKE'94, 1994. Proc. of The Sixth Int. Conference on Software Engineering and Knowledge Engineering, SEKE'94. Riga, Latvia. p. 243-253. |
| 198. | Perkusich, Angelo ; Figueiredo, Jorge Cesar Abrantes de ; Deng, Yi ; Chang, Shi Kuo ; Ehrenberger, Michel J. . The design of real-time distributed information systems with object-oriented and fault-tolerant characteristics. In: 5th. International Conference on Software Engineering and Knowledge Engineering, 1993, San Francisco. Proc. of The Fifth International Conference on Software Engineering and Knowledge Engineering, 1993. p. 36-45. |
| 199. | Perkusich, Angelo ; Figueiredo, Jorge Cesar Abrantes de ; Morais, Misael Elias de . Projeto de sistemas em tempo real distribuídos com característica baseada em objetos e tolerância a falhas. In: SEMISH 93, 1993, Campinas. Anais do XIX Seminário Integrado de Software e Hardware,, 1993. p. 21-36. |
| 200. | Perkusich, Angelo . Aplicação de Sistemas Especialistas à Operação de Processos: Exemplificação a Sistemas de Potencia. In: III ENCONTRO LATINO AMERICANO DO CIGRE, 1989. FOZ DO IGUACU/PR. p. 0-0. |
| 201. | Perkusich, Angelo . An Expert Ecg Data Acquisition System. In: IEEE IMTC 89, 1989. WASHINGTON/D.C./USA. p. 0-0. |
| 202. | Perkusich, Angelo . Amplificador de Ecg Com Chaveamento Eletronico: Aplicacao A Um Sistema de Aquisicao e Analise. In: XI CONGRESSO BRASILEIRO DE ENGENHARIA BIOMEDICA, 1989. SAO PAULO/SP. p. 0-0. |
| 203. | Perkusich, Angelo . Sistema de Auxilio A Decisao Em Manobras Em Linhas de Transmissao Utilizando Tecnicas de Int. Artificial. In: VI SIMPOSIO BRASILEIRO DE INTELIGENCIA ARTIFICIAL, 1989. RIO DE JANEIRO/RJ. p. 0-0. |
| 204. | Perkusich, Angelo . Sistema Especialista para Auxílio a Liberação de Manobras em Sistemas de Transmissão de Energia Elétrica. In: I CONGRESSO DE INFORMATICA DO NORDESTE, 1989. RECIFE/PE. p. 0-0. |
| 205. | Perkusich, Angelo ; Morais, Misael Elias de . Projeto e Implementação de Interface Gráfica Homem-Maquina para Automação e Controle. In: VII Congresso Brasileiro de Automática, 1988, São José dos Campos. Anais do VII Congresso Brasileiro de Automática, 1988. p. 0-0. |
| 206. | Perkusich, Angelo ; Deep, Gurdip Singh ; Cavalcanti, José Homero Feitosa . Data And Control Flow Diagram In Process Automation. In: IEEE IECON87, 1987. Proc. of IECON87. CAMBRIDGE/MASSACHUSSETS/USA, 1987. p. 0-0. |
| 207. | Perkusich, Angelo . Escalonador Inteligente Para Sistemas de Controle Automatico. In: I ENCONTRO NORTE-NORDESTE DE AUTOMATICA, 1987. BELEM/PARA. p. 0-0. |
| 208. | Perkusich, Angelo ; Deep, Gurdip Singh ; Cavalcanti, José Homero Feitosa . Aplicação de Conjuntos Vagos a Controle de Processos Industriais. In: Congresso Chileno de Engenharia Elétrica, 1986, Antofogasta. Proceedings of Congresso Chileno de Engenharia Elétrica. Antofagasta, 1986. p. 123-129. |
| 209. | Perkusich, Angelo ; Deep, Gurdip Singh ; Cavalcanti, José Homero Feitosa . Sistema Distribuído Verticalmente Hierárquico para Controle de Processos em Tempo Real. In: VI Congresso Brasileiro de Automática, 1986, Belo Horizonte. Anais do VI Congresso Brasileiro de Automática. Belo Horizonte : Sociedade Brasileira de Automática, 1986. p. 211-216. |
| Resumos expandidos publicados em anais de congressos |
| 1. | Bublitz, Frederico Moreira ; Almeida, Hyggo Oliveira de ; Perkusich, Angelo ; Loureiro Filho, Emerson Cavalcante ; Costa, Evandro de Barros ; Silva, Leandro Dias da . An Infrastructure for Developing Context Aware Applications in Pervasive Environments. In: 23rd ACM Symposium on Applied Computing, 2008, Fortaleza, CE, Brazil. Proceedings of the SAC 2008. New York : ACM, 2008. v. 1. p. 1545-1546. |
| Resumos publicados em anais de congressos |
| 1. | Ferreira, Glauber Vinícius Ventura de Melo ; Loureiro Filho, Emerson Cavalcante ; Oliveira, Elthon Allex da Silva ; Almeida, Hyggo Oliveira de ; Silva, Leandro Dias da ; Perkusich, Angelo . A Java Code Annotation Approach for Model Checking Software Systems. In: 22nd Annual ACM Symposium on Applied Computing (ACM SAC'07), 2007, Seoul.
Proceedings of 22nd Annual ACM Symposium on Applied Computing, 2007. v. 2. p. 1536-1537. |
| Apresentações de Trabalho |
| 1. | Perkusich, Angelo . Software Evolution for Pervasive Applications. 2006. (Apresentação de Trabalho/Seminário). |
| 2. | Perkusich, Angelo . O Sistema Operacional Symbian. 2006. (Apresentação de Trabalho/Seminário). |
| 3. | Perkusich, Angelo . O Sistema Operacional Symbian. 2006. (Apresentação de Trabalho/Seminário). |
| Produção técnica |
| Softwares sem registro de patente |
| 1. | Perkusich, Angelo ; Almeida, Hyggo Oliveira de ; Sales, Leandro de Melo . QT-Brisa. 2011. |
| 2. | Miranda, Márcia Verônica Costa ; Perkusich, Angelo ; Figueiredo, Jorge Cesar Abrantes de . Editor Gráfico Para Sistemas de G-Nets. 1996. |
| Produtos tecnológicos |
| 1. | Perkusich, Angelo ; Figueiredo, Jorge Cesar Abrantes de . Sistema Especialista para Auxílio à Liberação de Linhas e Equipamentos em Sistemas de Energia Elétrica. 1990. |
| Trabalhos técnicos |
| 1. | Perkusich, Angelo . Redes de Petri de Alto Nível: Aplicação a Engenharia de Software e Sistemas Híbridos. 2001. |
| 2. | Perkusich, Angelo . Especificação Formal, Análise e Síntese de Componentes de Software para Sistemas Abertos e Concorrentes. 2000. |
| Demais trabalhos |
| 1. | Perkusich, Angelo . Redes de Petri. 2003 (Apostila de Curso). |
| 2. | Perkusich, Angelo ; Perkusich, Maria Lígia Barbosa ; Turnell, Maria de Fátima Queiroz Vieira . Bancos de Dados em Tempo-Real. 2000 (XIX Jornada de Atualização em Informática do XX Congresso da SBC, Notas de Curso, publicado pela SBC). |
| 3. | Perkusich, Angelo . Redes de Computadores. 1997 (Apostila de Curso). |
| 4. | Perkusich, Angelo ; Figueiredo, Jorge Cesar Abrantes de . Concepção de Sistemas Orientados A Objetos: Abordagem Por Redes de Petri. 1995 (XIV Jornada de Atualização em Informática do XV Congresso da SBC, Notas de Curso, publicado pela SBC). |
| Participação em bancas examinadoras |
| Dissertações |
| 1. | Vieira, Maria de Fátima Queiroz; Silva, Leandro Dias da; Perkusich, Angelo. 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 Curso de Mestrado Em Engenharia Elétrica) - Universidade Federal de Campina Grande. |
| 2. | Perkusich, Angelo; Silva, Ivan Saraiva; Déharbe, David Boris Paul. Participação em banca de Antônio Augusto Oliveira Viana da Silva. Contribuições para Verificação Automática de Applets JavaCard. 2004. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte. |
| 3. | Souza, José Renato de Brito; Perkusich, Angelo; Castro, Helano de Souza; Barroso, Giovanni Cordeiro. Participação em banca de José Renato de Brito Souza. Supersin - Uma Ferramenta para Síntese de Supervsores Baseada em Redes de Petri com Função de Habilitação de Transição. 2002. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Ceará. |
| 4. | Marques, Carla Katarina de Monteiro; Perkusich, Angelo; Barroso, Giovanni Cordeiro; Castro, Helano de Souza. Participação em banca de Carla Katarina de Monteiro Marques. Modelagem e Análise do Protocolo de Reserva de Recursos Utilizando Redes de Petri Coloridas. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará. |
| 5. | Perkusich, Angelo; Costa, Evandro de Barros; Bittencourt, Guilherme. Participação em banca de Fernando Maia Assunção. Shart-Web: Um Sistema Tutor em Harmonia Tradicional na Web. 2001. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba. |
| 6. | Turnell, Maria de Fátima Queiroz Vieira; Perkusich, Angelo; Figueiredo, Jorge Cesar Abrantes de. Participação em banca de Alexandre Scaico. Aplicação de um Modelo de Navegação de IHM ao Contexto de Sistemas Industriais. 2001. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal da Paraíba. |
| 7. | Turnell, Maria de Fátima Queiroz Vieira; Moura, José Antão Beltrão; Perkusich, Angelo; Lula Júnior, Bernardo. Participação em banca de Avishek Nigam. Usabilidade de Produtos de Suporte para o Desenvolvimento de Aplicações de Banco de Dado. 2001. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal da Paraíba. |
| 8. | Moura, José Antão Beltrão; Perkusich, Angelo; Brasileiro, Francisco Vilar; Schiel, Ulrich; Celestino Júnior, Joaquim; Vasconcelos, Antonio M.L.. Participação em banca de Álvaro Francisco de Castro Medeiros. Extensão à STL para Representação Canônica de Conceitos em Metodologias de Especificação de Software Orientadas a Objetos. 2001. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal da Paraíba. |
| 9. | Perkusich, Angelo; Gudwin, Ricardo Ribeiro; Cardozo, Eleri; Gomide, Fernando. Participação em banca de Antônio Sérgio Ribeiro Gomes. Contribuições ao Estudo de Redes de Agentes. 2000. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas. |
| 10. | Silva, José Reinaldo; Perkusich, Angelo; Miyagi, Paulo Eigi. Participação em banca de Roberto Luis Cunha Barroso Ramos. Modelagem de Sistemas Complexos Automatizados por uma Arquitetura Baseada em Integrons. 2000. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo. |
| 11. | Perkusich, Angelo; Lima, Antonio Marcus Nogueira; Barroso, Giovanni Cordeiro. Participação em banca de Vanderley Pereira da Silva. Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado. 1999. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal da Paraíba. |
| 12. | Costa, Evandro de Barros; Perkusich, Angelo; Bittencourt, Guilherme. Participação em banca de Luciano Reis Coutinho. A Modelagem do Aprendiz em Ambientes de Aprendizagem por Computador baseados em Atividades de Resolução de Problemas. 1999. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba. |
| 13. | Perkusich, Angelo; Brasileiro, Francisco Vilar; Pôrto, Ingrid Jansch. Participação em banca de Érica de Lima Gallindo. Processamento Confiável no Ambiente Operacional Seljuk-Amoeba. 1998. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba. |
| 14. | Lima, Antonio Marcus Nogueira; Perkusich, Angelo; Mendes, Rafael Santos. Participação em banca de Eduard Montgomery Meira Costa. Contribuição ao uso da lógica temporal na especificação de comportamento de sistemas a eventos discretos. 1997. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal da Paraíba. |
| 15. | Deep, Gurdip Singh; Perkusich, Angelo; Kato, Mário Takayuki. Participação em banca de Sebastian Yuri Cataunda. Toxímetro: Instrumento Para Detecção de Elementos Tóxicos Em Afluentes de Sistemas de Tratamento de Águas Residuárias. 1996. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal da Paraíba. |
| 16. | Lopes, Manoel Agammenon; Perkusich, Angelo; Bedregal, Benjamim Callejas. Participação em banca de Gilson Oliveira dos Santos. Uma Metodologia de Resolução de Problemas via refinamento da Especificação. 1996. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba. |
| Teses de doutorado |
| 1. | Dórea, Carlos Eduardo Trabuco; Maruyama, Newton; dos Santos Filho, Diolino José; Silva, José Reinaldo; Perkusich, Angelo. Participação em banca de Pedro Manuel González del Foyo. Verificação Formal de Sistemas Discretos Distribuídos. 2009. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo. |
| 2. | Costa, Evandro de Barros; Perkusich, Angelo; Lima, Antonio Marcus Nogueira; Turnell, Maria de Fátima Queiroz Vieira; Cury, José Eduardo Ribeiro; Mendes, Rafael Santos. Participação em banca de Evandro de Barros Costa. Síntese de Supervisores de Sistemas a Eventos Discretos Utilizando Álgebra de Dióides. 2001. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal da Paraíba. |
| 3. | Lima, Antonio Marcus Nogueira; Perkusich, Angelo; Assis, Francisco Marcos de; Cury, José Eduardo Ribeiro; Mendes, Rafael Santos. Participação em banca de Eduard Montgomery Meira Costa. Síntese de Supervisores de Sistemas a Eventos Discretos Temporizados e Não Temporizados. 2001. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal da Paraíba. |
| 4. | Turnell, Maria de Fátima Queiroz Vieira; Perkusich, Angelo; Lula Júnior, Bernardo; Fonseca, Fernando; Melnikoff, Selma Shin Shimizu. Participação em banca de José Eustáquio Rangel de Queiroz. Abordagem Hibrida para a Avaliação da Usabilidade de Interfaces com o Usuário. 2001. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal da Paraíba. |
| 5. | Assis, Francisco Marcos de; Perkusich, Angelo; Pimentel, Cecílio José Lins; Pinto, Ernesto Leite; Sampaio Neto, Raimundo; Portugheis, Jaiime. Participação em banca de George Azevedo da Silva. Contribuições para análise de desempenho de sistemas de transmissão em diversidade por codificação espácio-temporal e o projeto de seqüências para espalhamento espectral usando códigos algébrico-geométricos. 2001. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal da Paraíba. |
| 6. | Moura, José Antão Beltrão; Perkusich, Angelo; Lima, Antonio Marcus Nogueira; Ren, Shouju; Bermudez, Luiz Afonso; Fonseca, Décio. Participação em banca de Francilene Procópio Garcia. Modelagem de Sistema de Apoio à Tomada de Decisão Baseado na Análise de Valor de Múltiplos Objetivos Aplicado à Internacionalização de Produtos e Serviços de Software. 1999. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal da Paraíba. |
| Qualificações de doutorado |
| 1. | Perkusich, Angelo; Vieira, Maria de Fátima Queiroz; Costa, Evandro de Barros; Lula Júnior, Bernardo. Participação em banca de Yuska Paola Costa Aguiar. Protocolo experimental para análise da interação entre usuários e sistemas, com foco na automação industrial. 2010. Exame de qualificação (Doutorando em Doutorado Em Engenharia Elétrica) - Universidade Federal de Campina Grande. |
| 2. | Lima, Antonio Marcus Nogueira; Perkusich, Angelo; Assis, Francisco Marcos de; Cury, José Eduardo Ribeiro; Mendes, Rafael Santos. Participação em banca de Eduard Montgomery Meira Costa. Síntese de Supervisores de Sistemas a Eventos Discretos Temporizados e Não Temporizados. 2000. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal da Paraíba. |
| 3. | Moura, José Antão Beltrão; Perkusich, Angelo; Lima, Antonio Marcus Nogueira; Ren, Shouju; Bermudez, Luiz Afonso; Almeida, Roberto Antonio Rodrigues de. Participação em banca de Francilene Procópio Garcia. Modelagem de Sistema de Apoio à Tomada de Decisão Baseado na Análise de Valor de Múltiplos Objetivos Aplicado à Internacionalização de Produtos e Serviços de Software. 1999. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal da Paraíba. |
| 4. | Turnell, Maria de Fátima Queiroz Vieira; Perkusich, Angelo; Lula Júnior, Bernardo; Fonseca, Fernando; Melnikoff, Selma Shin Shimizu. Participação em banca de José Eustáquio Rangel de Queiroz. Abordagem Hibrida para a Avaliação daUsabilidade de Interfaces com o Usuário. 1999. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal da Paraíba. |
| 5. | Turnell, Maria de Fátima Queiroz Vieira; Perkusich, Angelo; Lula Júnior, Bernardo; Maldonado, José Carlos; Fonseca, Fernando. Participação em banca de Marckson R. de Souza. Avaliação Interativa da Especificação de Interfaces com Enfase na Navegação. 1997. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal da Paraíba. |
| Participação em bancas de comissões julgadoras |
| Concurso público |
| 1. | Perkusich, Angelo. Concurso público para o cargo de professor adjunto para o setor de estudo ciência da computação.. 2002. Universidade Federal de Alagoas. |
| 2. | Perkusich, Angelo; Costa, Evandro de Barros; Orgambide, Alejandro César Frery. Concurso público para o cargo de professor assistente para o setor de estudo engenharia de software.. 2000. Universidade Federal de Alagoas. |
| Participação em eventos |
| 1. | 12th IEEE Conference on Emerging Technologies and Factory Automation.On the Automatic Generation of Timed Automata Models from ISA 5.2 Diagrams. 2007. (Congresso). |
| 2. | 18th International Conference on Softwre ENgineering and Knowledge Engineering.Particpação com apresentação do artigo: A Component Based Dynamic Composition Model to Support Unanticipated Software Evolution e Chair da Sessão Emperical SOftware Engineering II. 2006. (Congresso). |
| 3. | Congresso Alagoano de Tecnologia da Informação.Palestra Convidada: Sistemas Embarcados. 2003. (Congresso). |
| Organização de eventos |
| 1. | Lucena, Carlos José Pereira de ; Perkusich, Angelo ; Almeida, Hyggo Oliveira de ; Paes, Rodrigo de Barros ; Choren, Ricardo . 3rd Workshop on Software Engineering for Agent-oriented Systems. 2007. (Congresso). |
| Supervisões e orientações concluídas |
| Dissertação de mestrado |
| 1. | Leonardo Rodrigues Sampaio. Validação Visual de Programas Ladder Baseada em Modelos. 2011. Dissertação (Mestrado em Curso de Mestrado Em Informática) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Angelo Perkusich. |
| 2. | 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, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Angelo Perkusich. |
| 3. | Paulo Rômulo Alves Barros. Abordagem Orientada a Serviços para o Gerenciamento de Energia em Redes Pervasivas. 2011. 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: Angelo Perkusich. |
| 4. | 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, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Angelo Perkusich. |
| 5. | 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, . Orientador: Angelo Perkusich. |
| 6. | Thiago Bruno Melo de Sales. Especificação Baseada no Padrão UPnP para Autenticação e Autorização de Usuários em Ambientes Pervasivos. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Angelo Perkusich. |
| 10. | Gutemberg Gonçalves dos Santos Júnior. Redução de Ruído para Sistemas de Reconhecimento de Voz Utilizando Subespaços Vetoriais. 2009. Dissertação (Mestrado em Curso de Mestrado Em Engenharia Elétrica) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Angelo Perkusich. |
| 11. | Marcos Fábio Pereira. Uma Infra-Estrutura para o Desenvolvimento de Aplicações Corporativas com Suporte à Evolução Dinâmica e Não Antecipada. 2009. Dissertação (Mestrado em Curso de Mestrado Em Informática) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Angelo Perkusich. |
| 12. | Kézia Vasconcelos. Geração Automática de Testes de Conformidade para Programas de Controlodares Lógicos Programáveis. 2009. Dissertação (Mestrado em Curso de Mestrado Em Informática) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Angelo Perkusich. |
| 13. | Carlos Wagner Barros Araújo. Protocolo de Roteamento Multi-Métrico para Redes de Sensores Sem Fio (CA-AODV). 2009. Dissertação (Mestrado em Curso de Mestrado Em Engenharia Elétrica) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Angelo Perkusich. |
| 25. | 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, . Orientador: Angelo Perkusich. |
| 27. | Rodrigo Choji Freitas. Arquitetura para Integração Entre Modelos em Redes de Petri Coloridas e Modelos em Realidade Virtual: Uma Abordagem para Subestações Elétricas. 2006. 112 f. Dissertação (Mestrado em Curso de Mestrado Em Engenharia Elétrica) - Universidade Federal de Campina Grande, . Orientador: Angelo Perkusich. |
| 28. | Emerson Cavalcante Loureiro Filho. Um Middleware Extensível para Disponibilização de Serviços em Ambientes Pervasivos. 2006. 129 f. Dissertação (Mestrado em Curso de Mestrado Em Informática) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Angelo Perkusich. |
| 30. | Jean Caminha. Uma Arquitetura para Autenticação de Dispositivos Móveis através de uma Infra-Estrutura de Chave Pública. 2006. Dissertação (Mestrado em Curso de Mestrado Em Engenharia Elétrica) - Universidade Federal de Campina Grande, . Orientador: Angelo Perkusich. |
| 31. | Anderson Fernandes Esteves. Proposta de um método para o desenvolvimento de aplicações Workflow em Dispositivos Móveis. 2006. Dissertação (Mestrado em Curso de Mestrado Em Engenharia Elétrica) - Universidade Federal de Campina Grande, . Orientador: Angelo Perkusich. |
| 33. | Yáskara Ygara Menescal Fernandes. Técnica de Controle de Concorrência Semântica para Sistemas de Gerenciamento de Bancos de Dados em Tempo-Real. 2005. 85 f. Dissertação (Mestrado em Curso de Mestrado Em Engenharia Elétrica) - Universidade Federal de Campina Grande, . Orientador: Angelo Perkusich. |
| 34. | Hyggo Oliveira de Almeida. COMPOR: Desenvolvimento de Software para Sistemas Multi-Agentes. 2004. 162 f. Dissertação (Mestrado em Curso de Mestrado Em Informática) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Angelo Perkusich. |
| 35. | José Alves do Nascimento Neto. Modelagem da Interface Homem-Máquina de uma Subestação Elétria. 2004. 130 f. Dissertação (Mestrado em Curso de Mestrado Em Engenharia Elétrica) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Co-Orientador: Angelo Perkusich. |
| 39. | Kyller Costa Gorgônio. Adapatação de Modelos em Redes de Petri Coloridas. 2001. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Angelo Perkusich. |
| 41. | Ana Karla Alves de Medeiros. Mecanismos de Interação para um Modelo de Redes de Petri Orientada a Objetos. 2000. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Angelo Perkusich. |
| 44. | Sandro Alex Damasceno Costa. Aspectos de Herança Em Notação Orientada A Objetos Baseada Em Redes de Petri. 1999. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Angelo Perkusich. |
| 45. | Wellington de Araújo Bastos. Síntese de Supervisores Utilizando Verificação de Modelo. 1999. 0 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal da Paraíba, . Orientador: Angelo Perkusich. |
| 46. | Zilma Betânia de Sá Ribeiro. Supervisores Distribuídos para Sistemas Flexíveis de Manufatura: uma Abordagem por Redes de Petri Coloridas. 1999. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Angelo Perkusich. |
| 47. | Alessandro Araújo Jatobá. Da Concepção a Realização de um Modelo Cooperatvo para uma Sociedade de Agentes Inteligentes. 1998. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba, . Orientador: Angelo Perkusich. |
| 48. | Dalton Dario Serey Guerrero. Sistemas de Redes de Petri Modulares Baseados Em Objetos. 1997. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Angelo Perkusich. |
| 51. | Márcia Verônica Costa Miranda. Um Ambiente Para Edição e Animação de Sistemas de G-Nets. 1996. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba, . Orientador: Angelo Perkusich. |
| 52. | Jorge Cesar Abrantes de Figueiredo. Sistema de Auxílio a Manobras em Linhas de Transmissão Utilizando Tecnicas de Inteligencia Artificial. 1989. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Angelo Perkusich. |
| Tese de doutorado |
| 2. | Paulo Sérgio Sausen. Gerenciamento Integrado de Energia e Controle de Topologia em Redes de Sensores Sem Fio. 2008. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Angelo Perkusich. |
| 4. | Pedro Fernandes Ribeiro Neto. Mecanismos de Qualidade de Serviços para o Gerenciamento de Dados e Transações em Tempo-Real. 2006. 149 f. Tese (Doutorado em Doutorado Em Engenharia Elétrica) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Angelo Perkusich. |
| 6. | Edmar Candeia Gurjão. Concorrência, Redes de Petri e Teoria da Informação: Aspectos Comuns. 2003. 91 f. Tese (Doutorado em Doutorado Em Engenharia Elétrica) - Universidade Federal de Campina Grande, . Orientador: Angelo Perkusich. |
| 7. | Dalton Dario Serey Guerrero. Redes de Petri Orientadas a Objetos. 2002. 160 f. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal da Paraíba, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Angelo Perkusich. |
| 9. | Evandro de Barros Costa. Um Ambiente Interativo Para Ensino e Aprendizagem. 1997. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal da Paraíba, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Angelo Perkusich. |
| 10. | Giovanni Cordeiro Barroso. Uma Nova Abordagem Para A Síntese de Supervisores de Sistemas A Eventos Discretos. 1996. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal da Paraíba, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Angelo Perkusich. |
| Trabalho de conclusão de curso de graduação |
| 1. | Taciana Saad Rached. Estudo e Implementação de um Framework de Eventos UPnP com Suporte aos Serviços de Áudio e Vídeo para o BRisa. 2008. Trabalho de Conclusão de Curso. (Graduação em Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande. Orientador: Angelo Perkusich. |
| 2. | Lucas Albertins de Lima. Integração do Ambiente de Execução COMPOR ao Ambiente de Composição de Componentes. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Angelo Perkusich. |
| 3. | Leonardo Araújo de Medeiros. Estudo e Arquitetura de uma biblioteca para Guia Eletrônico de Serviços de DVB-H. 2007. Trabalho de Conclusão de Curso. (Graduação em Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande. Orientador: Angelo Perkusich. |
| 4. | Genildo de Moura Vasconcelos. Projeto e Implementação de Filtros Bi-Dimensionais em MatLab e C para Aritmética de Ponto Fixo. 2006. 40 f. Trabalho de Conclusão de Curso. (Graduação em Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande. Orientador: Angelo Perkusich. |
| 5. | Robson Pacífico Guimarães Lima. Implementação do Circuito de Teste de Memória e do Circuito de Processamento para um Dispositivo utilizado para Rastreamento e Monitoramento de Veículos. 2006. 40 f. Trabalho de Conclusão de Curso. (Graduação em Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande. Orientador: Angelo Perkusich. |
| 6. | Diego Márcio Oliveira Bezerra. Uma Aplicação para Descoberta de Serviços em Redes sem Fio. 2006. 40 f. Trabalho de Conclusão de Curso. (Graduação em Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande. Orientador: Angelo Perkusich. |
| 7. | Stefânia Daisy Canuto Marques. Um Plugin para o Desenvolvimento de Componentes do Modelo COMPOR. 2006. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Angelo Perkusich. |
| 8. | Waldemar Pires Ferreira Neto. Implementação do Módulo de Verificação de Dependências e Análise de Desempenho para o Ambiente de Composição de Componentes COMPOR. 2006. 2006. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Angelo Perkusich. |
| 9. | Saulo Oliveira Dornellas Luiz. Aplicação de Métricas de Desempenho a Filtros Digitais Bi-Dimensionais. 2005. 40 f. Trabalho de Conclusão de Curso. (Graduação em Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande. Orientador: Angelo Perkusich. |
| 10. | Danilo Freire de Souza Santos. Estudo e Implantação de um Sistema de IP Móvel em Linux em um contexto de Telefonia IP. 2005. 50 f. Trabalho de Conclusão de Curso. (Graduação em Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande. Orientador: Angelo Perkusich. |
| 11. | Ádrian Guedes. Protocolos para Configuração de Serviços em Ambientes Pervasivos. 2005. 45 f. Trabalho de Conclusão de Curso. (Graduação em Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande. Orientador: Angelo Perkusich. |
| 12. | Jayarama Sundar Santana. Projeto e Implementação em Ponto Flutuante de Filtros Bi-Dimensionais em Matlab e C. 2005. 45 f. Trabalho de Conclusão de Curso. (Graduação em Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande. Orientador: Angelo Perkusich. |
| 13. | José Luis Nascimento. Estudo e Implantação de um Gateway Utilizandoi as Tecnologias Ethernet, Wi-Fi e Bluetooth para um Servidor Linux. 2005. 48 f. Trabalho de Conclusão de Curso. (Graduação em Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande. Orientador: Angelo Perkusich. |
| 14. | Danilo Freire de Souza Santos. Estudo e Implementação de um Sistema IP Móvel Utilizando Linux . 2005. 51 f. Trabalho de Conclusão de Curso. (Graduação em Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande. Orientador: Angelo Perkusich. |
| 15. | Olympio Cipriano Silva. Estudo de Um SOftware para PBX Baseado no Linux. 2005. 39 f. Trabalho de Conclusão de Curso. (Graduação em Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande. Orientador: Angelo Perkusich. |
| 16. | Yuri Gomes. Uma Aplicação de VOIP. 2005. 43 f. Trabalho de Conclusão de Curso. (Graduação em Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande. Orientador: Angelo Perkusich. |
| 17. | Denis Hipólito de Araújo. Aquisição em Tempo Real Utilizando Linux. 2002. 35 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia Elétrica) - Universidade Federal da Paraíba. Orientador: Angelo Perkusich. |
| Iniciação Científica |
| 1. | Carlos Wagner Barros Araújo. Modelagem de Software Embarcado para Redes de Sensores/Atuadores Inteligentes. 2004. 0 f. Iniciação Científica. (Graduando em Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Angelo Perkusich. |
| 2. | Tiago Alves Moraes. Modelagem de Software Embarcado para Redes de Sensores/Atuadores Inteligentes. 2003. 50 f. Iniciação Científica. (Graduando em Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Angelo Perkusich. |
| 3. | Denis Hipólito de Araújo. Animação de Sistemas de Produção. 1999. 0 f. Iniciação Científica. (Graduando em Engenharia Elétrica) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Angelo Perkusich. |
| 4. | Wagner Abraão Alcatara de Sousa. Programação de Controladores Lógicos Programáveis por Redes de Petri. 1999. 0 f. Iniciação Científica. (Graduando em Engenharia Elétrica) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Angelo Perkusich. |
| 5. | Luciana Maria de Araújo. Modelagem de Sistemas de Transporte Inteligentes Utilizando Redes de Petri Coloridas. 1998. 0 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Angelo Perkusich. |
| 6. | Tantravahi Venkatesh Aditya. Programação em Ambiente Distribuído e Redes de Petri. 1997. 0 f. Iniciação Científica. (Graduando em Engenharia Elétrica) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Angelo Perkusich. |
| 7. | Vladimir Barbosa e Silva. Programação em Ambiente Distribuído. 1996. 0 f. Iniciação Científica. (Graduando em Engenharia Elétrica) - Universidade Federal da Paraíba. Orientador: Angelo Perkusich. |
| 8. | César Augusto Barbosa Santos. Desenvolvimento do editor/animador gráfico para G-Nets.. 1995. 0 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Angelo Perkusich. |
| Orientações de outra natureza |
| 1. | Taciana Saad Rached. Implementação de uma Aplicação de Control Point UPnP de Áudio e Vídeo para a Dispositivos Móveis. 2008. Orientação de outra natureza. (Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande. Orientador: Angelo Perkusich. |
| 2. | Ricardo da Silva Souza. Controle de Home Theather PCs Através de Serviços UPnP. 2008. Orientação de outra natureza. (Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande. Orientador: Angelo Perkusich. |
| 3. | Leonardo Araújo de Medeiros. Implementação de Protocolos para TV Digital Móvel. 2007. Orientação de outra natureza. (Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande. Orientador: Angelo Perkusich. |
| 4. | Leonardo Araújo de Medeiros. Implementação de Protocolos para TV Digital Móvel. 2007. Orientação de outra natureza. (Graduação Em Engenharia Elétrica) - Universidade Federal de Campina Grande. Orientador: Angelo Perkusich. |
| 5. | Diego Márcio Oliveira Bezerra. Analisando e Melhorando o Sistema Porteiro/Videophone. 2006. 40 f. Orientação de outra natureza - Universidade Federal de Campina Grande. Orientador: Angelo Perkusich. |
| 6. | Sabrina Souto. Implementando um Guia Eletrônico de Serviços para um Dispositivo Móvel . 2005. 60 f. Orientação de outra natureza - Universidade Federal de Campina Grande, Fundação Parque Tecnológico da Paraíba. Orientador: Angelo Perkusich. |
| 7. | Tiago Alves Moraes. Modelagem de Software Embarcado para Redes de Sensores/Atuadores Inteligentes. 2004. 0 f. Orientação de outra natureza - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Angelo Perkusich. |
| Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 19:57:08 |