Petri nets are a useful mathematical formalism for specification of manufacturing systems,
supported by various analysis and verification methods. The progress made in automating …

Many programming languages and programming frameworks focus on parallel and
distributed computing. Several frameworks are based on actors, which provide a more …

Programmable logic controllers (PLCs) are an established platform, widely used throughout
industrial automation but poorly understood among researchers. This article gives an …

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 …

We discuss a novel approach for constructing deterministic reactive systems that revolves
around a temporal model that incorporates a multiplicity of timelines. This model is central to …

Actors have become widespread in programming languages and programming frameworks
focused on parallel and distributed computing. While actors provide a more disciplined …

This paper presents a method for detecting cyber-attacks in cyber-physical systems using a
monitor. The method employs an abstract model called Tiny Twin, which is built at design …

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 …

Asynchronous frameworks for distributed embedded systems, like ROS and MQTT, are
increasingly used in safety-critical applications such as autonomous driving, where the cost …

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 …