GoalD: A Goal-Driven deployment framework for dynamic and heterogeneous computing environments. - Gabriel S. Rodrigues; Felipe Pontes Guimarães; Genaína Nunes Rodrigues; Alessia Knauss; João Paulo Costa de Araujo; Hugo Sica de Andrade; Raian Ali (Inf. Softw. Technol., 2019)

Explainability for Property Violations in Cyberphysical Systems: An Immune-Inspired Approach. - João Paulo Costa de Araujo; Genaína Nunes Rodrigues; Marc Carwehl; Thomas Vogel 001; Lars Grunske; Ricardo Caldas; Patrizio Pelliccione (IEEE Softw., 2024)

Applying Concept-Based Models for Enhanced Safety Argumentation. - João Paulo Costa de Araujo; Balahari Vignesh Balu; Eik Reichmann; Jessica Kelly; Stefan Kugele; Núria Mata; Lars Grunske (Software Engineering, 2025)