Title
A Framework for Parameterized Monitorability.
Abstract
We introduce a general framework for Runtime Verification, parameterized with respect to a set of conditions. These conditions are encoded in the trace generated by a monitored process, which a monitor can observe. We present this parameterized framework in its general form and prove that it corresponds to a fragment of HML with recursion, extended with these conditions. We then show how this framework can be applied to a number of instantiations of the set of conditions.
Year
Venue
Field
2018
FoSSaCS
Discrete mathematics,Parameterized complexity,Computer science,Theoretical computer science,Runtime verification,Recursion
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
17
4
Name
Order
Citations
PageRank
Luca Aceto11125101.87
Antonis Achilleos2338.57
Adrian Francalanza318025.48
Anna Ingólfsdóttir461764.95