Autor
Jaime Cuartas
Universidad de Monash
Perfil externo:
Citaciones:
9
Productos:
3
Filtros
Investigación
Cooperación
Productos
Patentes
Proyectos
Noticias
i
Coautorías según país de afiliación
Cargando información...
i
Evolución anual según la clasificación del ScienTI (Top 20)
Cargando información...
Cargando información...
Fundadores:
Producto desarrollado por:
@colav
Contacto
ImpactU:
Acerca de ImpactU
Manual de usuario
Código Abierto
Datos Abiertos
Apidocs
Estadísticas de uso
Indicadores de Cooperación
Información:
ImpactU Versión 3.11.2
Última actualización:
Interfaz de Usuario: 16/10/2025
Base de Datos: 29/08/2025
Hecho en Colombia
3 Productos
Más citado
CSV
API
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL
Ver producto
Acceso Abierto
Jaime Cuartas
JESUS ALEXANDER ARANDA BUENO
Maxime Cordy
James Jerson Ortiz Vega
Gilles Perrouin
Pierre Yves Schobbens
Tópico:
Software Testing and Debugging Techniques
Publicado: 2023
Citaciones:
5
Altmétricas:
0
Capítulo de libro
Formal Verification of a Mechanical Ventilator using UPPAAL
Ver producto
Acceso Cerrado
Jaime Cuartas
David Santiago Cortés
Joan S Betancourt
JESUS ALEXANDER ARANDA BUENO
JOSE ISIDRO GARCIA MELO
andres mauricio valencia restrepo
James Jerson Ortiz Vega
Tópico:
Formal Methods in Verification
Publicado: 2023
Citaciones:
4
Altmétricas:
0
Capítulo de libro
MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real‐Time Model‐Based Systems
Ver producto
Acceso Cerrado
Fuente: Software Testing Verification and Reliability
Jaime Cuartas
David Santiago Cortés
Joan S Betancourt
JESUS ALEXANDER ARANDA BUENO
Maxime Cordy
James Jerson Ortiz Vega
Gilles Perrouin
Pierre Yves Schobbens
Tópico:
Software Testing and Debugging Techniques
Publicado: 2024
Citaciones:
0
Altmétricas:
0
Artículo de revista
1
NaN
