This paper surveys the risks brought by multitenancy in software platforms, along with the
most prominent solutions proposed to address them. A multitenant platform hosts and …

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 …

The recent confluence of embedded and real-time systems with wireless, sensor, and
networking technologies is creating a nascent infrastructure for a technical, economic, 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 …

The emerging cyber-physical systems (CPSs) are envisioned to integrate computation,
communication and control with the physical world. Therefore, CPS requires close …

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 …

We present a runtime verification framework for Java programs. Properties can be specified
in Linear-time Temporal Logic (LTL) over AspectJ pointcuts. These properties are checked …

Runtime Monitoring is a lightweight and dynamic verification technique that involves
observing the internal operations of a software system and/or its interactions with other …

Service compositions suffer changes in their partner services. Even if the composition does
not change, its behavior may evolve over time and become incorrect. Such changes cannot …

Wireless communication provides unique security challenges, but also enables novel ways
to defend against attacks. In the past few years, a number of works discussed the use of …