Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications

@inproceedings{Cerna2017MeasuringTG,
  title={Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications},
  author={David Cerna and Wolfgang Schreiner},
  booktitle={SCSS},
  year={2017}
}
In previous work we presented an algorithmic procedure for analysing the space complexity of monitor specifications written in a fragment of predicate logic. These monitor specifications were developed for runtime monitoring of event streams. Our procedure provides accurate results for a large fragment of the possible specifications, but overestimates the space complexity of precisely those specifications which are more likely to be found in real world applications. Experiments hinted at a… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 10 references

Verifying the Soundness of Resource Analysis for LogicGuard Monitors (Revised Version)

Temur Kutsia, Wolfgang Schreiner
Technical Report 14-08, • 2014
View 1 Excerpt

LOLA: runtime monitoring of synchronous systems

12th International Symposium on Temporal Representation and Reasoning (TIME'05) • 2005
View 2 Excerpts

Counter-Free Automata, volume 65 of Research Monograph

Robert McNaughton, Seymour Papert
1971
View 1 Excerpt

Similar Papers

Loading similar papers…