This article gives an overview of the, monitoring oriented programming framework (MOP). In
MOP, runtime monitoring is supported and encouraged as a fundamental principle for …

Runtime verification is an area of formal methods that studies the dynamic analysis of
execution traces against formal specifications. Typically, the two main activities in runtime …

Wireless medical cyber-physical systems are widely adopted in the daily practices of
medicine, where huge amounts of data are sampled by the wireless medical devices and …

We address the problem of runtime monitoring for hard real-time programs—a domain in
which correctness is critical yet has largely been overlooked in the runtime monitoring …

In this paper, we present Vigilare system, a kernel integrity monitor that is architected to
snoop the bus traffic of the host system from a separate independent hardware. This snoop …

We present R2U2, a novel framework for runtime monitoring of security properties and
diagnosing of security threats on-board Unmanned Aerial Systems (UAS). R2U2 …

We present R2U2, a novel framework for runtime monitoring of security properties and
diagnosing of security threats on-board Unmanned Aerial Systems (UAS). R2U2 …

Abstract Runtime Monitoring or Verification deals with traces. In its most simple form a
monitoring system takes a trace produced by a system and a specification of correct …

Runtime monitoring is a versatile technique for detecting property violations in safety-critical
(SC) systems. Although instrumentation of the system under monitoring is a common …

As robotic and autonomy systems become progressively more present in industrial and
human-interactive applications, it is increasingly critical for them to behave safely in the …