Héctor Fabio Cadavid Rengifo
Héctor Fabio Cadavid Rengifo
Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence. RUG
Verified email at rug.nl - Homepage
Title
Cited by
Cited by
Year
A formal interactive verification environment for the plan execution interchange language
C Rocha, H Cadavid, C Munoz, R Siminiceanu
International Conference on Integrated Formal Methods, 343-357, 2012
102012
Towards a Smart Farming Platform: From IoT-Based Crop Sensing to Data Analytics
H Cadavid, W Garzón, A Pérez, G López, C Mendivelso, C Ramirez
Communications in Computer and Information Science, 237--251, 2018
82018
A graphical environment for the semantic validation of a plan execution language
C Rocha, C Munoz, H Cadavid
2009 Third IEEE International Conference on Space Mission Challenges for …, 2009
72009
Architecting Systems of Systems: A Tertiary Study
H Cadavid, V Andrikopoulos, P Avgeriou
Information and Software Technology 118, 2019
42019
Reliable control architecture with PLEXIL and ROS for autonomous wheeled robots
H Cadavid, A Pérez, C Rocha
Colombian Conference on Computing, 611-626, 2017
42017
Hardware and software architecture for Plexil-based, simulation supported, robot automation
HF Cadavid, JA Chaparro
Robotics and Automation (CCRA), IEEE Colombian Conference on, 1-6, 2016
4*2016
E-Health y M-Health en Colombia: antecedentes, restricciones y consideraciones para el desarrollo de nuevas tecnologías basadas en software.
H Cadavid
Revista De La Escuela Colombiana De Ingeniería 109, 89-99, 2018
32018
Continuous Delivery Pipelines for Teaching Agile and Developing Software Engineering Skills
HF Cadavid
International Journal of Modern Education and Computer Science (IJMECS) 10 …, 2018
12018
M-health system backend supported by an actors model
MA Corredor, HF Cadavid
Computing Colombian Conference (10CCC), 2015 10th, 150-156, 2015
1*2015
Sistema de extracción de cuerpos de texto de la web para tareas lingüísticas
HF Cadavid Rengifo, J Gómez Perdomo
Ingeniería e Investigación, 2009
12009
A Survey on the Interplay between Software Engineering and Systems Engineering during SoS Architecting
H Cadavid, V Andrikopoulos, P Avgeriou, J Klein
Proceedings of the 14th ACM/IEEE International Symposium on Empirical …, 2020
2020
La robótica móvil, una herramienta para la innovación y el mejoramiento del sector agroindustrial
J Chaparro, H Cadavid
Revista de la escuela colombiana de ingeniería 107, 41-46, 2017
2017
Control autónomo de robots de aplicación agrícola con Plexil.
HF Cadavid, JA Chaparro
XXV Congreso Argentino de Control Automático (AADECA 2016)(Buenos Aires, 2016)., 2016
2016
Simulador para el apoyo al proceso de mejoramiento contínuo de PyMEs con TOC
H Cadavid, Diaz, Jaime, G Ospina
X Congresso Nacional de Excelencia em Gestao. Rio de Janeiro, Brasil., 2014
2014
Plataforma mhealth para investigación y desarrollo de sistemas automáticos de diagnóstico en enfermedades cardiovasculares
J Chaparro, H Cadavid
Congreso Internacional en Ingeniería Clínica y Biomédica, Bogotá, Colombia …, 2014
2014
TRANSFORMACIÓN DE PRÁCTICAS PEDAGÓGICAS USANDO TIC Y RENATA: CONTEXTO Y CASOS DE ESTUDIO EN BIOMEDICINA Y ECONOMÍA
OPÁ Piñeiro, HFC Rengifo, PCM Mendez, CIG Balnco, AM Caicedo
WEEF 2013 Cartagena, 2013
2013
Web text corpus extraction system for linguistic tasks
HF Cadavid Rengifo, J Gómez Perdomo
Ingeniería e Investigación 29 (3), 54-60, 2009
2009
Sistema de aprendizaje no supervisado de lenguajes naturales con soporte morfológico
HFC Rengifo
2009
Desarrollo de juegos como base para la comprensión de temas fundamentales de la programación orientada a objetos.
HF Cadavid Rengifo
VIII Congreso Colombiano de Informática Educativa. Cali, Colombia., 2006
2006
Simulador para el apoyo al proceso de mejoramiento contínuo de PyMEs con TOC
HFC Rengifo, JAD Palacios, GO Hernández
The system can't perform the operation now. Try again later.
Articles 1–20