Rewriting-Based Techniques for Runtime Verification
Citations
256 citations
233 citations
208 citations
Cites methods from "Rewriting-Based Techniques for Runt..."
...Generation of observer automata for future time LTL is described in [ 36 ]....
[...]
...A rewriting implementation for future time Linear Temporal Logic (LTL) is presented in [25, 36 ]....
[...]
...All these techniques are described and analyzed in more detail in [ 36 ]....
[...]
202 citations
191 citations
Cites background from "Rewriting-Based Techniques for Runt..."
...However, it is more common to define an alternative semantics directly without introducing ◦̂ (see, for example, the early work in [133])....
[...]
...Offline monitoring also benefits from the fact that the captured execution trace typically describes complete executions, which allows for global trace analyses—these often require backwards traversal [133]....
[...]
References
13,779 citations
Additional excerpts
...The interested reader is referred to [36] for a O(n3m) dynamic programming algorithm (n is the length of the execution trace and m is the size of the ERE), and to [63, 42] for O(n2m) non-trivial algorithms....
[...]
9,021 citations
5,174 citations
3,409 citations
2,650 citations