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.

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.