Loading...
 

Preliminary Program


Day 1 (Nov, 24 - Tuesday) :: Industry Day

Time Auditorium Room A Room B
08:00 - 08:30 Registration    
08:30 - 10:30 Embedded Systems School - Aceleração de Algoritmos de Machine Learning em FPGAs para Computação de Alto Desempenho: Do Básico ao Avançado    
10:30 - 11:00 Coffee-Break    
11:00 -12:10 Industry Keynote - Ricardo Moraes - "Rethinking Aircraft Systems Engineering in the Era of Cyber Threats”
12:10 - 13:30 Break / Lunch    
13:30 - 15:30 Technical Session I - Healthcare systems Technical Session II - Vehicular networks and systems  
15:30 - 16:00 Coffee-Break    
16:00 - 17:00 Keynote - Antonio Augusto Fröhlich - Safety in Physical AI: an Operating Systems Perspective"
17:00 - 18:00 Industry Panel    
18:30 - 19:10 Opening Ceremony    
19:30 Industry Day Reception — Sponsored by IES    

 

Day 2 (Nov, 25 - Wednesday) :: IES Special Session

Time Auditorium Room A Room B
08:00 - 08:30 Registration    
08:30 - 10:30 Embedded Systems School - Aidge: an open-source and collaborative framework for designing, optimizing, and deploying embedded AI Technical Session III - Real-time systems and resource management  
10:30 - 11:00 Coffee-Break - Poster Session I: EdgeAI - Electronic system design and synthesis    
11:00 -12:10 Keynote - Marcus VÖLP - "How to construct dependable operating systems and the hardware it should run on
12:10 - 13:30 Break / Lunch    
13:30 - 15:30 Technical Session IV - EdgeAI I ESC (Presentation) Technical Session V - Dependability
15:30 - 16:00 Coffee-Break    
16:00 - 17:00 Keynote - Raimundo Macêdo  - "When Are Failures Observable? System Models, Fault Models, and the Limits of Dependable Distributed Computing"
17:00 - 18:40 Technical Session VI - EdgeAI II ESC (Presentation) Technical Session VII - Security
18:30 - 20:00 TPC Meeting + AGO    

 

Day 3 (Nov, 26 - Thursday) :: Satellite Events

Time Auditorium Room A Room B Patio
08:00 - 08:30 Registration      
08:30 - 10:30 * Extra Activity (not confirmed) Technical Session VIII - Quantum Computing SCoRe Workshop  
10:30 - 11:00 Coffee-Break - Poster Session II: Quantum computing - Networking and distributed systems      
11:00 -12:10 Keynote - Richard West - "DriveOS: A Single ECU Software-Defined Vehicle Management System"
12:10 - 13:30 Break / Lunch      
13:30 - 15:30 Technical Session IX - Applications I IES Special Session SCoRe Workshop ESC Demos
15:30 - 16:00 Coffee-Break      
16:00 - 17:00 Keynote - Long Wang - "From Fault Injection to Directed Fuzzing: Making Dependability and Security Testing More Intelligent"
17:00 - 18:40 Technical Session X - Applications II IES Special Session SCoRe Workshop ESC Demos
19:30 Conference Dinner      

 

Day 4 (Nov, 27 - Friday) :: Technical Sessions

Time Auditorium Room A
08:30 - 10:30 Technical Session XI - Electronic system design and synthesis Technical Session XII - Networking and communication
10:30 - 11:00 Coffee-Break  
11:00 -12:00 Technical Session XIII - Test and verification Technical Session XIV - Networking and distributed coordination
12:00 - 13:30 Break / Lunch  
13:30 - 15:30 Technical Session XV - Control and automation Technical Session XVI - Performance evaluation and optimization
15:40 - 16:40 Awards Ceremony & Closing Session  

 

Session Details:
 

Keynote Speech:

  • Keynote: Ricardo Moraes (EMBRAER) - Rethinking Aircraft Systems Engineering in the Era of Cyber Threats  
    • Date: Nov, 24.
    • Time: 11h -12h
    • Bio: Ricardo Moraes dos Santos is an Engineering Supervisor at Embraer with over 15 years of experience in the aerospace industry. He leads Systems Engineering and Product Cybersecurity, with a strong focus on system architecture, Model-Based Systems Engineering (MBSE), and aircraft certification. He has extensive experience in multidisciplinary integration of complex systems and in supporting certification processes with regulatory authorities such as EASA, FAA, and ANAC. He is responsible for driving digital transformation initiatives (MBSE), advancing engineering processes, and strengthening technical governance. A published author (CRC Press) and former INCOSE Brazil President, he combines strong technical leadership with strategic vision and active engagement in the global Systems Engineering community.

 

  • Keynote: Antonio Augusto Fröhlich (Federal University of Santa Catarina) - Safety in Physical AI: an Operating Systems Perspective
    • Date: Nov, 24.
    • Time: 16h - 17h 
    • Abstract: Artificial Intelligence is rapidly moving out of datacenters and into the physical world. We will soon be living among highly autonomous machines, including humanoid robots, autonomous vehicles, and military systems that, until recently, belonged to science fiction and to our nightmares. As this transition unfolds, safety moves from being a desirable property of individual systems to becoming a fundamental condition for our coexistence of increasingly autonomous machines. Nevertheless, the operating systems that are supporting this revolution have changed surprisingly little beyond the classic task-centric, real-time, network-capable, and cryptographically-enriched services envisioned more than 40 years ago. They provide mechanisms for executing and isolating software, managing resources, and meeting timing constraints, but offer much less support for continuously enforcing the physical safety constraints governing autonomous behavior. This talk explores this challenge from the perspective of SmartData, a concept developed at LISHA/UFSC over the past decade to address some of the fundamental limitations of making Sense–Compute–Communicate–Actuate loops more AI-ready while keeping their safety continuously observable and enforceable. The approach builds safety models around the same physical laws that govern the behavior of the systems, bringing those models into the computing infrastructure rather than leaving safety entirely to application-level logic. Autonomous vehicles being developed at UFSC provide a concrete case background for discussing this perspective and its implications for the operating systems of Physical AI.
    • Bio: Antônio Augusto Fröhlich is a full professor at the Federal University of Santa Catarina (UFSC), where he leads the Software and Hardware Integration Laboratory (LISHA) since 2001. He holds a PhD in Computer Engineering from the Technical University of Berlin (2001) and was a visiting researcher at the University of Paderborn (2007), at the University of California, Irvine (2016) and at the University of Luxembourg (2017). He has coordinated several RD&I projects in secure, connected and intelligent cyber-physical systems. Significant contributions from these projects have been incorporated into products developed by partner industries in the sectors of energy, industry automation and mobility.

 

  • Keynote: Marcus VÖLP (Universitè du Luxembourg) - How to construct dependable operating systems and the hardware it should run on
    • Date: Nov, 25.
    • Time: 11h - 12h
    • Abstract: Operating systems today are the backbone for tapping into the computational power of underlying hardware, multiplexing resources and specifically accelerator accesses, connecting to other nodes or network-attached storage, and controlling the physical assets a system is entrusted with. Yet an operating system after all is a software component and can fail in the same way applications do, albeit possibly with system-wide consequences. In this keynote, I would like to share with you some of my thoughts and introduce you to some of the works that my team has “already done” to answer the question posed in the title. However, at the same time, I would like to invite you to a heated discussion and joint system design session answering questions like, “What can we learn from large scale systems for the small?"; "How can we secure timely responses in the presence of attacky?”; “How can we ensure the most fundamental layers survive?” and “How can we provide the illusion of a simple, fault-free system to programmers, even if reality diverges?” Join me in this keynote / interactive discussion on how to construct dependable operating systems and the hardware they run on.
    • Bio: Prof. Dr.-Ing. Marcus Völp is full professor and head of the CritiX lab at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) at the University of Luxembourg. He received his PhD in computer science in 2011 from Technische Universität Dresden. His research interests include methods, tools, and system architectures for constructing resilient cyber-physical and embedded systems that are capable of simultaneously guaranteeing a wide range of system properties, including soft and hard real-time guarantees, security guarantees and information flow properties, dependability and, of course, fault and intrusion tolerance and cyber resilience. Application domains of interest include Industry 4.0, cloud, edge, autonomous vehicles, spacecraft and systems software and hardware components such as microkernels and hardware transactional memory.
       
  • Keynote: Raimundo Macêdo (Federal University of Bahia) - When Are Failures Observable? System Models, Fault Models, and the Limits of Dependable Distributed Computing
    • Date: Nov, 25.
    • Time: 16h - 17h
    • Abstract: Distributed systems do not observe failures directly; they observe events—or the absence of expected events. Whether such observations indicate a crash, a timing violation, Byzantine behavior, or merely slow execution depends fundamentally on the underlying system model. In this sense, observability precedes detectability: observability concerns whether faulty behavior is distinguishable from admissible behavior under a given model, whereas detectability concerns whether an algorithm can exploit that distinction. This keynote explores the interplay between system and fault models, from classical synchrony and asynchrony to partial synchrony and alternative models of progress. We examine how assumptions about timing, communication, process behavior, redundancy, and application semantics determine which failures are observable and detectable and, ultimately, which distributed problems can be solved. When perfect detection is impossible, weaker guarantees and quantitative measures of detection quality become necessary. Theoretical guarantees, however, are meaningful in practice only when model assumptions adequately represent the execution environment. We therefore consider assumption coverage: the extent to which such assumptions can be justified by design, empirical observation, or runtime evidence. The talk concludes with the Eventual Relative-Speed (ERS) model, which takes a less conventional perspective on fail-silent behavior. Rather than inferring failure directly from elapsed physical time, ERS characterizes process activity through relative logical progress. After stabilization, correct processes remain within a bounded logical divergence; consequently, a process that persistently falls behind the evolving causal structure becomes distinguishable from correct processes. This enables adaptive failure detection based on logical divergence and illustrates the keynote’s central argument: observability, detectability, and computability are inseparable from the system model and the extent to which its assumptions hold in reality.

    • Bio: Dr. Raimundo is a Professor of Computer Science at the Federal University of Bahia (UFBA) in Brazil. He founded and is currently the head of the Distributed Systems Laboratory (LaSiD) at UFBA.

 

  • Keynote: Richard West (Boston University) - DriveOS: A Single ECU Software-Defined Vehicle Management System
    • Date: Nov, 26.
    • Time: 11h - 12h
    • Abstract: Advances in modern automotive systems have led to traditional electronic control units (ECUs) being replaced with software-defined
      tasks. This has paved the way for functional consolidation, where chassis, body, powertrain, infotainment, and ADAS services are consolidated onto one or more zonal controllers. Taking this paradigm to the limit, it makes sense to consider whether a central compute platform is able to act as a single ECU for all vehicle functions, thereby reducing the costs and inflexibility of having dozens to hundreds of single fixed-function ECUs. This talk continues a series of presentations on DriveOS, a vehicle management system developed by Drako Tech, for use in electric vehicles. I will provide an update on the progress made with DriveOS, including an overview of past and future challenges, while identifying several key areas of research for future development of similar systems.
    • Bio: Rich West is a Professor in the Computer Science Department at Boston University, where he works with his research team on real-time and embedded operating systems. His work addresses issues concerning safety, security, predictability and resource management. He has an MS and PhD in Computer Science from the Georgia Institute of Technology, USA, and an MEng in Microelectronics and Software Engineering from the University of Newcastle-upon-Tyne, UK. He also works as the Chief Software Architect at Drako Tech, on the development of DriveOS for next generation vehicles. DriveOS consolidates vehicle functions on a centralized computing platform, by integrating real-time and safety critical services with non-critical software using a in-house partitioning hypervisor.

 

  • Keynote: Long Wang (Tsinghua University) - From Fault Injection to Directed Fuzzing: Making Dependability and Security Testing More Intelligent
    • Date: Nov, 26.
    • Time: 16h - 17h
    • Abstract: Modern computing systems have become increasingly complex, making failure diagnosis and vulnerability discovery difficult due to the enormous space of faults, execution paths, system states, and program inputs. A key question is therefore: how can we make testing more intelligent by guiding it toward the system behaviors that matter most? In this talk, Prof. Wang will present his research journey in dependability and security testing. He first explored targeted fault injection for distributed-system failure diagnosis, followed by techniques for capturing and analyzing service-request execution paths. More recently, he extended these ideas to path-based system analysis, where path tracing supports failure diagnosis and path-aware fault injection helps uncover cross-layer vulnerabilities. Prof. Wang will then discuss how the same principle applies to directed fuzzing. IDFuzz uses information learned from fuzzing executions to guide mutations toward target code, while TrigFuzz goes beyond code reachability by using large language models to identify vulnerability-triggering conditions and guide fuzzing toward inputs that satisfy them. These studies illustrate a common direction: making testing more effective by progressively incorporating richer knowledge of system structure, execution behavior, and program semantics.
    • Bio: Dr. Long Wang is the head of the REliability And Security Of Networks and Systems (REASONS) lab at Tsinghua University. His research interests focus on resiliency, security and understanding of systems, services and networks, especially when they are complicated, intelligent, autonomous, dynamic and/or software-defined. The scopes include security and reliability of systems, cloud computing, distributed systems, and system monitoring, measurement, assessment and modeling, as well as big data analytics and machine learning.

Technical Sessions:

  • Technical Session I: Healthcare systems
    • Date: Nov, 24
    • Time: 13:30h - 15:30h
    • Papers:
      1. A Private 5G Architecture For Healthcare
      Maria Katarine Santana Barbosa (UFPE), Jeiel Santana (UFPE), Victor Silva e Oliveira (UFPE), Carlos Veeck (UFPE), Anderson Queiroz (UFPE), Kelvin Dias (UFPE)
      2. On-Device Gait Classification Under a Latency Budget: Per-Stage Characterization of a Generative Cascade
      Patrick Alvim (UFOP), Jonathan Silva (UFOP), Vicente P. Amorim (Dell Technologies), Pedro Sebastião de Oliveira Lazaroni (Orthopedics and Traumatology Center, NOT), Mateus Coelho Silva (UFABC), Ricardo Augusto Rabelo R. Oliveira (UFOP)
      3. Estimativa de Frequência Respiratória Usando Dados Wi-Fi CSI Comparado com Estimativa Usando Acelerômetro
      Abel Cabral de Arruda (UFF), Fábio Gabriel de Queirós (UFF), Raphael Guerra (UFF), Debora C. Muchaluat-Saade (UFF), Célio Albuquerque (UFF)
      4. Análise do Trade-off Redução de Canais e Quantização para Biometria por EEG
      Ederson Naves Fernandes Gonçalves Júnior (UFOP), Arthur Negrão de Faria Martins da Costa (UFOP), Guilherme Paes (UFOP), Eduardo Jose da Silva Luz (UFOP), Guilherme Silva (UFOP), Pedro Silva (UFOP)
      5. Análise da Exposição Corporal à Radiação em Redes Corporais sem Fio com Protocolos MAC Baseados em TDMA
      Willians de Paula Pereira (IFRO), Jorge Farias Herculano (UFBA), Luís Otávio Santos de Andrade (IFS), Alirio Santos de Sá (UFBA)
      6. Detecção de Apneia Utilizando Dados de CSI Wi-Fi e 1D-CNN
      Paulo Vitor Novaes Cardozo (UFF), Iandra Galdino (UFF), Fábio Gabriel de Queirós (UFF), Raphael Guerra (UFF), Célio Albuquerque (UFF), Taiane Ramos (UFF), Debora C. Muchaluat-Saade (UFF)
  • Technical Session II: Vehicular networks and systems
    • Date: Nov, 24
    • Time: 13:30h - 15:30h
    • Papers:
      1. Crash-Aware Traffic Prioritization in Vehicular Wi-Fi: A Simulation Study of Channel Access and Adaptive Blocking
      Gabriel Aguiar (UFSC), Enzo Spotorno (UFSC), Giovani Gracioli (UFSC)
      2. A Mission-Level Digital Twin for Hybrid Fleets of Physical and Virtual Unmanned Vehicles
      Filipo Novo Mor (PUCRS), Cássio Jones Dhein da Silva (PUCRS), Anderson Domingues (PUCRS), Thais Webber (Aston University, UK), César Augusto Marcon (PUCRS)
      3. Multiaxis Fault Detection in UAVs Using SAC-AM: A Lightweight Chaos-Based Signal Analysis
      Nathan Rodrigues (UFPB), Ivanor Meira, João Pedro Feitoza Primo (UFPB), Maelso Bruno (UFPB), Alisson Vasconcelos Brito (UFPB)
      4. A Hardware-Partitioned micro-ROS Mini-Vehicle for Operator-Supervised Neural Driving
      Gustavo Claudio Karl Couto (UFSC), Eric Antonelo (UFSC), Gabriel Zipperer (UFSC)
      5. Compressing a Transformer-based Perception Module for a UAV Visual Active Tracking System
      Bruna Henning Pereira (UNIVALI), Alberto Dionigi (University of Perugia), Gabriele Costante, Cesar Albenes Zeferino (UNIVALI)
      6. Integrating Embedded BDI Agents with Communication Mechanisms used in UAV’s Autopilots
      Felipe da Cunha Calegari (UFSC), Leandro Buss Becker (UFSC), Maiquel de Brito (UFSC)
  • Technical Session III: Real-time systems and resource management
    • Date: Nov, 25
    • Time: 08:30h - 10:30h
    • Papers:
      1. Server-Based Gang Task Scheduling
      Shardul Lendve (FEUP, Portugal), Konstantinos Bletsas (FEUP, Portugal), Pedro Souto (FEUP, Portugal)
      2. NTP Time Synchronization Performance in Embedded Linux Systems for Industry 4.0
      Isaac Vinícius dos Santos Silva (UFCQUIXADA), Jose Adrian Nascimento silva (UFC), Klaus Pereira Becker (Altus), Igor Tedeschi Franco (Altus), Bonfim Amaro Junior (UECE), Francisco Helder Candido Filho (UFC), Arthur de Castro Callado (UFC)
      3. Identifying Execution Regimes for Reliable Characterization of Execution-Time Samples on Modern Computing Platforms
      Jamile de Barros Vasconcelos (UFBA), George Marconi de Araújo Lima (UFBA), Verônica Lima (UFBA)
      4. Feasibility interval for real-time offline schedulers considering preemption costs of independent and dependent tasks
      Falou Ndoye (Supdeco, Senegal), Liliana Cucu-Grosjean (INRIA, France), Yves Sorel (INRIA, France)
      5. Challenges of IPC Class-Aware Scheduling on Raptor Lake Processors in the Linux Kernel
      Lucas Nóbrega (UFPB), Tiago Pereira Nascimento (UFPB), Davi Santos (UFPB)
      6. MACCA: Controle Adaptativo de Taxa de Bits para Servidores de Jogos em Nuvem
      Cesar Morais (UFMG), Luiz Filipe Menezes Vieira (UFMG)
  • Poster Session I - EdgeAI - Electronic system design and synthesis
    • Date: Nov, 25
    • Time: 10:30h - 11:00h
    • Papers:
      1. Low Computational Cost Approach for Human Action Recognition: A Geometric and Temporal Attribute Analysis on the UCF101 Dataset
      Mabiu Moura Coelho (IFCE), Calleo Barroso (IFCE), Hosana Fernandes Gomes (IFCE), Suane Pires Pinheiro da Silva (IFCE), Pedro Pedrosa Rebouças Filho (IFCE)
      2. Simulated Evaluation of Somatic Q-Learning for Context-Aware Mobile Personalization
      Alcilene Batista dos Santos (UFAM), Rosiane de FreitasR (UFAM), Raimundo da Silva Barreto (UFAM)
      3. Performance Tradeoffs Analysis for Embedded AI Visual Perception System
      Thiago Coelho Medeiros (UFSC), Leandro Buss Becker (UFSC)
      4. Digital Wave Guide Hardware Acceleration for Acoustic Simulation using System on Chip FPGAs
      Gustavo Oliveira (UnB), Daniel Mauricio Muñoz Arboleda (UnB)
      5. Accelerating TinyML on RISC-V: Methodology and FPGA Prototyping of a Custom Instruction Extension for Random Forest
      Rafael Resende Soares (UFV), Tatiana G. da Silva Ribeiro (UFV), Gean Augusto Lino de Oliveira (UFV), Racyus Pacífico (UFOP), Ricardo dos Santos Ferreira (UFV), Lucas Bragança (UFV), José Augusto Miranda Nacif (UFV)
      6. Dispositivo de Baixo Custo para Detecção de Falhas em Hélices de Drones Baseado em Sinais de Vibração Utilizando TinyML
      André Alves de Freitas (UFC), Maryana Moraes Sousa (UFC), Marcus Vinicius Alves Nogueira (UFC), David Silva (UFC), Thiago Werlley Bandeira Silva (UFC)
  • Technical Session IV: EdgeAI I
    • Date: Nov, 25
    • Time: 13:30h - 15:30h
    • Papers:
      1. ReCoNNet: A Lightweight Runtime Reconfigurable Convolutional Neural Network
      Vinicius Gabriel Schultz (UFSM), Everton Alceu Carara (UFSM), Leonardo Londero Oliveira, Mathias Cirolini Michelotti (UFSM), Bruno Henrique Spies (UFSM)
      2. Paying for Accuracy at Training Time: A Zero-Overhead Loss Function for Compact Grapheme-to-Phoneme Models
      Leonardo Marques de Souza (INDT)
      3. Tiny Continual Soft Sensors for Industrial Pressure Estimation under Operational Drift
      Luís Gustavo Vitorino de Souza (UFOP), Arthur Negrão de Faria Martins da Costa (UFOP), Pedro Silva (UFOP), Eduardo Jose da Silva Luz (UFOP)
      4. FALIN: Fast and Lightweight Image Networks for Time-Series Classification
      Olavo Barros (UFV), Michel Melo Silva (UFV), Racyus Pacífico (UFOP), José Augusto Miranda Nacif (UFV), Ricardo dos Santos Ferreira (UFV)
      5. Bringing Network Anomaly Detection to the Edge: A Low-Cost ESP32-Based AI Monitor
      Marcelino Camilo (IFPB), Luis Henrike Marinho (IFPB), Paulo Ditarso Maciel Jr. (IFPB)
      6. BTreeFy: um framework de Behavior Trees para Sistemas Embarcados com Recursos Restritos
      Victor Oliveira (UFAL), Bruno Nogueira (UFAL), Alfredo Lima (UFAL), José Gomes Da Silva Junior (UFAL), José Renilson Almeida da Silva, Rodrigo José Sarmento Peixoto (UFAL)
  • Technical Session V: Dependability
    • Date: Nov, 25
    • Time: 13:30h - 15:30h
    • Papers:
      1. Empirical Characterization of Software Failure Time Distributions in Real Operational Environments
      Nuno Cá (UFU), Evelyn Natalie Aguiar de Almeida (UFU), Rivalino Matias Jr. (UFU)
      2. A Kubernetes-Native Architecture for Composing State Machine Replication
      Rodrigo W. Bonatto (UFSC), Thaís Bardini Idalino (UFSC), Odorico M. Mendizabal (UFSC)
      3. Adaptive Defense against Machine Learning-Guided Fault Injection via Bimodal Quantization-Aware Training
      Antônio Herbert da Silva Francelino (IFCE), José Ronaldo (IFCE), Otávio Alcântara de Lima Júnior (IFCE)
      4. RIFT-V: A High-Level Framework for Statistical Fault Injection in TinyML on RISC-V Microcontrollers
      José Ronaldo (IFCE), Otávio Alcântara de Lima Júnior (IFCE), Kayke Oliveira (IFCE), Luana Moura (IFCE), Glaucionor Lima de Oliveira (IFCE), Mitchel Bomfim (IFCE)
      5. On the Effectiveness of Statistical Fault Injection Paradigms for Predictive Vulnerability Modeling of Quantized DNNs
      José Ronaldo (IFCE), Herbert Silva (IFCE), Otávio Alcântara de Lima Júnior (IFCE)
      6. HALoS: Um Framework de Co-simulação Heterogênea para Validação de Firmwares em Sistemas Ciber-Físicos
      Cleber Peter (UFPEL), Alexandre Renato Rodrigues de Souza (UCPEL), Helida Santos (FURG), Giancarlo Lucca (FURG), Renata H. S. Reiser (UFPEL), Adenauer Yamin (UFPEL)
  • Technical Session VI: EdgeAI II
    • Date: Nov, 25
    • Time: 17:00h - 18:40h
    • Papers:
      1. Safety-Aware Embedded Agentic AI for Mining Edge Systems: An Experimental Evaluation of Offline RAG, LogicGuard and MCP
      Breno Andrade (UFOP), Charles T. B. Garrocho (IFMG), Fernando Augusto Medeiros Silva (UFOP), Ricardo Augusto Rabelo R. Oliveira (UFOP)
      2. Delta-Based Over-the-Air Updates for Embedded Machine Learning Models over Bluetooth Low Energy
      Julia Azziz (Universidad de la Republica, Uruguay), Andres Sere (Universidad de la Republica, Uruguay), Leonardo Steinfeld (Universidad de La República, Uruguay)
      3. A Comparison of Machine Learning Libraries Across Heterogeneous Embedded Platforms
      Gabriel Martins (UFSC), Rafael Canal (UFSC), Giovani Gracioli (UFSC), Eduardo Bischoff Grasel (UFSC)
      4. Embedded DETR-Based Scene Detection for Driver-Assistance Systems
      Bernardo Vannier Soares Pinto (UNIVALI), Gabriel Bodenmüller (UNIVALI), Juan Gabriel Holtz Fenoy (UNIVALI), Felipe Viel (UNIVALI)
      5. Cost-Aware Adversarial Robustness Evaluation for ML-Based Intrusion Detection in 5G Network Slicing
      Joao Vitor da Silva Campos (UFPE), Abdel Chabi (UFPE), Andson Marreiros Balieiro (UFPE)
      6. Consultas Geoespaciais com SLMs Usando TerraModel: Quantização e Desempenho em CPUs
      Thiago Nisimura (UFPA), Aldebaro B. R. Klautau (UFPA)
  • Technical Session VII: Security
    • Date: Nov, 25
    • Time: 17:00h - 18:40h
    • Papers:
      1. A Hierarchical Attack Detection Solution for 6G MEC-based IoT Networks
      Luiz Henrique Brito Almeida da Silva (UFPE), Jose Ronaldo de Souza Silva (UFPE), Andson Marreiros Balieiro (UFPE), Caio de Souza (UFPE)
      2. Zero-Day Attack Detection in 6G-Enabled IoT Networks: A Feasibility and Performance Analysis
      Jose Ronaldo de Souza Silva (UFPE), Luiz Henrique Brito Almeida da Silva (UFPE), Caio de Souza (UFPE), Andson Marreiros Balieiro (UFPE)
      3. LWC-Guide: A Multiview Decision-Support Framework for Lightweight Cryptography Selection in IoT Systems
      Yuri Silva Vaz (UFPel), Julio C. B. Mattos (UFPEL), Rafael Soares (UFPEL)
      4. Chaos-Based Image Watermarking Using Finite-Precision Error
      Renan Silva (UFMG), Matheus Carvalho (UFMG), Samuel Silva (UFMG), Janier Arias Garcia (UFMG), Lucas Nardo (UFMG)
      5. HSAE Ensemble for Zero-Day Attack Detection in Heterogeneous Network Environments
      Fabiano Carlos da Silva (CESAR School), Franklin Arthur Mendes Venceslau (UFPE), José Augusto Suruagy Monteiro (CESAR School), Rafael Roque de Souza (CESAR)
      6. Detecção de Intrusão em Redes com Sistema Multiagente e Orquestração Adaptativa
      Bernardo Nunes (UFMG), Luiz Filipe Menezes Vieira (UFMG), Marcos Augusto Menezes Vieira (UFMG)
  • Technical Session VIII: Quantum computing
    • Date: Nov, 26
    • Time: 08:30h - 10:30h
    • Papers:
      1. A Multi-Gigabit Dynamic Toeplitz-Based Randomness Extractor for QRNGs on FPGA
      José Batista (SENAI CIMATEC), Hugo Bessa (SENAI CIMATEC), Glenda Barbosa Nascimento (SENAI CIMATEC), Lucas Galvão (SENAI CIMATEC), Nelson Neto (SENAI CIMATEC), Valeria Loureiro da Silva (SENAI CIMATEC)
      2. An Empirical Analysis of Post-Quantum Signatures on Resource-Constrained Microcontrollers
      Yuri Silva Vaz (UFPel), Julio C. B. Mattos (UFPEL), Rafael Soares (UFPEL), Kristtopher Kayo Coelho (UFMG), Pedro Miranda (UFV), José Augusto Miranda Nacif (UFV)
      3. Fixed-Point Error Analysis of the Digital Signal Processing Chain in Continuous-Variable Quantum Key Distribution Systems
      David Machado Couto Bezerra (UFBA), Davi Juvêncio Sousa (QuIIN), Nelson Neto (Cimatec), Jes de Jesus Fiais Cerqueira (UFBA)
      4. Symbolic Formal Verification of Quantum Circuits for Post-Quantum Cryptography Governance in Critical Infrastructures
      Alberjan Pinto (UFAM, CITS.AM), Rafael Silvestrim (UFAM), Juan J. Gouvea (Juno Woz Labs), Manoel Fernandes Amaral Filho (UFAM, UEA), Iury V. de Bessa (UFAM), Anderson F. P. dos Santos (IME, Venturus Center for Technological Innovation), Lucas Carvalho Cordeiro (UFAM, UoM, United Kingdom)
      5. System-Level UVM Verification of a Privacy Amplification Accelerator in CV-QKD
      Ramylla Luiza Barbalho Gomes Bezerra (UFBA), Linton Esteves (SENAI CIMATEC), Paulo César Machado de Ab Farias (UFBA), Nelson Neto (SENAI CIMATEC)
      6. Architectures for DSP Acceleration in RISC-V-Based CV-QKD Systems: A Systematic Review
      Gustavo Sousa (UFBA), Davi Juvêncio Sousa (QuIIN), Wagner Luiz Alves de Oliveira (UFBA), Jes de Jesus Fiais Cerqueira (UFBA), Nelson Neto (SENAI CIMATEC)
  • Poster Session II - Quantum computing - Networking and distributed systems
    • Date: Nov, 26
    • Time: 10:30h - 11:00h
    • Papers:
      1. Mitigating Barren Plateaus in Variational Quantum Algorithms: A Systematic Mapping of Strategies and Architectures
      Edson Rodrigues de Oliveira (UFG), Analucia Schiaffino Morales (UFSC), Iwens Sene Jr (UFG)
      2. Severity Prediction System for Kubernetes Clusters: A Machine Learning Approach to Event Prioritization
      camilla martins (UNIRIO), Pedro Nuno Moura (UNIRIO), Sidney Cunha de Lucena (UNIRIO), Laura O. Moraes (UNIRIO)
      3. Reuse of RK3229 TV Boxes as HPC Clusters: Performance, Scalability, and Load Balancing Impact
      Pedro Henrique Santos Souza Duarte (UESB), Fernando Ferreira (UESB), Matheus Nepomuceno (UESB), Jhonatan Silva (UESB), Marcelo Guimarães (UESB)
      4. Uma Arquitetura Baseada em Digital Twin para Economia de Energia em Smart Classrooms
      Rodrigo Peixoto (IFRJ), Edelberto Franco Silva (UFJF), Michael Barboza (UFJF)
      5. Calibração de Modelos de Propagação LoRaWAN em Cenários de Embarcações de Competição
      Helmuth Becker, Carlos Montez (UFSC), Rodrigo Lange (IFRS)
      6. LeadLog: Detecção Proativa de Anomalias em Logs de Sistemas Distribuídos com Lead Time Operacional
      Felipe dos Santos (UFPI), Erico Meneses Leão (UFPI), Ricardo Rabêlo (UFPI), Francisco Vasques (University of Porto, Portugal), Paulo Portugal (University of Porto, Portugal)
  • Technical Session IX: Applications I
    • Date: Nov, 26
    • Time: 13:30h - 15:30h
    • Papers:
      1. Implementation of a Building Automation System with Temporal Planning and Internet of Things on a University Campus
      Ana Lívia Lopes (UFC), Cecilia Mourão Carvalhedo Mesquita (UFC), Francisco Helder Candido Filho (UFC), Viviane Menezes (UFC)
      2. An End-to-End Framework for Low-Cost Meter Digitization: Combining 3D Display Synthesis and Edge MCU Deployment
      Talles de Sousa Costa (UFV), Daniel Tavares (UFV), Racyus Pacífico (UFOP), José Augusto Miranda Nacif (UFV), Ricardo dos Santos Ferreira (UFV)
      3. Communication Dependability Evaluation of a Low-Cost Solar-Powered LoRa Weather Station for Urban Microclimate Monitoring
      Valdinei M. de Oliveira (CEFET/RJ), Heder Dorneles Soares (INPE), Fernando Carvalho (CESAR School, IFPE), Felipe Rocha Henriques (CEFET/RJ), Luis Carlos Sacramento Jr. (CEFET/RJ), Milena Faria Pinto (CEFET/RJ), Igor Cesar Gonzalez Ribeiro (CEFET/RJ), Raphael Guerra (UFF), Diego N. Brandão (CEFET/RJ)
      4. Closing the Month Before the Month Closes: Reconstructing Cumulative Utility Totals from Predicted Increments in an Instrumented Plant
      Leonardo Marques de Souza (INDT)
      5. Batteryless NFC-Based Smart Frames for Non-Invasive Beehive Thermal Monitoring
      Rodrigo Blanco (UDELAR, Uruguay), Nicolás Gugliucci (UDELAR, Uruguay), Lucas Olivera (UDELAR, Uruguay), Andres Sere (UDELAR, Uruguay), Leonardo Steinfeld (UDELAR, Uruguay)
      6. Vision-Based ROS~2 Embedded Control System for Autonomous Whale Tracking
      Ana Tereza Souza (UFSC), Leandro Buss Becker (UFSC)
  • Technical Session X: Applications II
    • Date: Nov, 26
    • Time: 17:00h - 19:00h
    • Papers:
      1. Firmware-Level FRER-Inspired Redundancy for COTS-Based Rehabilitation Exoskeletons
      Deimonril Gomes da Silva (USP), Bruno de Carvalho Albertini (EPUSP)
      2. MADRQN: Uma Arquitetura Multiagente para Controle Residencial Baseada em Aprendizagem por Reforço
      Rômulo Júnior (UFAM), Raimundo da Silva Barreto (UFAM), Horácio Oliveira (UFAM)
      3. Captura e Anotação Semi-supervisionada de vídeo para detecção de Meliponas Subnitidas
      Thiago Feitosa (IFCE), Wagner Guimarães Al-Alam (UFC), Antonio Rafael Braga (UFC)
      4. Desempenho no Rastreamento de Abelhas na Borda: Impactos da Quantização e Amostragem Temporal
      Marcos Veniciu Sá Barbalho (UFV), Tiago Nunes Matos (UFV), Taís A. da Silva Ribeiro (UFV), Ingrid Gomes (UFV), Helder Canto Resende (UFV), David Menotti (UFPR), Ricardo dos Santos Ferreira (UFV), José Augusto Miranda Nacif (UFV)
      5. Fonocardiografia de Baixo Custo para Triagem de Sopro Cardíaco em Cães: Uma Linha de Base Compacta de Aprendizado Profundo para Implantação Embarcada
      Thaynara Mabille Marques Ribeiro (UFG), Iwens Gervasio Sene Junior (UFG), Ronaldo Martins da Costa (UFG), Lucas Brandão (UFG)
      6. Identificação Não Intrusiva de Cargas Elétricas: Abordagem Híbrida com Foco em Edge Computing
      Felipe Feitosa (UFC), Luis Coutinho (UFC), André Alves de Freitas (UFC), Thiago Werlley Bandeira Silva (UFC)
  • Technical Session XI: Electronic system design and synthesis
    • Date: Nov, 27
    • Time: 08:30h - 10:30h
    • Papers:
      1. Efficient Hardware Implementation of a Linear Regressor for Myokinetic Robotic Hand Control
      Paulo Carvalho (UnB), Daniel Mauricio Muñoz Arboleda (UnB)
      2. Evaluation of Vitis AI and hls4ml for ResNet8 Acceleration on a Zynq UltraScale+ FPGA Platform
      Miguel Bertonzin (UNIVALI), Andre Herzfeld (UNIVALI), Thiago Jacques (UNIVALI), Cesar Albenes Zeferino (UNIVALI), Douglas Melo (UNIVALI)
      3. Otimizing DSP Performance on RISC-V: A DIF-FFT Hardware Accelerator Implementation
      Glenda Barbosa Nascimento (SENAI CIMATEC), Davi Juvêncio Sousa (QuIIN, SENAI CIMATEC), José Batista (SENAI CIMATEC), Nelson Neto (SENAI CIMATEC), Valeria Loureiro da Silva (SENAI CIMATEC)
      4. XGrid: Design Exploration tool for FPGA XGBoost
      Olavo Barros (UFV), Racyus Pacífico (UFOP), José Augusto Miranda Nacif (UFV), Ricardo dos Santos Ferreira (UFV)
      5. An Architecture for Data Streams Coprocessing with RISC-V
      Titho Lívio Duarte Melo (UFPE), Guilherme Fabri (UFPE), Lucas Cambuim (UFRPE), Edna Barros (UFPE), Victor Wanderley Costa de Medeiros (UFPE), Leandro Vynicius Ramos da Silva (UFPE)
      6. Hardware Acceleration for Machine Learning Inference: Current Challenges and Trends in IoT and Edge Computing
      Luan Machado (UFOP), Gabriel Pinto Toledo (UFV), Jorge Lucas Santos da Luz da Luz (UNIVIÇOSA), José Augusto Miranda Nacif (UFV), Ricardo dos Santos Ferreira (UFV), Cristiane Aparecida Lana (UFLA), Racyus Pacífico (UFOP)
  • Technical Session XII: Networking and communication
    • Date: Nov, 27
    • Time: 08:30h - 10:30h
    • Papers:
      1. Evaluating the Trade-off between Computational Overhead and Quality of Service in Reinforcement Learning xApps for Open RAN
      Robert V. O. Gonçalves (UFC), Elvis Miguel Galeas Stancanelli (UFC), Francisco Helder Candido Filho (UFC)
      2. Dispersion-Driven Dynamic Tuning of Particle Filter Hyperparameters for Mobile LoRaWAN ADR
      Geraldo Abrantes Sarmento Neto (UFPI), Luis Henrique de Oliveira Mendes (UFPI), Pedro Felipe Ferreira de Abreu (UFPI), Bernan Nascimento (UFPI), Anderson Leonardo Sanches (UFABC), Alex Ferreira (UFRB), José Valdemir dos Reis Junior (UFPI)
      3. On the Use of Temporal Lossy Compression Techniques for LoRaWAN Communication
      Rodrigo Lange (IFRS), Carlos Barros Montez (UFSC), Paulo Portugal (University of Porto, Portugal), Érico Leão (UFPI), Richard Demo Souza (UFSC)
      4. Affine Frequency Division Multiplexing under Oscillator Phase Noise over Doubly Dispersive 6G Terahertz Communications
      Renato de Carvalho (UFABC), Samuel Gimenez de Oliveira (UFABC), Daniel Marchesi (CTI), Alex Ferreira (UFRB, UEFS), José Valdemir dos Reis Junior (UFPI), Shyqyri Haxha (University of London, UK), Antonio Jurado-Navas (Universidad de Malaga, Spain), Anderson Leonardo Sanches (UFABC), Thiago Roberto Raddo (University of Malaga, Spain)
      5. Phase-Noise-Limited Operating Bandwidth of AFDM, OCDM, and OFDM over Doubly Dispersive 6G Terahertz Communications
      Samuel Gimenez de Oliveira (UFABC), Renato de Carvalho (UFABC), Anderson Leonardo Sanches (UFABC), Daniel Marchesi (CTI), Alex Ferreira (UFRB, UEFS), José Valdemir dos Reis Junior (UFPI), Shyqyri Haxha (University of London, UK), Antonio Jurado-Navas (Universidad de Malaga, Spain), Thiago Roberto Raddo (University of Malaga, Spain)
      6. Avaliação Experimental de Estratégias de Eficiência Energética e Predição da Vida Útil Restante de Baterias em Redes LoRa
      Thays da costa (CEFET/RJ), Alexandre Santos (CEFET/RJ), Laura Silva Assis (CEFET/RJ, UNICAMP), Cristiano de Souza de Carvalho (CEFET/RJ), Felipe Rocha Henriques (CEFET/RJ)
  • Technical Session XIII: Test and verification
    • Date: Nov, 27
    • Time: 11:00h - 12:00h
    • Papers:
      1. Design for Test Observability of a Reliable Network-on-Chip
      Thiago Rausch (UNIVALI, University of Montpellier, France), Wesley Grignani (University of Montpellier, France), Douglas Almeida dos Santos (University of Montpellier, France), Luigi Dilillo (University of Montpellier, France), Douglas Melo (UNIVALI),/em>
      2. Formal Verification of Critical Modules in the PX4 Autopilot using Bounded Model Checking
      Marcela Alves Rodrigues (UFAM), Lucas Carvalho Cordeiro (University of Manchester, UK), José Reginaldo Hughes Carvalho (UFAM)
      3. IAMARA Sensors DSL: uma Linguagem Orientada por Ontologias para Configuração Semântica de Sistemas Vestíveis em Ambientes Críticos
      Bruno Nunes (UFAM), Raimundo da Silva Barreto (UFAM)
  • Technical Session XIV: Networking and distributed coordination
    • Date: Nov, 27
    • Time: 11:00h - 12:00h
    • Papers:
      1. FWB-Cupid: Alocação de Canais em Funil para Convergecast em UWB
      Lucas Emanuel Elias Alves (UFMG), Hélio Neto (UFMG), Luiz Filipe Menezes Vieira (UFMG), Marcos Augusto Menezes Vieira (UFMG)
      2. Topologia Cluster-Tree com Escalonamento Bottom-Up e Assistência por Relay para Redes Industriais IoT Baseadas no padrão IEEE 802.11ah
      Krisna Calixto (UFPI), Erico Meneses Leão (UFPI), Francisco Vasques (University of Porto, Portugal), Paulo Portugal (University of Porto, Portugal), João Oliveira (University of Porto, Portugal), Carlos Montez (UFSC), Richard Demo Souza (UFSC), Rodrigo Lange (IFRS)
      3. Avaliação de Regras de Coordenação de Dispositivos IoT Mineradas por Associação com Base em uma Verdade de Referência
      Lesly Delgado Pérez (UFAM), Raimundo da Silva Barreto (UFAM)
  • Technical Session XV: Control and automation
    • Date: Nov, 27
    • Time: 13:30h - 15:30h
    • Papers:
      1. Deadline-Aware Hierarchical NMPC for Position-Dependent Torque-Ripple Compensation in an Exoskeleton Actuator
      Carlos Freitas (UNICAMP), Eric Rohmer (UNICAMP)
      2. Diffusion-Based Model Predictive Control with Temporal Consistency for Continuous Control
      Eric Antonelo (UFSC)
      3. Computational Efficiency and Stability Analysis in Numerical Integration Methods for Stiff Second-Order Dynamic Systems
      Michaely Silva (UFPE), Caio de Souza (UFPE, UPE), Israel Duarte (UFPE), Rodolfo José De Paula Wanderley (UFPE), Andson Marreiros Balieiro (UFPE), Augusto Oliveira
      4. Adaptive Traffic Signal Control with Q-Learning for Emergency Vehicle Prioritization
      Isaque Andrade (IFBA), Crescencio Lima (IFBA), Djan Santos (IFBA)
      5. Coordinate-Aware Transverse Jacobian Deformation as a Supervisory Signal for Electronic Stability Control
      Josafat Leal Filho (UFSC), Antonio Augusto Frohlich (UFSC)
      6. An open-source context-aware AT-style command parser for embedded systems
      Andres Sere (UDELAR, Uruguay), Leonardo Steinfeld (UDELAR, Uruguay)
  • Technical Session XVI: Performance evaluation and optimization
    • Date: Nov, 27
    • Time: 13:30h - 15:30h
    • Papers:
      1. Comparative Performance Evaluation of Classification Engines for Dark Pattern Detection in E-commerce Web Applications
      João Victor Sampaio da Silva (UFC), Ana Eloise Ferreira Neves (UFC), Thaís Nicolau (UFC)
      2. Proximal Policy Optimization (PPO)-based Task Offloading in 3D Edge Computing
      Luiz Segundo (UFPE), Renata Kellen Gomes dos Reis (Sidia Instituto de Ciência e Tecnologia), Dalton C. G. Valadares (UFCG), Andson Marreiros Balieiro (UFPE), Tarik Taleb (Rurh University Bochum, Germany)
      3. Experimental Evaluation of Open-Source and Proprietary HCI Platforms for Artificial Intelligence Workloads
      Rodolfo José De Paula Wanderley (UFPE), Caio de Souza (UFPE), Israel Duarte (UFPE), Michaely Silva (UFPE), Andson Marreiros Balieiro (UFPE), Kelvin Dias (UFPE)
      4. Experimental Characterization of Virtual Memory Behavior in GEMM Implementations
      Girlana Santos (UNICAMP), Lucas Wanner (UNICAMP), Isaías Felzmann (UNICAMP)
      5. The Interplay of Load and Data Balancing: An Experimental Analysis Using HDFS and YARN
      Rhauani W. Fazul (UFSC), Odorico M. Mendizabal (UFSC), Patricia Pitthan Barcelos (UFSM)
      6. Visualization and Performance of RTRBench Robotic Benchmark on Smartphones
      Edward David Moreno (UFS), Álvaro L. S. Peixoto (UFS), Calebe Micael de Oliveira Conceição (UFS)