We present the implementation of a prototype tool that runtime checks specifications written
in a maximally-expressive safety fragment of the linear-time modal μ-calculus called MAX …

Reactive software calls for instrumentation methods that uphold the reactive attributes of
systems. Runtime verification imposes another demand on the instrumentation, namely that …

This paper proposes an adaptation of session types to provide behavioural information
about public functions in Elixir modules. We formalise typechecking rules for the main …

Modern ICT infrastructures, ie, cyber-physical systems and critical infrastructures relying on
interconnected IT (Information Technology)-and OT (Operational Technology)-based …

We present Graft, a generic tool for creating distributed consensus clusters running the Raft
algorithm using state machines in Elixir. Our tool exhibits performance that is comparable to …

Runtime enforcement is a dynamic analysis technique that instruments a monitor with a
system in order to ensure its correctness as specified by some property. This paper explores …

Intelligent monitoring systems can effectively predict or detect anomalies and issues in smart
working systems and ecosystems and implement the proper countermeasures. However, for …

The Erlang programming language is used to build concurrent, distributed, scalable and
resilient systems. Every component of these systems has to be thoroughly tested not only for …

In various service-oriented applications such as distributed autonomous delivery,
healthcare, tourism, transportation, and many others, where service agents need to perform …

Runtime enforcement is a dynamic analysis technique that uses monitors to enforce the
behaviour specified by some correctness property on an executing system. The …