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)

Modelling ventilation with spontaneous breaths: Improving accuracy with shape functions and slice method. - Ivan Ruiz; Guillermo Jaramillo; José I. García; Andres Valencia; Alejandro Segura; Andrés Fabricio Caballero-Lozada (Comput. Methods Programs Biomed., 2025)