El grupo de investigación CTG-informática es un grupo interdisciplinario que se interesa en la ciencia, gestión e innovación en informática. Con especial interés en resolver y apoyar con tecnología que aumente la productividad a las organizaciones en su estrategia de negocio, contribuyendo así al desarrollo del país en la sociedad del conocimiento.

News

Recent Submissions

  • Synchronous set relations in rewriting logic 

    Muñoz, César; Rocha Niño, Hernán Camilo (Elsevier, 2014)
    This paper presents a mathematical foundation and a rewriting logic infrastructure for the execution and property verification of synchronous set relations. The mathematical foundation is given in the language of abstract ...
  • Consideraciones tecnológicas como resultado de la construcción de la arquitectura empresarial para una institución de educación superior 

    Santiago Cely, Claudia Patricia; Castillo Navetty, Oswaldo (Editorial Escuela Colombiana de Ingeniería Julio GaravitoBogotá, 2015)
    Las tecnologías de la información y la telecomunicación (TIC) permean todos los ámbitos de cualquier organización y por ello es clave aprovechar al máximo su uso. Basándose en las necesidades y modo de operación de una ...
  • Order-Sorted Equality Enrichments Modulo Axioms 

    Gutiérrez, Raúl; Meseguer, José; Rocha, Camilo (SpringerBerlin., 2012)
    Built-in equality and inequality predicates based on comparison of canonical forms in algebraic specifications are frequently used because they are handy and efficient. However, their use places algebraic specifications ...
  • Rewriting modulo SMT and open system analysis 

    Rocha, Camilo; Meseguer, José; Muñoz, César (Elsevier, 2016)
    This paper proposes rewriting modulo SMT, a new technique that combines the power of SMT solving, rewriting modulo theories, and model checking. Rewriting modulo SMT is ideally suited to model and analyze reachability ...
  • Using Reverse Engineering to Handle Malware 

    Sánchez Venegas, Carlos Andrés; Aguado Bedoya, Camilo; Díaz López, Daniel Orlando; García Ruíz, Juan Carlos Camilo (EDICIONES UCC PRODUCTSBogotá, 2019)
    Introduction: This paper is a product of the research Project “Cyber Security Architecture for Incident Management” developed in the Colombian School of Engineering Julio Garavito in the year 2018. Objetive: Reverse ...
  • Bioescenarios III. 

    Mora, Juan José; Robayo Rodríguez, Sandra Milena (Asociación Colombiana de Ingenieros de Sistemas (ACIS)Colombia, 2008)
    El uso de las tendencias bioinspiradas en el desarrollo de soluciones informáticas se está imponiendo en el mundo por ser una opción en el tratamiento de problemas complejos. En Colombia se están realizando los primeros ...
  • Comunidades 2.0 

    Díaz Rozo, Mónica Alejandra; Díaz Rozo, María Irma (Asociación Colombiana de Ingenieros de Sistemas (ACIS)Colombia, 2010-10)
  • Bioescenarios IV Inteligencia de enjambres: optimización por cúmulos de partículas 

    Casallas Fonseca, Carlos Eduardo; Vargas Aristizábal, Steven Francisco (Asociación Colombiana de Ingenieros de Sistemas (ACIS)Colombia, 2010)
    Conocer técnicas como las de los algoritmos bioinspirados, que han mostrado simplicidad y eficiencia en la solución de problemas complejos, es útil para los Ingenieros de Sistemas. Bioescenarios IV crea modelos para el ...
  • A Formal Interactive Verification Environment for the Plan Execution Interchange Language 

    Rocha, Camilo; Cadavid, Héctor; Siminiceanu, Radu (© 2020 Springer Nature Switzerland AG.Springer, Berlin, Heidelberg., 2012)
    The Plan Execution Interchange Language (PLEXIL) is an open source synchronous language developed by NASA for commanding and monitoring autonomous systems. This paper reports the development of the PLEXIL’s Formal Interactive ...
  • TRANSFORMACIÓN DE PRÁCTICAS PEDAGÓGICAS USANDO TIC Y RENATA: CONTEXTO Y CASOS DE ESTUDIO EN BIOMEDICINA Y ECONOMÍA 

    Álvarez Piñeiro, Olga Patricia; Cadavid-Rengifo, Héctor (© 2013 Asociación Colombiana de Facultades de Ingeniería (ACOFI), International Federation of Engineering Education Societies (IFEES), 2013)
    Este artículo presenta dos propuestas de transformación de las prácticas pedagógicas con apoyo de tecnología, diseñadas como parte del proyecto de investigación “Diseño de un modelo de transformación de prácticas educativas ...
  • SIMULADOR PARA EL APOYO AL PROCESO DE MEJORAMIENTO CONTINUO DE PYMES CON TOC 

    Cadavid-Rengifo, Héctor; Ospina Hernandez, Gerardo (Congresso Nacional de Excelência em Gestão, 2014)
    Una gran parte de las pequeñas y medianas empresas Colombianas han mostrado, de acuerdo con cifras oficiales, unos muy bajos índices de supervivencia tras sus primeros años de creación. Esto es especialmente grave dado que ...
  • Consideraciones tecnológicas como resultado de la construcción de la arquitectura empresarial para una institución de educación superior 

    Santiago Cely, Claudia Patricia; Castillo Navetty, Oswaldo (Escuela Colombiana de Ingeniería Julio GaravitoColombia, 2015)
    Las tecnologías de la información y la telecomunicación (TIC) permean todos los ámbitos de cualquier organización y por ello es clave aprovechar al máximo su uso. Basándose en las necesidades y modo de operación de una ...
  • Information Technologies and Analytics as Decision Support Systems in Hospital Logistics: Four Research Experiences in the Colombian Case 

    Cardona Orozco, Andres Felipe; Ospina, Victoria Eugenia (IARAS PUB, 2017)
    This article presents four research experiences in hospital logistics using simultaneously mathematical models and information management. The cases analyzed included the efficient scheduling of nursing shifts, kidney ...
  • Continuous Delivery Pipelines for Teaching Agile and Developing Software Engineering Skills 

    Informática (© 2018 MECS, 2018)
    The differences between academy and industry when it comes to working settings (schedules, workload, working environments, etc.), have motivated the development of a significant body of research on how to achieve meaningful ...
  • Propuesta de evaluación de herramientas de monitoreo para plataformas tipo nube 

    Rodriguez Chona, Andrés Ricardo; Patiño Arias, Andrés Mauricio; Santiago Cely, Claudia Patricia (Escuela Colombiana de Ingeniería Julio GaravitoColombia|, 2016)
    A lo largo de este artículo se presenta una metodología para la evaluación de herramientas de monitoreo para la nube que se basa en una matriz de evaluación. Dicha matriz de evaluación se compone de dos dimensiones: la ...
  • A Graphical Environment for the Semantic Validation of a Plan Execution Language 

    Rocha, Camilo; Muñoz, Cesar; Cadavid, Hector (© Copyright 2021 IEEEUSA., 2009)
    This paper presents PLEXIL5, PLEXIL's formal interacting visual environment, a graphical environment providing an user-friendly interface to the formal operational semantics of PLEXIL. PLEXIL is a synchronous plan execution ...
  • A mediation system to facilitate cooperation in a co-design platform 

    Fougères, Alain-Jérôme; Ospina, Victoria Eugenia (IEEE XploreUSA., 2011)
    We present a mediation system, developed to give support to participants in mechanical-system-designer activities. Sufficient assistance is needed to facilitate and coordinate actors' activities. To accomplish this goal ...
  • Aprendizajes de programación de computadores y resolución de problemas en un ambiente de trabajo en colaboración 

    Castañeda Bermudez, Claudia Patricia (Educación para el siglo XXIColombia., 2011)
    En esta investigación exploro los efectos, en el aprendizaje de programación de computadores de alumnos universitarios, de una estrategia de aprendizaje que integra trabajo en colaboración y resolución de problemas, el ...
  • Learning from Corporate Memory and Best Practices 

    Matta, Nada; Castillo Navetty, Oswaldo (© 2012 The Author(s). Licensee IntechOpen.Rijeka, Croatia., 2012-03-02)
    Due to the development of mobile and Web 2.0 technology, knowledge transfer, storage and retrieval have become much more rapid. In recent years, there have been more and more new and interesting findings in the research ...
  • A Formal Interactive Verification Environment for the Plan Execution Interchange Language 

    Cadavid Rengifo, Hector Fabio; Rocha, Camilo; Muñoz, Cesar (Springer NatureUSA.Switzerland, 2012)
    The Plan Execution Interchange Language (PLEXIL) is an open source synchronous language developed by NASA for commanding and monitoring autonomous systems. This paper reports the development of the PLEXIL’s Formal Interactive ...

View more