A Formal Interactive Verification Environment for the Plan Execution Interchange Language. - Camilo Rocha; Héctor Cadavid; César A. Muñoz; Radu Siminiceanu (IFM, 2012)

A Survey on the Interplay between Software Engineering and Systems Engineering during SoS Architecting. - Héctor Cadavid; Vasilios Andrikopoulos; Paris Avgeriou; John Klein (ESEM, 2020)

Architecting systems of systems: A tertiary study. - Héctor Cadavid; Vasilios Andrikopoulos; Paris Avgeriou (Inf. Softw. Technol., 2020)

System- and Software-level Architecting Harmonization Practices for Systems-of-Systems : An exploratory case study on a long-running large-scale scientific instrument. - Héctor Cadavid; Vasilios Andrikopoulos; Paris Avgeriou; P. Chris Broekema (ICSA, 2021)

Documentation-as-Code for Interface Control Document Management in Systems of Systems: A Technical Action Research Study. - Héctor Cadavid; Vasilios Andrikopoulos; Paris Avgeriou (ECSA, 2022)

System and Software architecting harmonization practices in ultra-large-scale Systems of Systems. - Héctor Cadavid; Vasilios Andrikopoulos; Paris Avgeriou; P. Chris Broekema (CoRR, 2022)

System and software architecting harmonization practices in ultra-large-scale systems of systems: A confirmatory case study. - Héctor Cadavid; Vasilios Andrikopoulos; Paris Avgeriou; P. Chris Broekema (Inf. Softw. Technol., 2022)

Improving hardware/software interface management in systems of systems through documentation as code. - Héctor Cadavid; Vasilios Andrikopoulos; Paris Avgeriou (Empir. Softw. Eng., 2023)

Leveraging FHIR in Federated Learning Environments: A Data Harmonization Framework for Cohort Studies. - Héctor Cadavid (MIE, 2024)

Beyond Docker: Enhancing vantage6 with Kubernetes for Federated Learning. - Héctor Cadavid; Cunliang Geng (MIE, 2024)

MyDigiTwin: A privacy-preserving framework for personalized cardiovascular risk prediction and scenario exploration. - Héctor Cadavid; Hyunho Mo; Bauke Arends; Katarzyna Dziopa; Esther E. Bron; Daniel Bos; Sonja Georgievska; Pim van der Harst (Comput. Biol. Medicine, 2025)