Formal Verification of a Mechanical Ventilator using UPPAAL. - Jaime Cuartas; David Cortés; Joan S. Betancourt; Jesús Aranda; José I. García; Andrés M. Valencia; James Ortiz 001 (FTSCS, 2023)

Fairness and Consensus in a Gossip Model of Social Networks. - Joan S. Betancourt; Jesús Aranda; Juan Francisco Díaz; Frank Valencia (CoRR, 2023)

MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-Based Systems. - Jaime Cuartas; David Cortés; Joan S. Betancourt; Jesús Aranda; Maxime Cordy; James Ortiz 001; Gilles Perrouin; Pierre-Yves Schobbens (Softw. Test. Verification Reliab., 2025)