Download PDFOpen PDF in browser

Event Stream Processing with BeepBeep 3

8 pagesPublished: December 14, 2017

Abstract

This paper is a short introduction to the BeepBeep 3 event stream processor. It highlights the main design decisions that informed its development, and the features that distinguish it from other Runtime Verification tools.

Keyphrases: beepbeep, complex event processing, event stream processing, tool paper

In: Giles Reger and Klaus Havelund (editors). RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, vol 3, pages 81-88.

BibTeX entry
@inproceedings{RV-CuBES2017:Event_Stream_Processing_with,
  author    = {Sylvain Hallé and Raphael Khoury},
  title     = {Event Stream Processing with BeepBeep 3},
  booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
  editor    = {Giles Reger and Klaus Havelund},
  series    = {Kalpa Publications in Computing},
  volume    = {3},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/5H1j},
  doi       = {10.29007/4cth},
  pages     = {81-88},
  year      = {2017}}
Download PDFOpen PDF in browser