activity
20102024
most citedDist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis

20 citations · 75 across the 15 of their papers we have counts for

collaborators
Showing 2013Show all

1 paper · 1 filter

cs.LO2013★ 7 cited

PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude

Kyungmin Bae, Joshua Krisiloff, José Meseguer +1

Distributed cyber-physical systems (DCPS) are pervasive in areas such as aeronautics and ground transportation systems, including the case of distributed hybrid systems. DCPS desig…