• 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 ...
    • M-health system backend supported by an actors model 

      Corredor Acosta, Manuel Alejandro; Cadavid Rengifo, Hector Fabio (IEEE XploreNew Jersey, USA., 2015)
      Given the serious impact that cardiovascular diseases are having in Colombia's deaths, the Colombian School of Engineering has been developing a platform for remote, real time, cardiac signals processing. One of the main ...