Hoja de vida

Nombre Jesús Alexander Aranda Bueno
Nombre en citaciones ARANDA BUENO, JESÚS ALEXANDER
Nacionalidad Colombiana
Sexo Masculino

Formación Académica

  •  
  • Doctorado Ecole Polytechnique
    École doctorale
    Septiembrede2006 - Mayode 2010
    Sur l'expressivité du comportement infini et local dans quelques fragments du calcul pi
  •  
  • Doctorado UNIVERSIDAD DEL VALLE
    DOCTORADO EN INGENIERIA
    Agostode2004 - Abrilde 2010
    On the Expressivity of Infinite and Local Behaviour in Fragments of the Pi-calculus
  •  
  • Pregrado/Universitario UNIVERSIDAD DEL VALLE
    Ingeniería de Sistemas
    Enerode1994 - de 2001
    Desarrollo de una aplicación para tratar la contaminación de los datos

    Experiencia profesional

  •  
  • UNIVERSIDAD DEL VALLE
    Dedicación: 40 horas Semanales Agosto de 2010 de

    Actividades de administración
    -  Coordinador de programa - Cargo: Coordinador de Programa de Maestría y Doctorado en Ingeniería con Énfasis en Ingeniería de Sistemas y Computación Agosto de 2011 Enero de
    Actividades de docencia
    -   Postgrado - Nombre del curso:  Fundamentos de Algoritmos y Computabilidad, Fundamentos de Computación Inteligente, Cálculos Concurrentes , 10 Febrero 2011 Diciembre 2015
    -   Pregrado - Nombre del curso:  Introducción a la Inteligencia Artificial, Fundamentos de Análisis y Diseño de Algoritmos, Matemáticas Discretas I Fundamentos de Lenguajes de Programación , 40 Agosto 2010 Diciembre 2015
    Actividades de investigación
    -   Investigación y Desarrollo - Titulo:  REACT-PLUS Agosto 2011 Agosto 2013
  •  
  • Ecole Polytechnique
    Dedicación: 40 horas Semanales Septiembre de 2009 Diciembre de 2009

  •  
  • UNIVERSIDAD DEL VALLE
    Dedicación: 40 horas Semanales Junio de 2000 Junio de 2004

    Actividades de administración
    -  Miembro de consejo de centro - Cargo: Profesor Auxiliar Tiempo Completo Agosto de 2001 Junio de 2004
    -  Miembro de consejo de centro - Cargo: Profesor auxiliar Hora Catedra Enero de 2001 Junio de 2001
    -  Miembro de consejo de centro - Cargo: Auxiliar de Investigacion Junio de 2000 Diciembre de 2001
    Actividades de docencia
    -   Pregrado - Nombre del curso:  Redes Neurales,  Agosto 2001 Junio 2004
    -   Pregrado - Nombre del curso:  Lenguajes Formales,  Agosto 2001 Junio 2004
    -   Pregrado - Nombre del curso:  Matemáticas Discretas I,  Agosto 2001 Junio 2004
    -   Pregrado - Nombre del curso:  Algoritmia y Programación,  Agosto 2001 Junio 2004
    -   Pregrado - Nombre del curso:  Introducción a la Inteligencia Artificial,  Agosto 2001 Junio 2004
    -   Pregrado - Nombre del curso:  Programación con Restricciones,  Agosto 2001 Junio 2004
    -   Pregrado - Nombre del curso:  Fundamentos de Lenguajes de Programación,  Agosto 2001 Junio 2004
    -   Pregrado - Nombre del curso:  Introducción a la Inteligencia Artificial,  Enero 2001 Junio 2001
    -   Pregrado - Nombre del curso:  Fundamentos de Programación,  Agosto 2001 Junio 2004
  •  

  • Dedicación: 0 horas Semanales Junio de 2000 Junio de 2004

    Actividades de investigación
    -   Investigación y Desarrollo - Titulo:  Enero 2004 Junio 2004
    -   Investigación y Desarrollo - Titulo:  CREAR: CONSEJERO PARA LA REPARTICIÓN DE EVALUADORES Y ARTICULOS EN EVENTOS ACADEMICOS Enero 2004 Junio 2004
    -   Investigación y Desarrollo - Titulo:  SISTEMA DE CONSULTA DE DIAGNÓSTICO E IMÁGENES MÉDICAS MEDIANTE LA WEB Junio 2003 Mayo
    -   Investigación y Desarrollo - Titulo:  Enero 2003 Mayo 2004
    -   Investigación y Desarrollo - Titulo:  DESCUBRIMIENTO DE CONOCIMIENTO EN DATOS DE PRUEBA DE CORTOCIRCUITO Junio 2000 Diciembre 2001
    -   Investigación y Desarrollo - Titulo:  Junio 2000 Diciembre 2003

    Áreas de actuación

  •  Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación
  • Idiomas

      Habla Escribe Lee Entiende
  •  Español
  • Bueno Bueno Bueno Bueno
  •  Francés
  • Aceptable Aceptable Bueno Bueno
  •  Inglés
  • Aceptable Aceptable Bueno Bueno

    Líneas de investigación

  •  Modelamiento Formal de Sistemas Concurrentes, Activa:Si
  •  Lenguajes de Programación, Activa:No
  •  Problemas de Optimización Combinatoria, Activa:No
  •  Programación por Restricciones, Activa:No
  •  Descubrimiento de Conocimiento, Activa:No
  •  Bases de Datos, Activa:No
  • Reconocimientos

  • Tesis Doctoral Laureada,UNIVERSIDAD DEL VALLE - Abrilde 2010
  • Tesis muy honorable ,Ecole Polytechnique - Noviembrede 2009
  •  
    Los ítems de producción con la marca corresponden a productos avalados y validados para la última Convocatoria Nacional para el Reconocimiento y Medición de Grupos de Investigación, Desarrollo Tecnológico o de Innovación y para el Reconocimiento de Investigadores del SNCTeI

    Trabajos dirigidos/tutorías

  • Trabajos dirigidos/Tutorías - Tesis de doctorado
  • JESUS ALEXANDER ARANDA BUENO, JUAN FRANCISCO DIAZ FRIAS, AN APPROACH TO FORMAL MODELLING OF GRID COMPUTING  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  DOCTORADO EN INGENIERIA  ,2009,  . Persona orientada: Carlos Alberto Ramirez   , Dirigió como: Coturor/asesor,  meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JUAN FRANCISCO DIAZ FRIAS, JESUS ALEXANDER ARANDA BUENO, Modelamiento del ciclo de vida del VIH utilizando el calculo NTCC  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2010,  . Persona orientada: Michell Guzmán Cancimance  , Dirigió como: Coturor/asesor,  meses  
  • Trabajos dirigidos/Tutorías - Trabajo de grado de maestría o especialidad clínica
  • JESUS ALEXANDER ARANDA BUENO, CARLOS ALBERTO OLARTE VEGA, Model checking for NTCC calculus  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2012,  . Persona orientada: Michell Guzmán Cancimance  , Dirigió como: Coturor/asesor,  meses  
  • Trabajos dirigidos/Tutorías - Trabajos de grado de pregrado
  • JESUS ALEXANDER ARANDA BUENO, Desarrollo de un modelo de satisfacción de restricciones para la asignación de citas terapeúticas en la clínica de rehabilitación del valle  UNIVERSIDAD DEL VALLE  Estado: Tesis concluida  Ingeniería de Sistemas  ,2012,  . Persona orientada: Holmes Giovanny Salazar Osorio, Harvin Jessid Rengifo Romero  , Dirigió como: Tutor principal,  meses  
    Areas:
    Ingeniería y Tecnología -- Ingenierías Eléctrica, Electrónica e Informática -- Ingeniería de Sistemas y Comunicaciones,
  • Trabajos dirigidos/Tutorías - Trabajo de grado de maestría o especialidad clínica
  • JESUS ALEXANDER ARANDA BUENO, Estrategias computacionales de optimización en problemas con restricciones espaciales aplicadas a la planeación de cosechas forestales  UNIVERSIDAD DEL VALLE  Estado: Tesis en curso  Maestría en Ingeniería- Énfasis en Ingeniería de Sistemas  ,2016,  . Persona orientada: Mauricio Zapata Cuartas  , Dirigió como: Tutor principal,  meses  
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
     

    Jurado en comités de evaluación

  • Datos complementarios - Jurado/Comisiones evaluadoras de trabajo de grado - Pregrado
  • JESUS ALEXANDER ARANDA BUENO, MARTA MILLAN, Titulo: Diseño e Implementación de una Herramienta de Software para evaluar la Cooperación entre las técnicas de Asociación y Clasificación, Tipo de trabajo presentado:  en:  UNIVERSIDAD DEL VALLE  programa académico Ingeniería de Sistemas  Nombre del orientado: Esteban Diaz, Gustavo Sanchez  
    Palabras:
    Minería de Datos, Reglas de Asociación, Clasificación,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Actividades de base de datos,
  • Datos complementarios - Jurado/Comisiones evaluadoras de trabajo de grado - Pregrado
  • JESUS ALEXANDER ARANDA BUENO, JHON SANABRIA, Titulo: Desarrollo e implementación de una herramienta para el mejoramiento de imágenes radiológicas. Tipo de trabajo presentado:  en:  UNIVERSIDAD DEL VALLE  programa académico Ingeniería de Sistemas  Nombre del orientado: Gustavo Adolfo Salazar  
    Palabras:
    Tratamiento Dígital de Imágenes, Algoritmos de Mejoramiento,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
  • Datos complementarios - Jurado/Comisiones evaluadoras de trabajo de grado - Pregrado
  • JESUS ALEXANDER ARANDA BUENO, RICARDO TIMARAN, Titulo: Análisis, diseño e implementación de una herramienta computacional para la clasificación difusa de usuarios en el web, realizada en grupos identificados por medio de una técnica de clustering Tipo de trabajo presentado:  en:  UNIVERSIDAD DEL VALLE  programa académico Ingeniería de Sistemas  Nombre del orientado: Oscar Bedoya Leiva  
    Palabras:
    Clasificación Difusa, Descubrimiento de Conocimiento, Minería de Datos en el Web,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software), Desarrollo de programas (software) y prestación de servicios en informática - Actividades de base de datos,
  • Datos complementarios - Jurado/Comisiones evaluadoras de trabajo de grado - Pregrado
  • JESUS ALEXANDER ARANDA BUENO, MAURICIO GAONA CUEVAS, Titulo: Software educativo para una plataforma intranet en el colegio juanambu de aspaen de la ciudad de Cali Tipo de trabajo presentado:  en:  UNIVERSIDAD DEL VALLE  programa académico Ingeniería de Sistemas  Nombre del orientado: Victor López  
    Palabras:
    Ingeniería de Software, Redes de Computadores,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
  • Datos complementarios - Jurado/Comisiones evaluadoras de trabajo de grado - Pregrado
  • JESUS ALEXANDER ARANDA BUENO, ANDRES DORADO, Titulo: Aplicando un Modelo de Reglas de Asociación Difuso Tipo de trabajo presentado:  en:  UNIVERSIDAD DEL VALLE  programa académico Ingeniería de Sistemas  Nombre del orientado: Gelver Vargas, Maryluz Martinez  
    Palabras:
    Descubrimiento de Conocimiento, Clasificación Difusa, Minería de Datos,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software), Desarrollo de programas (software) y prestación de servicios en informática - Actividades de base de datos,
  • Datos complementarios - Jurado/Comisiones evaluadoras de trabajo de grado - Pregrado
  • JESUS ALEXANDER ARANDA BUENO, ANGEL GARCIA BANOS, Titulo: Sistema experto para el diagnóstico de enfermedades de transmisión sexual Tipo de trabajo presentado:  en:  UNIVERSIDAD DEL VALLE  programa académico Ingeniería de Sistemas  Nombre del orientado: Edwin Calderón  
    Palabras:
    Enfermedades de transmisión sexual, Sistemas expertos, Inteligencia Artificial,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software), Salud humana - Cuidado a la salud de las personas,
  • Datos complementarios - Jurado/Comisiones evaluadoras de trabajo de grado - Pregrado
  • JESUS ALEXANDER ARANDA BUENO, JAMES JERSON ORTIZ VEGA, Titulo: Diseño e implementación de un algoritmo basado en árboles de decisión para reemplazar valores desconocidos en bases de datos relacionales Tipo de trabajo presentado:  en:  UNIVERSIDAD DEL VALLE  programa académico Ingeniería de Sistemas  Nombre del orientado: Miguel Angel Grijalva Castillo  
    Palabras:
    Bases de datos relacionales, Algoritmos de computador, Bases de Datos, Desarrollo de software,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Actividades de base de datos,
  • Datos complementarios - Jurado/Comisiones evaluadoras de trabajo de grado - Pregrado
  • JESUS ALEXANDER ARANDA BUENO, ELOINA MESA, Titulo: Prototipo de herramienta de reducción de dimensionalidad de bases de datos, basado en el método de análisis de correspondencia. Tipo de trabajo presentado:  en:  UNIVERSIDAD DEL VALLE  programa académico Ingeniería de Sistemas  Nombre del orientado: Liliana Cortez Hernandez  
    Palabras:
    Bases de Datos, PREPROCESAMIENTO DE DATOS, ANÁLISIS DE CORRESPONDENCIA,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Actividades de base de datos, Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),

    Eventos científicos

    1 Nombre del evento: 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2013  Tipo de evento: Otro  Ámbito: Nacional  Realizado el:2013-12-03 00:00:00.0,  2013-12-05 00:00:00.0   en BOGOTÁ, D.C.   - Universidad de Extremadura  
    Productos asociados
    • Nombre del producto:Towards a General Approach to Model Biological Systems from Membrane Systems into a Concurrent Constraint Calculus Tipo de producto:Demás trabajos - Demás trabajos - Póster
    Instituciones asociadas
    • Nombre de la institución:Universidad De Extremadura Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JESUS ALEXANDER ARANDA BUENO Rol en el evento: Ponente
    2 Nombre del evento: Conferencia Latinoamericana de Informatica  Tipo de evento: Otro  Ámbito: Internacional  Realizado el:2004-09-27 00:00:00.0,  2004-10-01 00:00:00.0   en Arequipa   -  
    Productos asociados
    • Nombre del producto:El Problema de la Asignación de Evaluadores para los Artículos Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    • Nombre del producto:Un método para sustitución completa de valores desconocidos. Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    • Nombre del producto:Identificando perfiles de usuarios en el web mediante clasificación Difusa Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Instituciones asociadas
    • Nombre de la institución:Universidad Nacional de San Agustín de Arequipa Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JESUS ALEXANDER ARANDA BUENO Rol en el evento: Asistente
    3 Nombre del evento: Segundo seminario internacional en Genómica, proteómica, bioinformática y biología de sistemas  Tipo de evento: Seminario  Ámbito: Nacional  Realizado el:2006-10-25 00:00:00.0,  2006-10-27 00:00:00.0   en POPAYÁN   - Universidad del Cauca  
    Productos asociados
    • Nombre del producto:Revision de algunos modelos de programación concurrente por restricciones y sus aplicaciones Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD DEL CAUCA Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JESUS ALEXANDER ARANDA BUENO Rol en el evento: Asistente
    4 Nombre del evento: XXXV Conferencia Latinoamericana de Informatica CLEI2009  Tipo de evento: Otro  Ámbito: Internacional  Realizado el:2009-09-22 00:00:00.0,  2009-09-25 00:00:00.0   en pELOTAS   - Universidade Federal de Pelotas  
    Productos asociados
    • Nombre del producto:Modelando Sistemas de Membranas en NTCC Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Instituciones asociadas
    • Nombre de la institución:Universidade Federal De Pelotas Tipo de vinculaciónPatrocinadora
    • Nombre de la institución:Universidade Católica De Pelotas Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JESUS ALEXANDER ARANDA BUENO Rol en el evento: Asistente
    5 Nombre del evento: 2012 7th Colombian Computing Congress (CCC)  Tipo de evento: Congreso  Ámbito: Nacional  Realizado el:2012-10-01 00:00:00.0,  2012-10-05 00:00:00.0   en MEDELLÍN   - Universidad EAFIT  
    Productos asociados
    • Nombre del producto:Modeling the HIV life cycle using the NTCC calculus Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD EAFIT Tipo de vinculaciónGestionadora
    Participantes
    • Nombre: JESUS ALEXANDER ARANDA BUENO Rol en el evento: Asistente
    6 Nombre del evento: V Jornadas Latinoamericanas y II Iberoamericanas en Alta  Tipo de evento: Otro  Ámbito: Internacional  Realizado el:2001-08-13 00:00:00.0,  2001-08-18 00:00:00.0   en La Habana   -  
    Productos asociados
    • Nombre del producto:Descubrimiento de Conocimiento en Bases de Datos de Prueba de Corto Circuito. Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Participantes
    • Nombre: JESUS ALEXANDER ARANDA BUENO Rol en el evento: Asistente
    7 Nombre del evento: VI Encuentro Regional de Estudiantes de Ingenieria de Sistemas  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:2002-09-19 00:00:00.0,  2002-09-21 00:00:00.0   en CALI   - Auditorios de la Universidad del Valle- Sede Melendez  
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD DEL VALLE Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JESUS ALEXANDER ARANDA BUENO Rol en el evento: Organizador
    8 Nombre del evento: Primera Jornada Regional de Informática  Tipo de evento: Encuentro  Ámbito: Nacional  Realizado el:2001-01-01 00:00:00.0,    en TULUÁ   - Auditorio Comfamiliar  
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD DEL VALLE Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: JESUS ALEXANDER ARANDA BUENO Rol en el evento: Organizador

    Artículos

  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JESUS ALEXANDER ARANDA BUENO, MARIA EUGENIA VALENCIA DE ABADIA, MARTA ELENA MILLAN GONZALEZ, CARLOS MAURICIO GAONA CUEVAS, "Arquitectura de software para descubrimiento de conocimiento" . En: Colombia 
    Energía Y Computación  ISSN: 0121-5299  ed: Universidad del Valle
    v.X fasc. p.6 - 12 ,2001,  DOI: 
    Palabras:
    Arquitectura de software, Descubrimiento de Conoci,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Actividades de base de datos,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JESUS ALEXANDER ARANDA BUENO, JUAN FRANCISCO DIAZ FRIAS, JAMES JERSON ORTIZ VEGA, "CREAR: Consejero para la repartición de Artículos y Evaluadores en Eventos" . En: Colombia 
    Ingeniería Y Competitividad  ISSN: 0123-3033  ed: Facultad De Ingenieria Universidad Del Valle
    v.6 fasc.1 p.53 - 62 ,2004,  DOI: 
    Palabras:
    Optimización, Problemas Combinatorios, Programación por Restricciones, Lenguajes de Programación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JESUS ALEXANDER ARANDA BUENO, DILETTA CACCIAGRANO, FLAVIO CORRADINI, FRANK VALENCIA, "Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus" . En: Portugal 
    Electronic Notes in Theoretical Computer Science  ISSN: 1571-0661  ed: Elsevier
    v.194 fasc.2 p.59 - 84 ,2008,  DOI: 10.1016/j.entcs.2007.11.006
    Palabras:
    Calculos de procesos, Expresividad,
  • Producción bibliográfica - Artículo - Corto (Resumen)
  • JESUS ALEXANDER ARANDA BUENO, JORGE PEREZ, FRANK VALENCIA, CAMILO RUEDA CALDERON, "Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming" . En: Alemania 
    Lecture Notes in Computer Science  ISSN: 0302-9743  ed: Springer
    v.5366 fasc.N/A p.682 - 686 ,2008,  DOI: 10.1007/978-3-540-89982-2_57
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JESUS ALEXANDER ARANDA BUENO, CINZIA DI GIUSTO, MOGENS NIELSEN, FRANK VALENCIA, "CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence" . En: Alemania 
    Lecture Notes in Computer Science  ISSN: 0302-9743  ed: Springer
    v.4807 fasc.N/A p.383 - 398 ,2007,  DOI: 10.1007/978-3-540-76637-7_26
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JESUS ALEXANDER ARANDA BUENO, FRANK D. VALENCIA POSSO, CINZIA DI GIUSTO, CATUSCIA PALAMIDESSI, FRANK VALENCIA, "On Recursion, Replication and Scope Mechanisms in Process Calculi" . En: Alemania 
    Lecture Notes in Computer Science  ISSN: 0302-9743  ed: Springer
    v.4709 fasc.N/A p.185 - 206 ,2006,  DOI: 10.1007/978-3-540-74792-5_9
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • HARVIN JESSID RENGIFO ROMERO, JESUS ALEXANDER ARANDA BUENO, LILIANA ESTHER MACHUCA VILLEGAS, HOLMES GIOVANNY SALAZAR OSORIO, LILIANA ESTHER MACHUCA VILLEGAS, "UNA GUÍA GENERAL PARA LA ESPECIFICACIÓN Y VERIFICACIÓN FORMAL DE REQUERIMIENTOS USANDO EVENT-B Y RODIN" . En: Colombia 
    Revista Educación En Ingeniería  ISSN: 1900-8260  ed: Asociacion Colombiana De Facultades De Ingenieria Acofi
    v.7 fasc.14 p.82 - 91 ,2012,  DOI: 
    Palabras:
    Modelamiento Formal, Métodos Formales, Theorem Proving, Event-B, Rodin, Programación e ingeniería de Software,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JESUS ALEXANDER ARANDA BUENO, "On decidability properties of two fragments of the asynchronous pi-calculus" . En: Colombia 
    Ingeniería Y Competitividad  ISSN: 0123-3033  ed: Facultad De Ingenieria Universidad Del Valle
    v.15 fasc.2 p.137 - 149 ,2013,  DOI: 
    Palabras:
    Expressiveness, Divergence, Convergence, Process Calculi,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • AIDA LILIANA ROSERO RUIZ, JESUS ALEXANDER ARANDA BUENO, MICHEL RIGUIDEL, DANIEL GIDOIN, "A fine-Grained Document-based Access Control Model" . En: Singapur 
    International Journal of Machine Learning and Computing  ISSN: 2010-3700  ed: International Association of Computer Science & Information Technology
    v.1 fasc.N/A p.317 - 324 ,2011,  DOI: 10.7763/IJMLC.2011.V1.47
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • JESUS ALEXANDER ARANDA BUENO, CRISTIAN VERSARI, FRANK VALENCIA, "On the Expressive Power of Restriction and Priorities in CCS with Replication" . En: Reino Unido 
    Lecture Notes in Computer Science  ISSN: 0302-9743  ed: Springer
    v.5504 fasc.N/A p.242 - 256 ,2009,  DOI: 10.1007/978-3-642-00596-1_18
    Palabras:
    Lenguajes de Programación, Calculos de procesos, Sistemas concurrentes, Expresividad,
  • Producción bibliográfica - Artículo - Corto (Resumen)
  • JESUS ALEXANDER ARANDA BUENO, GERARD ASSAYAG, CARLOS ALBERTO OLARTE VEGA, JORGE PEREZ, CAMILO RUEDA CALDERON, FRANK VALENCIA, MAURICIO TORO BERMUDEZ, "An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems" . En: Alemania 
    Lecture Notes in Computer Science  ISSN: 0302-9743  ed: Springer
    v.5649 fasc.N/A p.509 - 513 ,2009,  DOI: 10.1007/978-3-642-02846-5_44
    Palabras:
    BIOINFORMATICA, Sistemas concurrentes, Programación por Restricciones, Protocolos de Seguridad,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • CARLOS ALBERTO RAMIREZ RESTREPO, JORGE ANDRES PEREZ PARRA, JESUS ALEXANDER ARANDA BUENO, JUAN FRANCISCO DIAZ FRIAS, "Towards Formal Interaction-Based Models of Grid Computing Infrastructures" . En: Australia 
    Electronic Proceedings In Theoretical Computer Science  ISSN: 2075-2180  ed: 
    v.144 fasc.N/A p.57 - 72 ,2014,  DOI: http://dx.doi.org/10.4204/EPTCS.144.5
    Palabras:
    Modelamiento Formal, Calculos de procesos, Computacion en Malla,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ROBINSON ANDREY DUQUE AGUDELO, VICTOR ANDRES BUCHELI GUERRERO, JESUS ALEXANDER ARANDA BUENO, JUAN FRANCISCO DIAZ FRIAS, "Making Decisions on the Student Quota Problem: A Case Study Using a MIP Model" . En: Suiza 
    Communications in Computer and Information Science  ISSN: 1865-0929  ed: Springer-Verlag Berlin/Heidelberg
    v.885 fasc.N/A p.355 - 370 ,2018,  DOI:  https://doi.org/10.1007/978-3-319-98998-3_28
    Palabras:
    Optimización de problemas combinatorios, Satisfacción de Restricciones, Programación Entera Mixta,
  • Producción bibliográfica - Artículo - Corto (Resumen)
  • MAURICIO ZAPATA CUARTAS, JESUS ALEXANDER ARANDA BUENO, "OPTIMIZACIÓN DE PLANES DE COSECHA FORESTAL CON RESTRICCIONES ESPACIALES EN PLANTACIONES EMPLEANDO PROGRAMACIÓN POR RESTRICCIONES" . En: Colombia 
    Colombia Forestal  ISSN: 0120-0739  ed: Editorial UD (Editorial Universidad Distrital Francisco José de Caldas)
    v.19 fasc.Supl. 1 p.14 - 14 ,2016,  DOI: https://doi.org/10.14483/issn.2256-201X
    Palabras:
    Planificación Forestal, Optimización de problemas combinatorios, Programación por Restricciones,

    Capitulos de libro

  • Tipo: Otro capítulo de libro publicado
    JESUS ALEXANDER ARANDA BUENO, Tipo: Otro capítulo de libro publicado
    MARTA MILLAN, "Un Método para Sustitución Completa de Valores Desconocidos" Sistemas De Información E Ingeniería De Software. Temas Selectos . En: Venezuela  ISBN: 980-12-0585-7  ed: Centro De Estudios En Informatica De Merida Venezuela , v. , p.53 - 67  ,2004
    Palabras:
    Descubrimiento de Conocimiento, Valores Desconocidos, Reglas de Asociación, Limpieza de Datos, Minería de Datos,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Actividades de base de datos, Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
  • Proyectos

    Tipo de proyecto: Investigación, desarrollo e Innovación 
    DESCUBRIMIENTO DE CONOCIMIENTO EN DATOS DE PRUEBA DE CORTOCIRCUITO
    Inicio: Enero  2000 Duración 
    Resumen

    Corresponde al desarrollo de una herramienta computacional con el fin de descubrir patrones en los datos resultantes de las pruebas de corto circuito. Para esto se utilizan los reportes que se van generando por cada uno de los transformadores que se somete a este tipo de pruebas. La información se registra y ya almacenada en una base de datos, se somete a técnicas de minería de datos para descubrir patrones o relaciones entre las características del transformador y el tipo de falla que presenta.

    Tipo de proyecto: Investigación, desarrollo e Innovación 
    CREAR: CONSEJERO PARA LA REPARTICIÓN DE EVALUADORES Y ARTICULOS EN EVENTOS ACADEMICOS
    Inicio: Enero  2004 Duración 
    Resumen

    Corresponde al desarrollo de una aplicación computacional para realizar más eficientemente el proceso de distribución de los artículos en un evento académico. Para su desarrollo se diseñó un modelo computacional del problema utilizando el Paradigma de Programación por Restricciones, y se implementó utilizando MOzArt, un lenguaje de programación apropiado para este paradigma. El problema enfrentado es de optimización combinatoria.

    Tipo de proyecto: Investigación y desarrollo 
    Estrategias computacionales de optimización en problemas con restricciones espaciales aplicadas a la planeación de cosechas forestales
    Inicio: Octubre  2016 Duración 
    Resumen

    En ingenieria se emplean ampliamente los metodos computacionales de optimizacion para resolver problemas de planeacion (scheduling). En particular, algunos problemas requieren considerar restricciones espaciales y son de naturaleza combinatorial, como es el caso de la Planeacion de la Cosecha Forestal (PCF). Por el tamaño y combinacion de restricciones temporales y espaciales que se requieren en este tipo de problemas, surge un reto primero para su representacion matematica en un modelo y luego para proponer una tecnica de optimizacion adecuada. El objetivo de esta investigacion es proponer una estrategia computacional aplicada a PCF que involucra tanto la representacion del problema sobre un modelo matematico como el estudio de metodos de optimizacion para su implementacion. Para esto, se realizara una revision de literatura sobre las tecnicas de optimizacion mas empleada en los PCF y un estado del arte en cuanto al empleo de estas tecnicas cuando se consideran restricciones espaciales. Las principales restricciones espaciales de interes consideradas son de adyacencia y accesibilidad vial, cuyo tratamiento en conjunto ha sido poco estudiado. Se plantea realizar un prototipo de implementacion para probar el modelo matematico con tecnicas exactas, metaheuristicas o hibridas sobre instancias de datos reales que ya se han reportado en la literatura. Los resultados de esta investigacion podran aportar elementos metodologicos y formales a considerar en la construccion de herramientas computacionales para el apoyo en la toma de decisiones. Tambien, se contribuira con encontrar soluciones adecuadas a los problemas complejos de PCF y mejorar asi las oportunidades para el sector forestal en el pais.

    Tipo de proyecto: Investigación y desarrollo 
    REACT-PLUS:Robust theories for Emerging Applications in Concurrency Theory: Processes and Logic Used in Emergent Systems
    Inicio: Agosto  2011 Fin proyectado: Agosto  2013 Fin: Agosto  2013 Duración 24
    Resumen

    This project proposal, REACT PLUS, addresses the development and application of formal methods in real-life systems. It takes the challenging task of developing the underlying theory and machine-assisted tools for verifying concurrent systems specified in a formalism we have recently developed, the NTCC calculus. Our intended applications are concurrent systems from three emergent domains namely: Security, Biology and Multimedia Semantic Interaction. Broadly speaking, we shall provide NTCC with automatic verification and simulation techniques and user-friendly tools that can be used by practitioners in our intended applications areas: Security, Biology and Multimedia Semantic Interaction. More precisely, our purpose is to show that concurrent constraint-based techniques can offer important benefits, such as runnable specifications and system properties assurance, to systems modeling in real applications. We would like to demonstrate that practitioners in different areas could be able to take advantage of these benefits, without spending undue training time and effort, by supplying the NTCC calculus with coherent tools, such as efficient simulators and automatic verifiers. We will explore ways to seamlessly integrate these tools into existent development environments in real application areas. We also aim at contributing to the area of concurrent constraint programming by devising novel techniques and formalisms that will allow an integrated modeling, execution and verification environment, similar to those available for other concurrency formalisms. Goals and Expected Results We expect to produce efficient techniques and user-friendly tools for the automatic verification and simulation of NTCC processes. More precisely, our expected results are the following: Novel automaton-based, constraint-based and abstract-interpretation techniques for verification in the NTCC calculus. A verification and simulation tool prototype allowing to describe, simulate and automatically verify NTCC systems from our intended applications namely Security, Biology and Multimedia Semantic Interaction.