20 citations · 75 across the 15 of their papers we have counts for
4 papers · 1 filter
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…
Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family
Peter Csaba Ölveczky, José Meseguer
Distributed embedded systems (DESs) are no longer the exception; they are the rule in many application areas such as avionics, the automotive industry, traffic systems, sensor netw…
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…