José I. García

According to our database, José I. García authored at least 2 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

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

2023

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

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023