6 citations · 13 across the 4 of their papers we have counts for
4 papers
Consistency vs. Availability in Distributed Real-Time Systems
Edward A. Lee, Ravi Akella, Soroush Bateni +3
In distributed applications, Brewer's CAP theorem tells us that when networks become partitioned (P), one must give up either consistency (C) or availability (A). Consistency is ag…
High-Performance Deterministic Concurrency using Lingua Franca
Christian Menard, Marten Lohstroh, Soroush Bateni +10
Actor frameworks and similar reactive programming techniques are widely used for building concurrent systems. They promise to be efficient and scale well to a large number of cores…
UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu +6
UCLID5 is a tool for the multi-modal formal modeling, verification, and synthesis of systems. It enables one to tackle verification problems for heterogeneous systems such as combi…
Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems
Soroush Bateni, Marten Lohstroh, Hou Seng Wong +6
Asynchronous frameworks for distributed embedded systems, like ROS and MQTT, are increasingly used in safety-critical applications such as autonomous driving, where the cost of uni…