Grupos de investigación
PLAS -  PROGRAMMING LANGUAGES AND SYSTEMS
Presentacion
The Programming Languages and Systems (PLAS) research group at Universidad Nacional de Colombia researches practical and theoretical aspects of programming languages design and implementation, and their integration in both software and hardware systems. PLAS research interests include, but are not limited to: programming languages, domain-specific languages, compilers and interpreters, source code analysis and manipulation, security, optimization, methods and tools for dependable design in embedded systems, and software engineering. Theses defended in this group are also encouraged to result in practical tools that make software safer and easier to develop. Our group is also responsible for teaching several programming courses at the university. We are, therefore, also interested in research on how to teach programming more effectively. GrupLAC COL0182079 http://scienti.colciencias.gov.co:8080/gruplac/jsp/visualiza/visualizagr.jsp?nro=00000000018409
Líder
Sedes
Bogotá
Dependencias
2- FACULTAD DE INGENIERÍA
Planes de estudio
  • MAESTRÍA EN INGENIERÍA - INGENIERÍA ELÉCTRICA
  • DOCTORADO EN INGENIERIA - SISTEMAS Y COMPUTACION
  • MAESTRIA EN INGENIERIA - ING. DE SISTEMAS Y COMPUTACIÓN - CONV. UNILLANOS
  • MAESTRÍA EN INGENIERÍA - INGENIERÍA ELECTRÓNICA
  • MAESTRIA EN INGENIERIA - INGENIERIA DE SISTEMAS Y COMPUTACIÓN - CONV UPC
  • MAESTRIA EN INGENIERIA - INGENIERIA DE SISTEMAS Y COMPUTACIÓN
  • MAESTRIA EN INGENIERIA - AUTOMATIZACION INDUSTRIAL
  • DOCTORADO EN INGENIERIA AREA DE INGENIERIA ELECTRICA
  • INGENIERÍA DE SISTEMAS Y COMPUTACIÓN - SEDE BOGOTÁ - AC 033
  • MAESTRÍA EN INGENIERÍA MECÁNICA
Agendas de conocimiento
Tecnologías de la Información y Comunicaciones
Agendas del conocimiento secundarias
  • Tecnologías de la Información y Comunicaciones
Áreas OCDE
Ingeniería y tecnología - Ingenierías eléctrica, electrónica e informática
Áreas OCDE secundarias
  • Ingeniería y tecnología - Ingenierías eléctrica, electrónica e informática
  • Ciencias sociales - Ciencias de la educación
Lineas de investigación
  • PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION
  • LANGUAGE DESIGN, IMPLEMENTATION AND APPLICATIONS TO SUPPORT THE SOFTWARE DEVELOPMENT LIFE CYCLE. THIS INCLUDES: METALANGUAGES, GENERAL PURPOSE PROGRAMMING LANGUAGES, MODELING LANGUAGES, DOMAIN-SPECIFIC LANGUAGES (DSLS), SPECIFICATION LANGUAGES
  • SISTEMAS DE TRANSPORTE
  • LENGUAJES DE PROGRAMACIÓN
  • METHODS AND TOOLS FOR FAULT-TOLERANT AND DEPENDABLE DESIGN IN EMBEDDED SYSTEMS
  • PROGRAMMING EDUCATION RESEARCH. THIS INCLUDES THE DESIGN AND DEVELOPMENT OF DIDÁCTICAL PROGRAMMING ENVIRONMENTS, AUTOMATIC PROGRAMMING ASSIGNMENT GRADING AND ANALYSIS, SOURCE CODE ANALYSIS FOR STUDENT FEEDBACK, AMONG OTHERS
Enfoque estratégico
Theses defended in this group are also encouraged to result in practical tools that make software safer and easier to develop.
Prioridades de investigación
The Programming Languages and Systems (PLAS) research group at Universidad Nacional de Colombia researches both practical and theoretical aspects of programming languages design and system building.
Perspectiva interdisciplinaria
TBD
Integrantes
Proyectos
Productos
  • Factor de Penalidad de Tags RFID Instalados en Vidrios de Vehículos (Articulos sometidos a revisión en revista indexada)
  • Cost-Effective Implementation of a Temperature Traceability System Based on Smart RFID Tags and IoT Services (Articulos sometidos a revisión en revista indexada)
  • PCIV, an RFID-Based Platform for Intelligent Vehicle Monitoring (Articulos sometidos a revisión en revista indexada)
  • Self-Regulated Learning in a Computer Programming Course (Articulos sometidos a revisión en revista indexada)
  • Análisis de requisitos para dispositivos de localización vehicular seguros para sistemas de transporte público terrestre en Colombia (Articulos sometidos a revisión en revista indexada)
  • SHARC: An efficient metric for selective protection of software against soft errors (Articulos sometidos a revisión en revista indexada)
  • Continuous assessment in a computer programming course supported by a software tool (Articulos sometidos a revisión en revista indexada)
  • Continuous assessment in a computer programming course supported by a software tool (Articulos sometidos a revisión en revista indexada)
  • Evaluating Impact on Motivation and Academic Performance of a Game-Based Learning Experience Using Kahoot (Articulos sometidos a revisión en revista indexada)
  • Using Approximate Computing and Selective Hardening for the Reduction of Overheads in the Design of Radiation-Induced Fault-Tolerant Systems (Articulos sometidos a revisión en revista indexada)
  • Damage identification in structural health monitoring: A brief review from its implementation to the use of data-driven applications (Articulos sometidos a revisión en revista indexada)
  • Multi-Threaded Mitigation of Radiation-Induced Soft Errors in Bare-Metal Embedded Systems (Articulos sometidos a revisión en revista indexada)
  • Performance evaluation for the hash generation phase of a democratic blockchain (Articulos sometidos a revisión en revista indexada)
  • Using an Interactive Software Tool for the Formative and Summative Evaluation in a Computer Programming Course: an Experience Report (Articulos sometidos a revisión en revista indexada)
  • Software Readability Metrics: A Systematic Literature Review (Articulos sometidos a revisión en revista indexada)
  • Modern data sources and techniques for analysis and forecast of road accidents: a review (Articulos sometidos a revisión en revista indexada)
  • FTxAC: Leveraging the Approximate Computing Paradigm in the Design of Fault-Tolerant Embedded Systems to Reduce Overheads (Articulos sometidos a revisión en revista indexada)
  • A Hardware-Software Approach for On-line Soft Error Mitigation in Interrupt-Driven Applications (Articulos sometidos a revisión en revista indexada)
  • Evaluación de la fiabilidad de microprocesadores COTS mediante las infraestructuras de depuración On-Chip (Artículo publicado en revista de divulgación)
  • Aprendizaje Autorregulado en un Curso de Programación de Computadores (Artículo publicado en revista de divulgación)
  • José Isaza-González, Alejandro Serrano-Cases, Felipe Restrepo-Calle, Sergio Cuenca-Asensi, Antonio Martínez-Álvarez. “Evaluación de la fiabilidad de microprocesadores COTS mediante las infraestructuras de depuración On-Chip”. I+D Tecnológico, Vol. 13, Núm. 1. pp. 8-17. 2017. ISSN: 1680-8894. (Artículo publicado en revista indexada que presente resultados originales de la investigación)
  • Felipe Restrepo-Calle, Sergio Cuenca-Asensi, Antonio Martínez-Álvarez, Eduardo Chielle, Fernanda Lima Kastensmidt. “Application-based Analysis of Register File Criticality for Reliability Assessment in Embedded Microprocessors”. Journal of Electronic Testing: Theory and Applications, Vol. 31, no. 2, pp. 139-150, April 2015. ISSN: 0923-8174. (Artículo publicado en revista indexada que presente resultados originales de la investigación)
  • A. Martínez-Álvarez, Felipe Restrepo-Calle, S. Cuenca-Asensi, L. M. Reyneri, A.Lindoso, L. Entrena; "A Hardware-Software Approach for On-line Soft Error Mitigation in Interrupt-Driven Applications," IEEE Transactions on Dependable and Secure Computing, vol. 13, no. 4, pp. 502-508, July-Aug. 1 2016. (Artículo publicado en revista indexada que presente resultados originales de la investigación)
  • • Camilo Gutierrez-Osorio, César Pedraza. Modern data sources and techniques for analysis and forecast of road accidents: A review, Journal of Traffic and Transportation Engineering (English Edition), Volume 7, Issue 4, 2020, Pages 432-446, ISSN 2095-7564, https://doi.org/10.1016/j.jtte.2020.05.002. (https://www.sciencedirect.com/science/article/pii/S209575642030101X) (Artículos sometidos a revisión en revista indexada.)
  • • E. Pineda, E. Neira, J. Pantoja, F. Vega, y C. Pedraza, Factor de Penalidad de Tags RFID Instalados en Vidrios de Vehículos, tecnia, vol. 26, n.º 1, p. 27, jun. 2016. http://revistas.uni.edu.pe/index.php/tecnia/article/view/5 (Artículos sometidos a revisión en revista indexada.)
  • • Luis Lugo, Cesar Pedraza. Performance evaluation for the hash generation phase of a democratic blockchain. International Journal of Internet Technology and Secured Transactions, 2020 Vol.10 No.3, pp.286 – 303. https://dx.doi.org/10.1504/IJITST.2020.107076 (Artículos sometidos a revisión en revista indexada.)
  • • Urbano O, Perles A, Pedraza C, Rubio-Arraez S, Castelló ML, Ortola MD, Mercado R. Cost-Effective Implementation of a Temperature Traceability System Based on Smart RFID Tags and IoT Services. Sensors. 2020; 20(4):1163. https://doi.org/10.3390/s20041163 (Artículos sometidos a revisión en revista indexada.)
  • • Tibaduiza Burgos DA, Gomez Vargas RC, Pedraza C, Agis D, Pozo F. Damage Identification in Structural Health Monitoring: A Brief Review from its Implementation to the Use of Data-Driven Applications. Sensors. 2020; 20(3):733. https://doi.org/10.3390/s20030733 (Artículos sometidos a revisión en revista indexada.)
  • Predicting the Programming Language: Extracting Knowledge from Stack Overflow Posts (Capitulo en libro que presente resultados de la invetigación)
  • Soft Error mitigation in soft-core processors (Capitulo en libro que presente resultados de la invetigación)
  • Reducing implicit overheads of soft error mitigation techniques using selective hardening (Capitulo en libro que presente resultados de la invetigación)
  • Fast Prototyping of Web-Based Information Systems Using a Restricted Natural Language Specification (Capitulo en libro que presente resultados de la invetigación)
  • A Strategy Based on Technological Maps for the Identification of the State-of-the-Art Techniques in Software Development Projects: Virtual Judge Projects as a Case Study (Capitulo en libro que presente resultados de la invetigación)
  • Alfonso Hoyos Jean Pierre, Restrepo-Calle Felipe. Ch 9: Fast Prototyping of Web-Based Information Systems Using a Restricted Natural Language Specification. In: Damiani E., Spanoudakis G., Maciaszek L. (eds) Evaluation of Novel Approaches to Software Engineering. Communications in Computer and Information Science, vol 866. Springer, Cham. 2018. (Capítulo en libro que presente resultados de la investigación)
  • Carlos G. Hidalgo S., Victor A. Bucheli, Felipe Restrepo-Calle , Fabio A. González. Ch 27: ""A Strategy Based on Technological Maps for the Identification of the State-of-the-Art Techniques in Software Development Projects: Virtual Judge Projects as a Case Study.". J. E. Serrano C. and J. C. Martínez-Santos (Eds.) Advances in Computing. CCC 2018. Communications in Computer and Information Science, vol 885, pp. 1–17, Springer, Cham. 2018. (Capítulo en libro que presente resultados de la investigación)
  • Felipe Restrepo-Calle, Sergio Cuenca-Asensi , Antonio Martínez-Álvarez. Ch. 17: Reducing implicit overheads of soft error mitigation techniques using selective hardening. In "FPGAs and Parallel Architectures for Aerospace Applications". Eds: Fernanda Lima Kastensmidt, Paolo Rech. Springer. ISBN 978-3-319-14351-4. 2016. (Capítulo en libro que presente resultados de la investigación)
  • Antonio Martínez-Álvarez, Sergio Cuenca-Asensi, Felipe Restrepo-Calle. Ch. 16: Soft Error mitigation in soft-core processors". In "FPGAs and Parallel Architectures for Aerospace Applications". Editors: Fernanda Lima Kastensmidt and Paolo Rech. Springer. ISBN 978-3-319-14351-4. 2016. (Capítulo en libro que presente resultados de la investigación)
  • Carlos G. Hidalgo S., Victor A. Bucheli, Felipe Restrepo-Calle , Fabio A. González. Ch 27: ""A Strategy Based on Technological Maps for the Identification of the State-of-the-Art Techniques in Software Development Projects: Virtual Judge Projects as a Case Study.". J. E. Serrano C. and J. C. Martínez-Santos (Eds.) Advances in Computing. CCC 2018. Communications in Computer and Information Science, vol 885, pp. 1–17, Springer, Cham. 2018. (Capítulo en libro que presente resultados de la investigación)
  • PLATAFORMA PARA EL CONTROL INTELIGENTE DE VEHICULOS DE TRANSPORTE PUBLICO (Otro)
  • Jean Pierre Alfonso Hoyos and Felipe Restrepo-Calle, “Automatic source code generation for web-based process-oriented information systems”, 12th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE. Porto, Portugal. 28-29 April, 2017. (Presentación de ponencia en evento científico o tecnológico)
  • Felipe Restrepo-Calle, Sergio Cuenca-Asensi, Antonio Martínez-Álvarez. "An Effective Strategy for Selective Hardening of Software”. 18th IEEE Latin-American Test Symposium LATS. Bogotá, Colombia. 13th - 15th March, 2017. (Presentación de ponencia en evento científico o tecnológico)
  • Francisco Rangel, Fabio A González, Felipe Restrepo-Calle, Manuel Montes, Paolo Rosso. "PAN at FIRE: Overview of the PR-SOCO Track on Personality Recognition in SOurce COde.". Working notes of FIRE.. Dec 7-10. Kalkota, India. 2016. (Presentación de ponencia en evento científico o tecnológico)
  • Lina F Rosales-Castro, Laura A Chaparro-Gutiérrez, Andrés F Cruz-Salinas, Felipe Restrepo-Calle, Jorge Camargo, Fabio A González. "An Interactive Tool to Support Student Assessment in Programming Assignments.". Ibero-American Conference on Artificial Intelligence IBERAMIA 2016. . pp. 404-414. San Jose, Costa Rica. Nov 21-23. 2016. (Presentación de ponencia en evento científico o tecnológico)
  • Jose Isaza-Gonzalez, Alejandro Serrano-Cases, Felipe Restrepo-Calle, Sergio Cuenca-Asensi, Antonio Martínez-Álvarez. "Dependability Evaluation of COTS Microprocessors via On-Chip Debugging Facilities". 17th IEEE Latin-American Test Symposium LATS. Foz do Iguaçu, Brazil. 6th - 8th April, 2016. (Presentación de ponencia en evento científico o tecnológico)
  • Felipe Restrepo-Calle, Sergio Cuenca-Asensi, Antonio Martínez-Álvarez, Fernanda Lima Kastensmidt. "Considerations on Application of Selective Hardening based on Software Fault Tolerance Techniques". 16th IEEE Latin-American Test Symposium. Puerto Vallarta, Mexico. March 25 - 27, 2015. (Presentación de ponencia en evento científico o tecnológico)
  • • K.D. Cuervo-Cely, J.J. Ramírez-Echeverry, F. Restrepo-Calle. "Computer-assisted Gamification in a Computer Programming Course: an Experience Report". In 13th annual International Conference of Education, Research and Innovation ICERI 2020. pp. 6006-6015, 9th - 10th of November, 2020. (Presentación de ponencia en evento científico o tecnológico)
  • • J.X. León Medina, R.C. Gomez Vargas, C. Gutierrez-Osorio, D.A. Garavito Jimenez, D.A. Velandia Cardenas, J.E. Salomón Torres, J. Camacho-Olarte, B. Rueda, W. Vargas, J. Sofrony Esmeral, F. Restrepo-Calle, D.A. Tibaduiza Burgos, and C.A. Pedraza Bonilla. "Deep Learning for the Prediction of Temperature Time Series in the Lining of an Electric Arc Furnace for Structural Health Monitoring at Cerro Matoso (CMSA)". In Engineering Proceedings, 2(1):23, 2020. (Presentación de ponencia en evento científico o tecnológico)
  • • J. Camacho-Olarte, J.E. Salomón Torres, D.A. Garavito Jimenez, J.X. León Medina, R.C. Gomez Vargas, D.A. Velandia Cardenas, C. Gutierrez-Osorio, B. Rueda, W. Vargas, D.A. Tibaduiza Burgos, C.A. Pedraza Bonilla, J. Sofrony Esmeral, and F. Restrepo-Calle. "A Data Cleaning Approach for a Structural Health Monitoring System in a 75 MW Electric Arc Ferronickel Furnace". In Engineering Proceedings, 2(1):21, 2020. (Presentación de ponencia en evento científico o tecnológico)
  • • Alexander Aponte-Moreno, J. Isaza-González, A. Serrano-Cases, A. Martínez-Álvarez, S. Cuenca-Asensi, and Felipe Restrepo-Calle. "An Experimental Comparison of Fault Injection Tools for Microprocessor-based Systems". In Proceedings of the 2020 IEEE 21st Latin-American Test Symposium (LATS). Jatiúca (Maceió), Brazil, 30th March - 2nd April 2020. (Presentación de ponencia en evento científico o tecnológico)
  • • Stephanie Torres Jiménez, Jhon Jairo Ramírez Echeverry, Felipe Restrepo Calle, Fabio González Osorio. "Diseño y validación de un instrumento de recolección de información y auto-reporte referente a las estrategias de Aprendizaje de Programación de Computadores". En Encuentro Internacional de Educación en Ingeniería ACOFI 2019. Cartagena, Colombia, 10-13th Sept 2019. (Presentación de ponencia en evento científico o tecnológico)
  • • Stephanie Torres Jiménez, Jhon Jairo Ramírez Echeverry, Felipe Restrepo Calle, Fabio González Osorio. "Diseño y validación de un instrumento de recolección de información y auto-reporte referente a las estrategias de Aprendizaje de Programación de Computadores". En Encuentro Internacional de Educación en Ingeniería ACOFI 2019. Cartagena, Colombia, 10-13th Sept 2019. (Presentación de ponencia en evento científico o tecnológico)
  • • Alexander Aponte-Moreno, Felipe Restrepo-Calle, and Cesar Pedraza. "A Low-Overhead Radiation Hardening Approach using Approximate Computing and Selective Fault Tolerance Techniques at the Software Level". In Proceedings of the 2019 IEEE European Conference on Radiation and its Effects on Components and Systems (RADECS). Montpellier, France. September 16-20th, 2019. (Presentación de ponencia en evento científico o tecnológico)
  • • F. Restrepo-Calle, C. Pedraza, and F. Vega. "A Vehicle Tracking Device with Built-in Safety Features for Public Transportation Systems". In Proceedings of the 2019 2nd Latin American Conference on Intelligent Transportation Systems (ITS LATAM). Bogota, Colombia, pp. 1-6. doi: 10.1109/ITSLATAM.2019.87213392019. 19-20 March 2019. (Presentación de ponencia en evento científico o tecnológico)
  • 7th International Electronic Conference on Sensors and Applications (Presentación de ponencia en evento científico o tecnológico)
  • 13th annual International Conference of Education, Research and Innovation ICERI 2020 (Presentación de ponencia en evento científico o tecnológico)
  • The 13th Annual International Conference of Education, Research and Innovation, ECERI2020 (Presentación de ponencia en evento científico o tecnológico)
  • IEEE 21st Latin-American Test Symposium (LATS) (Presentación de ponencia en evento científico o tecnológico)
  • 2019 IEEE European Conference on Radiation and its Effects on Components and Systems (RADECS) (Presentación de ponencia en evento científico o tecnológico)
  • Encuentro Internacional de Educación en Ingeniería ACOFI 2019 (Presentación de ponencia en evento científico o tecnológico)
  • Encuentro Internacional en Educación en Ingeniería, EIEI (Presentación de ponencia en evento científico o tecnológico)
  • 2do Congreso ITS LATAM (Presentación de ponencia en evento científico o tecnológico)
  • 2019 IEEE 20th Latin-American Test Symposium (LATS) (Presentación de ponencia en evento científico o tecnológico)
  • 7th International Research Symposium on PBL, IRSPBL 2018 (Presentación de ponencia en evento científico o tecnológico)
  • ESREF 2018: 29th European Symposium on Reliability of Electron Devices, Failure Physics and Analysis (Presentación de ponencia en evento científico o tecnológico)
  • 2018 6th International Conference on Future Internet of Things and Cloud Workshops (FiCloudW) (Presentación de ponencia en evento científico o tecnológico)
  • 10th International Conference on Education and New Learning Technologies EDULEARN (Presentación de ponencia en evento científico o tecnológico)
  • 10th International Conference on Education and New Learning Technologies EDULEARN 2018 (Presentación de ponencia en evento científico o tecnológico)
  • 21st Conferencia Iberoamericana en Software Engineering (CIbSE 2018) (Presentación de ponencia en evento científico o tecnológico)
  • 2018 IEEE 19th Latin-American Test Symposium (LATS) (Presentación de ponencia en evento científico o tecnológico)
  • 2017 IEEE Frontiers in Education Conference (FIE) (Presentación de ponencia en evento científico o tecnológico)
  • 12th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE 2017 (Presentación de ponencia en evento científico o tecnológico)
  • 2017 18th Latin-American Test Symposium (LATS) (Presentación de ponencia en evento científico o tecnológico)
  • 8th Forum for Information Retrieval Evaluation FIRE 2016 (Presentación de ponencia en evento científico o tecnológico)
  • Ibero-American Conference on Artificial Intelligence IBERAMIA 2016 (Presentación de ponencia en evento científico o tecnológico)
  • 14th World Conference on Transport Research (Presentación de ponencia en evento científico o tecnológico)
  • 9th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE 16) (Presentación de ponencia en evento científico o tecnológico)
  • 8th Euro American Conference on Telematics and Information Systems (EATIS) (Presentación de ponencia en evento científico o tecnológico)
  • 2016 17th Latin-American Test Symposium (LATS) (Presentación de ponencia en evento científico o tecnológico)
  • • Otro: PLATAFORMA PARA EL CONTROL INTELIGENTE DE VEHICULOS DE TRANSPORTE PUBLICO, Colombia, 2017, Disponibilidad: Restringido, Nombre comercial: PLATAFORMA PARA EL CONTROL INTELIGENTE DE VEHICULOS DE TRANSPORTE PUBLICO. Institución financiadora: UNIVERSIDAD NACIONAL DE COLOMBIA. Autores: CESAR AUGUSTO PEDRAZA BONILLA (Producto tecnológico)
  • Doctorado en Ingeniería de Sistemas y Computación (Programa o línea de doctorado basada en la investigación del grupo)
  • Doctorado en Ingeniería Eléctrica (Programa o línea de doctorado basada en la investigación del grupo)
  • Maestría en Ingeniería de Sistemas y Computación (Programa o línea de maestría basada en la investigación del grupo)
  • Maestría en Ingeniería Electrónica (Programa o línea de maestría basada en la investigación del grupo)
  • Maestría en Automatización industrial (Programa o línea de maestría basada en la investigación del grupo)
  • Maestría en Ingeniería Eléctrica (Programa o línea de maestría basada en la investigación del grupo)
  • Maestría en Ingeniería de Sistemas y Computación - Convenio Unillanos (Propuesta de creación)
  • Desarrollo de una métrica software de vulnerabilidad de registros en microprocesadores COTS Código HERMES: 28433 Convocatoria: Conv. nacional de proyectos para el fortalecimiento de la investigación, creación e innovación de la Universidad Nacional de Colombia 2013-2015 (Proyectos de investigación)
  • Sistema interactivo para el apoyo a la evaluación continua y automática de habilidades de programación de computadores Código HERMES: 35713 Convocatoria: Conv. nacional de proyectos para el fortalecimiento de la investigación, creación e innovación de la Universidad Nacional de Colombia 2016-2018 (Proyectos de investigación)
  • Evaluación temprana de los efectos de radiación mediante simulación y virtualización. Estrategias de mitigación en arquitecturas de microprocesadores avanzados Referencia: ESP2015-68245-C4-3-P MINECO/FEDER, UE Convocatoria: Ministerio de Economía y competitividad (España) y el Fondo Europeo para el desarrollo regional Instituciones: Universidad de Alicante, Universidad de Sevilla, Universidad Carlos III de Madrid, Universidad Nacional de Colombia (Proyectos de investigación)
  • Estimación del espesor de pared refractaria del horno FC150 de la empresa Cerro Matoso S.A. a través de analítica de datos (Servicio de consultoría)
  • • Consultoría científica: Estimación del espesor de pared refractaria del horno FC150 de la empresa Cerro Matoso S.A. a través de analítica de datos. Año de inicio: 2020, Mes de inicio: 6, Año de fin: 2020, Mes de fin: 12. Idioma: Español, Ciudad: MONTELÍBANO, Disponibilidad: Restringido, Duración: 6, Número del contrato: 309010025817, Institución en la cual prestó el servicio: Cerro Matoso S.A (Servicio de consultoría)
  • • Consultoría científica: Supervisión de proyectos de investigación, desarrollo e innovación - fase II. Año de inicio: 2019, Mes de inicio: 9, Año de fin: 2020, Mes de fin: 1. Idioma: Español, Ciudad: MONTELÍBANO, Disponibilidad: Restringido, Duración: 5, Número del contrato: 309010018471, Institución en la cual prestó el servicio: Cerro Matoso S.A. (Servicio de consultoría)
  • Supervisión de proyectos de investigación, desarrollo e innovación - fase II (Servicio de consultoría)
  • Estudiante: Sergio Daniel Herrera Villamil Título: Nuevos estándares de descripción y manipulación de páginas web (TDG (Trabajo dirigido de grado))
  • Evaluación del Efecto de la Gamificación Asistida por Computador en la Motivación de los Estudiantes de Programación de Computadores. (Tesis de maestría)
  • Diseño y validación interna de un instrumento de autoinforme para caracterizar las estrategias de aprendizaje de programación de computadores (Tesis de maestría)
  • Métricas de legibilidad del software: una revisión sistemática de literatura (Tesis de maestría)
  • • Trabajo final de maestría: Métricas de legibilidad del software: una revisión sistemática de literatura. Desde 1 2019 hasta Abril 2020, Tipo de orientación: Tutor principal. Nombre del estudiante: INGRID SOFIA ECHAVARRIA FLOREZ Programa académico: Maestría en Ingeniería - Ingeniería de Sistemas y Computación. Número de páginas: 131, Valoración: Aprobada, Institución: UNIVERSIDAD NACIONAL DE COLOMBIA. Tutor(es)/Cotutor(es): FELIPE RESTREPO CALLE. (Tesis de maestría)
  • • Tesis de maestría: Sistema para la medición de velocidad media vehicular mediante tecnologías Bluetooth y Wifi. Desde 1 2017 hasta Junio 2019, Tipo de orientación: Tutor principal. Nombre del estudiante: DANIEL ARTURO SILVA PARRA Programa académico: MAESTRIA EN INGENIERIA - INGENIERIA DE SISTEMAS Y COMPUTACION. Número de páginas: 100, Valoración: Aprobada, Institución: UNIVERSIDAD NACIONAL DE COLOMBIA. Tutor(es)/Cotutor(es): CESAR AUGUSTO PEDRAZA BONILLA (Tesis de maestría)
  • • Tesis de maestría: Diseño y validación de un sistema de procesamiento de imágenes para el reconocimiento vehicular en intersecciones viales. Desde 1 2017 hasta Septiembre 2019, Tipo de orientación: Tutor principal Nombre del estudiante: SANTIAGO MORALES AGUILAR Programa académico: MAESTRIA EN INGENIERIA - INGENIERIA DE SISTEMAS Y COMPUTACION. Número de páginas: 100, Valoración: Aprobada, Institución: UNIVERSIDAD NACIONAL DE COLOMBIA. Tutor(es)/Cotutor(es): CESAR AUGUSTO PEDRAZA BONILLA (Tesis de maestría)
  • • Tesis de maestría: An information retrieval strategy for large multimodal data collections involving source code and natural language. Desde 1 2018 hasta Junio 2019. Nombre del estudiante: JUAN FELIPE BAQUERO VARGAS Programa académico: Maestría en Ingeniería - Ingeniería de Sistemas y Computación. Número de páginas: 61, Valoración: Aprobada, Institución: UNIVERSIDAD NACIONAL DE COLOMBIA. Tutor(es)/Cotutor(es): FABIO GONZALEZ OSORIO , FELIPE RESTREPO CALLE (Tesis de maestría)
  • • Tesis de maestría: Building a Developer's Reputation Model for Programming Contest Platforms based on Source Code Analysis. Desde 1 2018 hasta Diciembre 2018, Tipo de orientación: Coturor/asesor. Nombre del estudiante: OSCAR JAVIER GARAVITO MENDEZ Programa académico: Maestría en Ingeniería - Ingeniería de Sistemas y Computación. Número de páginas: 61, Valoración: Aprobada, Institución: UNIVERSIDAD NACIONAL DE COLOMBIA. Tutor(es)/Cotutor(es): JAIRO HERNAN APONTE MELO, FELIPE RESTREPO CALLE. (Tesis de maestría)
  • • Tesis de maestría: Automatic source code analysis for assessment of solutions to programming tasks. Desde 1 2018 hasta Marzo 2019, Nombre del estudiante: LINA FERNANDA ROSALES CASTRO Programa académico: Maestría en Ingeniería - Ingeniería de Sistemas y Computación. Número de páginas: 61, Valoración: Aprobada, Institución: UNIVERSIDAD NACIONAL DE COLOMBIA. Tutor(es)/Cotutor(es): FABIO GONZALEZ OSORIO , FELIPE RESTREPO CALLE (Tesis de maestría)
  • • Tesis de maestría: Static Analysis of Python Programs using Abstract Interpretation: An Application to Tensor Shape Analysis. Desde 8 2018 hasta Junio 2019, Tipo de orientación: Tutor principal. Nombre del estudiante: ELKIN ALEJANDRO CRUZ CAMACHO Programa académico: Maestría en Ingeniería - Ingeniería de Sistemas y Computación. Número de páginas: 99, Valoración: Aprobada, Institución: UNIVERSIDAD NACIONAL DE COLOMBIA. Tutor(es)/Cotutor(es): FABIO GONZALEZ OSORIO , FELIPE RESTREPO CALLE. (Tesis de maestría)
  • • Tesis de maestría: Evaluación del Efecto de la Gamificación Asistida por Computador en la Motivación de los Estudiantes de Programación de Computadores. Desde 1 2019 hasta Junio 2021, Tipo de orientación: Coturor/asesor. Nombre del estudiante: KAREN DANIELA CUERVO CELY Programa académico: MAESTRIA EN INGENIERIA - INGENIERIA DE SISTEMAS Y COMPUTACION. Número de páginas: 112, Valoración: Aprobada, Institución: UNIVERSIDAD NACIONAL DE COLOMBIA. Tutor(es)/Cotutor(es): FELIPE RESTREPO CALLE , JHON JAIRO RAMIREZ ECHEVERRY (Tesis de maestría)
  • • Tesis de maestría: Diseño y validación interna de un instrumento de autoinforme para caracterizar las estrategias de aprendizaje de programación de computadores. Desde 1 2019 hasta Junio 2021. Nombre del estudiante: STEPHANIE TORRES JIMENEZ Programa académico: MAESTRIA EN INGENIERIA - INGENIERIA DE SISTEMAS Y COMPUTACION. Número de páginas: 174, Valoración: Aprobada, Institución: UNIVERSIDAD NACIONAL DE COLOMBIA. Tutor(es)/Cotutor(es): FELIPE RESTREPO CALLE , JHON JAIRO RAMIREZ ECHEVERRY. (Tesis de maestría)
  • Diseño y Validación Interna de un Instrumento de Autoinforme para Caracterizar las Estrategias de Aprendizaje de Programación de Computadores. (Tesis de maestría)
  • Diseño y Validación de un framework para IoT basado en tecnología RFID (Tesis de maestría)
  • Clasificación y cuantificación de maleza en cultivos de hortalizas por medio de procesamiento de imágenes digitales multiespectrales (Tesis de maestría)
  • Sistema de monitoreo y clasificación de tráfico urbano en tiempo real a través de procesamiento digital de imágenes (Tesis de maestría)
  • Prototipado automático de sistemas de información transaccionales usando una especi cación en lenguaje natural restringido (Tesis de maestría)
  • Source code analysis on student assignments using machine learning techniques (Tesis de maestría)
  • Sistema para la medición de velocidad media vehicular mediante tecnologías Bluetooth y Wifi (Tesis de maestría)
  • Diseño y validación de un sistema de procesamiento de imágenes para el reconocimiento vehicular en intersecciones viales (Tesis de maestría)
  • An information retrieval strategy for large multimodal data collections involving source code and natural language (Tesis de maestría)
  • Building a Developers Reputation Model for Programming Contest Platforms based on Source Code Analysis (Tesis de maestría)
  • Social engineering: psychology applied to Information Security (Tesis de maestría)
  • Automatic source code analysis for assessment of solutions toprogramming tasks (Tesis de maestría)
  • Static Analysis of Python Programs using Abstract Interpretation: An Application to Tensor Shape Analysis (Tesis de maestría)
  • ESTIMACIÓN DEL ESPESOR DE PARED REFRACTARIA DEL HORNO FC150 DE LA EMPRESA CERRO MATOSO S.A. A TRAVÉS DE ANALÍTICA DE DATOS (proyectos de Investigación)
  • Desarrollo de una métrica software de vulnerabilidad de registros en microprocesadores COTS (proyectos de Investigación)
  • La lecto-escritura en la universidad como medio para el desarrollo del pensamiento crítico en relación con el área de estudio y el contexto. (proyectos de Investigación)
  • Cuantificación de maleza en cultivos de hortalizas por medio de procesamiento de imágenes digitales multiespectrales (proyectos de Investigación)
  • Evaluación temprana de los efectos de radiación mediante simulación y virtualización. Estrategias de mitigación en arquitecturas de microprocesadores avanzados. (proyectos de Investigación)
  • Desarrollo de un ambiente de aprendizaje basado en TIC y el enfoque de aula invertida para facilitar que el estudiante de ingeniería fomente su competencia de comunicación escrita (proyectos de Investigación)
  • Sistema interactivo para el apoyo a la evaluación continua y automática de habilidades de programación de computadores (proyectos de Investigación)
  • Sistema interactivo para el apoyo a la evaluación continua y automática de habilidades de programación de computadores (proyectos de Investigación)
  • Estrategias de aprendizaje y enseñanza en estudiantes y docentes de pregrado de la Facultad de Ingeniería de la Universidad Nacional de Colombia sede Bogotá (proyectos de Investigación)
  • Exploración de posibles causas de deserción académica en estudiantes de pregrado de Ingeniería Eléctrica en la Universidad Nacional de Colombia (proyectos de Investigación)
  • Detección de vulnerabilidades de seguridad en el código fuente basada en técnicas de análisis automático (proyectos de Investigación)
  • Estudio del impacto del uso de un sistema interactivo para el apoyo al aprendizaje y evaluación automática de habilidades de programación de computadores en la asignatura Programación de Computadores de la Facultad de Ingeniería (proyectos de Investigación)
  • Estudio del impacto del uso de un sistema interactivo para el apoyo al aprendizaje y evaluación automática de habilidades de programación de computadores en la asignatura de programación de computadores... (proyectos de Investigación)
  • Identificación de variables para un modelo predictivo de accidentes de tránsito (proyectos de Investigación)
  • Diseño de sistemas tolerantes a fallos inducidos por radiación mediante técnicas de computación aproximada basadas en software (proyectos de Investigación)
  • Analítica del Aprendizaje en Programación de Computadores (proyectos de Investigación)
  • Selección e implementación de herramientas de gamificación para la asignatura programación orientada a objetos (proyectos de Investigación)