A large number of distributed applications requires continuous and timely processing of
information as it flows from the periphery to the center of the system. Examples include …

Develo** advanced robotics applications is now facing the safety issue for users, the
environment, and the robot itself, which is a main limitation for their deployment in real life …

The aim of this chapter is to act as a primer for those wanting to learn about Runtime
Verification (RV). We start by providing an overview of the main specification languages …

We present two techniques to improve landmark localization in images from partially
annotated datasets. Our primary goal is to leverage the common situation where precise …

Self-adaptive software needs quantitative verification at runtime Page 1 SepteMBer 2012 | voL.
55 | No. 9 | CommuniCationS oF the aCm 69 SOFTWare iS BeCOMiNg the backbone of modern …

Over the last 20 years, runtime verification (RV) has grown into a diverse and active field,
which has stimulated the development of numerous theoretical frameworks and practical …

To allow autonomous vehicles to safely participate in traffic and to avoid liability claims for
car manufacturers, autonomous vehicles must obey traffic rules. However, current traffic …

This tutorial presents an overview of the field referred as to runtime verification. Runtime
Verification is the study of algorithms, data structures, and tools focused on analyzing …

The Internet of Things (IoT) is a ubiquitous system connecting many different devices-the
things-which can be accessed from the distance. The cyber-physical systems (CPSs) …

Formal verification and validation play a crucial role in making cyber-physical systems (CPS)
safe. Formal methods make strong guarantees about the system behavior if accurate models …