Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Symbolic Monitoring against Specifications Parametric in Time and Data   Monitoring consists in deciding whether a log meets a given specification. In
this work, we propose an automata-based formalism to monitor logs in the form
of actions associated with time stamps and arbitrarily data values over
infinite domains. Our formalism uses both timing parameters and data
parameters, and is able to output answers symbolic in these parameters and in
the log segments where the property is satisfied or violated. We implemented
our approach in an ad-hoc prototype SyMon, and experiments show that its high
expressive power still allows for efficient online monitoring.

0
The categories of this paper are: hep-ph
32
The categories of this paper are: atom-ph
35
The categories of this paper are: mtrl-th
20
The categories of this paper are: acc-phys
30
The categories of this paper are: q-alg
14
The categories of this paper are: math-ph
8
The categories of this paper are: hep-ex
25
The categories of this paper are: patt-sol
12
The categories of this paper are: nucl-th
37
The categories of this paper are: supr-con
3
The categories of this paper are: physics
6
The categories of this paper are: astro-ph
27
The categories of this paper are: comp-gas
5
The categories of this paper are: gr-qc
10
The categories of this paper are: q-bio
17
The categories of this paper are: q-fin