TY - GEN
T1 - nfer - A Tool for Event Stream Abstraction
AU - Kauffman, Sean
PY - 2021/12/3
Y1 - 2021/12/3
N2 - This work describes nfer, an open-source tool for event-stream abstraction and processing. Nfer implements the Runtime Verification logic of the same name, providing programming interfaces in C, R, and Python. Rules that dictate nfer's behavior can be written in an external Domain-Specific Language (DSL), mined from historical traces, or given using an internal DSL in Python. The tool is designed for efficient online monitoring of event streams and can also operate as an offline tool to process completed logs.
AB - This work describes nfer, an open-source tool for event-stream abstraction and processing. Nfer implements the Runtime Verification logic of the same name, providing programming interfaces in C, R, and Python. Rules that dictate nfer's behavior can be written in an external Domain-Specific Language (DSL), mined from historical traces, or given using an internal DSL in Python. The tool is designed for efficient online monitoring of event streams and can also operate as an offline tool to process completed logs.
UR - http://www.scopus.com/inward/record.url?scp=85121921740&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-92124-8_6
DO - 10.1007/978-3-030-92124-8_6
M3 - Article in proceeding
SN - 978-3-030-92123-1
T3 - Lecture Notes in Computer Science
SP - 103
EP - 109
BT - Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings
A2 - Calinescu, Radu
A2 - Pasareanu, Corina S.
PB - Springer
T2 - Software Engineering and Formal Methods, 19th International Conference, SEFM 2021, Virtual Event
Y2 - 6 December 2021 through 10 December 2021
ER -