20 citations · 35 across the 4 of their papers we have counts for
4 papers
State Space Reduction in the Maude-NRL Protocol Analyzer
Santiago Escobar, Catherine Meadows, Jose Meseguer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different…
Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures
Michael Katelman, José Meseguer
The PALS architecture reduces distributed, real-time asynchronous system design to the design of a synchronous system under reasonable requirements. Assuming logical synchrony lead…
Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control
Mu Sun, José Meseguer
Safety of medical devices and of their interoperation is an unresolved issue causing severe and sometimes deadly accidents for patients with shocking frequency. Formal methods, par…
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis
Musab AlTurki, José Meseguer
Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc, includin…