research
∙
01/23/2023
Modal Reactors
Complex software systems often feature distinct modes of operation, each...
share
research
∙
01/21/2023
Consistency vs. Availability in Distributed Real-Time Systems
In distributed applications, Brewer's CAP theorem tells us that when net...
research
∙
01/06/2023
High-Performance Deterministic Concurrency using Lingua Franca
Actor frameworks and similar reactive programming techniques are widely ...
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
∙
12/03/2019
Achieving Determinism in Adaptive AUTOSAR
AUTOSAR Adaptive Platform is an emerging industry standard that tackles ...
research
∙
11/30/2018
A Metric for Linear Temporal Logic
We propose a measure and a metric on the sets of infinite traces generat...
research
∙
12/30/2017
