Monitoring plays a significant role in improving the quality of service in cloud computing. It
helps clouds to scale resource utilization adaptively, to identify defects in services for service …

The interfaces of software components are often paired with specifications or protocols that
prescribe correct and safe usage. An important class of these specifications consists of …

Runtime monitors have been proposed as a means to increase the reliability of safety-critical
systems. In particular, this report addresses runtime monitors for distributed hard real-time …

This tutorial deals with runtime enforcement and advocates its use as an extension of
runtime verification. While research efforts in runtime verification have been mainly …

Runtime verification as a field faces several challenges. One key challenge is how to keep
the overheads associated with its application low. This is especially important in real-time …

Garbage collection relieves programmers from the burden of explicit memory management.
However, explicit management is still required for finite system resources, such as I/O …

Typestate analysis determines whether a program violates a set of finite-state properties.
Because the typestate-analysis problem is statically undecidable, researchers have …

Researchers have developed a number of runtime verification tools that generate runtime
monitors in the form of AspectJ aspects. In this work, we present C lara, a novel framework to …

Recent developments in runtime verification and monitoring show that parametric regular
and temporal logic specifications can be efficiently monitored against large programs …

A software product line is a family of programs where each program is defined by a unique
combination of features. Product lines, like conventional programs, can be checked for …