Now showing items 1-6 of 6

    • A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications 

      Sanabria-Ardila, Mateo; Benavides-Navarro, Luis Daniel; Díaz-López, Daniel; Garzón-Alfonso, Wilmer (2020)
      The proliferation of on-demand internet services delivered over a network of a heterogeneous set of computing devices has created the need for high-performing dynamic systems in real-time. Services such as audio and video ...
    • Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots 

      Pérez, Alexander; Cadavid, Héctor; Rocha, Camilo (Springer NatureColombia, 2017)
      Today’s autonomous robots are being used for complex tasks, including space exploration, military applications, and precision agriculture. As the complexity of control architectures increases, reliability of autonomous ...
    • Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots 

      Cadavid, Héctor; Pérez, Alexander; Rocha, Camilo (Springer NatureSuiza, 2017)
      Today’s autonomous robots are being used for complex tasks, including space exploration, military applications, and precision agriculture. As the complexity of control architectures increases, reliability of autonomous ...
    • 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 ...
    • 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 ...
    • Towards Real-Time Semantics for a Distributed Event-Based MOP Language 

      Sanabria, Mateo; Garzón Alfonso, Wilmer; Benavides Navarro, Luis Daniel (Springer NatureSwitzerland., 2018)
      This paper investigates rewriting logic as a suitable means to model the semantics of distributed and concurrent systems implemented using Monitoring Oriented Programming (MOP) frameworks. MOP tools close the gap between ...