Smart contracts are self-executing digital transactions using decentralized cryptographic
mechanisms for enforcement. They were theorized more than twenty years ago, but the …

In this paper, a brief account of the field of runtime verification is given. Starting with a
definition of runtime verification, a comparison to well-known verification techniques like …

This article studies runtime verification of properties expressed either in lineartime temporal
logic (LTL) or timed lineartime temporal logic (TLTL). It classifies runtime verification in …

Multi-agents systems are composed of autonomous and possibly heterogeneous software
agents that act according to their own interests. Some coordination mechanism must be …

The notion to digitally articulate, execute, and enforce agreements with smart contracts has
become a feasible reality today. Smart contracts have the potential to vastly improve the …

Legal contracts specify the terms and conditions—in essence, requirements—that apply to
business transactions. This paper proposes a formal specification language for legal …

Abstract Service contracts bind parties legally, regulating their behavior in the scope of a
(business) service relationship. Given that there are legal consequences attached to service …

Legal relations abound in conceptual modeling. Despite that, the representation of these
relations in the area has not yet received sufficient theoretical support. We address this by …

Automated compliance checking (ACC) in the construction domain continues to be a
challenge. Current ACC systems do not provide the level of knowledge representation and …

Compliance in business processes has become a fundamental requirement given the
constant rise in regulatory requirements and competitive pressures that have emerged in …