research
∙
01/21/2023
Consistency vs. Availability in Distributed Real-Time Systems
In distributed applications, Brewer's CAP theorem tells us that when net...
share
research
∙
01/06/2023
High-Performance Deterministic Concurrency using Lingua Franca
Actor frameworks and similar reactive programming techniques are widely ...
research
∙
08/07/2022
UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis
UCLID5 is a tool for the multi-modal formal modeling, verification, and ...
research
∙
07/19/2022
Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems
Asynchronous frameworks for distributed embedded systems, like ROS and M...
research
∙
09/16/2021
Quantifying and Generalizing the CAP Theorem
In distributed applications, Brewer's CAP theorem tells us that when net...
research
∙
03/03/2021
SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts
The growing adoption of smart contracts on blockchains poses new securit...
research
∙
10/17/2019