Pesquisadores da UFRN recebem prêmio por trabalho sobre arquitetura de software
Prof. Dr. Everton Cavalcante recebendo o certificado do prêmio.
Pesquisadores da Universidade Federal do Rio Grande do Norte (UFRN) receberam o Most Influential Paper Award durante a 20ª European Conference on Software Architecture (ECSA 2026), realizada na última semana, em Bolzano, na Itália. O reconhecimento foi concedido ao artigo Statistical Model Checking of Dynamic Software Architectures, de autoria do professor Everton Cavalcante, do Departamento de Informática e Matemática Aplicada (DIMAp), publicado na conferência há dez anos, em razão de sua influência contínua na pesquisa e na prática de arquitetura de software.
Concedido a cada edição da ECSA, o prêmio reconhece autores de trabalhos apresentados que tenham exercido impacto significativo e duradouro na área. A premiação considera a relevância dos estudos ao longo do tempo e sua contribuição para desenvolvimentos posteriores em arquitetura de software.
O artigo premiado é resultado de uma das pesquisas desenvolvidas na tese de doutorado em Ciência da Computação do professor Everton, defendida em 2016 no Programa de Pós-Graduação em Sistemas e Computação (PPgSC) da UFRN, em cotutela com a Université Bretagne Sud, na França. A tese foi a primeira cotutela realizada entre as duas instituições.
No trabalho, os pesquisadores propuseram uma abordagem escalável para a verificação formal de arquiteturas de software dinâmicas. A pesquisa inclui uma notação para especificar propriedades dessas arquiteturas e um ferramental de apoio ao processo de verificação. O estudo foi desenvolvido sob orientação da professora Thais Batista, do Departamento de Informática e Matemática Aplicada (DIMAp), também coautora do artigo, e do professor Flavio Oquendo, da Université Bretagne Sud, parceiro de pesquisa do grupo há quase 15 anos e igualmente coautor, além da colaboração de outros três pesquisadores franceses.
A premiação também destacou a participação contínua da comunidade brasileira de Arquitetura de Software na ECSA ao longo das últimas duas décadas. Pesquisadores da UFRN participam regularmente do evento, com trabalhos publicados em diferentes edições.
Para os pesquisadores, o reconhecimento representa a contribuição das pesquisas desenvolvidas na UFRN para o avanço da arquitetura de software nos cenários nacional e internacional. A conquista também reforça a continuidade da colaboração científica entre pesquisadores brasileiros e estrangeiros e a relevância de estudos desenvolvidos na Universidade ao longo dos anos.