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 …

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 …

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 …

Runtime Verification can be defined as a collection of formal methods for studying the
dynamic evaluation of execution traces against formal specifications. Aside from creating a …

Bug-tracking and issue-tracking systems tend to be populated with bugs, issues, or tickets
written by a wide variety of bug reporters, with different levels of training and knowledge …

The use of runtime verification, as a lightweight approach to guarantee properties of
systems, has been increasingly employed on real-life software. In this paper, we present the …

Motivation Scientists increasingly rely on intelligent information systems to help them in their
daily tasks, in particular for managing research objects, like publications or datasets. The …

The first international Competition on Runtime Verification (CRV) was held in September
2014, in Toronto, Canada, as a satellite event of the 14th international conference on …

With the growing complexity of railway control systems, it is required to preform runtime
safety checks of system executions that go beyond conventional runtime monitoring of pre …

Today's software systems tend to be long-living and often process security-critical data, so
kee** up with ever-changing security measures, attacks, and mitigations is critical to …