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 …

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 or …

Formal verification of cyber-physical systems (CPS) is challenging because it has to
consider real-time and concurrency aspects that are often absent in ordinary software …

Timing is an essential feature of reactive software. It is not just a performance metric, but
rather forms a core part of the semantics of programs. This paper argues for a notion of …

We introduce logical synchrony, a framework that allows distributed computing to be
coordinated as tightly as in synchronous systems without the distribution of a global clock or …

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 …

Vehicle infrastructure must address the challenges posed by today's advances toward
connected and autonomous vehicles. To allow for more flexible architectures, high …

Modern cyber-physical systems often make use of heterogeneous systems-on-chip with
reconfigurable logic to provide adequate computing power and flexible I/O. However …

Software Engineering arose from the need to scale up and decompose the development of
large software systems [1]. While the discipline was successful in finding functional …

State-of-the-art industrial IoT solutions struggle to handle applications in which timing is
important and deterministic event ordering is crucial. We illustrate this on the basis of a …