20 citations · 33 across the 3 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2010★ 4 cited
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…
cs.LO2010★ 9 cited
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…
cs.LO2010★ 20 cited
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…