5 citations · 8 across the 9 of their papers we have counts for
9 papers
Voice-Driven Semantic Perception for UAV-Assisted Emergency Networks
Nuno Saavedra, Pedro Ribeiro, André Coelho +1
Unmanned Aerial Vehicle (UAV)-assisted networks are increasingly foreseen as a promising approach for emergency response, providing rapid, flexible, and resilient communications in…
Environmental Impact of CI/CD Pipelines
Nuno Saavedra, Alexandra Mendes, João F. Ferreira
CI/CD pipelines are widely used in software development, yet their environmental impact, particularly carbon and water footprints (CWF), remains largely unknown to developers, as C…
ProfOlaf: Semi-Automated Tool for Systematic Literature Reviews
Martim Afonso, Nuno Saavedra, Bruno Lourenço +2
Systematic reviews and mapping studies are critical to synthesize research, identify gaps, and guide future work, but are often labor-intensive and time-consuming. Existing tools p…
The Ultimate Configuration Management Tool? Lessons from a Mixed Methods Study of Ansible's Challenges
Carolina Carreira, Nuno Saavedra, Alexandra Mendes +1
Infrastructure as Code (IaC) tools have transformed the way IT infrastructure is automated and managed, but their growing adoption has also exposed numerous challenges for practiti…
InfraFix: Technology-Agnostic Repair of Infrastructure as Code
Nuno Saavedra, João F. Ferreira, Alexandra Mendes
Infrastructure as Code (IaC) enables scalable and automated IT infrastructure management but is prone to errors that can lead to security vulnerabilities, outages, and data loss. W…
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
Kyle Thompson, Nuno Saavedra, Pedro Carrott +6
Formal verification using proof assistants, such as Coq, enables the creation of high-quality software. However, the verification process requires significant expertise and manual…
CoqPyt: Proof Navigation in Python in the Era of LLMs
Pedro Carrott, Nuno Saavedra, Kyle Thompson +3
Proof assistants enable users to develop machine-checked proofs regarding software-related properties. Unfortunately, the interactive nature of these proof assistants imposes most…
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
Nuno Saavedra, João Gonçalves, Miguel Henriques +2
This paper presents GLITCH, a new technology-agnostic framework that enables automated polyglot code smell detection for Infrastructure as Code scripts. GLITCH uses an intermediate…
GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code
Nuno Saavedra, João F. Ferreira
Infrastructure as Code (IaC) is the process of managing IT infrastructure via programmable configuration files (also called IaC scripts). Like other software artifacts, IaC scripts…