http://localhost:3000 weekly 1 http://localhost:3000/research weekly 0.7 http://localhost:3000/projects weekly 0.7 http://localhost:3000/publications weekly 0.7 http://localhost:3000/people weekly 0.7 http://localhost:3000/people/alumni weekly 0.7 http://localhost:3000/partners weekly 0.7 http://localhost:3000/news weekly 0.7 http://localhost:3000/research/verificacao-de-software-e-sistemas monthly 0.6 http://localhost:3000/research/deteccao-e-diagnostico-de-falhas monthly 0.6 http://localhost:3000/research/sistemas-de-controle monthly 0.6 http://localhost:3000/research/controle-tolerante-a-falhas monthly 0.6 http://localhost:3000/research/prognostico-de-falhas-e-gerenciamento-de-saude monthly 0.6 http://localhost:3000/research/ciberseguranca-em-sistemas-ciberfisicos monthly 0.6 http://localhost:3000/research/inteligencia-artificial monthly 0.6 http://localhost:3000/projects/combinando-metodos-formais-com-modelos-de-linguagem-de-grande-porte-no-esbmc-verificacao-automatizada-de-programas-por-meio-de-ia-ml-2026 monthly 0.6 http://localhost:3000/projects/programa-e-09-2025-jovem-cientista-do-nosso-estado-2025-estrategias-de-controle-de-sistemas-ciberfisicos-para-resiliencia-e-otimizacao-de-recursos-2026 monthly 0.6 http://localhost:3000/projects/transicao-energetica-justa-em-comunidades-ribeirinhas-da-amazonia-promovida-por-eletromobilidade-fluvial-e-baterias-de-segunda-vida-2026 monthly 0.6 http://localhost:3000/projects/safe-and-smart-manufacturing-with-human-in-the-loop-2025 monthly 0.6 http://localhost:3000/projects/laboratorios-inteligentes-de-sistemas-de-controle-desenvolvimento-de-sistemas-praticos-com-integracao-de-ia-para-ensino-de-engenharia-2025 monthly 0.6 http://localhost:3000/projects/utilizacao-de-paineis-solares-fotovoltaicos-como-tecnologia-para-producao-integrada-e-sustentavel-de-ovinos-no-amazonas-2025 monthly 0.6 http://localhost:3000/projects/amazonia-sustentavel-geracao-armazenamento-distribuicao-de-energia-renovavel-redes-inteligentes-e-baterias-de-segunda-vida-2025 monthly 0.6 http://localhost:3000/projects/tupe-energia-e-desenvolvimento-sustentavel-2025-2025 monthly 0.6 http://localhost:3000/projects/rabetas-solares-com-motor-eletrico-para-comunidades-ribeirinhas-2025 monthly 0.6 http://localhost:3000/projects/projeto-cal-comp-ceteli-ufam-para-plataforma-de-monitoramento-em-tempo-real-de-kpis-para-melhoria-da-oee-na-industria-4-0-ianalytics-2025 monthly 0.6 http://localhost:3000/projects/genaide-ia-generativa-para-engenharia-de-projeto-industrial-2025 monthly 0.6 http://localhost:3000/projects/chamada-cnpq-n-18-2024-bolsas-de-produtividade-em-pesquisa-pq-controle-de-sistemas-ciberfisicos-nao-lineares-2025 monthly 0.6 http://localhost:3000/projects/deteccao-de-falhas-em-veiculos-autonomos-algoritmos-de-ia-para-monitoramento-em-tempo-real-2025 monthly 0.6 http://localhost:3000/projects/cooperacao-internacional-sobre-gemeos-digitais-inteligentes-para-sistemas-cyber-physical-industriais-2025 monthly 0.6 http://localhost:3000/projects/amazonia-sustentavel-geracao-armazenamento-e-distribuicao-de-energia-sustentavel-redes-inteligentes-e-baterias-de-segunda-vida-2025 monthly 0.6 http://localhost:3000/projects/seguranca-cibernetica-em-sistemas-ciberfisicos-2025 monthly 0.6 http://localhost:3000/projects/oficinas-de-circuitos-conectando-teoria-a-pratica-2025 monthly 0.6 http://localhost:3000/projects/influencia-de-grandezas-fisicas-e-quimicas-nas-tecnologias-de-paineis-solares-fotovoltaicos-e-seu-impacto-na-eficiencia-da-geracao-de-energia-de-sistemas-distribuidos-2024 monthly 0.6 http://localhost:3000/projects/projeto-cal-comp-ceteli-ufam-para-desenvolvimento-de-um-sistema-integrado-de-monitoramento-e-controle-de-ambientes-fabris-intelligent-visual-factory-2024 monthly 0.6 http://localhost:3000/projects/ai-trust-in-complex-software-requirements-understanding-and-certification-2024 monthly 0.6 http://localhost:3000/projects/source-code-security-with-fusebmc-ai-2024 monthly 0.6 http://localhost:3000/projects/fusebmc-ai-2024 monthly 0.6 http://localhost:3000/projects/sagres-pro-sistemas-aereos-para-a-gestao-de-riscos-ao-ecossistema-sujeitos-a-ameacas-sistemicas-2024 monthly 0.6 http://localhost:3000/projects/ecossistema-de-eletrificacao-de-microredes-isoladas-e-eletromobilidade-de-comunidades-ribeirinhas-no-estado-do-amazonas-2024 monthly 0.6 http://localhost:3000/projects/amazonia-sustentavel-geracao-armazenamento-e-distribuicao-de-energia-sustentavel-redes-inteligentes-e-baterias-de-segunda-vida-2024 monthly 0.6 http://localhost:3000/projects/how-to-learn-control-policies-for-complex-dynamic-systems-from-data-with-safety-and-security-guarantees-2024 monthly 0.6 http://localhost:3000/projects/projeto-orientacao-move-la-america-controle-nao-linear-descritor-por-backstepping-com-modelo-descritor-2024 monthly 0.6 http://localhost:3000/projects/reconfiguracao-de-controle-em-veiculos-autonomos-abordagem-resiliente-para-mitigacao-de-ataques-de-negacao-de-servico-dos-2024 monthly 0.6 http://localhost:3000/projects/samantha-safe-and-smart-manufacturing-with-human-in-the-loop-2024 monthly 0.6 http://localhost:3000/projects/situational-aware-navigation-and-mapping-sitanav-2024 monthly 0.6 http://localhost:3000/projects/visao-inteligente-intelbras-otimizacao-ergonomica-e-de-qualidade-atraves-de-visao-computacional-e-ia-2024 monthly 0.6 http://localhost:3000/projects/iv-workshop-de-engenharia-biomedica-2023 monthly 0.6 http://localhost:3000/projects/xvi-sbai-2023-16-simposio-brasileiro-de-automacao-inteligente-2023 monthly 0.6 http://localhost:3000/projects/projeto-de-sistemas-praticos-para-ensino-das-areas-de-controle-e-automacao-nos-cursos-de-engenharia-da-uea-2023 monthly 0.6 http://localhost:3000/projects/stem-criar-2023 monthly 0.6 http://localhost:3000/projects/interoperable-research-infrastructure-for-managing-sustainable-grid-cells-2023 monthly 0.6 http://localhost:3000/projects/pace-00834-2022-02-tupe-energia-e-desenvolvimento-sustentavel-2023-2023 monthly 0.6 http://localhost:3000/projects/seccom-securing-composable-hardware-platforms-2023 monthly 0.6 http://localhost:3000/projects/aicoderepair-towards-self-healing-ai-code-with-large-language-models-and-formal-verification-2023 monthly 0.6 http://localhost:3000/projects/chamada-cnpq-mcti-n-10-2023-universal-ciberseguranca-em-sistemas-distribuidos-controlados-por-redes-2023 monthly 0.6 http://localhost:3000/projects/abordagens-para-deteccao-e-diagnostico-de-eventos-em-processos-industriais-baseadas-em-autoencoders-e-sistemas-evolutivos-2023 monthly 0.6 http://localhost:3000/projects/x-sbse-2023-10-simposio-brasileiro-de-sistemas-eletricos-2023-2023 monthly 0.6 http://localhost:3000/projects/pesquisa-e-desenvolvimento-de-aplicacoes-de-industria-4-0-utilizando-gemeos-digitais-inteligentes-2023 monthly 0.6 http://localhost:3000/projects/tupe-energia-e-desenvolvimento-sustentavel-2023-2023 monthly 0.6 http://localhost:3000/projects/2lifebat-robust-solar-powered-storage-systems-with-second-life-batteries-and-their-economic-and-ecological-potential-2023 monthly 0.6 http://localhost:3000/projects/xvi-sbai-2023-simposio-brasileiro-de-automacao-inteligente-2023 monthly 0.6 http://localhost:3000/projects/ciberseguranca-em-sistemas-distribuidos-controlados-por-redes-2023 monthly 0.6 http://localhost:3000/projects/analysis-and-synthesis-of-control-systems-based-on-zonotopic-smart-abstractions-2023 monthly 0.6 http://localhost:3000/projects/super-projeto-samsung-ufam-de-educacao-e-pesquisa-2023 monthly 0.6 http://localhost:3000/projects/pesquisa-e-desenvolvimento-de-aplicacoes-de-industria-4-0-utilizando-gemeos-digitais-2023 monthly 0.6 http://localhost:3000/projects/desenvolvimento-de-metodologia-para-aplicacao-de-tecnicas-de-retrofit-em-sistemas-legados-e-utilizacao-de-arquitetura-digital-twin-2023 monthly 0.6 http://localhost:3000/projects/iri4sgc-interoperable-research-infrastructure-for-managing-sustainable-grid-cells-2023 monthly 0.6 http://localhost:3000/projects/aii4qms-pesquisa-e-desenvolvimento-de-inteligencia-artificial-para-controle-do-sistema-de-gestao-da-qualidade-2023 monthly 0.6 http://localhost:3000/projects/seguranca-cibernetica-em-sistemas-ciberfisicos-2023 monthly 0.6 http://localhost:3000/projects/infraestrutura-de-pesquisa-interoperavel-para-gerenciamento-de-celulas-de-redes-sustentaveis-2022 monthly 0.6 http://localhost:3000/projects/pesquisa-e-desenvolvimento-de-aplicacoes-de-industria-4-0-utilizando-gemeos-digitais-inteligentes-2022 monthly 0.6 http://localhost:3000/projects/smart-biosolar-microgrids-for-sustainable-communities-2022 monthly 0.6 http://localhost:3000/projects/robust-solar-powered-storage-systems-with-second-life-batteries-and-their-economic-and-ecological-potential-2022 monthly 0.6 http://localhost:3000/projects/develop-and-evaluate-a-model-checker-based-code-analysis-framework-for-smart-contracts-2022 monthly 0.6 http://localhost:3000/projects/brics-sti-n-04-2022-440124-2022-0-pesquisa-em-tecnologia-de-big-data-e-aplicacao-de-energia-para-alimentacao-das-cidades-com-foco-na-neutralidade-de-carbono-e-o-desenvolvimento-sustentavel-2022 monthly 0.6 http://localhost:3000/projects/pesquisa-e-desenvolvimento-de-internet-das-coisas-industriais-para-aplicacoes-de-industria-4-0-2022 monthly 0.6 http://localhost:3000/projects/projeto-imperium-aperfeicoamento-do-processo-de-qualidade-utilizando-ia-integrada-ao-monitoramento-da-qualidade-produtiva-2022 monthly 0.6 http://localhost:3000/projects/gerfactory-4-0-aperfeicoamento-do-processo-produtivo-da-gertec-por-meio-da-pesquisa-e-desenvolvimento-de-uma-solucao-de-inspecao-visual-automatizada-composta-por-software-e-hardware-2022 monthly 0.6 http://localhost:3000/projects/instituto-nacional-de-ciencia-e-tecnologia-inct-em-controle-e-automacao-de-processos-de-energia-cape-2022 monthly 0.6 http://localhost:3000/projects/competicoes-em-robotica-2022 monthly 0.6 http://localhost:3000/projects/pesquisa-e-desenvolvimento-de-internet-das-coisas-industriais-para-aplicacoes-de-industria-4-0-2021 monthly 0.6 http://localhost:3000/projects/projeto-de-controladores-robustos-para-sistemas-nao-lineares-e-suas-aplicacoes-em-sistemas-de-grande-escala-2021 monthly 0.6 http://localhost:3000/projects/modelagem-simulacao-e-controle-de-sistemas-dinamicos-2021 monthly 0.6 http://localhost:3000/projects/swperfi-tecnicas-de-inteligencia-artificial-para-analise-e-otimizacao-de-desempenho-de-software-2021 monthly 0.6 http://localhost:3000/projects/enncore-end-to-end-conceptual-guarding-of-neural-architectures-2021 monthly 0.6 http://localhost:3000/projects/projeto-super-2021 monthly 0.6 http://localhost:3000/projects/mixed-absolute-and-relative-localization-marloc-2021 monthly 0.6 http://localhost:3000/projects/academia-stem-2020 monthly 0.6 http://localhost:3000/projects/samsung-ufam-projeto-para-educacao-e-pesquisa-super-tutoria-2020 monthly 0.6 http://localhost:3000/projects/electrifying-the-amazon-the-impacts-of-access-to-renewable-energy-in-riverine-communities-2020 monthly 0.6 http://localhost:3000/projects/projeto-super-2020 monthly 0.6 http://localhost:3000/projects/super-projeto-samsung-ufam-de-educacao-e-pesquisa-2020 monthly 0.6 http://localhost:3000/projects/estabilizacao-robusta-e-tolerante-a-falhas-em-microrredes-com-insercao-de-geracao-distribuida-usando-estrategias-de-controle-baseada-em-dados-2020 monthly 0.6 http://localhost:3000/projects/samsung-ufam-projeto-para-educacao-e-pesquisa-2020 monthly 0.6 http://localhost:3000/projects/pace-125-2019-2-2019 monthly 0.6 http://localhost:3000/projects/quot-formula-e-o-futuro-e-eletrico-quot-2019 monthly 0.6 http://localhost:3000/projects/analise-e-projeto-de-cyber-physical-systems-cps-2019 monthly 0.6 http://localhost:3000/projects/sustainable-energy-access-for-isolated-rural-communities-with-hybrid-solar-and-biogas-micro-grids-2019 monthly 0.6 http://localhost:3000/projects/star-energy-ext-instalacao-de-energia-solar-e-visitas-periodicas-em-comunidade-ribeirinha-da-rds-puranga-conquista-2019 monthly 0.6 http://localhost:3000/projects/sapientia-plataforma-inteligente-para-testes-exploratorios-autonomos-e-revisao-de-defeitos-de-software-embarcados-2019 monthly 0.6 http://localhost:3000/projects/pesquisa-e-desenvolvimento-de-aplicacoes-industriais-de-digital-twins-para-cyber-physical-systems-2019 monthly 0.6 http://localhost:3000/projects/otimizacao-guiada-por-contraexemplo-aplicada-a-programacao-diaria-da-operacao-eletroenergetica-usando-as-teorias-do-modulo-da-satisfatibilidade-2019 monthly 0.6 http://localhost:3000/projects/estabilizacao-robusta-e-tolerante-a-falhas-em-microrredes-com-insercao-de-geracao-distribuida-usando-estrategias-de-controle-baseada-em-dados-2019 monthly 0.6 http://localhost:3000/projects/programa-de-apoio-as-atividades-de-pesquisa-do-programa-de-pos-graduacao-em-engenharia-eletrica-da-universidade-federal-do-amazonas-2019 monthly 0.6 http://localhost:3000/projects/fortalecimento-do-nivel-de-publicacoes-qualificadas-do-ppgee-ufam-2019 monthly 0.6 http://localhost:3000/projects/hyslam-2019 monthly 0.6 http://localhost:3000/projects/desenvolvimento-de-modelo-estocastico-de-politicas-semanais-para-o-despacho-horario-do-sistema-interligado-nacional-sparhtacus-ii-2018 monthly 0.6 http://localhost:3000/projects/aumentando-a-confiabilidade-de-sistemas-industriais-atraves-da-verificacao-formal-de-aplicacoes-de-software-para-industria-4-0-2018 monthly 0.6 http://localhost:3000/projects/otimizacao-guiada-por-contraexemplo-aplicada-a-programacao-diaria-da-operacao-eletroenergetica-usando-as-teorias-do-modulo-da-satisfatibilidade-2018 monthly 0.6 http://localhost:3000/projects/uso-de-sincrofasores-para-monitoramento-e-deteccao-antecipada-da-instabilidade-de-tensao-de-sistemas-eletricos-utilizando-tecnicas-de-classificacao-2018 monthly 0.6 http://localhost:3000/projects/re-invitation-programme-for-former-scholarship-holders-daad-ias-uni-stuttgart-2018 monthly 0.6 http://localhost:3000/projects/avaliacao-de-metodologias-e-procedimentos-para-ensaios-de-modelos-de-sistemas-de-protecao-2018 monthly 0.6 http://localhost:3000/projects/analise-e-desenvolvimento-de-um-algoritmo-de-religamento-monopolar-adaptativo-rapido-para-linhas-de-transmissao-de-meio-comprimento-de-onda-2018 monthly 0.6 http://localhost:3000/projects/pesquisa-e-desenvolvimento-de-metodos-algoritmicos-para-verificacao-de-software-embarcado-em-veiculos-aereos-nao-tripulados-usando-aprendizagem-de-maquina-2018 monthly 0.6 http://localhost:3000/projects/conceitos-basicos-de-matlab-aplicados-a-engenharia-2018 monthly 0.6 http://localhost:3000/publications/electrocardiographic-signal-compression-based-on-distributed-source-coding-2027-74 monthly 0.6 http://localhost:3000/publications/estimacao-distribuida-de-sistemas-em-rede-com-interconexoes-nao-lineares-2026-72 monthly 0.6 http://localhost:3000/publications/controle-multiformacao-para-sistemas-multiagentes-lineares-em-tempo-discreto-2026-76 monthly 0.6 http://localhost:3000/publications/dynamic-event-triggered-control-of-discrete-time-nonlinear-systems-based-on-difference-algebraic-representations-2026-112 monthly 0.6 http://localhost:3000/publications/leveraging-template-matching-for-efficient-android-screenshot-visual-inspection-2026-79 monthly 0.6 http://localhost:3000/publications/comparative-evaluation-of-dnns-and-template-matching-for-gui-validation-on-android-devices-2026-90 monthly 0.6 http://localhost:3000/publications/llm-based-text-to-jql-generation-an-automated-test-using-execution-and-structural-indicators-2026-92 monthly 0.6 http://localhost:3000/publications/bearing-fault-prognosis-based-on-evolving-granular-models-2026-57 monthly 0.6 http://localhost:3000/publications/plataforma-robotica-movel-para-desenvolvimento-de-estrategias-de-seguranca-cibernetica-2026-86 monthly 0.6 http://localhost:3000/publications/controle-baseado-em-eventos-de-sistemas-lpv-sujeitos-a-saturacoes-nos-atuadores-2026-79 monthly 0.6 http://localhost:3000/publications/energy-pricing-in-unit-commitment-using-lagrangian-relaxation-2026-61 monthly 0.6 http://localhost:3000/publications/exploiting-domain-knowledge-for-content-agnostic-template-matching-in-structured-environments-2026-93 monthly 0.6 http://localhost:3000/publications/deteccao-de-ataques-ciberneticos-em-robos-moveis-baseada-em-inteligencia-artificial-2026-83 monthly 0.6 http://localhost:3000/publications/finding-software-vulnerabilities-in-large-c-projects-via-bounded-model-checking-2026-79 monthly 0.6 http://localhost:3000/publications/bridging-the-robustness-gap-stress-testing-artificial-intelligence-algorithms-2026-77 monthly 0.6 http://localhost:3000/publications/a-verified-pipeline-framework-for-certifiable-ai-robustness-2026-59 monthly 0.6 http://localhost:3000/publications/a-modular-methodology-for-on-device-audio-transcription-from-live-media-2026-71 monthly 0.6 http://localhost:3000/publications/on-the-impact-of-speech-to-text-errors-on-user-perceived-relevance-in-end-to-end-dtv-recommendation-systems-2026-107 monthly 0.6 http://localhost:3000/publications/um-pipeline-hibrido-para-deteccao-inteligente-e-confiavel-de-bugs-e-code-smells-em-python-com-modelos-de-linguagem-e-verificacao-formal-2026-135 monthly 0.6 http://localhost:3000/publications/denial-of-service-attack-detection-in-internet-connected-photovoltaic-inverters-an-ensemble-machine-learning-approach-2026-117 monthly 0.6 http://localhost:3000/publications/memory-safety-in-linux-device-drivers-enhancing-security-with-formal-verification-2026-81 monthly 0.6 http://localhost:3000/publications/formal-verification-of-critical-modules-in-the-px4-autopilot-using-bounded-model-checking-2026-89 monthly 0.6 http://localhost:3000/publications/symbolic-formal-verification-of-quantum-circuits-for-post-quantum-cryptography-governance-in-critical-infrastructures-2026-117 monthly 0.6 http://localhost:3000/publications/cyberattack-vectors-in-photovoltaic-systems-applying-artificial-intelligence-for-internetconnected-inverter-monitoring-2026-118 monthly 0.6 http://localhost:3000/publications/large-language-model-aided-intent-verification-via-grounded-obligation-models-2026-77 monthly 0.6 http://localhost:3000/publications/handling-asynchronous-scheduling-functions-in-periodic-event-triggered-gain-scheduled-control-with-guaranteed-polytopic-inclusion-2026-129 monthly 0.6 http://localhost:3000/publications/dynamic-output-feedback-control-with-reference-tracking-a-quasi-data-driven-approach-2026-84 monthly 0.6 http://localhost:3000/publications/extremum-seeking-control-for-actuation-dynamics-governed-by-a-wave-pde-with-distributed-effects-2026-95 monthly 0.6 http://localhost:3000/publications/systematic-lmi-approaches-to-design-multivariable-sliding-mode-controllers-for-uncertain-systems-2026-96 monthly 0.6 http://localhost:3000/publications/deteccao-de-ataques-em-sistemas-ciberfisicos-com-base-em-modelos-evolutivos-2026-75 monthly 0.6 http://localhost:3000/publications/comparacao-de-sistemas-de-controle-baseados-em-eventos-via-analise-de-modelos-de-trafego-2026-88 monthly 0.6 http://localhost:3000/publications/controle-com-acionamento-periodico-por-eventos-assincrono-para-teleoperacao-bilateral-em-rede-2026-93 monthly 0.6 http://localhost:3000/publications/algoritmo-de-agrupamento-evolutivo-baseado-em-pca-incremental-aplicado-ao-monitoramento-de-redes-iiot-sob-ataques-ciberneticos-2026-126 monthly 0.6 http://localhost:3000/publications/controle-extremal-com-dinamica-de-atuacao-governada-por-equacao-de-onda-com-efeito-distribuido-2026-94 monthly 0.6 http://localhost:3000/publications/condicao-de-projeto-simultaneo-para-controle-de-busca-extremal-acionado-por-eventos-2026-83 monthly 0.6 http://localhost:3000/publications/estrategia-de-controle-lqg-resiliente-a-ataques-dos-usando-floresta-de-isolamento-para-deteccao-de-anomalias-2026-108 monthly 0.6 http://localhost:3000/publications/controle-com-acionamento-dinamico-por-eventos-baseado-em-dados-para-sistemas-lur-e-2026-82 monthly 0.6 http://localhost:3000/publications/sintese-robusta-de-controladores-baseada-em-dados-via-dissipatividade-2026-69 monthly 0.6 http://localhost:3000/publications/analise-tecnica-e-economica-da-geracao-distribuida-fotovoltaica-em-redes-de-distribuicao-de-baixa-tensao-sob-a-lei-14-300-2022-considerando-beneficios-tecnicos-184 monthly 0.6 http://localhost:3000/publications/implementacao-de-framework-em-software-livre-com-opendss-para-simulacao-de-ataques-ciberfisicos-em-redes-eletricas-com-recursos-energeticos-distribuidos-2026-152 monthly 0.6 http://localhost:3000/publications/deteccao-automatica-de-riscos-por-vegetacao-em-redes-de-distribuicao-na-ufam-utilizando-reconhecimento-de-padroes-e-processamento-digital-de-imagens-2026-148 monthly 0.6 http://localhost:3000/publications/investigacao-de-tecnicas-de-aprendizado-de-maquina-nao-supervisionado-embarcadas-em-raspberry-pi-pico-para-deteccao-de-anomalias-no-consumo-energetico-de-client-171 monthly 0.6 http://localhost:3000/publications/analise-energetica-e-da-justica-de-corte-na-aplicacao-do-controle-volt-watt-com-uso-da-solucao-de-barganha-de-nash-em-redes-de-distribuicao-de-baixa-tensao-sob-199 monthly 0.6 http://localhost:3000/publications/snn-based-joint-space-control-of-the-serv-arm-robot-on-low-cost-embedded-hardware-2026-81 monthly 0.6 http://localhost:3000/publications/skyt-prompt-contracts-for-software-repeatability-in-llm-assisted-development-2026-76 monthly 0.6 http://localhost:3000/publications/smartwatch-based-gesture-recognition-for-medication-adherence-via-cnn-bilstm-networks-2026-85 monthly 0.6 http://localhost:3000/publications/ferramenta-computacional-para-modelagem-e-validacao-automatica-de-rdbts-da-bdgd-para-estudos-estaticos-e-temporais-em-sistemas-eletricos-de-potencia-2026-148 monthly 0.6 http://localhost:3000/publications/implementacao-de-visao-computacional-usando-yolov8-para-monitoramento-em-tempo-real-na-plataforma-didatica-mps-2026-110 monthly 0.6 http://localhost:3000/publications/avaliacao-de-uma-arquitetura-de-microrrede-cc-como-solucao-energetica-sustentavel-para-comunidades-isoladas-no-amazonas-2026-119 monthly 0.6 http://localhost:3000/publications/estudo-probabilistico-dos-custos-gerados-em-rdbts-para-concessionarias-de-energia-sob-operacao-conjunta-de-gdfv-e-ve-sujeitos-aos-controles-volt-watt-e-volt-var-160 monthly 0.6 http://localhost:3000/publications/the-technical-proficiency-gap-in-engineering-and-technology-education-in-brazil-a-pre-and-post-test-analysis-of-python-for-industrial-automation-2026-144 monthly 0.6 http://localhost:3000/publications/a-digital-transformation-experience-for-robotic-process-automation-rpa-education-with-python-in-the-brazilian-amazon-region-2026-123 monthly 0.6 http://localhost:3000/publications/systematic-survey-on-model-predictive-control-schemes-applied-to-offshore-deep-water-wells-in-oil-and-gas-industry-2026-114 monthly 0.6 http://localhost:3000/publications/development-of-a-novel-retrofit-framework-considering-industry-4-0-concepts-a-case-study-of-a-modular-production-system-2025-119 monthly 0.6 http://localhost:3000/publications/automatic-correction-system-for-learning-activities-in-remote-access-laboratories-in-the-mechatronics-area-2025-106 monthly 0.6 http://localhost:3000/publications/development-of-a-hybrid-fractional-order-fuzzy-pid-controller-applied-to-a-dc-dc-buck-converter-2025-95 monthly 0.6 http://localhost:3000/publications/robust-control-methodology-applied-in-inverted-pendulum-system-considering-polytopic-uncertainty-2025-96 monthly 0.6 http://localhost:3000/publications/deteccao-de-ataques-ciberneticos-em-robos-moveis-baseada-em-inteligencia-artificial-2025-83 monthly 0.6 http://localhost:3000/publications/progn-ostico-de-falhas-em-rolamentos-baseado-em-modelos-granulares-evolutivos-2025-77 monthly 0.6 http://localhost:3000/publications/plataforma-rob-otica-m-ovel-para-desenvolvimento-de-estrat-egias-de-seguran-ca-cibern-etica-2025-91 monthly 0.6 http://localhost:3000/publications/desenvolvimento-identificacao-e-controle-de-um-sistema-pendulo-helice-2025-69 monthly 0.6 http://localhost:3000/publications/avaliacao-de-uma-arquitetura-de-microrrede-cc-como-solucao-energetica-sustentavel-para-comunidades-isoladas-no-amazonas-2025-119 monthly 0.6 http://localhost:3000/publications/controle-baseado-em-eventos-de-sistemas-lpv-sujeitos-a-saturacoes-nos-atuadores-2025-79 monthly 0.6 http://localhost:3000/publications/enabling-technologies-of-industry-4-0-for-the-modernization-of-an-industrial-process-2025-84 monthly 0.6 http://localhost:3000/publications/prognostics-of-rolling-bearings-based-on-neuro-fuzzy-evolving-models-2025-68 monthly 0.6 http://localhost:3000/publications/detecao-de-ataques-ciberneticos-em-robos-moveis-baseada-em-inteligencia-artificial-2025-82 monthly 0.6 http://localhost:3000/publications/prognostico-de-falhas-em-rolamentos-baseado-em-modelos-granulares-evolutivos-2025-76 monthly 0.6 http://localhost:3000/publications/implementacao-de-visao-computacional-usando-yolov8-para-monitoramento-em-tempo-real-na-plataforma-didatica-mps-2025-110 monthly 0.6 http://localhost:3000/publications/dynamic-event-triggered-control-for-nonlinear-systems-via-differential-algebraic-representation-2025-95 monthly 0.6 http://localhost:3000/publications/estabilizacao-regional-de-uma-classe-de-sistemas-nao-lineares-via-funcoes-de-lyapunov-polinomiais-2025-97 monthly 0.6 http://localhost:3000/publications/controle-robusto-baseado-em-eventos-aplicado-a-um-sistema-ball-on-plate-2025-71 monthly 0.6 http://localhost:3000/publications/comparative-technical-and-economic-performance-of-four-inverter-architectures-in-urban-pv-microgeneration-systems-2025-113 monthly 0.6 http://localhost:3000/publications/incremental-learning-based-rolling-bearing-prognostics-with-granular-uncertainty-quantification-2025-95 monthly 0.6 http://localhost:3000/publications/resilient-event-based-control-of-dc-dc-converters-subject-to-deception-cyberattacks-2025-83 monthly 0.6 http://localhost:3000/publications/periodic-event-triggered-control-of-hvac-systems-2025-48 monthly 0.6 http://localhost:3000/publications/impact-of-environmental-constraints-in-hydrothermal-energy-planning-2025-67 monthly 0.6 http://localhost:3000/publications/securefalcon-are-we-there-yet-in-automated-software-vulnerability-detection-with-llms-2025-85 monthly 0.6 http://localhost:3000/publications/esbmc-v7-6-enhanced-model-checking-of-c-programs-with-clang-ast-2025-63 monthly 0.6 http://localhost:3000/publications/a-review-of-state-of-the-art-techniques-for-large-language-model-compression-2025-76 monthly 0.6 http://localhost:3000/publications/privacy-preserving-and-accountable-billing-in-peer-to-peer-energy-trading-markets-with-homomorphic-encryption-and-blockchain-2024-124 monthly 0.6 http://localhost:3000/publications/dynamic-intelligence-assessment-benchmarking-llms-on-the-road-to-agi-with-a-focus-on-model-confidence-2025-101 monthly 0.6 http://localhost:3000/publications/neural-network-verification-is-a-programming-language-challenge-2025-63 monthly 0.6 http://localhost:3000/publications/a-new-era-in-software-security-towards-self-healing-software-via-large-language-models-and-formal-verification-2025-110 monthly 0.6 http://localhost:3000/publications/esbmc-v7-7-efficient-concurrent-software-verification-with-scheduling-incremental-smt-and-partial-order-reduction-2025-113 monthly 0.6 http://localhost:3000/publications/esbmc-v7-7-automating-branch-coverage-analysis-using-cfg-based-instrumentation-and-smt-solving-competition-contribution-2025-119 monthly 0.6 http://localhost:3000/publications/optimizing-user-experience-a-feedback-based-performance-evaluation-methodology-for-recommendation-systems-2025-105 monthly 0.6 http://localhost:3000/publications/automated-evaluation-of-digital-tv-middleware-using-fuzzing-and-pairwise-for-test-generation-2025-92 monthly 0.6 http://localhost:3000/publications/natural-language-processing-models-for-named-entity-recognition-in-digital-tv-audio-2025-83 monthly 0.6 http://localhost:3000/publications/vo-gcse-verification-optimization-through-global-common-subexpression-elimination-2025-81 monthly 0.6 http://localhost:3000/publications/castle-benchmarking-dataset-for-static-code-analyzers-and-llms-towards-cwe-detection-2025-84 monthly 0.6 http://localhost:3000/publications/supporting-formal-software-verification-with-large-language-models-an-experimental-study-2025-88 monthly 0.6 http://localhost:3000/publications/gpt-but-backwards-exactly-inverting-language-model-outputs-2025-58 monthly 0.6 http://localhost:3000/publications/montague-semantics-and-modifier-consistency-measurement-in-neural-language-models-2025-81 monthly 0.6 http://localhost:3000/publications/enhanced-user-experience-in-digital-tv-recommending-content-in-free-to-air-tv-contexts-2025-86 monthly 0.6 http://localhost:3000/publications/reqinone-a-large-language-model-based-agent-for-software-requirements-specification-generation-2025-94 monthly 0.6 http://localhost:3000/publications/modular-architecture-for-robustness-assessment-in-ai-using-smart-inference-2025-74 monthly 0.6 http://localhost:3000/publications/layered-middleware-architecture-for-integrating-digital-tv-with-external-applications-2025-85 monthly 0.6 http://localhost:3000/publications/unittenx-generating-tests-for-legacy-packages-with-ai-agents-powered-by-formal-verification-2025-91 monthly 0.6 http://localhost:3000/publications/2025-0 monthly 0.6 http://localhost:3000/publications/mitigating-insider-threats-insights-from-software-security-experts-for-process-improvement-and-risk-reduction-2025-109 monthly 0.6 http://localhost:3000/people/iury-valente-de-bessa monthly 0.6 http://localhost:3000/people/renan-landau-paiva-de-medeiros monthly 0.6 http://localhost:3000/people/alessandro-bezerra-trindade monthly 0.6 http://localhost:3000/people/florindo-antonio-de-carvalho-ayres-junior monthly 0.6 http://localhost:3000/people/joao-bernardo-aranha-ribeiro monthly 0.6 http://localhost:3000/people/joao-edgar-chaves-filho monthly 0.6 http://localhost:3000/people/kenny-vinente-dos-santos monthly 0.6 http://localhost:3000/people/laura-michaella-batista-ribeiro monthly 0.6 http://localhost:3000/people/lucas-carvalho-cordeiro monthly 0.6 http://localhost:3000/people/luiz-alberto-queiroz-cordovil-junior monthly 0.6 http://localhost:3000/people/luiz-eduardo-sales-e-silva monthly 0.6 http://localhost:3000/people/ozenir-farah-da-rocha-dias monthly 0.6 http://localhost:3000/people/pedro-henrique-silva-coutinho monthly 0.6 http://localhost:3000/people/rafael-da-silva-mendonca monthly 0.6 http://localhost:3000/people/rodrigo-farias-araujo monthly 0.6 http://localhost:3000/people/romulo-teixeira-rodrigues monthly 0.6 http://localhost:3000/people/vicente-ferreira-de-lucena-junior monthly 0.6