… Here we first define monitors M and parametric monitors ΛX.M. Like for parametric … over
parametric traces, we show that parametric monitors are also just monitors, but for parametric …

… only monitor execution traces in which the first event in each slice … JavaMOP from monitoring
some basic parametric properties, … Our novel approach to parametric trace slicing and mon…

… Our novel approach to parametric trace slicing and monitoring discussed in this paper does
not have that limitation anymore. The parametric slicing and monitoring technique discussed …

… Monitoring of the parametric trace slices is performed by a monitoring module, such as
module 108 of FIG. 1. The monitoring of the parametric trace slices can be performed as the …

… , ie a mechanism for generating monitors from specifications. … trace properties and to act
as monitors of execution traces. In … of so-called trace slicing [9], whereby traces are projected …

… Here we introduce parametric trace slicing and its relation to monitoring whilst also … section
can be used to optimise monitoring. The monitoring approach presented here is based on the …

… connected parameter instances in order to remove trace slices … We show that a parametric
trace can comprise, in the worst… for trace slicers for monitoring to generate trace slices corre…

… In this section, we briefly introduce the core semantics of parametric monitoring based on
parametric trace slicing to make this paper self-contained. More details, including further formal …

… Indeed, a contribution of this paper is an optimisation of an existing monitoring technique
inspired by observations made during our work to understand the relationship between existing …

… To lift this to the parametric case with parametric trace slicing, we add a thread variable, eg
\({\… a range of optimisations related to parametric trace slicing that allow it to monitor efficiently. …