Español    English

Grupo de investigación

PLaS: Programming Languages and Systems


 

Áreas de interés

  • Educación en ingeniería y programación de computadores.
  • Lenguajes de programación, análisis automático de código fuente, procesadores de lenguaje.
  • Tolerancia a fallos, confiabilidad, técnicas y herramientas para el diseño de sistemas embebidos confiables, computación aproximada.
 

Publicaciones

Libros

  • Editores: Sergio A. Cuenca Asensi, Antonio Jimeno Morenilla, Antonio Martínez Álvarez, Felipe Restrepo Calle. Actas de las XII Jornadas de Computación Reconfigurable y Aplicaciones 2012. JCRA 2012. ISBN:978-84-695-4470-9. Servicio de Publicaciones. Universidad Miguel Hernández, Elche, España, 2012.
  • Felipe Restrepo-Calle. Co-diseño de sistemas hardware/software tolerantes a fallos inducidos por radiación. Ed. Universidad de Alicante, España. Septiembre 2011. ISBN: 978-84-695-4166-1.

Capítulos de libro

Artículos en revistas científicas

  1. J.J. Ramírez-Echeverry, F. Restrepo-Calle, F.A. González. "A case study in technology-enhanced learning in an introductory computer programming course," in Global Journal of Engineering Education, vol. 24, no. 1, pp. 65–71, 2022.
  2. Karen D Cuervo-Cely, F. Restrepo-Calle, Jhon J Ramírez-Echeverry. "Effect of Gamification on the Motivation of Computer Programming Students," in Journal of Information Technology Education: Research, Volume 21, pp. 001-023, 2022.
  3. Jersson X. Leon-Medina, Jaiber Camacho-Olarte, Bernardo Rueda, Wilmar Vargas, Luis Bonilla, Janneth Ruiz, Jorge Sofrony, John A. Guerra-Gomez, Felipe Restrepo-Calle, Diego A. Tibaduiza. "Monitoring of the refractory lining in a shielded electric arc furnace: An online multitarget regression trees approach.," in Structural Control Health Monitoring, Vol 29, issue 3, e2885, 2022.
  4. Alexander Aponte-Moreno, Felipe Restrepo-Calle, and Cesar Pedraza. "A low-cost Fault Tolerance Method for ARM and RISC-V microprocessor-based Systems using Temporal Redundancy and Approximate Computing through Simplified Iterations," in Journal of Integrated Circuits and Systems, vol. 16, n. 3, 2021.
  5. Cristian D. González-Carrillo, Felipe Restrepo-Calle, Jhon J. Ramírez-Echeverry, and Fabio A. González. ""Automatic Grading Tool for Jupyter Notebooks in Artificial Intelligence Courses," in Sustainability, vol. 13, no. 21: 12050, 2021.
  6. Leon-Medina JX, Camacho J, Gutierrez-Osorio C, Salomón JE, Rueda B, Vargas W, Sofrony J, Restrepo-Calle F, Pedraza C, Tibaduiza D. "Temperature Prediction Using Multivariate Time Series Deep Learning in the Lining of an Electric Arc Furnace for Ferronickel Production," in Sensors, vol. 21, no. 20:6894, 2021.
  7. A. Aponte-Moreno, F. Restrepo-Calle, C. Pedraza. "FTxAC: Leveraging the Approximate Computing Paradigm in the Design of Fault-Tolerant Embedded Systems to Reduce Overheads," in IEEE Transactions on Emerging Topics in Computing, vol. 9, no. 2, pp. 797-810, 1 April-June, 2021.
  8. C. G. Hidalgo Suarez, V. A. Bucheli Guerrero, F. Restrepo-Calle, F. A. González. "Estrategia de enseñanza basada en la colaboración y la evaluación automática de código fuente en un curso de programación CS1," in Investigación e Innovación en Ingenierías, vol. 9, no. 1, pp. 50-60, 2021.
  9. F. Restrepo-Calle, JJ Ramírez Echeverry, FA González. "Using an Interactive Software Tool for the Formative and Summative Evaluation in a Computer Programming Course: an Experience Report," in Global Journal of Engineering Education, vol. 22, no. 3, pp. 174–185, 2020.
  10. Ingrid Sofía Echavarría-Flórez, F. Restrepo-Calle. "Métricas de legibilidad del código fuente: revisión sistemática de literatura," in Revista Facultad de Ingeniería, vol. 29, no. 54, p. e11756, Sep. 2020.
  11. A. Aponte-Moreno, F. Restrepo-Calle, C. Pedraza. "Using Approximate Computing and Selective Hardening for the Reduction of Overheads in the Design of Radiation-Induced Fault-Tolerant Systems," in Electronics, vol 8 (issue 12), 1539, 18 pages, 13 December 2019.
  12. A. Fuster-Guilló, M.L. Pertegal-Felices, A. Jimeno-Morenilla, J. Azorín-López, M.L. Rico-Soliveres, and F. Restrepo-Calle. "Evaluating Impact on Motivation and Academic Performance of a Game-Based Learning Experience Using Kahoot," in Front. Psychol., 13 December 2019.
  13. A. Serrano-Cases, F. Restrepo-Calle, S. Cuenca-Asensi, A. Martínez-Álvarez. "Multi-Threaded Mitigation of Radiation-Induced Soft Errors in Bare-Metal Embedded Systems," in Journal of Electronic Testing: Theory and Applications, December 2019.
  14. Felipe Restrepo-Calle, Jhon J. Ramírez Echeverry, Fabio A. González. "Continuous assessment in a computer programming course supported by a software tool," in Computer Applications in Engineering Education, Vol. 27, Issue 1, Pages 80-89, January 2019.
  15. J. Isaza-González, F. Restrepo-Calle, A. Martínez-Álvarez, S. Cuenca-Asensi. "SHARC: an Efficient Metric for Selective Protection of Software against Soft Errors," in Microelectronics Reliability, Vols. 88–90, Pages. 903-908, Sept. 2018.
  16. J. J. Ramírez Echeverry, L. F. Rosales-Castro, F. Restrepo-Calle and F. A. González, "Self-Regulated Learning in a Computer Programming Course," in IEEE Revista Iberoamericana de Tecnologias del Aprendizaje, vol. 13, no. 2, pp. 75-83, May 2018. doi: 10.1109/RITA.2018.2831758.
  17. J. J. Ramírez Echeverry, L. F. Rosales-Castro, F. Restrepo-Calle and F. A. González, "Aprendizaje Autorregulado en un Curso de Programación de Computadores," in VAEP-RITA Versión Abierta Español-Portugués, Vol. 6, Num. 2, May 2018.
  18. Santiago Morales, César Augusto Pedraza, Felipe Restrepo Calle, Jose Félix Vega Stavro, Victor Hugo Bastidas Alvear." Análisis de requisitos para dispositivos de localización vehicular seguros para sistemas de transporte público terrestre en Colombia," in Revista Científica Ingeniería y Desarrollo, vol. 36, no. 2, pp. 298-326, Julio-Diciembre 2018.
  19. 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.
  20. Martinez-Alvarez, A.; Restrepo-Calle, F.; Cuenca-Asensi, S.; Reyneri, L.M.; Lindoso, A.; Entrena, L., "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. 2016. ISSN: 1545-5971. doi:10.1109/TDSC.2014.2382593.
  21. 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. doi:10.1007/s10836-015-5513-9.
  22. L. Parra, A. Lindoso, M. Portela, L. Entrena, F. Restrepo-Calle, S. Cuenca-Asensi, A. Martínez-Álvarez. “Efficient Mitigation of Data and Control Flow Errors in Microprocessors”. IEEE Transactions on Nuclear Science, vol.61, no.4, pp.1590,1596, Aug. 2014. doi:10.1109/TNS.2014.2310492. ISSN: 0018-9499.
  23. Felipe Restrepo-Calle, Antonio Martínez-Álvarez, Sergio Cuenca-Asensi, Antonio Jimeno. "Selective SWIFT-R: A flexible software-based technique for soft error mitigation in low-cost embedded systems". Journal of Electronic Testing: Theory and Applications, vol. 29, no. 6, pp. 825-838, Dec., 2013. DOI:10.1007/s10836-013-5416-6.
  24. Antonio Martínez-Álvarez, Felipe Restrepo-Calle, Luis Alberto Vivas Tejuelo, Sergio Cuenca-Asensi, "Fault tolerant embedded systems design by multi-objective optimization", Expert Systems with Applications, Volume 40, Issue 17, December 2013, Pages 6813-6822, ISSN 0957-4174, DOI:10.1016/j.eswa.2013.06.060.
  25. Almudena Lindoso, Luis Entrena, Enrique San Millán, Sergio Cuenca-Asensi, Antonio Martínez-Álvarez, Felipe Restrepo-Calle. "A Co-Design Approach for SET Mitigation in Embedded Systems". IEEE Transactions on Nuclear Science. Vol. 59, no. 4, pp. 1034-1039. Aug. 2012. ISSN:0018-9499 DOI:10.1109/TNS.2011.2182524.
  26. Antonio Martínez-Álvarez, Sergio Cuenca-Asensi, Felipe Restrepo-Calle, Francisco R. Palomo, Hipólito Guzmán-Miranda, and Miguel A. Aguirre. "Compiler-Directed Soft Error Mitigation for Embedded Systems," IEEE Transactions on Dependable and Secure Computing, vol.9, no.2, pp.159-172, March-April 2012. ISSN:1545-5971. DOI=10.1109/TDSC.2011.54.
  27. Sergio Cuenca-Asensi, Antonio Martínez-Álvarez, Felipe Restrepo-Calle, Francisco R. Palomo, Hipólito Guzmán-Miranda, Miguel A. Aguirre, "Soft core based embedded systems in critical aerospace applications", Journal of Systems Architecture, Vol. 57, no. 10, Pages 886-895, Nov. 2011. ISSN:1383-7621. DOI:10.1016/j.sysarc.2011.04.006.
  28. Sergio Cuenca-Asensi, Antonio Martínez-Álvarez, Felipe Restrepo-Calle, Francisco R. Palomo, Hipólito Guzmán-Miranda, and Miguel A. Aguirre. "A novel co-design approach for soft errors mitigation in embedded systems". IEEE Transactions on Nuclear Science, vol. 58, no. 3, pp.1059-1065, June 2011. ISSN:0018-9499. DOI:10.1109/TNS.2011.2112379.
  29. María Fernanda Zúñiga Zabala, John Alexis Guerra, Felipe Restrepo Calle. "Proyecto IRIS". Scientia Et Technica. Vol. XI. No. 29. Pp. 95-99. Dec. 2005. ISSN: 0122-1701.

Conferencias científicas internacionales

  1. Edna Chaparro, Felipe Restrepo-Calle and Jhon Jairo Ramírez-Echeverry. "Learning analytics in computer programming courses". In LALA’21: IV Latin American Conference on Learning Analytics. October 19–21, Arequipa, Perú, 2021.
  2. A. Aponte-Moreno, F. Restrepo-Calle and C. Pedraza. "Reliability Evaluation of RISC-V and ARM Microprocessors Through a New Fault Injection Tool". In IEEE 22nd Latin American Test Symposium (LATS). pp. 1-6, 27-29 Oct, 2021.
  3. J. Mendez-Lara, J.J. Ramírez-Echeverry, F. Restrepo-Calle. "UNColab: A Computational Tool for Collaborative Learning of Computer Programming". In 13th International Conference on Education and New Learning Technologies EDULEARN21. pp. 9542-9553, Online Conference. 5-6 July, 2021.
  4. K.D. Cuervo-Cely, F. Restrepo-Calle, J.J. Ramírez-Echeverry. "Study of the Relationship between Computer-assisted Gamification and the Academic Performance of Students in a Computer Programming Course". In 13th International Conference on Education and New Learning Technologies EDULEARN21. pp. 6190-6198, Online Conference. 5-6 July, 2021.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. Alexander Aponte-Moreno, Cesar Pedraza, and Felipe Restrepo-Calle. "Reducing Overheads in Software-based Fault Tolerant Systems using Approximate Computing". In Proceedings of the 2019 IEEE 20th Latin-American Test Symposium (LATS). Santiago, Chile, 11th - 13th March, pp. 1-5. doi: 10.1109/LATW.2019.8704586. 2019.
  13. Alexander Aponte-Moreno, Felipe Restrepo-Calle and Cesar Pedraza. "MiFIT: A Fault Injection Tool to Validate the Reliability of Microprocessors". In Proceedings of the 2019 IEEE 20th Latin-American Test Symposium (LATS). Santiago, Chile, 11th - 13th March, pp. 1-5. doi: 10.1109/LATW.2019.8704578. 2019.
  14. Alejandro Serrano-Cases, Felipe Restrepo-Calle, Sergio Cuenca-Asensi, and Antonio Martínez-Álvarez."Softerror mitigation for multi-core processors based on thread replication". In Proceedings of the 2019 IEEE 20th Latin-American Test Symposium (LATS). Santiago, Chile, 11th - 13th March, pp. 1-5. doi: 10.1109/LATW.2019.8704614. 2019.
  15. José Iván Isaza-González, Felipe Restrepo-Calle, Antonio Martínez-Álvarez and Sergio Cuenca-Asensi. "SHARC: Efficient Metric for Selective Protection of Software against Soft Errors.". In Proceedings of the ESREF 2018: 29th European Symposium on Reliability of Electron Devices, Failure Physics and Analysis. Aalborg, Denmark, October 1st-5th, 2018.
  16. F. Restrepo-Calle, J.J. Ramírez-Echeverry, F.A. Gonzalez. "UNCode: Interactive system for learning and automatic evaluation of computer programming skills.". In Proceedings of the 10th annual International Conference on Education and New Learning Technologies EDULEARN 2018. Palma de Mallorca, Spain, 2nd-4th July 2018, pp. 6888-6898. doi: 10.21125/edulearn.2018.1632.
  17. Ivan Del Pozo, Mauricio Iturralde, and Felipe Restrepo. "Social engineering: Application of psychology to information security". In SoNet 2018: The International Symposium on Social Networks and Applications. Collocated with the IEEE 6th International Conference on Future Internet of Things and Cloud FiCloud 2018. pp. 108-114, Barcelona, Spain, 6-8 Aug, 2018. doi: 10.1109/W-FiCloud.2018.00023.
  18. Óscar Garavito, Jairo Aponte, Felipe Restrepo-Calle, and Fabio González. "Towards a Developer's Reputation Model Based on Source Code Features". In Proceedings of the XXI Conference on Software Engineering CibSE 2018. Bogotá, Colombia, 2018, pp. 99-106.
  19. A. Aponte-Moreno, A. Moncada, F. Restrepo-Calle and C. Pedraza. "A review of approximate computing techniques towards fault mitigation in HW/SW systems". In Proceedings of the 2018 IEEE 19th Latin-American Test Symposium (LATS). Sao Paulo, Brazil, 2018, pp. 1-6. doi: 10.1109/LATW.2018.8347241.
  20. H. Castellanos, F. Restrepo-Calle, F. A. González and J. J. Ramirez Echeverry. "Understanding the relationships between self-regulated learning and students source code in a computer programming course". In Proceedings of the 2017 IEEE Frontiers in Education Conference (FIE). Indianapolis, IN, 2017, pp. 1-9. DOI: 10.1109/FIE.2017.8190467
  21. Jean Pierre Alfonso Hoyos, and Felipe Restrepo-Calle. "Automatic Source Code Generation for Web-based Process-oriented Information Systems". In Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE. Porto, Portugal. pages 103-113. 28th - 29th April, 2017. ISBN 978-989-758-250-9. DOI: 10.5220/0006333901030113
  22. 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, pp. 1-6. 13 - 15th March, 2017. DOI: 10.1109/LATW.2017.7906744
  23. 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.
  24. 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.
  25. Oscar Hernán Paruma-Pabón, Fabio A. González, Jairo Aponte, Jorge E. Camargo, and Felipe Restrepo-Calle. "Finding relationships between socio-technical aspects and personality traits by mining developer e-mails". 9th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE '16). Collocated with ICSE 2016. Austin, Texas, USA, May 16, 2016.
  26. 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.
  27. 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.
  28. F. Restrepo-Calle, S. Cuenca-Asensi, A. Martínez-Álvarez, E. Chielle, F. Kastensmidt. “Efficient Metric for Register File Criticality in Processor-Based Systems”. In Proceedings of the 15th IEEE Latin-American Test Workshop (LATW). Fortaleza, Brazil. 12th-15th March 2014.
  29. L. Parra, A. Lindoso, M. Portela, L. Entrena, F. Restrepo-Calle, S. Cuenca-Asensi, A. Martínez-Álvarez. "Efficient Mitigation of Data and Control Flow Errors in Microprocessors". In Proceedings of the 14th European Conference on Radiation and its Effects on Components and Systems RADECS 2013. Oxford, UK. Sept 23 - 27, 2013.
  30. A. Martínez-Álvarez, F. Restrepo-Calle, S. Cuenca-Asensi, L. Reinery, A. Lindoso, L. Entrena. "A hybrid technique for soft error mitigation in interrupt-driven applications". In Proceedings of the 13th European Conference on Radiation and its Effects on Components and Systems RADECS 2012. Biarritz, France. Sept 24 - 28, 2012.
  31. Restrepo-Calle, F., Cuenca-Asensi, S., Aguirre, M. A., Palomo, F. R., Guzmán-Miranda, H., and Martínez-Álvarez, A., "On the definition of real conditions for a fault injection experiment on embedded systems". In Proceedings of the 12th European Conference on Radiation and its Effects on Components and Systems RADECS 2011. Sevilla, Spain. Sept 19 - 23, 2011. ISBN: 978-1-4577-0585-4. Pp. 497-500.
  32. Lindoso, A., Entrena, L., San Millán, E., Cuenca-Asensi, S., Martínez-Álvarez, A., and Restrepo-Calle, F., "A co-design approach for SET mitigation in embedded systems". In Proceedings of the 12th European Conference on Radiation and its Effects on Components and Systems RADECS 2011. Sevilla, Spain. Sept 19 - 23, 2011. ISBN: 978-1-4577-0585-4. Pp. 489-492.
  33. Restrepo-Calle, F., Martínez-Álvarez,A., Palomo, F. R., Guzmán-Miranda, H., Aguirre, M. A., and Cuenca-Asensi, S. "A novel co-design approach for soft errors mitigation in embedded systems". In Proceedings of the 11th European Conference on Radiation and its Effects on Components and Systems RADECS 2010. Langenfeld, Austria. Sept 20 - 24, 2010.
  34. F. Restrepo-Calle, A. Martínez-Álvarez, F.R. Palomo, H. Guzmán-Miranda, M.A. Aguirre and S. Cuenca-Asensi. "Rapid Prototyping of Radiation-Tolerant Embedded Systems on FPGA". In Proc. of the 20th International Conference on Field Programmable Logic and Applications FPL 2010. Pags. 326-331. Milano, ITALY, Aug. 31st - Sep. 2nd, 2010. ISBN:978-0-7695-4179-2. Nominado al premio “Michael Servit”.
  35. F. Restrepo-Calle, A. Martínez-Álvarez, H. Guzmán-Miranda, F.R. Palomo, and S. Cuenca-Asensi. "Application-Driven Co-design of Fault-Tolerant Industrial Systems". In Proceedings of the IEEE International Symposium on Industrial Electronics, ISIE 2010, July 4-7, 2010. Bari, Italy. ISBN: 978-1-4244-6391-6. Pp 2005-2010.
  36. Felipe Restrepo-Calle, Antonio Martínez-Álvarez, Hipólito Guzmán-Miranda, F.R. Palomo, M.A Aguirre, and Sergio Cuenca-Asensi. "A Compiler-Based Infrastructure for Fault-Tolerant Co-Design". In Proceedings of the 13th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2010, June 28-29, 2010 Schloss Rheinfels, St. Goar, Germany. ISBN: 978-1-4503-0084-1.
  37. Felipe Restrepo-Calle, Antonio Martínez-Álvarez, Sergio Cuenca-Asensi, Francisco Rogelio Palomo and Miguel Aguirre. "Hardening Development Environment for Embedded Systems". In Proceedings of the 2nd HiPEAC Workshop on Design for Reliability (DFR’10), held in conjunction with The 5th International Conference on High Performance and Embedded Architectures and Compilers, January 25-27, 2010 Pisa, Italy.
  38. Herrera-Quintero, L. F., Berenguer-Miralles, V., Restrepo-Calle, F., Gómez, R., Gilart-Iglesias, V., and Maciá-Pérez, F., "Platform for intelligent management of industrial machinery based on service-oriented architecture". In Proceedings of the 8th WSEAS international Conference on Distance Learning and Web Engineering, Santander, Cantabria, Spain, September 23 - 25, 2008, Pags. 121-127. ISBN: 978-960-474-005-5.

Conferencias científicas de ámbito nacional

  1. Luis Alberto Vivas-Tejuelo, Antonio Martínez-Álvarez, Felipe Restrepo-Calle. "Optimización multiobjetivo en compiladores para tolerancia a fallos en sistemas empotrados". III Workshop en Tecnologías de la informática. Alicante, España, 14 de septiembre de 2012. ISBN: 978-84-695-6556-8. Págs. 131 – 150.
  2. Felipe Restrepo-Calle. "Co-diseño hardware/software de sistemas basados en microprocesador tolerantes a fallos inducidos por radiación". VIII Jornadas para el desarrollo de grandes aplicaciones en red. JDARE 2011. Alicante, España, 24 y 25 de Noviembre 2011. Ponencia invitada.
  3. Felipe Restrepo-Calle, Antonio Martínez-Álvarez, F.R. Palomo, H. Guzmán-Miranda, M.A Aguirre, Sergio Cuenca-Asensi. "Prototipado Rápido de Sistemas Empotrados Tolerantes a Radiación en FPGA". Actas de las X Jornadas de Computación Reconfigurable y Aplicaciones JCRA 2010. Valencia, España, Septiembre 2010. ISBN: 978-84-92812-56-1. Págs. 251 – 258. Premio Segundo mejor artículo científico.
  4. Felipe Restrepo-Calle, Antonio Martínez-Álvarez, H. Guzmán-Miranda, F.R. Palomo, M.A Aguirre, Sergio Cuenca-Asensi. "Mitigación automática de soft-errors en nuevas aplicaciones de los sistemas empotrados". Actas del I Simposio en Computación Empotrada, SiCE 2010. Valencia, España, Septiembre 2010. ISBN: 978-84-92812-69-1. Págs. 25 – 32. Premio Mejor artículo científico.
  5. Luis Alberto Vivas Tejuelo, Jorge Calvo Zaragoza, Felipe Restrepo-Calle, Sergio Cuenca-Asensi, Andrés Ortiz García, Antonio Martínez-Álvarez. "Mejora del rendimiento de una aplicación mediante la determinación automática de las opciones óptimas de compilación". Actas de las XXI Jornadas de Paralelismo. Valencia, España, Septiembre 2010. ISBN: 978-84-92812-49-3. Págs. 159 – 165.
  6. Herrera-Quintero, L. F., Berenguer-Miralles, V., Restrepo-Calle, F., Gómez, R., Gilart-Iglesias, V., and Maciá-Pérez, F., "Plataforma para la gestión inteligente de la maquinaria industrial basada en arquitecturas orientadas a servicios". En las Actas de las V Jornadas para el Desarrollo de Grandes Aplicaciones de Red 2008 JDARE08, Alicante, España, Octubre 2008, Pags. 109-143, ISBN: 978-84-612-6812-2.
  7. Restrepo, F., Llorens, H., Cuenca, S. "Implementación en FPGA de una cámara IP". VIII Jornadas de Computación Reconfigurable y Aplicaciones JCRA08, Madrid, España, Septiembre 2008, Pags 95-106, ISBN: 978-84-612-5635-8.
 

Proyectos de investigación


UNCode

UNCode

Paradigmas de programación


Paradigmas de programación
UNCode: Sistema interactivo para el aprendizaje y la evaluación automática de habilidades de programación de computadores. Más info - Repositorio.
Sitio web educativo para la introducción a los paradigmas de programación y tutoriales de distintos lenguajes.

IRIS

IRIS

Software Hardening Environment - SHE


SHE
Herramienta de accesibilidad para que los estudiantes en situación de discapacidad visual puedan percibir imágenes usando las manos.
Herramienta para el "endurecimiento" automático de código fuente para el diseño de sistemas embebidos confiables.
  • Impacto de técnicas de gamificación en el aprendizaje de la programación de computadores. (HERMES: 48098).
    Proyecto financiado por: Universidad Nacional de Colombia (Colombia).
    Instituciones participantes: Universidad Nacional de Colombia (Colombia)
    Rol: investigador
    Bogotá D.C., Colombia, 02/10/2020 hasta 02/04/2022.

  • Cuantificación de maleza en cultivos de hortalizas por medio de procesamiento de imágenes digitales multiespectrales. (HERMES: 39815).
    Proyecto financiado por: Universidad Nacional de Colombia (Colombia).
    Instituciones participantes: Universidad Nacional de Colombia (Colombia)
    Rol: investigador
    Bogotá D.C., Colombia, 12/02/2019 hasta 10/07/2020.

  • Diseño de sistemas tolerantes a fallos inducidos por radiación mediante técnicas de computación aproximada basadas en software (HERMES: 41748).
    Proyecto financiado por: Universidad Nacional de Colombia (Colombia).
    Instituciones participantes: Universidad Nacional de Colombia (Colombia)
    Rol: investigador
    Bogotá D.C., Colombia, 01/09/2018 hasta 01/11/2019.

  • 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 Estructuras de Datos de la Facultad de Ingeniería en la Universidad Nacional de Colombia - sede Bogotá (HERMES: 41945).
    Proyecto financiado por: Universidad Nacional de Colombia (Colombia).
    Instituciones participantes: Universidad Nacional de Colombia (Colombia)
    Rol: director
    Bogotá D.C., Colombia, 01/10/2018 hasta 01/10/2019.

  • Identificación de variables para un modelo predictivo de accidentes de tránsito (HERMES: 41614).
    Proyecto financiado por: Universidad Nacional de Colombia (Colombia).
    Instituciones participantes: Universidad Nacional de Colombia (Colombia)
    Rol: investigador
    Bogotá D.C., Colombia, 04/10/2018 hasta 02/07/2020.

  • Detección de vulnerabilidades de seguridad en el código fuente basada en técnicas de análisis automático (HERMES: 40809).
    Proyecto financiado por: Universidad Nacional de Colombia (Colombia).
    Instituciones participantes: Universidad Nacional de Colombia (Colombia)
    Rol: director
    Bogotá D.C., Colombia, 28/02/2018 hasta 28/02/2019.

  • Evaluación temprana de los efectos de radiación mediante simulación y virtualización. Estrategias de mitigación en arquitecturas de microprocesadores avanzados. ESP2015-68245-C4-3-P MINECO/FEDER, UE.
    Proyecto financiado por: Ministerio de Economía y Competitividad (España).
    Instituciones participantes: Universidad de Alicante (España), Universidad Nacional de Colombia (Colombia)
    Rol: investigador
    Alicante, España, 01/01/2016 hasta 31/12/2018.

  • Sistema interactivo para el apoyo a la evaluación continua y automática de habilidades de programación de computadores (HERMES: 35713).
    Proyecto financiado por: Universidad Nacional de Colombia (Colombia).
    Instituciones participantes: Universidad Nacional de Colombia (Colombia)
    Rol: director
    Bogotá D.C., Colombia, 01/02/2017 hasta 31/07/2018.

  • Desarrollo de una métrica software de vulnerabilidad de registros en microprocesadores COTS (HERMES: 28433).
    Proyecto financiado por: Universidad Nacional de Colombia (Colombia).
    Instituciones participantes: Universidad Nacional de Colombia (Colombia), Universidad de Alicante (España)
    Rol: director
    Bogotá D.C., Colombia, 01/06/2015 hasta 01/06/2016.

  • Desarrollo de técnicas híbridas de tolerancia a fallos para microprocesadores embebidos (PHB2012-0158-PC).
    Proyecto financiado por: Ministerio de Educación, Cultura y Deporte (España).
    Instituciones participantes: Universidad de Alicante (España), Universidad Carlos III de Madrid (España), Universidad Federal do Rio Grande do Sul (UFRGS, Brasil).
    Rol: investigador postdoctoral.
    Porto Alegre, Brasil, 01/01/2014 hasta 31/07/2014.

  • Plataforma para el diseño y análisis integral de circuitos y sistemas digitales para aplicaciones aeroespaciales (TEC2010-22095-C03-01).
    Proyecto financiado por: Ministerio de Ciencia e Innovación (España).
    Instituciones participantes: Universidad de Sevilla, Universidad de Alicante, Universidad Carlos III de Madrid, Centro Nacional de Aceleradores (España).
    Rol: investigador postdoctoral.
    Alicante - Sevilla - Madrid, España, 01/01/2012 hasta 31/12/2013.

  • Efectos de la radiación sobre conductores en tecnologías nanométricas (RENASER) (ESP2007-65914-C03-03).
    Proyecto financiado por: Ministerio de Educación y Ciencia, España.
    Instituciones participantes: Universidad de Sevilla, Universidad de Alicante, Universidad Carlos III de Madrid, Centro Nacional de Aceleradores.
    Rol: estudiante de doctorado.
    Alicante, España, 01/01/2009 hasta 18/12/2010.

  • Aceleración de algoritmos industriales y de seguridad en entornos críticos mediante hardware (GV/2009/098).
    Proyecto financiado por: Consellería de Educación, Generalitat Valenciana, España.
    Instituciones participantes: Universidad de Alicante
    Rol: estudiante de doctorado.
    Alicante, España, 01/01/2009 hasta 31/12/2010.

  • Construcción de un prototipo comercial de IRIS
    Proyecto financiado por: SENA, Colombia
    Instituciones participantes: Fundación ParqueSoft Pereira, DUTO S.A.
    Rol: investigador.
    Pereira, Colombia, 01/01/2006 hasta 31/10/2006.