Angel Jesus Varela-Vaca

Model-Based Software Debugging

Rafael M. Gasca, Rui Abreu, R. Ceballos, 2019 .

CyberSPL: A Framework for the Verification of Cybersecurity Policy Compliance of System Configurations Using Software Product Lines

Rafael M. Gasca, María Teresa Gómez-López, R. Ceballos, 2019, Applied Sciences.

Constraint-Driven Fault Diagnosis

Rafael M. Gasca, R. Ceballos, Angel Jesus Varela-Vaca, 2019, Fault Diagnosis of Dynamic Systems.

Smart Contract Languages

Antonia M. Reina Quintero, Angel Jesus Varela-Vaca, A. M. R. Quintero, 2020, ACM Comput. Surv..