|
Dissertations |
|
|
1
|
-
IÉBER SANTOS DE MOURA
-
AISA - Architecture enabling Interoperability across Academic Platforms
-
Advisor : FREDERICO ARAUJO DA SILVA LOPES
-
COMMITTEE MEMBERS :
-
FREDERICO ARAUJO DA SILVA LOPES
-
ITAMIR DE MORAIS BARROCA FILHO
-
RAUL BENITES PARADEDA
-
Data: Feb 26, 2026
-
-
Show Abstract
-
The 2023 Higher Education Census, conducted by INEP, revealed a significant increase in student enrollment in undergraduate programs, especially in the distance learning modality, driving the need to enhance academic processes and digitize higher education institutions. Universities use various technologies for academic and administrative management, such as SIG-UFRN, which includes SIGAA, SIPAC, and SIGRH. In addition to these systems, tools like Moodle and social networks such as Discord are used in teaching. However, the lack of interoperability among these academic systems leads to rework, data duplication, and inconsistencies, increasing the workload for faculty and administrators. Studies on middleware suggest solutions for system integration, but many are limited in scalability and rely on proprietary software. To overcome these challenges, this research proposes the Academic Systems Interoperability Architecture (AISA), a middleware that leverages specialized APIs and messaging technology to enable efficient and secure communication between academic systems. AISA aims to reduce rework, improve data accuracy, and enhance the security of academic information. The solution was validated through a case study in a higher education institution, contributing to technological advancements in education.
|
|
|
2
|
-
GERFESSON SANTOS DA NOBREGA
-
Security Smells Analysis in Infrastructure as Code projects and application of SAST tool for Terraform
-
Advisor : EIJI ADACHI MEDEIROS BARBOSA
-
COMMITTEE MEMBERS :
-
EIJI ADACHI MEDEIROS BARBOSA
-
UIRA KULESZA
-
CARLOS EDUARDO DA SILVA
-
Data: Mar 23, 2026
-
-
Show Abstract
-
The challenges of managing and maintaining infrastructure in IT companies, as well as the desire to deliver increasingly scalable and agile solutions, have contributed to the adoption of cloud computing, a fact that has contributed to the popularization of practices that aid this process. Infrastructure as Code (IaC) is a practice that has gained traction with the DevSecOps culture, being used to provision software infrastructure in the cloud through code writing. Although IaC has clear benefits such as reduced risk and reduced effort when making infrastructure changes, there are still gaps in the literature regarding security assessments, especially when analyzing popular tools in the technology market such as Terraform. This work contributes scientifically and technologically to DevSecOps culture by developing a SAST tool to identify security smells in Terraform-provided infrastructure projects. By evaluating effectiveness, accuracy, and coverage, we aim to obtain comparative results with commercially available tools
|
|
|
3
|
-
RAMON DOMINGOS DUARTE OLIVEIRA
-
Middleware for Implementing the Right to be Forgotten in Distributed Systems
-
Advisor : EIJI ADACHI MEDEIROS BARBOSA
-
COMMITTEE MEMBERS :
-
CARLOS EDUARDO DA SILVA
-
EIJI ADACHI MEDEIROS BARBOSA
-
RAMON DOS REIS FONTES
-
Data: Mar 26, 2026
-
-
Show Abstract
-
The inherent complexity of microservices architectures represents a significant obstacle to the realization of the right to be forgotten, as required by the General Data Protection Law (LGPD). The fragmentation of data across independently managed services, each with its own business logic and data storage, makes consistent and reliable deletion a complex challenge. This research addresses this problem by proposing an automated middleware solution designed to orchestrate the deletion process across distributed microservices, using the well-known two-phase commit (2PC) pattern to ensure data consistency, in addition to offering a library to be imported into existing code and to facilitate adoption, requiring only the implementation of the service’s own business rules. By evaluating its architecture and performance in simulated environments, this study aims to demonstrate the effectiveness and compliance of this automated approach to a problem currently fraught with manual complexity and potential legal ramifications. Ultimately, this research strives to deliver a robust and scalable solution that empowers organizations to effectively manage data deletion in microservices environments, promoting greater trust and adherence to data protection regulations.
|
|
|
4
|
-
WAGNER VIEIRA LOPES
-
Price Optimization in Brazilian Retail: An Approach Based on Reinforcement Learning and Macroeconomic Variables
-
Advisor : CHARLES ANDRYE GALVAO MADEIRA
-
COMMITTEE MEMBERS :
-
CHARLES ANDRYE GALVAO MADEIRA
-
JANAINA DA SILVA ALVES
-
JOAO CARLOS XAVIER JUNIOR
-
THIAGO HENRIQUE FREIRE DE OLIVEIRA
-
Data: Mar 30, 2026
-
-
Show Abstract
-
In retail markets characterized by volatility, seasonality, and high informational dimensionality, dynamic pricing plays a strategic role in revenue optimization and margin preservation. This dissertation investigates the application of Deep Reinforcement Learning (DRL) to dynamic pricing in the Brazilian retail context by proposing an integrated architecture that combines Proximal Policy Optimization (PPO) with a Long Short-Term Memory (LSTM) forecasting model. The problem is formulated as an augmented Markov Decision Process (MDP), incorporating microeconomic variables, macroeconomic indicators, and prospective demand signals into the agent’s state vector. The research is structured in three stages: (i) a Systematic Literature Review (SLR) following the PRISMA protocol, which identifies gaps related to the integration of exogenous macroeconomic variables and the lack of multidimensional evaluation; (ii) the development of a stochastic simulation environment calibrated with real-world data; and (iii) comparative experimentation against economically plausible baseline policies, including inflation-indexed adjustments based on official DIEESE indicators. The consolidated experimental configuration (V8) achieved accumulated revenue of R$ 142.043 million, outperforming the most competitive baseline by 0.9845% (+R$ 1.38 million), while maintaining operational stability and economically coherent price trajectories over 106 timesteps. The results validate the effectiveness of the forecast–control architecture in mitigating decision myopia and capturing marginal gains at scale, offering a formally grounded and reproducible framework for price management in high-complexity environments.
|
|
|
5
|
-
ROBERTO ANRAFELL ARAUJO DANTAS
-
An Edge-Based System for Prepaid Pay-Per-Use Operation in IoT Systems Using Lightning Network Micropayments
-
Advisor : GUSTAVO GIRAO BARRETO DA SILVA
-
COMMITTEE MEMBERS :
-
GUSTAVO GIRAO BARRETO DA SILVA
-
ALUÍZIO FERREIRA DA ROCHA NETO
-
ITAMIR DE MORAIS BARROCA FILHO
-
RODRIGO REBOUÇAS DE ALMEIDA
-
Data: Jul 20, 2026
-
-
Show Abstract
-
The adoption of Internet of Things (IoT) systems has increased significantly in recent years, with many systems requiring payment mechanisms to support service provision and maintenance. Blockchain-based and cryptocurrency-based solutions have been investigated and have also attracted increasing interest as a means to support automated micropayments in IoT systems, since they can be accessed programmatically and generally rely on open protocols. However, several challenges remain when integrating these solutions with IoT architectures, such as hardware requirements, scalability, security, interoperability, as well as cryptocurrency transaction fees and latency. Among the various blockchain payment networks, the Lightning Network (LN) has been proposed as a means to enable micropayments with low fees, high throughput, and near instant payment settlement, while preserving the security guarantees of the underlying Bitcoin blockchain, however, it was not designed for constrained IoT devices, requiring additional work to enable its use in such environments. This dissertation proposes LINA (Lightning Integrated Node Architecture), an edge-based system for prepaid pay-per-use operation in IoT systems. Its architecture uses an edge node to bridge constrained devices and the LN, offloading payment processing while maintaining compatibility with existing LN infrastructure and keeping device-side complexity minimal. A functional prototype was implemented and evaluated on constrained edge hardware using a Raspberry Pi 4 Model B and a Raspberry Pi Zero 2 W. The results show that LINA behaves as expected and can run on resource limited hardware, while sustaining ≈ 225 devices concurrent devices before reaching a saturation limit. These results demonstrate the feasibility of the proposed system and indicate room for improvement to further increase throughput.
|
|
|
6
|
-
GUSTAVO LIRA ROTTA
-
Digital Inclusion in Online Stores: A Comparative Analysis of Accessibility on E-commerce Websites in Brazil and the USA.
-
Advisor : JEAN MARIO MOREIRA DE LIMA
-
COMMITTEE MEMBERS :
-
ANDRE MORAIS GURGEL
-
ANDRÉ GUSTAVO DUARTE DE ALMEIDA
-
JEAN MARIO MOREIRA DE LIMA
-
Data: Jul 31, 2026
-
-
Show Abstract
-
This study aims to analyze digital accessibility in Brazilian e-commerce websites in comparison with those from the United States, where accessibility-related regulations are more stringent, by assessing their compliance with the international Web Content Accessibility Guidelines (WCAG). To this end, the research adopts an exploratory and qualitative approach, focusing on three main dimensions: keyboard navigability, color contrast, and the semantic labeling of interface elements. The methodology combines manual inspection, simulations using screen readers, automated diagnostic tools, and complementary analysis based on PageSpeed Insights metrics. The study discusses the historical evolution of digital accessibility, national and international regulatory frameworks—highlighting Brazilian legislation and the Americans with Disabilities Act (ADA)—as well as the social and economic impacts of digital exclusion. The results include the identification of recurrent accessibility barriers, a comparative analysis between practices adopted by major Brazilian e-commerce platforms and internationally established standards, and the proposition of strategies aimed at promoting digital inclusion. The findings are expected to provide technical support for software developers, policymakers, and digital platform managers.
|
|
|
7
|
-
RICKSON ANDRADE DE LIMA
-
Test Case Prioritization Using User Observability Data and Production Failure History
-
Advisor : JEAN MARIO MOREIRA DE LIMA
-
COMMITTEE MEMBERS :
-
JEAN MARIO MOREIRA DE LIMA
-
MARCELO DAMASCENO DE MELO
-
UIRA KULESZA
-
Data: Aug 4, 2026
-
-
Show Abstract
-
Modern Software Engineering faces the challenge of maintaining quality in complex systems without compromising the agility of Continuous Integration and Continuous Delivery (CI/CD) cycles. The exponential growth of automated test suites can result in increased execution time and operational costs, making exhaustive testing unfeasible in high-frequency integration scenarios. This paper proposes a Test Case Prioritization (TCP) strategy based on a hybrid approach that integrates user and system failure history. The methodology is based on the correlation between business value—measured by the frequency of feature usage—and technical risk, identified through failure history and stack trace analysis. The proposed solution consists of an automated flow for telemetry collection and the mapping of test cases via Custom Tags in the Cypress framework. A scoring algorithm processes this data to dynamically reorder the execution queue, ensuring that critical scenarios are validated with priority.
|
|
|
8
|
-
MARCOS VINICIUS DE LIMA MIRANDA
-
Modular Architecture for Security in Mobile Application Development Based on DevSecOps
-
Advisor : ROGER KREUTZ IMMICH
-
COMMITTEE MEMBERS :
-
Bruno Dalmazo
-
RAMON DOS REIS FONTES
-
ROGER KREUTZ IMMICH
-
Data: Aug 24, 2026
-
-
Show Abstract
-
The rapid growth in the use of mobile devices has established mobile applications as the primary means of accessing digital services, often involving the processing of sensitive personal, financial, and corporate data. Despite the widespread adoption of security practices in software development, mobile applications continue to present a high number of exploitable vulnerabilities. Although the DevSecOps approach proposes the continuous integration of security into the development pipeline, the literature still lacks systematized models specifically adapted to the mobile context that consider its technical particularities, such as platform fragmentation, third-party dependencies, sensitive permission, and application store publishing models. In general, a considerable number of existing solutions focus on isolated static or dynamic analysis tools, without providing an integrated orchestration framework that enables continuous automation, vulnerability traceability, and assessment of the impact of remediation actions throughout the application life cycle. In this context, this work proposed the design and implementation of an integrated security pipeline for mobile applications. The proposed architecture was structured in a modular manner and incorporated stages such as static code analysis and dynamic analysis, integrated into CI/CD environments. The proposal was evaluated through controlled experiments and case studies, considering metrics such as detection coverage, processing time, and the results of quality and security checks. The results contributed to the systematization of DevSecOps practices for mobile application development, providing evidence of the technical feasibility of the proposal and its ability to expand security checks throughout the software life cycle.
|
|
|
9
|
-
ANDERSON CLAUDIO RODRIGUES DA SILVA
-
Secure Provisioning of IoT Devices Using Blockchain with AAA Assurance via Smart Contracts
-
Advisor : ROGER KREUTZ IMMICH
-
COMMITTEE MEMBERS :
-
GUSTAVO GIRAO BARRETO DA SILVA
-
RAFAEL LOPES GOMES
-
ROGER KREUTZ IMMICH
-
Data: Aug 25, 2026
-
-
Show Abstract
-
The exponential growth of the Internet of Things, driven by the massive connectivity of devices, has generated significant benefits for sectors such as industry, healthcare, agriculture, and smart cities, but it has also brought numerous challenges related to information security. IoT devices, often developed without a focus on cybersecurity, present critical vulnerabilities, especially in provisioning, authentication, and wireless data transmission processes, which can be easily exploited by cyberattacks. In this context, this work proposes the development of a security model for IoT networks based on embedded subscriber identity modules, known as eSIM, as well as the use of physically unclonable functions, known as PUF, integrated into a permissioned blockchain architecture. The central objective is to establish a scheme for provisioning, authentication, authorization, and auditability using smart contracts capable of automating and ensuring the reliability of interactions between devices. The methodology includes identifying the most common vulnerabilities in IoT devices, reviewing the state of the art of blockchain-based solutions, and implementing a prototype in a controlled environment to validate the proposal. The evaluation of the model will be carried out through simulations and experiments aimed at measuring aspects such as performance, scalability, latency, and effectiveness in mitigating interception and data tampering attacks. The expected result is the creation of a robust security architecture that promotes greater reliability, transparency, and integrity in communication between IoT devices, offering the academic community both theoretical and practical contributions to the consolidation of research in applied cybersecurity. Furthermore, this study intends to foster new investigations in the field, providing a solid foundation for future work that explores integrations between IoT, blockchain, and smart contracts.
|
|
|
10
|
-
CICERO FERREIRA DE FRANCA NETO
-
A Methodological Approach for Validating ITIL-Oriented IT Service Management Artifacts in a Decentralized Institutional Environment
-
Advisor : ROGER KREUTZ IMMICH
-
COMMITTEE MEMBERS :
-
ADENAUER CORREA YAMIM
-
DANIEL SABINO AMORIM DE ARAUJO
-
ROGER KREUTZ IMMICH
-
Data: Aug 25, 2026
-
-
Show Abstract
-
IT service management in public universities with decentralized organizational structures presents challenges related to process standardization, team integration, indicator consolidation, and alignment with institutional guidelines. In this context, the objective of this dissertation was to develop and analyze a methodological proposal for validating ITIL-oriented IT service management artifacts, aimed at supporting a future implementation of an IT Service Desk at the Federal University of Rio Grande do Norte. The proposal was structured based on a three-level documentary architecture: strategic, managerial, and operational. The artifacts considered were related to incident and service request management, knowledge base, service catalog, and IT Service Desk. For the analytical validation of the artifacts, four complementary validation tools were used: SWOT analysis, FMEA, AS-IS/TO-BE analysis, and multicriteria evaluation. The results made it possible to identify risks, process gaps, improvement opportunities, and refinement priorities before a potential institutional implementation.
|
|
|
11
|
-
HERLMANOEL FERNANDES BARBOSA
-
DOAMA: an intelligent platform for the management and operational optimization of Human Milk Banks
-
Advisor : ANNA GISELLE CAMARA DANTAS RIBEIRO RODRIGUES
-
COMMITTEE MEMBERS :
-
AMANDA GONDIM DE OLIVEIRA
-
ANNA GISELLE CAMARA DANTAS RIBEIRO RODRIGUES
-
RICARDO NEY OLIVEIRA COBUCCI
-
RUMMENIGGE RUDSON DANTAS
-
Data: Aug 25, 2026
-
-
Show Abstract
-
Human Milk Banks require reliable records and traceability among donors, collection points, donations, and processing stages. In the analyzed scope, the separation among spreadsheets, forms, and non-integrated systems hinders record continuity and information retrieval throughout the donation flow. This research aimed to propose and evaluate DOAMA, an integrated and domain-oriented digital platform to support operational management, informational organization, and record traceability in Human Milk Banks. The investigation was conducted according to Design Science Research, with literature review, documentary analysis of standards and technical references, meetings with a domain specialist, implementation of a functional prototype, demonstration in a controlled environment, internal adherence verification, specialist evaluation, and case study. The artifact was organized as a multichannel platform composed of a web module, mobile application, central services, and artificial intelligence agent articulated by a common transactional core. The platform records and relates donors, collection requests, visits, donations, processing stages, aggregated distribution, and audit events, in addition to offering an analytical dashboard and observability mechanisms. The evaluation indicated adherence among requirements, implemented mechanisms, domain characteristics, and tasks representative of the Human Milk Bank routine. The limitations include a qualitative and initial evaluation, participation of the same specialist in elicitation and evaluation, absence of deployment in a real Human Milk Bank, partial coverage of the cold chain, distribution modeled at an aggregated level, and absence of specific metrics for the artificial intelligence agent. The contribution of the research consists in instantiating the platform in this context, with explicit presentation of requirements, architectural decisions, traceability mechanisms, and evaluation limits.
|
|
|
12
|
-
RENAN MOURA DA SILVA
-
Architecture for Acoustic Monitoring and Anomaly Detection in Data Centers
-
Advisor : ROGER KREUTZ IMMICH
-
COMMITTEE MEMBERS :
-
ADRIANO FIORESE
-
FREDERICO ARAUJO DA SILVA LOPES
-
ROGER KREUTZ IMMICH
-
Data: Aug 26, 2026
-
-
Show Abstract
-
The operation of data centers requires monitoring mechanisms capable of increasing the observability of critical equipment without interfering with its operation. Although variables such as temperature, energy consumption, vibration, and SNMP (Simple Network Management Protocol) alarms are widely used, the acoustic signals produced by the equipment itself remain underexplored as a complementary source of operational information. This work investigated the use of these signals to identify anomalous conditions in cooling systems and developed a modular acoustic monitoring architecture composed of four layers: acquisition, preprocessing, machine learning analysis, and integration with monitoring and alerting systems. The research was supported by a systematic mapping of the literature and evaluated in a real production environment involving six APC InRow RD cooling units installed in Aisle C of the IMD/UFRN Data Center. Data were collected using a low-cost, non-intrusive IoT (Internet of Things) prototype, resulting in 96 recordings and 2,818 acoustic segments. Of these, 2,039 segments corresponding to normal and anomalous conditions were used to evaluate the classification methods. Four detection methods were compared, assessing both signal separability and generalization to units not represented during training. Integration with open protocols and systems confirmed the operation of the classification, event recording, and alert generation chain. The results indicate the feasibility of using the acoustic channel as a complementary, non-intrusive, and low-cost indicator, although generalization across equipment remains limited by the small number of observed anomalies and by the use of a single equipment model and environment.
|
|
|
13
|
-
DANIEL WALMIR DOS SANTOS ALVES
-
Architecture for Intrusion Detection in IoT Networks Through Dynamic Feature Selection in a Federated Environment
-
Advisor : ROGER KREUTZ IMMICH
-
COMMITTEE MEMBERS :
-
ALUÍZIO FERREIRA DA ROCHA NETO
-
RODRIGO DA ROSA RIGHI
-
ROGER KREUTZ IMMICH
-
Data: Aug 28, 2026
-
-
Show Abstract
-
The expansion of the Internet of Things has increased security challenges in environments with limited processing, energy, and communication resources. Although Federated Learning enables collaborative training without sharing raw data, the exchange of updates between clients and the aggregation server may still generate significant overhead. In addition, datasets used in Intrusion Detection Systems contain features that do not always contribute equally to model performance. This dissertation presents FedU4Flow, a three-layer architecture composed of IoT devices, edge gateways, and an aggregation server, combined with a dynamic feature selection strategy based on Permutation Feature Importance. The proposed approach uses PFI to rank features and evaluate Top-K subsets while balancing predictive performance, cumulative importance, and estimated communication cost. The results indicate that using more features does not necessarily lead to better performance and that reduced subsets can maintain competitive results. The appropriate value of K also varied according to the model and dataset, supporting the use of a dynamic selection strategy. Since communication was represented through cost models associated with dimensionality, the reported reduction should be understood as an estimate rather than a direct measurement of bytes, energy consumption, or latency. The results demonstrate the potential of FedU4Flow to support more compact federated IDS solutions suited to the constraints of IoT networks.
|
|
|
14
|
-
LAZARO RAIMUNDO DE OLIVEIRA
-
A Methodology for the Creation and Evaluation of Ensembles of Explainers
-
Advisor : JOAO CARLOS XAVIER JUNIOR
-
COMMITTEE MEMBERS :
-
ALEXANDRE CESAR MUNIZ DE OLIVEIRA
-
ANNE MAGALY DE PAULA CANUTO
-
DANIEL SABINO AMORIM DE ARAUJO
-
JOAO CARLOS XAVIER JUNIOR
-
Data: Aug 28, 2026
-
-
Show Abstract
-
Explainability in deep learning models has become a central topic in Artificial Intelligence, particularly in applications that require transparency and reliability of automated decisions. Nevertheless, there is still a lack of consensus regarding the evaluation and comparison of visual explainability methods, as well as the definition of systematic analysis procedures. This dissertation proposes a methodology for evaluating visual explainers based on ensembles of explainers, structured into three stages: Planning, Diversification, and Composition. In the planning stage, the dataset, model, explainers, evaluation metrics, baseline, and experimental configurations are defined. In the diversification stage, explainers are evaluated using standardized metrics through the Global Skill Score, enabling comparisons across different scales. Clustering techniques are applied to identify redundancies among metrics and to support the selection of representative explainers. In the composition stage, ensembles and pseudo-ensembles are constructed and evaluated against individual explainers and the baseline. The analysis of results employs non-parametric statistical tests, including the Shapiro-Wilk test, Friedman test, and pairwise comparisons using the Wilcoxon test with Holm correction, as well as critical difference diagrams and significance graphs. Kendall correlation is also used to assess agreement among explainability metrics. The results indicate that ensembles of explainers may achieve performance gains over individual methods, depending on the configuration and the set of metrics considered. It is also observed that different metrics exhibit correlation, reinforcing the need for redundancy reduction in evaluation. Finally, this work contributes a reproducible methodological framework for evaluating visual explainers and a Global Skill Score-based strategy for standardizing heterogeneous metrics, providing support for future research in Explainable Artificial Intelligence.
|
|
|
15
|
-
SILVINO GUSTAVO ALBUQUERQUE DE MEDEIROS
-
PROTODIA: Prototyping Interoperable and Accessible Dashboards for Smart Cities
-
Advisor : FREDERICO ARAUJO DA SILVA LOPES
-
COMMITTEE MEMBERS :
-
EIJI ADACHI MEDEIROS BARBOSA
-
FREDERICO ARAUJO DA SILVA LOPES
-
RAUL BENITES PARADEDA
-
Data: Aug 31, 2026
-
-
Show Abstract
-
Smart cities have become an increasingly adopted model for urban modernization. In smart cities, information and communication technologies are used to improve the citizens’ quality of life. In this context, urban dashboards are among the most widely used tools for providing crucial data. Dashboards deployed for smart cities should thoughtfully provide accessibility. However, accessibility is still barely considered during development stages. This weak accessibility in urban dashboards is still a barrier that hinders dashboard adoption. In this context, this research proposes PROTODIA, a dashboard prototyping tool that allows developers to implement accessibility early on during the development process. After conducting a PRISMA review of the current state-of-art regarding accessibility implementation in dashboards, only a single study fully considered the accessibility of its dashboard.
With this research gap exposed, the research extracted data from the review and developed a first version of the prototyping tool using a combination of Design Research Methodology and Double Diamond. This version was then evaluated qualitatively to investigate the differences between creating dashboards using the tool and without using it. Numbers show that creating an image of a dashboard with PROTODIA can improve time-on-task by 50%. Numbers also show time-on-task improved by almost 90% when implementing a functional dashboard prototype using the tool versus without using it. Some challenges such as a small set of participants and artificial intelligence development agents have impacted the study. Future work includes evaluating PROTODIA with a more diverse participant set, improving the widgets and workspace area of the dashboard editor and applying the system in a real-world context where PROTODIA can be fully put to the test. The main contribution of the research is a tool developed to explore the accessibility gap found in dashboard development.
|
|
|
16
|
-
DENIS RENATO RAMALHO OROZCO
-
Explainable Analysis of Complexity and Duration in Labor Lawsuits: A Data-Driven Approach
-
Advisor : ELIAS JACOB DE MENEZES NETO
-
COMMITTEE MEMBERS :
-
CLEISON DANIEL SILVA
-
ANDRE MORAIS GURGEL
-
ELIAS JACOB DE MENEZES NETO
-
Data: Sep 4, 2026
-
-
Show Abstract
-
Judicial delays are a recurring problem in the Brazilian judicial system and directly affect institutional efficiency, access to justice, and the parties’ right to a decision within a reasonable time. In the Labor Court system, this challenge is intensified by the high volume of cases and by case allocation practices that do not take into account relevant differences in case complexity. In this context, the objective of this dissertation is to identify and analyze which characteristics of labor cases in the state of Paraíba are most strongly associated with case processing time, seeking to understand recurring patterns that may support judicial management and contribute to a more balanced allocation of institutional resources. Regarding methodology, this study analyzed 155,312 first-instance labor cases closed between 2013 and 2024, based on a broad set of procedural, factual, and institutional variables. Following an extensive literature review and exploratory data analysis, supervised machine learning techniques were applied—particularly regression models—not with the purpose of predicting the duration of new cases, but as an analytical tool to model complex associative relationships present in historical data. To interpret model behavior, Explainable Artificial Intelligence (XAI) techniques were employed, with emphasis on the SHAP method, used to estimate the marginal contribution of variables to the model outputs. The results indicate that the duration of labor cases is associated with a set of characteristics frequently observed in the analyzed data. It was found that more complex cases, those involving a greater number of procedural stages, cases handled by judicial units with higher workloads, or cases not fully processed in digital format tend to be associated with longer processing times. These findings reveal consistent statistical patterns in the analyzed dataset. It is emphasized that such associations describe recurring behaviors observed in historical data and do not allow for the inference of cause-and-effect relationships. By prioritizing model explainability and the understanding of patterns associated with case duration, this study contributes to the development of more informed indicators of procedural complexity, provides empirical support for judicial management, and reinforces the use of data-driven approaches to improve the Labor Court system, in line with the United Nations Sustainable Development Goals.
|
|
|
17
|
-
ANDRE VICTOR RIBEIRO DE CARVALHO
-
LLMs as a “Virtual Security Copilot”: Supporting the Generation of Security Requirements, Evil User Stories, and Test Cases
-
Advisor : EIJI ADACHI MEDEIROS BARBOSA
-
COMMITTEE MEMBERS :
-
EIJI ADACHI MEDEIROS BARBOSA
-
RAMON DOS REIS FONTES
-
CARLOS EDUARDO DA SILVA
-
Data: Sep 14, 2026
-
-
Show Abstract
-
This work investigates the use of Large Language Models (LLMs) as virtual security copilots to support software development teams, QA professionals, and security practitioners throughout the software development lifecycle. It proposes an artifact composed of three chained microservices that support threat identification, security requirements elicitation, generation of evil user stories, and construction of conceptual security test scenarios from functional requirements, business rules, and user stories. The approach is grounded in Gary McGraw’s Software Security Touchpoints and uses STRIDE (Spoofing, Tampering, Repudiation, Information Disclosure, Denial of Service, and Elevation of Privilege) as the structuring mechanism for threat modeling, positioning AI as support for reasoning and decision-making rather than as a replacement for human experts. The research follows the Design Science Research methodology, covering the design, development, demonstration, and evaluation of the artifact in the context of systems maintained by STI/UFRN. The evaluation combines a pilot application with QA professionals and a comparison between generated scenarios and consolidated vulnerability bases derived from penetration testing reports for the SIGAA and SIGEventos systems. The results indicate potential for cognitive support and for generating scenarios semantically related to real vulnerabilities, although with limited coverage and continued dependence on human validation. Thus, the dissertation positions LLMs as complementary mechanisms to scale, trace, and organize secure development practices in teams with limited security expertise
|
|