Conference papers

PEREIRA, JOSE RENAN A.; ALBUQUERQUE, DANYLLO; RODRÍGUEZ, GUILLERMO; DÍAZ-PACE, JORGE ANDRÉS; PERKUSICH, MIRKO; GORGONIO, KYLLER COSTA; PERKUSICH, ANGELO. Do LLMs Agree on Microservice Decompositions? A Multi-Model Study from Textual Requirements In: The 41st ACM/SIGAPP Symposium On Applied Computing, 2026, Thessaloniki, Greece.  Proceedings of the 41st ACM/SIGAPP Symposium on Applied Computing, 2026.

SILVA, I.; PAIVA, J.; PERKUSICH, MIRKO; ALBUQUERQUE, DANYLLO; DANTAS, EMANUEL; GORGONIO, KYLLER COSTA; PERKUSICH, Angelo. Evaluating the Quality of User Stories: An Extended Comparative Study of Multiple LLMs and Rule-Based Tools In: International Conference on Agile Software Development, 2026, 2026, São Paulo.  Proceedings of the 27th International Conference on Agile Software Development, 2026. Springer, Cham, 2026, p.155 - 174

CUNHA, FELIPE; PERKUSICH, MIRKO; ALBUQUERQUE, DANYLLO; SANTOS, RAMON NÓBREGA DOS; GORGÔNIO, KYLLER COSTA; PERKUSICH, ANGELO. Integrating Bayesian Reasoning and Evolutionary Search for Knowledge-Driven Team Formation In: NSE '26: 2026 IEEE/ACM 2nd International Workshop on NeuroSymbolic Software Engineering, 2026, Rio de Janeiro Brazil.  Proceedings of the 2026 IEEE/ACM 2nd International Workshop on Neuro-Symbolic Software Engineering. New York: ACM, 2026, p.9.

PEREIRA, LUIZ; VALADARES, DALTON; PERKUSICH, MIRKO; Gorgônio, Kyller. On the Impact of Differential Privacy on Federated Neuromorphic Learning Accuracy In: ESANN 2026, 2026, Bruges (Belgium) and online.  ESANN 2026 proceesdings. Louvain-la-Neuve (Belgium): Ciaco - i6doc.com, 2026, p.369.

PEREIRA, LUIZ; PERKUSICH, MIRKO; VALADARES, DALTON; Gorgônio, Kyller. On The Sensitivity of Firing Rate-Based Federated Spiking Neural Networks to Differential Privacy In: ICASSP 2026 2026 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2026, Barcelona.  ICASSP 2026 - 2026 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, 2026, p.20357.

SOUZA, C.; SILVA, I.; FERNANDES, H.; ALBUQUERQUE, DANYLLO; PERKUSICH, MIRKO; GORGONIO, KYLLER COSTA; PERKUSICH, Angelo. Towards a Semi-Automated Pipeline for User Story Curation and Classification In: The 41st ACM/SIGAPP Symposium On Applied Computing, 2026, Thessaloniki, Greece.  Proceedings of the 41st ACM/SIGAPP Symposium on Applied Computing, 2026.

CUNHA, FELIPE; PERKUSICH, MIRKO; ALBUQUERQUE, DANYLLO; Gorgônio, Kyller; PERKUSICH, Angelo. A Bayesian Network for Evaluating Software Project Team Fit: An Industrial Case Study In: Workshop Brasileiro de Engenharia de Software Inteligente, 2025, Brasil.  Anais do IV Workshop Brasileiro de Engenharia de Software Inteligente (ISE 2025). Sociedade Brasileira de Computação, 2025, p.19.

CUNHA, FELIPE; PERKUSICH, MIRKO; ALBUQUERQUE, DANYLLO; Gorgônio, Kyller; ALMEIDA, HYGGO; PERKUSICH, Angelo. A Genetic Algorithm with Convex Combination Crossover for Software Team Formation: Integrating Technical and Collaboration Skills In: SAC '25: 40th ACM/SIGAPP Symposium on Applied Computing, 2025, Catania International Airport.  Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing. 2025, p.146.

SILVA, MIZAEL CLAUDINO LINS DA; DE MIRANDA MARQUES, DANIEL H.; GORGÔNIO, KYLLER COSTA; PERKUSICH, ANGELO; DE ARAÚJO OLIVEIRA, HELDER FERNANDO; LOPES, WASLON TERLLIZZIE ARAÚJO; FERREIRA, AIDA ARAÚJO; VALADARES, DALTON CÉZANE GOMES. Assessment of LoRa Signal Strength in a Building Environment In: 2025 12th International Conference on Future Internet of Things and Cloud (FiCloud), 2025, Istanbul.  2025 12th International Conference on Future Internet of Things and Cloud (FiCloud). 2025, p.289.

CUNHA, FELIPE; PERKUSICH, MIRKO; ALBUQUERQUE, DANYLLO; DANTAS FILHO, EMANUEL; Gorgônio, Kyller; PERKUSICH, Angelo. Constructing Developer Compatibility Graphs for Team Formation: An Industrial Case Study In: Workshop Brasileiro de Engenharia de Software Inteligente, 2025, Brasil.  Anais do IV Workshop Brasileiro de Engenharia de Software Inteligente (ISE 2025). Sociedade Brasileira de Computação, 2025, p.31.

SILVA, IZABELLA; PERKUSICH, MIRKO; ALBUQUERQUE, DANYLLO; Gorgônio, Kyller; PERKUSICH, Angelo. How Software Testers Perceive Large Language Models: A Focus Group Study with Lexicometric Analysis In: Workshop Brasileiro de Engenharia de Software Inteligente, 2025, Brasil.  Anais do IV Workshop Brasileiro de Engenharia de Software Inteligente (ISE 2025). Sociedade Brasileira de Computação, 2025, p.25.

PEREIRA, JOSE RENAN A.; ALBUQUERQUE, DANYLLO; PERKUSICH, MIRKO; RODRÍGUEZ, GUILLERMO; DÍAZ-PACE, JORGE ANDRÉS; Gorgônio, Kyller; PERKUSICH, Angelo. Toward Generating Microservice Architectures from Textual Requirements with Large Language Models In: Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2025, Brasil.  Anais do XIX Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2025). 2025, p.79.

SILVA, MIZAEL CLAUDINO LINS; BIONE, BRUNO; FERREIRA, AIDA ARAUJO; BARBOSA, IONA RAMEH; DE BRITO, GILMAR GONÇALVES; DE CARVALHO, VANIA SOARES; VALADARES, DALTON CÉZANE GOMES; DOS SANTOS JÚNIOR, GUTEMBERG G.; GORGÔNIO, KYLLER COSTA. Assistive System for Enhancing Accessibility of Public Transport for People with Disabilities In: 2024 IEEE International Conference on Consumer Electronics (ICCE), 2024, Las Vegas.  2024 IEEE International Conference on Consumer Electronics (ICCE). 2024, p.1.

OLIVEIRA, YURI RESENDE MATIAS DE; Sobrinho, Álvaro; SILVA, LEANDRO DIAS DA; SANTOS, DANILO; GORGÔNIO, KYLLER C.; PERKUSICH, Angelo. Coloured Petri Nets Modeling Multilayer Perceptron Neural Networks In: 2024 IEEE International Conference on Consumer Electronics (ICCE), 2024, Las Vegas.  2024 IEEE International Conference on Consumer Electronics (ICCE). 2024, p.1.

RIQUE, THIAGO; DANTAS, EMANUEL; PERKUSICH, MIRKO; Gorgônio, Kyller; ALMEIDA, HYGGO; PERKUSICH, Angelo. Insights into the Applications of Bayesian Networks in Software Engineering In: 2024 International Conference on Software, Telecommunications and Computer Networks (SoftCOM), 2024, Split.  2024 International Conference on Software, Telecommunications and Computer Networks (SoftCOM). 2024, p.1.

SANTOS, JOSÉ HUMBERTO DA SILVA SOARES; VALADARES, DALTON CÉZANE GOMES; GORGÔNIO, KYLLER COSTA; PERKUSICH, Angelo. Mobile Data Security with Attribute-based Encryption and Confidential Computing In: 2024 IEEE International Conference on Consumer Electronics (ICCE), 2024, Las Vegas.  2024 IEEE International Conference on Consumer Electronics (ICCE). IEEE, 2024, p.1.

CUNHA, FELIPE; PERKUSICH, MIRKO; GUIMARAES, EVERTON; SANTOS, RAMON; RIQUE, THIAGO; ALBUQUERQUE, DANYLLO; PERKUSICH, Angelo; ALMEIDA, HYGGO; GORGÔNIO, KYLLER COSTA. Exploring the Capabilities of Professionals and Agile Teams: An Updated Review In: 2023 International Conference on Software, Telecommunications and Computer Networks (SoftCOM), 2023, Split.  2023 International Conference on Software, Telecommunications and Computer Networks (SoftCOM). 2023, p.1.

CUNHA, FELIPE; SANTOS, RAMON; PERKUSICH, MIRKO; Gorgônio, Kyller; ALMEIDA, HYGGO; PERKUSICH, Angelo; ALBUQUERQUE, DANYLLO. Preliminary Results of Mapping Capabilities for Agile Software Team Formation In: Workshop Brasileiro de Engenharia de Software Inteligente, Brasil.  Anais do III Workshop Brasileiro de Engenharia de Software Inteligente (ISE 2023). 2023, p.13.

RIQUE, THIAGO; DANTAS, EMANUEL; ALBUQUERQUE, DANYLLO; PERKUSICH, MIRKO; Gorgônio, Kyller; ALMEIDA, HYGGO; PERKUSICH, Angelo. Shedding Light on the Techniques for Building Bayesian Networks in Software Engineering In: Workshop Brasileiro de Engenharia de Software Inteligente, Brasil.  Anais do III Workshop Brasileiro de Engenharia de Software Inteligente (ISE 2023). 2023, p.1.

CUNHA, FELIPE; RIQUE, THIAGO; PERKUSICH, MIRKO; Gorgônio, Kyller; ALMEIDA, HYGGO; PERKUSICH, Angelo. A Data-driven Framework to Support Team Formation in Software Projects In: Workshop Brasileiro de Engenharia de Software Inteligente, Brasil.  Anais do II Workshop Brasileiro de Engenharia de Software Inteligente (ISE 2022). 2022, p.7.

RIQUE, THIAGO; DANTAS, EMANUEL; PERKUSICH, MIRKO; GORGONIO, KYLLER; ALMEIDA, HYGGO; PERKUSICH, Angelo. Empirically Derived Use Cases for Software Analytics In: 2022 International Conference on Software, Telecommunications and Computer Networks (SoftCOM), 2022, Split.  2022 International Conference on Software, Telecommunications and Computer Networks (SoftCOM). 2022, p.1

CUNHA, FELIPE ; PERKUSICH, MIRKO ; ALMEIDA, HYGGO ; Gorgônio, Kyller ; PERKUSICH, Angelo. TeamPlus: A Decision Support System for Software Team Formation. In: SBES 2022: XXXVI Brazilian Symposium on Software Engineering, 2022, Virtual Event Brazil. Proceedings of the XXXVI Brazilian Symposium on Software Engineering, 2022. p. 118.

RIQUE, THIAGO ; DANTAS, EMANUEL ; PERKUSICH, MIRKO ; Gorgônio, Kyller ; ALMEIDA, HYGGO ; PERKUSICH, Angelo. Use Cases for Software Development Analytics: A Case Study. In: SBES 2022: XXXVI Brazilian Symposium on Software Engineering, 2022, Virtual Event Brazil. Proceedings of the XXXVI Brazilian Symposium on Software Engineering, 2022. p. 388.

RIQUE, THIAGO ; DANTAS, EMANUEL ; PERKUSICH, MIRKO ; GORGONIO, KYLLER ; ALMEIDA, HYGGO ; PERKUSICH, Angelo. Empirically Derived Use Cases for Software Analytics. In: 2022 International Conference on Software, Telecommunications and Computer Networks (SoftCOM), 2022, Split. 2022 International Conference on Software, Telecommunications and Computer Networks (SoftCOM), 2022. p. 1.

SANTOS, DANILO ; PERKUSICH, ANGELO ; GORGONIO, KYLLER ; VALADARES, DALTON ; SPOHN, MARCO ; WILL, NEWTON . Trusted Execution Environments for Cloud/Fog-based Internet of Things Applications. In: 11th International Conference on Cloud Computing and Services Science, 2021, Online Streaming. Proceedings of the 11th International Conference on Cloud Computing and Services Science, 2021. p. 111.

PERKUSICH, M. B. ; GUIMARAES, G. ; GORGÔNIO, K. ; ALMEIDA, H. O. ; PERKUSICH, A. . Evaluating a Bayesian Network to Predict Customer Satisfaction in Scrum Software Development Projects: An Empirical Study with One Company. In: 33rd International Conference on Software Engineering and Knowledge Engineering, 2021, Pittsburgh. Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering. Pittsburgh: KSI, 2021. v. 1. p. 235-240.

FREIRE, ARTHUR ; PERKUSICH, M. B. ; COSTA, ALEXANDRE ; GORGÔNIO, K. ; ALMEIDA, H. O. ; PERKUSICH, A. . Towards a Comprehensive Understanding of Agile Teamwork: A literature-based Thematic Network. In: 33rd International Conference on Software Engineering and Knowledge Engineering, 2021, Pittsburgh. Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering. Pittsburgh: KSI, 2021. v. 1. p. 223-228.

SILVA, MANUEL ; FREIRE, ARTHUR ; PERKUSICH, MIRKO ; ALBUQUERQUE, DANYLLO ; GUIMARAES, EVERTON ; ALMEIDA, HYGGO ; PERKUSICH, Angelo ; Gorgônio, Kyller . Measuring Agile teamwork. In: SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021, Virtual Event Republic of Kor. Proceedings of the 36th Annual ACM Symposium on Applied Computing. New York: Association for Computing Machinery, 2021. p. 1475-1483.

CUNHA, FELIPE ; PERKUSICH, MIRKO ; ALMEIDA, HYGGO ; PERKUSICH, Angelo ; Gorgônio, Kyller . A Decision Support System for Multiple Team Formation. In: Workshop Brasileiro de Engenharia de Software Inteligente, 2021, Brasil. Anais do I Workshop Brasileiro de Engenharia de Software Inteligente (ISE 2021), 2021. p. 13.

SILVA, MANUEL ; FREIRE, ARTHUR ; PERKUSICH, MIRKO ; ALBUQUERQUE, DANYLLO ; GORGONIO, KYLLER COSTA ; ALMEIDA, HYGGO ; PERKUSICH, Angelo ; GUIMARAES, EVERTON . A Comparative Analysis of Agile Teamwork Quality Models. In: 2021 International Conference on Software, Telecommunications and Computer Networks (SoftCOM), 2021, Split. 2021 International Conference on Software, Telecommunications and Computer Networks (SoftCOM), 2021. p. 1.

VALADARES, DALTON ; PERKUSICH, ANGELO ; PAGNO, RODRIGO ; WILL, NEWTON ; GORGONIO, KYLLER ; DA ROCHA, MARCIANO . Secure Cloud Storage with Client-side Encryption using a Trusted Execution Environment. In: 10th International Conference on Cloud Computing and Services Science, 2020, Prague. Proceedings of the 10th International Conference on Cloud Computing and Services Science, 2020. v. 1. p. 31-43.

SILVA, MANUEL ; FREIRE, ARTHUR ; PERKUSICH, MIRKO ; Gorgônio, Kyller ; ALMEIDA, HYGGO ; PERKUSICH, ANGELO . On the influence of different perspectives on evaluating the teamwork quality in the context of agile software development. In: SBES '20: 34th Brazilian Symposium on Software Engineering, 2020, Natal Brazil. Proceedings of the 34th Brazilian Symposium on Software Engineering. p. 1.

Nunes, João ; Silva, Luiz ; PERKUSICH, MIRKO ; GORGONIO, KYLLER ; ALMEIDA, HYGGO ; PERKUSICH, ANGELO . Improving the Applicability of the Ranked Nodes Method to build Expert-Driven Bayesian Networks (S). In: The 31st International Conference on Software Engineering and Knowledge Engineering, 2019, Lisboa, 2019. v. 1. p. 165-170.

FAMÁ, FERNANDA ; CARVALHO, CLEUVES DE ; SANTOS, DANILO ; PERKUSICH, ANGELO ; Gorgônio, Kyller . Dynamic and Interoperable Control of IoT Devices and Applications based on Calvin Framework. In: The 31st International Conference on Software Engineering and Knowledge Engineering, 2019, Lisboa. org.crossref.xschema._1.Title@68c1e356, 2019. v. 1. p. 221-226.

MOREIRA, BRUNA SALLES ; DIAS, CHRISTIAN CHARLES ; SANTOS, DANILO F. S. ; GORGONIO, KYLLER C. ; PERKUSICH, ANGELO . An Interoperable Integration Model for Bluetooth Devices in the Internet of Things. In: 2019 International Conference on Software, Telecommunications and Computer Networks (SoftCOM), 2019, Split. 2019 International Conference on Software, Telecommunications and Computer Networks (SoftCOM), 2019. p. 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.

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.

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.

PERKUSICH, MIRKO ; MEDEIROS, AMAURY ; E SILVA, LENARDO CHAVES ; GORGÔNIO, KYLLER COSTA ; DE ALMEIDA, HYGGO OLIVEIRA ; PERKUSICH, ANGELO . A Bayesian network 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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.