Publications‎ > ‎

Conference papers

Disclaimer
This directory contains postscript and PDF files of articles that may be covered by copyright. You may browse the articles at your convenience (in the same spirit as you may read a journal or a proceeding article in a public library). Retrieving, copying, distributing these files may violate the copyright protection law. We recommend that the user abides international law in accessing this directory.

[1] L. de Sales, K. Gorgônio, H. Almeida, and A. Perkusich. About encouraging residential users to share upload bandwidth with CDN/P2P live streaming systems. In 2013 IEEE International Conference on Consumer Electronics (ICCE), pages 673-674, Las Vegas, January 2013. IEEE. [ bib | DOI | http ]
[2] C. Nogueira, F. M. Bublitz, H. O. de Almeida, K. C. Gorgônio, and A. Perkusich. Framework for developing applications for remote monitoring of people with dementia. In Wireless and Mobile Computing, Networking and Communications (WiMob), 2013 IEEE 9th International Conference on, pages 291-296, 2013. [ bib | DOI | http ]
[3] K. V. Oliveira, A. Perkusich, K. C. Gorgônio, L. D. da Silva, and A. F. Martins. Using equivalence classes for testing programs for safety instrumented systems. In Emerging Technologies Factory Automation (ETFA), 2013 IEEE 18th Conference on, pages 1-7, 2013. [ bib | DOI | http ]
[4] K. V. Oliveira, L. D. da Silva, A. Perkusich, K. C. Gorgônio, and L. C. e Silva. Utilização de Diagramas de Decisão Binária Ordenados Para Geração de Casos de Teste em Sistemas Instrumentados de Segurança. In Anais do XI Simpósio Brasileiro de Automação Inteligente, Fortaleza, CE, 2013. [ bib | http ]
[5] K. V. Oliveira, L. D. da Silva, A. Perkusich, and K. C. Gorgônio. Uma abordagem para a geração e execução de casos de teste em programa de sistemas instrumentados de segurança. In Anais do XIX Congresso Brasileiro de Automática (CBA 2012), pages 3372-3379, Campina Grande, Brasil, 2012. Sociedade Brasileira de Automática. [ bib ]
[6] E. A. S. Oliveira, L. D. da Silva, K. Gorgônio, A Perkusich, and A. F. Martins. Obtaining formal models from Ladder diagrams. In 2011 9th IEEE International Conference on Industrial Informatics, pages 796-801. IEEE, July 2011. [ bib | DOI | http ]
[7] E. A. S. Oliveira, L. D. da Silva, K. Gorgônio, A. Perkusich, and A. M. N. Lima. Convertendo diagramas Ladder em modelos de Redes de Petri Coloridas. In Anais do X Simpósio Brasileiro de Automação Inteligente, São João del-Rei, Brasil, 2011. Sociedade Brasileira de Automática. [ bib ]
[8] K. V. Oliveira, L. D. da Silva, A. Perkusich, A. M. N. Lima, and K. Gorgônio. Automatic timed automata extraction from ladder programs for model-based analysis of control systems. In 2010 IEEE International Symposium on Industrial Electronics, pages 90-95, Bari, Italy, July 2010. IEEE. [ bib | DOI | http ]
[9] K. V. Oliveira, L. D. da Silva, A. Perkusich, A. M. N. Lima, and K. Gorgônio. Geração Automática de Testes de Conformidade para Programas de Controladores Lógicos programáveis. In Anais do CBA 2010, pages 2995-3001, Bonito, Brasil, 2010. Sociedade Brasileira de Automática. [ bib ]
[10] K. V. Oliveira, A. Perkusich, A. M. N. Lima, K. Gorgônio, and L. D. da Silva. Standard-based formal validation of Programmable Logic Controller programs. In 2010 IEEE International Conference on Industrial Technology, pages 1655-1660, Viña del Mar - Valparaíso, Chile, 2010. IEEE. [ bib | DOI | http ]
[11] R. J. S. Peixoto, L. D. da Silva, A. Perkusich, A. M. N. Lima, and K. Gorgônio. GUNGNIR - Uma ferramenta para geração e execução de testes de conformidade utilizando autômatos temporizados. In Anais do CBA 2010, pages 3211-3216, Bonito, Brasil, 2010. Sociedade Brasileira de Automática. [ bib ]
[12] M. A. M. Lima, G. G. Santos, M. R. A. Morais, K. C. Gorgônio, and A. Perkusich. CleveRemote Adaptive environments using Bluetooth/infrared transceivers. In 2009 Digest of Technical Papers International Conference on Consumer Electronics, pages 1-2, Las Vegas, USA, January 2009. IEEE. [ bib | DOI | http ]
[13] J. Maurício Neto, J. S. da Rocha Neto, K. Gorgônio, and A. Perkusich. 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), Split-Hvar-Korcula, Croatia, 2009. [ bib ]
[14] K. V. Oliveira, K. Gorgônio, A. Perkusich, A. M. N. Lima, and L. D. da Silva. Extração Automática de Autômatos Temporizados a Partir de Diagramas Ladder. In Anais do IX Simpósio Brasileiro de Automação Inteligente, Brasília, Brasil, 2009. Sociedade Brasileira de Automática. [ bib ]
[15] T. Rached, K. Gorgônio, A. Perkusich, and H. Almeida. Modeling the UPnP-UP protocol using Coloured Petri Nets. In Proceedings of the 17th International Conference on Software, Telecommunications and Computer Networks, SoftCOM'09, pages 307-311, Piscataway, USA, 2009. IEEE Press. [ bib ]
[16] L. D. da Silva, L. P. A. Barbosa, K. Gorgônio, A. Perkusich, and A. M. N. Lima. On the automatic generation of timed automata models from Function Block Diagrams for safety instrumented systems. In 2008 34th Annual Conference of IEEE Industrial Electronics, pages 291-296, Orlando, USA, November 2008. IEEE. [ bib | DOI | http ]
[17] K. Gorgônio and J. Cortadella. Hardware Synthesis for Asynchronous Communications Mechanisms. In 2008 International Conference of the Chilean Computer Science Society, pages 135-143, Punta Arenas, Chile, November 2008. IEEE. [ bib | DOI | http ]
[18] T. B. M. de Sales, L. M. de Sales, M. Pereira, H. Almeida, A. Perkusich, K. Gorgônio, and M. A. de Sales Jr. Towards the UPnP-UP: Enabling User Profile to Support Customized Services in UPnP Networks. In 2008 The Second International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, pages 206-211, Valencia, Spain, September 2008. IEEE. [ bib | DOI | http ]
[19] L. Oliveira, A. Rodrigues, K. Gorgônio, and A. Perkusich. Specification and analysis of a Bluetooth handoff protocol for real-time applications. In 2008 16th International Conference on Software, Telecommunications and Computer Networks, pages 179-183, Split - Dubrovnik, Croatia, September 2008. IEEE. [ bib | DOI | http ]
[20] L. D. da Silva, L. P. A. Barbosa, K. Gorgônio, A. Perkusich, and A. M. N. Lima. Geração Automática de Autômatos Temporizados para Diagramas de Blocos Funcionais. In Anais do XVII Congresso Brasileiro de Automática (CBA 2008), Juiz de Fora, Brasil, July 2008. Sociedade Brasileira de Automática. [ bib ]
[21] S. O. D. Luiz, A. Perkusich, A. M. N. Lima, and K. Gorgônio. Técnica de gerenciamento dinâmico de energia orientada à autonomia da bateria para sistemas embarcados. In Anais do XVII Congresso Brasileiro de Automática (CBA 2008), Juiz de Fora, Brazil, July 2008. Sociedade Brasileira de Automática. [ bib ]
[22] L. Oliveira, K. Gorgônio, A. Perkusich, and L. D. da Silva. Pitfalls and tradeoffs on dealing with handoff management in bluetooth-based WPANs for real-time applications. In 2008 IEEE Symposium on Computers and Communications, pages 631-636, Marrakech, Morroco, July 2008. IEEE. [ bib | DOI | http ]
[23] K. Gorgônio and F. Xia. Modeling and verifying asynchronous communication mechanisms using coloured Petri nets. In 2008 8th International Conference on Application of Concurrency to System Design, pages 138-147, Xi'an, China, June 2008. IEEE. [ bib | DOI | http ]
[24] L. P. A. Barbosa, K. Gorgônio, A. M. N. Lima, A. Perkusich, and L. D. da Silva. On the automatic generation of timed automata models from ISA 5.2 diagrams. In 2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007), pages 406-412, Patras, Greece, September 2007. IEEE. [ bib | DOI | http ]
[25] K. Gorgônio, J. Cortadella, and F. Xia. A compositional method for the synthesis of Asynchronous Communication Mechanisms. In Jetty Kleijn and Alex Yakovlev, editors, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2007), number 4546 in Lecture Notes in Computer Science, pages 144-163, Berlin, Heidelberg, 2007. Springer Berlin Heidelberg. [ bib | DOI | http ]
[26] J. Cortadella, K. Gorgônio, F. Xia, and A. Yakovlev. Automating Synthesis of Asynchronous Communication Mechanisms. In Fifth International Conference on Application of Concurrency to System Design (ACSD'05), pages 166-175, St. Malo, France, June 2005. IEEE Computer Society. [ bib | DOI | http ]
[27] K. C. Gorgônio and A. Perkusich. Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse. In C. Gacek, editor, Software Reuse: Methods, Techniques and Tools. VII International Conference on Software Reuse, number 2319 in Lecture Notes in Computer Science, pages 240-254, Austin, USA, April 2002. Springer-Verlag. [ bib ]
[28] K. C. Gorgônio and A. Perkusich. Síntese de Especificações em Redes de Petri para Componentes de Software. In III Workshop de Métodos Formais, pages 139-144, João Pessoa, Brasil, October 2000. [ bib ]
[29] A. Perkusich, L. M. de Araújo, R. S. Coelho, K. C. Gorgônio, E. L. G. Ribeiro, and A. J. P. Lemos. 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, Aarhus, Denmark, October 1999. CPN group, University of Aarhus. [ bib ]

This file was generated by bibtex2html 1.95.

Subpáginas (1): inproceedings.bib
Comments