Kyller Costa Gorgônio

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


Possui graduação em Bacharelado em Ciência da Computação pela Universidade Federal da Paraíba (1999), mestrado em Ciência da Computação pela Universidade Federal da Paraíba (2001) e doutorado em Software - Universitat Politècnica de Catalunya (2010). Atualmente é professor adjunto na Universidade Federal de Campina Grande. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: petri nets, protocols, asynchronous communication mechanisms, coloured petri nets e redes de petri. (Texto informado pelo autor)


Identificação


Nome
Kyller Costa Gorgônio
Nome em citações bibliográficas
GORGONIO, KYLLER;GORGÔNIO, K. C.;GORGÔNIO, K.;GORGONIO, KYLLER COSTA;GORGÔNIO, KYLLER COSTA;GORGÔNIO, KYLLER C.

Endereço


Endereço Profissional
Universidade Federal de Campina Grande, Unidade Acadêmica de Sistemas e Computação.
Av. Aprígio Veloso, 882
Bodocongó
58429900 - Campina Grande, PB - Brasil
Telefone: (83) 21011691
URL da Homepage: http://kyller.computacao.ufcg.edu.br/


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


2002 - 2010
Doutorado em Software.
Universitat Politècnica de Catalunya, UPC, Espanha.
Título: Towards the Automatic Synthesis of Asynchronous Communication Mechanisms, Ano de obtenção: 2010.
Orientador: Jordi Cortadella.
Bolsista do(a): Ministerio de Ciencia y Tecnologia, MCYT, Espanha.
1999 - 2001
Mestrado em Ciência da Computação.
Universidade Federal da Paraíba, UFPB, Brasil.
Título: Adaptação de Modelos em Redes de Petri Coloridas,Ano de Obtenção: 2001.
Orientador: Angelo Perkusich.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Redes de Petri; Métodos Formais; Verificação Automática de Modelos; Engenharia de Software; Teoria do Controle Supervisório; Sistemas a Eventos Discretos.
Grande área: Ciências Exatas e da Terra
1995 - 1999
Graduação em Bacharelado em Ciência da Computação.
Universidade Federal da Paraíba, UFPB, Brasil.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.




Formação Complementar


2003 - 2003
4th Advanced Course on Petri Nets. (Carga horária: 60h).
Katholische Universität of Eichstätt-Ingolstadt, KU-EICHSTAETT, Alemanha.
2000 - 2000
Padrões de Arq. de SW para Sist. Distribuídos. (Carga horária: 3h).
Sociedade Brasileira de Computação, SBC, Brasil.
2000 - 2000
Introdução ao Teste de Software. (Carga horária: 4h).
Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.
1997 - 1997
Extensão universitária em Unix para Usuários. (Carga horária: 9h).
Universidade Federal da Paraíba, UFPB, Brasil.
1996 - 1996
Extensão universitária em Programação em Delphi. (Carga horária: 18h).
Universidade Federal da Paraíba, UFPB, Brasil.
1996 - 1996
Extensão universitária em Manutenção em Computador. (Carga horária: 12h).
Universidade Federal da Paraíba, UFPB, Brasil.


Atuação Profissional



Nyx Tecnologia da Informação, NYX, Brasil.
Vínculo institucional

2010 - 2012
Vínculo: , Enquadramento Funcional:


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

2011 - Atual
Vínculo: , Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2006 - 2009
Vínculo: Colaborador, Enquadramento Funcional: Colaborador, Carga horária: 40


Signove Tecnologia S/A, SIGNOVE, Brasil.
Vínculo institucional

2009 - 2011
Vínculo: Colaborador, Enquadramento Funcional: Gerente de TI, Carga horária: 44

Atividades

08/2009 - 10/2011
Serviços técnicos especializados , Pesquisa e Desenvolvimento, .

Serviço realizado
Implantação e manutenção da infra-estrutura de tecnologia da informação..

Era Digital Internet Graphics Ltda., ERA DIGITAL, Brasil.
Vínculo institucional

2001 - 2006
Vínculo: Colaborador, Enquadramento Funcional: Gerente de TI

Atividades

10/2001 - 10/2002
Serviços técnicos especializados , ITI, .

Serviço realizado
Gerente de Tecnologia da Informação.

Fundação Aplicações de Tecnologias Críticas, ATECH, Brasil.
Vínculo institucional

2001 - 2001
Vínculo: Celetista formal, Enquadramento Funcional: Analista de Sistemas Jr., Carga horária: 40

Atividades

04/2001 - 09/2001
Serviços técnicos especializados .

Serviço realizado
Administrador de Sistemas UNIX.

Universidade Federal da Paraíba, UFPB, Brasil.
Vínculo institucional

1999 - 2001
Vínculo: Aluno regularmente matriculado, Enquadramento Funcional: Aluno de Mestrado, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

1995 - 1999
Vínculo: Aluno regularmente matriculado, Enquadramento Funcional: Aluno de Graduação, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

05/1996 - 09/1996
Extensão universitária , Centro de Ciências e Tecnologia - Campus II, Departamento de Sistemas e Computação.

Atividade de extensão realizada
Monitoria da disciplina Linguagem de Programação II.

Associação Técnica Científica Ernesto Luiz de Oliveira Júnior, ATECEL, Brasil.
Vínculo institucional

2000 - 2001
Vínculo: Celetista formal, Enquadramento Funcional: Estagiário

Atividades

11/2000 - 11/2000
Serviços técnicos especializados , Execução de projetos, .

Serviço realizado
Plataformas de Software - Curso de Redes Corporativas. Convênio UFPB/CCT/ECT.


Projetos de pesquisa


2010 - 2012
Ferramenta para Testes de Conformidade para Software de Controladores Lógicos Programáveis

Projeto certificado pela empresa Nyx Tecnologia da Informação em 20/02/2015.
Descrição: O objetivo deste projeto é o desenvolvimento de uma ferramenta, denominada NyxCLP, baseada em técnicas e métodos formais, para a análise de conformidade de código para execução em plantas industriais. A ferramenta possibilitará aos engenheiros determinar automaticamente se o código em execução em um determinado CLP não viola a especificação da lógica para a qual o código foi desenvolvido, garantindo consistência entre a documentação aprovada e o código do CLP. Desta forma, diminui-se a possibilidade de falhas na planta devido a alterações inapropriadas do código do CLP em campo..
Situação: Concluído; Natureza: Pesquisa.
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) / Mestrado acadêmico: (3) .
Integrantes: Kyller Costa Gorgônio - Integrante / Angelo Perkusich - Coordenador / Leandro Dias da Silva - Integrante / Antonio Marcus Nogueira Lima - Integrante / José Sérgio da Rocha Neto - Integrante / Péricles Resende de Barros - Integrante.Financiador(es): Petróleo Brasileiro - Rio de Janeiro - Matriz - Cooperação / Financiadora de Estudos e Projetos - Cooperação.
2005 - 2009
Capacitação de alunos, pesquisa e desenvolvimento em tecnologias para dispositivos móveis
Descrição: Capacitação de alunos em tecnologias para dispositivos móveis (symbian/maemo), linguagens (PyS60, FlashLite, WRT, Qt) e desenvolvimento de software livre para dispositivos móveis..
Situação: Concluído; Natureza: Pesquisa.


Projetos de desenvolvimento


2015 - Atual
Arquitetura de Computação Pervasiva aplicada a Sistemas de Saúde Conectada
Descrição: Edital MCTI/CNPQ/Universal 14/2014: Neste projeto têm-se os seguintes objetivos: Concepção de uma arquitetura pervasiva aplicada à saúde conectada, que integre as arquiteturas UPnP e IEEE 11073;Criar um conjunto de aplicações que utilizem a arquitetura para avaliação de viabilidade técnica;Realização de experimentos para validar aspectos não funcionais da implementação da arquitetura, tais como desempenho, segurança e privacidade..
Situação: Em andamento; Natureza: Desenvolvimento.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Verificação formal e análise de sistemas concorrentes.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas embarcados.
3.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Informática Industrial.
4.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Engenharia de Software.
5.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Computabilidade e Modelos de Computação.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Catalão
Compreende Razoavelmente, Fala Pouco, Lê Bem, Escreve Pouco.


Prêmios e títulos


2010
Forum Nokia Champion, Nokia Coorporation.
2009
Forum Nokia Champion, Nokia Coorporation.
2008
Forum Nokia Champion, Nokia Coorporation.
1996
Prêmio de Iniciação à Docência, Pró-Reitoria de Graduação / UFPB.
1994
I Olimpíada Campinense de Física. Nona colocação, Universidade Federal da Paraíba.


Produções



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

1.
NUNES, JOA'O2017NUNES, JOA'O ; WILLAMY, RENAN ; PERKUSICH, MIRKO ; SARAIVA, RENATA ; GORGONIO, KYLLER ; ALMEIDA, HYGGO ; PERKUSICH, ANGELO . An Algorithm to Define the Node Probability Functions of Bayesian Networks based on Ranked Nodes. INTERNATIONAL JOURNAL OF ENGINEERING TRENDS AND TECHNOLOGY, v. 52, p. 151-156, 2017.

2.
SANTOS, DANILO F. S.2016SANTOS, DANILO F. S. ; GORGÔNIO, KYLLER C. ; PERKUSICH, ANGELO ; ALMEIDA, HYGGO O. . A Standard-Based and Context-Aware Architecture for Personal Healthcare Smart Gateways. Journal of Medical Systems, v. 40, p. 224, 2016.

3.
PERKUSICH, MIRKO2016PERKUSICH, MIRKO ; GORGÔNIO, KYLLER COSTA ; ALMEIDA, HYGGO ; PERKUSICH, ANGELO . Assisting the continuous improvement of Scrum projects using metrics and Bayesian networks. Journal of Software-Evolution and Process, v. n/a, p. n/a-n/a, 2016.

4.
DE SALES, LEANDRO2014DE SALES, LEANDRO ; M. DE SALES, THIAGO ; ALMEIDA, HYGGO ; PERKUSICH, ANGELO ; Gorgônio, Kyller . Generalized connections and incentives for supporting CE devices in live streaming systems. IEEE Transactions on Consumer Electronics, v. 60, p. 605-613, 2014.

5.
GORGÔNIO, K. C.2007GORGÔNIO, K. C.; CORTADELLA, J. ; XIA, F. ; YAKOVLEV, A. . Automating Synthesis of Asynchronous Communication Mechanisms. FUNDAMENTA INFORMATICAE, v. 78, p. 75-100, 2007.

Capítulos de livros publicados
1.
OLIVEIRA, K. V. ; GORGÔNIO, K. C. ; PERKUSICH, A. ; LIMA, A. M. N. ; SILVA, L. D. . 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. 1ed.Hershey: IGI Global, 2011, v. , p. 305-328.

2.
PERKUSICH, A. ; GORGÔNIO, K. C. ; ALMEIDA, H. O. . Qt Apps and Native Symbian Extensions. In: Frank H. P. Fitzek, Tommi Mikkonen, Tony Torp. (Org.). Qt For Symbian. 1ed.Chichester: John Wiley & Sons, 2010, v. , p. 95-116.

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

Trabalhos completos publicados em anais de congressos
1.
FREIRE, ARTHUR ; MEIRELES, ANDRÉ ; GUIMARÃES, GLEYSER ; PERKUSICH, MIRKO ; SILVA, RAISSA DA ; Gorgônio, Kyller ; PERKUSICH, ANGELO ; ALMEIDA, HYGGO . Investigating gaps on Agile Improvement Solutions and their successful adoption in industry projects - A systematic literature review. In: The 30th International Conference on Software Engineering and Knowledge Engineering, 2018, San Francisco, 2018. p. 40-45.

2.
FARIAS, A. ; VILAR, R. A. ; GORGÔNIO, K. C. ; ALMEIDA, H. O. ; PERKUSICH, A. . Evaluating fine-grained code generators for Graphical user interfaces in an industrial application. In: IX Congresso Brasileiro de Software - Trilha da Indústria, 2018, São Carlos. Anais do IX Congresso Brasileiro de Software (CBSoft)​, 2018, 2018.

3.
PERKUSICH, MIRKO ; Gorgônio, Kyller ; ALMEIDA, HYGGO ; PERKUSICH, ANGELO . A Framework to Build Bayesian Networks to Assess Scrum-based Development Methods. In: The 29th International Conference on Software Engineering and Knowledge Engineering, 2017, Pittsburgh. org.crossref.xschema._1.Title@358618ae, 2017. v. 29. p. 67.

4.
PERKUSICH, MIRKO ; MEDEIROS, AMAURY ; E SILVA, LENARDO CHAVES ; GORGÔNIO, KYLLER COSTA ; DE ALMEIDA, HYGGO OLIVEIRA ; PERKUSICH, ANGELO . A <i>Bayesian network</i> approach to assist on the interpretation of software metrics. In: the 30th Annual ACM Symposium, 2015, Salamanca. Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15. p. 1498.

5.
SILVA, L. C. E. ; ALMEIDA, H. O. ; PERKUSICH, A. ; PERKUSICH, M. B. ; LIMA, M. A. M. ; GORGÔNIO, K. C. . A Patient Baseline Model to Support Testing of Medical Cyber-Physical Systems. In: World Congress on Medical and Health Informatics, 2015, São Paulo. To appear in Proceedings of the 15th World Congress on Medical and Health Informatics, MEDINFO '15, 2015.

6.
GUERCIO, R. M. ; SANTOS, D. F. S. ; GORGÔNIO, K. C. ; PERKUSICH, A. . Internet das coisas para saúde conectada usando uma plataforma computacional de baixo custo. In: Congresso Brasileiro de Educação em Engenharia - COBENGE, 2014, Juiz de Fora, MG. Anais do XLII Congresso Brasileiro de Educação em Engenharia - COBENGE, 2014.

7.
SALES, L. M. ; GORGONIO, KYLLER ; ALMEIDA, H. O. ; PERKUSICH, A. . About encouraging residential users to share upload bandwidth with CDN/P2P live streaming systems. In: 2013 IEEE International Conference on Consumer Electronics (ICCE), 2013, Las Vegas. 2013 IEEE International Conference on Consumer Electronics (ICCE). p. 673-674.

8.
OLIVEIRA, K. V. ; SILVA, L. D. ; PERKUSICH, A. ; GORGÔNIO, K. C. ; SILVA, L. C. E. . Utilização de Diagramas de Decisão Binária Ordenados Para Geração de Casos de Teste em Sistemas Instrumentados de Segurança. In: Simpósio Brasileiro de Automação Inteligente (SBAI 2013), 2013, Fortaleza, CE. Anais do XI Simpósio Brasileiro de Automação Inteligente, 2013. v. XI.

9.
NOGUEIRA, CAROLINA ; BUBLITZ, FREDERICO M. ; DE ALMEIDA, HYGGO O. ; GORGONIO, KYLLER COSTA ; PERKUSICH, ANGELO . Framework for developing applications for remote monitoring of people with dementia. In: 2013 IEEE 9th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), 2013, Lyon. 2013 IEEE 9th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob). p. 291-296.

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

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

12.
OLIVEIRA, E. ; SILVA, L. D. ; GORGÔNIO, K. C. ; PERKUSICH, A. ; LIMA, A. M. N. . Convertendo Diagramas Ladder em modelos de Redes de Petri Coloridas. In: Simpósio Brasileiro de Automação Inteligente (SBAI 2011), 2011, São João del-Rei, MG. Anais do X Simpósio Brasileiro de Automação Inteligente, 2011. v. X. p. 1382-1387.

13.
OLIVEIRA, E. ; SILVA, L. D. ; GORGÔNIO, K. C. ; PERKUSICH, A. ; MARTINS, A. F. . Obtaining Formal Models from Ladder Diagrams. In: International Conference on Industrial Informatics (INDIN 2011), 2011, Caparica, Lisboa, Portugal. IEEE 9th International Conference on Industrial Informatics, 2011. p. 796-801.

14.
OLIVEIRA, K. V. ; PERKUSICH, A. ; LIMA, A. M. N. ; GORGÔNIO, K. C. ; SILVA, L. D. . 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. p. 1635-1640.

15.
OLIVEIRA, K. V. ; SILVA, L. D. ; PERKUSICH, A. ; LIMA, A. M. N. ; GORGÔNIO, K. C. . 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. p. 2995-3001.

16.
PEIXOTO, R. J. S. ; PERKUSICH, A. ; SILVA, L. D. ; LIMA, A. M. N. ; GORGÔNIO, K. C. . 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. p. 3211-3216.

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

18.
LIMA, M. A. M. ; SANTOS JUNIOR, G. G. ; MORAIS, M. R. A. ; GORGÔNIO, K. C. ; PERKUSICH, A. . CleveRemote - Adaptive Environments Using Bluetooth/Infrared Tranceivers. In: IEEE International Conference on Consumer Electronics, 2009, Las Vegas, USA. Proceedings of IEEE ICCE 2009. Piscatway: IEEE Consumer Electronics Society, 2009.

19.
OLIVEIRA, K. V. ; GORGÔNIO, K. C. ; PERKUSICH, A. ; LIMA, A. M. N. ; SILVA, L. D. . Extração Automática de Autômatos Temporizados a Partir de Diagramas Ladder. In: Simpósio Brasileiro de Automação Inteligente (SBAI), 2009, Brasília. Anais do IX Simpósio Brasileiro de Automação Inteligente. Porto Alegre, RS: Sociedade Brasileira de Automática, 2009.

20.
RACHED, T. ; GORGÔNIO, K. C. ; PERKUSICH, A. ; ALMEIDA, H. O. . Modeling the UPnP-UP protocol using Coloured Petri Nets. In: International Conference on Software, Telecommunications and Computer Networks (SoftCOM), 2009, Hvar. Proceedings of the 17th International Conference on Software, Telecommunications and Computer Networks. Piscataway, NJ, USA: IEEE Press, 2009. p. 307-311.

21.
SOUZA NETO, J. M. R. ; ROCHA NETO, J. S. ; GORGÔNIO, K. C. ; PERKUSICH, A. . Modeling CSMA-CA protocol with Coloured Petri Nets forWireless Sensor Networks Applications. In: Workshop on Information and Communication Technologies I - 17 International Conference on Software Telecommunicatios & Computer Networks (SofCOM), 2009, Split-Hvar-Korcula, Croatia. Workshop on Information and Communication Technologies I, 2009.

22.
GORGÔNIO, K. C.; XIA, F. . Modeling and Verifying Asynchronous Communication Mechanisms using Coloured Petri Nets. In: 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008, Xi?an, China. Proceedings of the 8th International Conference on Application of Concurrency to System Design. Los Alamitos, CA, USA: IEEE Computer Society, 2008. p. 138-147.

23.
OLIVEIRA, L. ; GORGÔNIO, K. C. ; PERKUSICH, A. ; SILVA, L. D. . Pitfalls and Tradeoffs on Dealing with Handoff Management in Bluetooth-based WPANs for Real-Time Applications. In: 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008, Marrakech, Morocco. Proceedings of the 13th IEEE Symposium on Computers and Communications, 2008. p. 631-636.

24.
SILVA, L. D. ; BARBOSA, L. P. A. ; GORGÔNIO, K. C. ; PERKUSICH, A. ; LIMA, A. M. N. . Geração Automática de Autômatos Temporizados para Diagramas de Blocos Funcionais. In: XVII Congresso Brasileiro de Automática, 2008, Juiz de Fora. Anais do XVII Congresso Brasileiro de Automática, CBA 2008. São Paulo, SP, Brasil: Sociedade Brasileira de Automática, 2008.

25.
LUIZ, S. O. D. ; PERKUSICH, A. ; LIMA, A. M. N. ; GORGÔNIO, K. C. . Gerenciamento de Energia em Sistemas Embarcados. In: XVII Congresso Brasileiro de Automática, 2008, Juiz de Fora. Anais do XVII Congresso Brasileiro de Automática, CBA 2008. São Paulo, SP, Brasil: Sociedade Brasileira de Automática, 2008.

26.
SALES, T. B. M. ; SALES, L. M. ; PEREIRA, M. F. ; ALMEIDA, H. O. ; PERKUSICH, A. ; GORGÔNIO, K. C. ; SALES JR., M. A. . 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 (UBICOMM 2008), 2008, Valencia, Spain. Proceedings of The Second International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies. Piscatway: IEEE Communication Society, 2008. p. 206-211.

27.
GORGÔNIO, K. C.; CORTADELLA, J. . Hardware Synthesis for Asynchronous Communications Mechanisms. In: International Conference of the Chilean Computer Science Society (SCCC 2008), 2008, Punta Arenas, Chile. International Conference of the Chilean Computer Science Society (SCCC 2008). Los Alamitos, CA, USA: IEEE Computer Society, 2008. p. 135-143.

28.
OLIVEIRA, L. ; RODRIGUES, A. F. ; GORGÔNIO, K. C. ; PERKUSICH, A. ; SILVA, L. D. . Specification and Analysis of a Bluetooth Handoff Protocol for Real-Time Applications. In: 16th International Conference on Software, Telecommunications and Computer Networks, 2008, Split, Croácia. Proceddings of the 16th International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2008), 2008.

29.
SILVA, L. D. ; BARBOSA, L. P. A. ; GORGÔNIO, K. C. ; PERKUSICH, A. ; LIMA, A. M. N. . On the Automatic Generation of Timed Automata Models from Function Block Diagrams for Safety Instrumented Systems. In: 34th Annual Conference of the IEEE Industrial Electronics Society (IECON 2008), 2008, Orlando, USA. 34th Annual Conference of the IEEE Industrial Electronics Society (IECON 2008), 2008. p. 291-296.

30.
GORGÔNIO, K. C.; CORTADELLA, J. ; XIA, F. . A compositional method for the synthesis of Asynchronous Communication Mechanisms. In: 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, 2007, Siedlce. Petri Nets and Other Models of Concurrency - ICATPN 2007, 2007. v. 4546. p. 144-163.

31.
BARBOSA, L. P. A. ; GORGÔNIO, K. C. ; LIMA, A. M. N. ; PERKUSICH, A. ; SILVA, L. D. . On the Automatic Generation of Timed Automata Models from ISA 5.2 Diagrams. In: 12th IEEE Conference on Emerging Technologies and Factory Automation, 2007, Patras. Proceedings of 12th IEEE Conference on Emerging Technologies and Factory Automation. Piscataway, NJ, USA: IEEE Industrial Electronics Society, 2007. v. 1. p. 406-412.

32.
CORTADELLA, J. ; GORGÔNIO, K. C. ; YAKOVLEV, A. ; XIA, F. . Automating Synthesis of Asynchronous Communication Mechanisms. In: Fifth International Conference on Application of Concurrency to System Design, 2005, Saint Malo, France. Proceedings of the Fifth International Conference Application of Concurrency to System Design. Los Alamitos, CA, USA: IEEE Computer Society, 2005. p. 166-175.

33.
GORGÔNIO, K. C.; PERKUSICH, A. . Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse. In: VII International Conference on Software Reuse, 2002, Austin, USA. Software Reuse: Methods, Techniques and Tools, 2002. v. 2319. p. 240-254.

34.
GORGÔNIO, K. C.; PERKUSICH, A. . Síntese de Especificações em Redes de Petri para Componentes de Software. In: III Workshop de Métodos Formais, 2000, João Pessoa. XIV SBES WORKSHOPS, 2000.

35.
PERKUSICH, A. ; ARAUJO, L. M. ; COELHO, R. S. ; GORGÔNIO, K. C. ; RIBEIRO, E. L. G. ; LEMOS, A. J. P. . Design and Animation of Coloured Petri Nets Models for Traffic Signals. In: Second Workshop and Tutorial on Practical Use of Coloured Petri Nets and Design/CPN, 1999, Aarhus, Denmark. Second Workshop and Tutorial on Practical Use of Coloured Petri Nets and Design/CPN, 1999.

Resumos publicados em anais de congressos
1.
GOMES, A. I. ; GORGÔNIO, K. C. ; NASCIMENTO, M. F. ; MACEDO, R. C. ; SILVA, S. J. ; MOTA, T. P. . Computadores e sua Programação: Aprimorando a Qualidade do Ensino. In: IV Seminário de Avaliação da Monitoria, 1996, João Pessoa. IV Seminário de Avaliação da Monitoria. João Pessoa: Editora Universitária/UFPB, 1996. p. 107-107.

Outras produções bibliográficas
1.
GORGÔNIO, K. C.; XIA, F. . Modeling and Verifying Asynchronous Communication Mechanisms using Coloured Petri Nets. Newcastle upon Tyne, UK 2008 (Relatório técnico).


Produção técnica
Programas de computador sem registro
1.
GORGÔNIO, K. C.. ACMgen. 2006.

2.
GORGÔNIO, K. C.. Jabuti. 2005.

3.
GORGÔNIO, K. C.. Adaptador de Modelos em Redes de Petri Coloridas. 2001.

4.
GORGÔNIO, K. C.; LEMOS, A. J. P. . Simulador para Sistema de Controle de Tráfego. 1999.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
ALMEIDA, H. O.; PERKUSICH, A.; GORGÔNIO, K. C.; SILVA, L. C. E.; MEDEIROS, A. L. F.. Participação em banca de Raíssa Matias da Silva. Definição de probabilidades condicionais de Redes Bayesianas baseadas em nós ranqueados. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

2.
ALMEIDA, H. O.; PERKUSICH, A.; GORGÔNIO, K. C.; MEDEIROS, A. L. F.; SILVA, L. C. E.. Participação em banca de Arthur Silva Freire. Modelo de Redes Bayesianas para melhoria do trabalho em equipe em projetos ágeis de desenvolvimento de software. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

3.
GORGÔNIO, K. C.; PERKUSICH, A.; ALMEIDA, H. O.; LUIZ, S. O. D.; RACHED, T.. Participação em banca de Zeus Cunha Barros. Gerenciamento de energia em ambientes corporativos. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

4.
ALMEIDA, H. O.; PERKUSICH, A.; GORGÔNIO, K. C.; SILVA, J. J.; RACHED, T.. Participação em banca de Bruno Fábio de Farias Paiva. Uma abordagem baseada em componentes para o desenvolvimento de aplicações pervasivas cientes de contexto de ambiente: foco em sensores. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

5.
ALMEIDA, H. O.; PERKUSICH, A.; GORGÔNIO, K. C.; LUIZ, S. O. D.; RACHED, T.. Participação em banca de Diego Renato dos Santos. Modelo para estimativa de potência de computadores baseado em constantes dependentes das configurações dos dispositivos. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

6.
GORGÔNIO, K. C.; PERKUSICH, A.; SILVA, L. D.; SILVA, J. J.; RACHED, T.. Participação em banca de Anne Lorayne Gerônimo Silva Augusto Moreira. Verificação automática de programas pela monitoração da execução do código: um estudo de caso de sua aplicação a um protocolo de controle de fluxo adaptativo. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

7.
ALMEIDA, H. O.; PERKUSICH, A.; GORGÔNIO, K. C.; MEDEIROS, A. L. F.; SILVA, L. C. E.. Participação em banca de Tales Ribeiro Morais Gurjão. Modelo de segurança independente de plataforma para execução de software não confiável. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

8.
ALMEIDA, H. O.; PERKUSICH, A.; GORGÔNIO, K. C.; SILVA, J. J.; SANTOS, D. F. S.. Participação em banca de Yuri Farias Gomes. Uma arquitetura orientada a serviços para integração de redes de sensores e atuadores heterogêneos na Internet das Coisas. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

9.
ALMEIDA, H. O.; PERKUSICH, A.; REBOUCAS, A. D. D. S.; GORGÔNIO, K. C.. Participação em banca de Delano Hélio Oliveira. Reduzindo a duplicação de código em aplicações corporativas: um arcabouço baseado em padrões de renderização. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

10.
ALMEIDA, H. O.; PERKUSICH, A.; LUIZ, S. O. D.; GORGÔNIO, K. C.. Participação em banca de Fabiano de Miranda Silva. Política adaptativa de gerenciamento dinâmico de energia baseada em timeout para interfaces de rede sem fio. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

11.
GORGÔNIO, K. C.; ALMEIDA, H. O.; MEDEIROS, A. L. F.; BUBLITZ, F. M.. Participação em banca de Matheus Brasileiro Campos. Arcabouço para o desenvolvimento de aplicações de monitoramento de praticantes de exercícios físicos. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

12.
GORGÔNIO, K. C.; ALMEIDA, H. O.; PERKUSICH, A.; REBOUCAS, A. D. D. S.. Participação em banca de Amaury Bartolomeu Carneiro de Medeiros. Uma Abordagem Baseada em Redes Bayesianas para Auxiliar a Interpretação de Métricas de Software. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

13.
SILVA, L. D.; MACHADO, A. P.; FISCHER, R.; GORGONIO, KYLLER. Participação em banca de Gustavo José Barbosa Silva. Reconhecimento de atividades humanas através de um smartphone. 2014. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas.

14.
SILVA, L. D.; COSTA, E. B.; GORGONIO, KYLLER. Participação em banca de José Cavalcante Reis Neto. Especificação formal do processo de gerenciamento de risco de equipamentos médicos baseado na ISO 14971:2009. 2014. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas.

15.
ALMEIDA, H. O.; PERKUSICH, A.; GORGONIO, KYLLER; LUIZ, S. O. D.. Participação em banca de Diógenes Galdino Gondim. Arcabouço de software baseado em componentes para o desenvolvimento de aplicações de gerenciamento de energia. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

16.
ALMEIDA, H. O.; PERKUSICH, A.; MORAIS, M. R. A.; GORGONIO, KYLLER. Participação em banca de Romeryto Vieira Lira. Um arcabouço para o desenvolvimento de aplicações para monitoramento pervasivo de ambientes. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

17.
ALMEIDA, H. O.; PERKUSICH, A.; MORAIS, M. R. A.; GORGONIO, KYLLER. Participação em banca de Maurílio da Silva. Arcabouço para o desenvolvimento de aplicações de realidade virtual para dispositivos portáteis com o uso de múltiplos sensores. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

18.
ALMEIDA, H. O.; PERKUSICH, A.; SILVA, L. D.; GORGONIO, KYLLER. Participação em banca de Leonardo Soares e Silva. Seleção de anúncios em sinalização digital baseada na segmentação de mercado e comportamento do consumidor. 2012.

19.
ALMEIDA, H. O.; SILVA, L. D.; PERKUSICH, A.; GORGONIO, KYLLER. Participação em banca de Lucas Vieira de Souza. Infraestrutura para o desenvolvimento de aplicações com suporte a comercialização de serviços entre pares em ambientes pervasivos. 2012.

20.
PERKUSICH, A.; SILVA, L. D.; LIMA, A. M. N.; GORGONIO, KYLLER. Participação em banca de Genildo de Moura Vasconcelos. Verificação automática de programas a partir da monitoração de múltiplas execuções de código. 2012. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Campina Grande.

21.
ALMEIDA, H. O.; PERKUSICH, A.; GORGONIO, KYLLER; MORAIS, M. R. A.. Participação em banca de Carolina Nogueira de Souza. Arcabouço de desenvolvimento de aplicações de monitoramento remoto e auxílio de pessoas com doença de Alzheimer. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

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

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

Teses de doutorado
1.
ALMEIDA, H. O.; PERKUSICH, A.; GORGÔNIO, K. C.; MASSONI, T. L.; KULESZA, U.; GUERRA, E. M.. Participação em banca de Rodrigo de Almeida Vilar de Miranda. Decomposição e Reúso de Componentes Baseados em Metadados para Interfaces Gráficas do Usuário em Aplicações Corporativas Web. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

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

3.
SILVA, L. D.; ALMEIDA, H. O.; PERKUSICH, A.; GORGÔNIO, K. C.; COSTA, C. A.; FISCHER, R.. Participação em banca de Leonardo Melo de Medeiros. Uma abordagem de monitoramento de sinais motores da doença de Parkinson baseada em jogos eletrônicos. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

4.
SILVA, L. D.; PERKUSICH, A.; GORGÔNIO, K. C.; ALMEIDA, H. O.; SILVA, J. R.; LIMA, A. M. N.. Participação em banca de Álvaro Alvares de Carvalho César Sobrinho. Um método para o desenvolvimento e certificação de software de sistemas embarcados baseado em Redes de Petri Coloridas e casos de garantia. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

5.
ALMEIDA, H. O.; SILVA, L. D.; LIMA, A. M. N.; PISA, I. T.; PERKUSICH, A.; GORGONIO, KYLLER. Participação em banca de Elthon Allex da Silva Oliveira. Uso de modelos formais em sistemas pervasivos de cuidados de saúde: um estudo de caso em auxílio à prática de exercícios físicos. 2015. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

6.
PERKUSICH, A.; ALMEIDA, H. O.; GORGÔNIO, K. C.; COSTA, E. B.; VENANCIO NETO, A. J.; LUIZ, S. O. D.. Participação em banca de Lenardo Chaves e Silva. Uma Abordagem Baseada em Modelos para Suporte à Validação de Sistemas Médicos Físico-Cibernéticos. 2015. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

7.
PERKUSICH, A.; SILVA, L. D.; ALMEIDA, H. O.; GORGONIO, KYLLER; BARROSO, G. C.; LIMA, A. M. N.. Participação em banca de Kézia de Vasconcelos Oliveira. Geração e execução automática de testes para programas de controladores lógicos programáveis para sistemas instrumentados de segurança. 2014. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

8.
ALMEIDA, H. O.; PERKUSICH, A.; SILVA, L. D.; GORGONIO, KYLLER; MORAIS, M. R. A.; FERNANDES, S. F. L.. Participação em banca de Leandro Melo de Sales. GMTP: Distribuição de mídias ao vivo através de uma rede de favores constituída entre roteadores. 2014. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

9.
PERKUSICH, A.; ALMEIDA, H. O.; GORGONIO, KYLLER; COSTA, E. B.; VIEIRA, M. F.; GUTIERREZ, M. R. G.. Participação em banca de Frederido Moreira Bublitz. Uma Abordagem Multiagente para Propaganda Pervasiva. 2013. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

Qualificações de Doutorado
1.
ALMEIDA, H. O.; PERKUSICH, A.; GORGÔNIO, K. C.; RIBEIRO, M. M.; GUERRA, E. M.; KULESZA, U.. Participação em banca de Rodrigo de Almeida Vilar de Miranda. Uma linguagem de padrões para o desenvolvimento de interfaces gráficas de usuário em aplicações corporativas. 2016. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

2.
ALMEIDA, H. O.; GORGÔNIO, K. C.; COSTA, E. B.; MACHADO, P. D. L.; GUTIERREZ, M. R. G.; ANDRADE, R. M. C.. Participação em banca de Mirko Barbosa Perkusich. Um processo baseado em redes Bayesianas para avaliação da aplicação de SCRUM em projetos de software. 2016. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

3.
ALMEIDA, H. O.; GORGÔNIO, K. C.; MASSONI, T. L.; GUTIERREZ, M. R. G.; ANDRADE, R. M. C.. Participação em banca de Renata Mendonça Saraiva. Um método para medição de software com foco na interpretação de métricas. 2016. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

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

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

6.
SILVA, L. D.; PERKUSICH, A.; ALMEIDA, H. O.; GORGÔNIO, K. C.; LIMA, A. M. N.; SILVA, J. R.. Participação em banca de Álvaro Alvares de Carvalho César Sobrinho. Um método para aumentar a confiança no funcionamento de sistemas de aquisição de sinais biomédicos. 2015. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

7.
ALMEIDA, H. O.; SILVA, L. D.; PERKUSICH, A.; GORGONIO, KYLLER; ITO, M.; FISCHER, R.. Participação em banca de Leonardo Melo de Medeiros. Monitoramento de dados motores por intermédio de jogos eletrônicos. 2014. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

8.
ALMEIDA, H. O.; SILVA, L. D.; GORGONIO, KYLLER; PERKUSICH, A.; LIMA, A. M. N.; PISA, I. T.. Participação em banca de Elthon Allex da Silva Oliveira. Metodologia Baseada em Modelos para Sistemas Pervasivos de Cuidados com a Saúde: Um Estudo de Caso em Auxílio à Prática de Atividades Físicas Prescritas. 2013. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

9.
PERKUSICH, A.; SILVA, L. D.; ALMEIDA, H. O.; GORGONIO, KYLLER; LIMA, A. M. N.; BARROSO, G. C.. Participação em banca de Kézia de Vasconcelos Oliveira. Geração e Execução Automática de Testes para Programas de Controladores Lógicos Programáveis para Sistemas Instrumentados de Segurança. 2012. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

10.
PERKUSICH, A.; ALMEIDA, H. O.; GORGONIO, KYLLER; GUTIERREZ, M. R. G.; COSTA, E. B.; VIEIRA, M. F.. Participação em banca de Frederico Moreira Bublitz. Uma Abordagem Multiagente para Propaganda Pervasiva Visando o Equilíbrio entre os Objetivos dos Anunciantes e as Necessidades dos Consumidores. 2011. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

11.
PERKUSICH, A.; ALMEIDA, H. O.; ANDRADE, N. F.; GORGONIO, KYLLER; SILVA, L. D.; FERNANDES, S. F. L.. Participação em banca de Leandro Melo de Sales. Transporte de Datagramas Controlados e não Confiáveis para Distribuição de Conteúdos Multimídia entre pares na Internet. 2011.

Qualificações de Mestrado
1.
BUBLITZ, F. M.; GORGONIO, KYLLER; SCHERER, D.. Participação em banca de Túlio Henriques Costa. Framework para o auxílio a profissionais de saúde no acompanhamento de pessoas. 2015. Exame de qualificação (Mestrando em Ciência e Tecnologia em Saúde) - Universidade Estadual da Paraíba.

2.
GORGONIO, KYLLER; PERKUSICH, A.; SILVA, L. D.; BUBLITZ, F. M.. Participação em banca de Anne Lorayne Gerônimo Silva Augusto Moreira. Uma arquitetura baseada na combinação de dispositivos vestíveis para aumentar a acurácia no reconhecimento de atividades. 2015. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.

3.
GORGONIO, KYLLER; PERKUSICH, A.; ALMEIDA, H. O.; BUBLITZ, F. M.. Participação em banca de Amaury Bartolomeu Carneiro de Medeiros. Um arcabouço para a construção de aplicações focadas na saúde e no bem-estar com suporte ao padrão IEEE 11073. 2014. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.

4.
ALMEIDA, H. O.; PERKUSICH, A.; GORGONIO, KYLLER; BUBLITZ, F. M.. Participação em banca de Matheus Campos Brasileiro. Uma Arquitetura para o Desenvolvimento de Aplicações de Monitoramento de Praticantes de Exercícios Físicos. 2014. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.

5.
ALMEIDA, H. O.; PERKUSICH, A.; GORGONIO, KYLLER; BUBLITZ, F. M.. Participação em banca de Rony Marcolino. Um arcabouço para a construção de modelos de dispositivos para Medical Cyber Physical Systems. 2014. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.

6.
GORGONIO, KYLLER; PERKUSICH, A.; LUIZ, S. O. D.; MORAIS, M. R. A.. Participação em banca de Zeus Cunha Barros. Gerenciamento de energia em ambientes corporativos. 2014. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Campina Grande.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
International Conference of the Chilean Computer Science Society (SCCC 2008). Hardware Synthesis for Asynchronous Communications Mechanisms. 2008. (Congresso).

2.
The Second International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2008). Towards the UPnP-UP: Enabling User Profile to Support CustomizedServices in UPnP Networks. 2008. (Congresso).

3.
28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. A compositional method for the synthesis of Asynchronous Communication Mechanisms. 2007. (Congresso).

4.
International Conference on Open Source Software for Mobile Internet and Multemidia. 2007. (Congresso).

5.
Fifth International Conference on Application of Concurrency to System Design. Automating Synthesis of Asynchronous Communication Mechanisms. 2005. (Congresso).

6.
III Workshop de Métodos Formais.Síntese de Especificações em Redes de Petri para Componentes de Software. 2000. (Oficina).

7.
XIV Simpósio Brasileiro de Engenharia de Software. 2000. (Simpósio).

8.
VII Encontro de Iniciação Científica da UFPB.Design de Modelos em Rede de Petri Colorida para Sinais de Trânsito. 1999. (Encontro).

9.
VI Encontro de Iniciação Científica da UFPB.Visualização e Animação de Modelos RPOO (Redes de Petri Orientadas a Objetos). 1998. (Encontro).

10.
I Ciclo de Palestras em Informática. 1996. (Outra).

11.
IV Seminário de Avaliação da Monitoria.Computadores e sua Programação: Aprimorando a Qualidade do Ensino. 1996. (Seminário).

12.
XVI Congresso da Sociedade Brasileira de Computação. 1996. (Congresso).


Organização de eventos, congressos, exposições e feiras
1.
BAÑERES, D. ; GORGONIO, KYLLER ; CARMONA, J. ; CLARISO, R. ; CORTADELLA, J. ; MODI, N. ; MYLONAKIS, N. ; OREJAS, F. ; PASARELLA, E. ; PEREZ, S. ; PINO, E. . European Joint Conferences on Theory and Practice of Software (ETAPS). 2004. (Congresso).



Orientações



Orientações e supervisões concluídas
Dissertação de mestrado
1.
Paul Monthaler. Processo interdisciplinar de análise e classificação de dados: um estudo de caso em e-mail marketing. 2018. 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: Kyller Costa Gorgônio.

2.
Zeus Cunha Barros. Gerenciamento de energia em ambientes corporativos. 2016. 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: Kyller Costa Gorgônio.

3.
Anne Lorayne Gerônimo Silva Augusto Moreira. Modelagem e verificação automática de um protocolo de controle de fluxo adaptativo usando traços de execução. 2016. 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: Kyller Costa Gorgônio.

4.
Amaury Bartolomeu Carneiro de Medeiros. Uma Abordagem Baseada em Redes Bayesianas para Auxiliar a Interpretação de Métricas de Software. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Kyller Costa Gorgônio.

5.
Matheus Brasileiro Campos. Arcabouço para o desenvolvimento de aplicações de monitoramento de praticantes de exercícios físicos. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande, . Orientador: Kyller Costa Gorgônio.

Tese de doutorado
1.
Mirko Barbosa Perkusich. Um processo baseado em redes Bayesianas para avaliação da aplicação do SCRUM em projetos de software. 2018. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande, . Coorientador: Kyller Costa Gorgônio.

Iniciação científica
1.
Maria Helena Cipriano de Araújo. Verificação Formal de Sistemas Físico-Cibernéticos. 2016. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Kyller Costa Gorgônio.

2.
Rodrigo Medeiros Guercio. Internet das coisas para saúde conectada. 2015. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Kyller Costa Gorgônio.

3.
Lia Vogas Ker Marrara. Controlando um Sistema de Elevadores Feito com Lego Mindstorms NXT Usando Modelos de Autômatos Temporizados. 2012. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Kyller Costa Gorgônio.

4.
Rodrigo Medeiros Guercio. Controlando um Sistema de Elevadores Feito com Lego Mindstorms NXT Usando Modelos de Autômatos Temporizados|. 2012. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Campina Grande, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Kyller Costa Gorgônio.




Página gerada pelo Sistema Currículo Lattes em 10/12/2018 às 20:47:16