Buscar
Mostrando ítems 1-5 de 5
Towards Real-Time Semantics for a Distributed Event-Based MOP Language
(Springer Nature, 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 ...
Rewriting modulo SMT and open system analysis
(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 ...
Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots
(Springer Nature, 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 ...
Synchronous set relations in rewriting logic
(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 ...
A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications
(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 ...