Español    English
 

Fields of interest

  • Programming languages, automatic source code analysis, language processors.
  • Fault tolerance, dependability, methods and tools for dependable design in embedded systems, approximate computing.
  • Computer programming education.
 

Publications

Books

  • Editors: 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, Spain, 2012.
  • Felipe Restrepo-Calle. Co-diseño de sistemas hardware/software tolerantes a fallos inducidos por radiación. Ed. Universidad de Alicante, Spain. Septiembre 2011. ISBN: 978-84-695-4166-1.

Book chapters

Papers in scientific journals

International conferences

National Conferences

 

Research projects


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.
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.
  • Design of radiation-induced fault tolerant systems using software-based approximate computing techniques (HERMES: 41748).
    Funded by: Universidad Nacional de Colombia (Colombia).
    Participants: Universidad Nacional de Colombia (Colombia)
    Role: researcher
    Bogotá D.C., Colombia, 01/09/2018 to 01/11/2019.

  • Study of the impact of the use of an interactive system to support learning and automatic evaluation of computer programming skills in the Data Structures course of the School of Engineering in the Universidad Nacional de Colombia - Bogotá (HERMES: 41945).
    Funded by: Universidad Nacional de Colombia (Colombia).
    Participants: Universidad Nacional de Colombia (Colombia)
    Role: director
    Bogotá D.C., Colombia, 01/10/2018 to 01/10/2019.

  • Identification of variables for a predictive model of traffic accidents (HERMES: 41614).
    Funded by: Universidad Nacional de Colombia (Colombia).
    Participants: Universidad Nacional de Colombia (Colombia)
    Role: researcher
    Bogotá D.C., Colombia, 01/09/2018 to 01/11/2019.

  • Detection of security vulnerabilities in the source code based on automatic analysis techniques (HERMES: 40809).
    Funded by: Universidad Nacional de Colombia (Colombia).
    Participants: Universidad Nacional de Colombia (Colombia)
    Role: director
    Bogotá D.C., Colombia, 28/02/2018 to 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.
    Funded by: Ministerio de Economía y Competitividad (Spain).
    Participants: Universidad de Alicante (Spain), Universidad Nacional de Colombia (Colombia)
    Role: researcher
    Alicante, Spain, 01/01/2016 to 31/12/2018.

  • Interactive system to support the continuous and automatic assessment of computer programming skills (HERMES: 35713).
    Funded by: Universidad Nacional de Colombia (Colombia).
    Participants: Universidad Nacional de Colombia (Colombia)
    Role: director
    Bogotá D.C., Colombia, 01/02/2017 to 31/07/2018.

  • Development of a software metric for register vulnerability in COTS microprocessors (HERMES: 28433).
    Funded by: Universidad Nacional de Colombia (Colombia).
    Participants: Universidad Nacional de Colombia (Colombia), Universidad de Alicante (España)
    Role: director
    Bogotá D.C., Colombia, 01/06/2015 to 01/06/2016.

  • Desarrollo de técnicas híbridas de tolerancia a fallos para microprocesadores embebidos (PHB2012-0158-PC).
    Funded by: Ministerio de Educación, Cultura y Deporte (Spain).
    Participants: Universidad de Alicante (Spain), Universidad Carlos III de Madrid (Spain), Universidad Federal do Rio Grande do Sul (UFRGS, Brazil).
    Role: postdoctoral research fellow.
    Porto Alegre, Brazil, 01/01/2014 to 31/07/2014.

  • Plataforma para el diseño y análisis integral de circuitos y sistemas digitales para aplicaciones aeroespaciales (TEC2010-22095-C03-01).
    Funded by: Ministerio de Ciencia e Innovación (Spain).
    Participants: Universidad de Sevilla, Universidad de Alicante, Universidad Carlos III de Madrid, Centro Nacional de Aceleradores (Spain).
    Role: postdoctoral research fellow.
    Alicante - Sevilla - Madrid, Spain, 01/01/2012 to 31/12/2013.

  • Efectos de la radiación sobre conductores en tecnologías nanométricas (RENASER) (ESP2007-65914-C03-03).
    Funded by: Ministerio de Educación y Ciencia, Spain.
    Participants: Universidad de Sevilla, Universidad de Alicante, Universidad Carlos III de Madrid, Centro Nacional de Aceleradores.
    Role: assistant research fellow.
    Alicante, Spain, 01/01/2009 to 18/12/2010.

  • Aceleración de algoritmos industriales y de seguridad en entornos críticos mediante hardware (GV/2009/098).
    Funded by: Consellería de Educación, Generalitat Valenciana, Spain.
    Participant: Universidad de Alicante
    Role: assistant research fellow.
    Alicante, Spain, 01/01/2009 to 31/12/2010.

  • Construcción de un prototipo comercial de IRIS
    Funded by: SENA, Colombia
    Participants: Fundación ParqueSoft Pereira, DUTO S.A.
    Role: researcher.
    Pereira, Colombia, 01/01/2006 to 31/10/2006.