@inproceedings{RISC5264,author = {David M. Cerna and Wolfgang Schreiner and and Temur Kutsia},
title = {{Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors}},
booktitle = {{SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science}},
language = {english},
abstract = {We analyze the space complexity of monitoring streams of messages whose expected behavior is
specified in a fragment of predicate logic; this fragment is the core of the LogicGuard specification
language that has been developed in an industrial context for the runtime monitoring of network traffic.
The execution of the monitors is defined by an operational semantics for the step-wise evaluation of
formulas, which requires the preservation of formula instances in memory until their truth value can be
determined. In the presented work, we analyze the number of instances that have to be preserved over
time for a significant fragment of the core language that involves only “future looking quantifiers”; this
lays the foundations for the space analysis of the entire core language.},
series = {EPiC Series in Computing},
volume = {39},
pages = {29--41},
publisher = {EasyChair},
isbn_issn = {ISSN 2040-557X},
year = {2016},
editor = {James H. Davenport and Fadoua Ghourabi},
refereed = {yes},
length = {13},
conferencename = {The 7th International Symposium on Symbolic Computation in Software Science},
url = {http://easychair.org/publications/paper/Space_Analysis_of_a_Predicate_Logic_Fragment_for_the_Specification_of_Stream_Monitors}
}