Documentation

Tutorial

BeepBeep has been the subject of a tutorial at the 10th International Conference on Runtime Verification (RV 2016), held in September 2016 in Madrid. You can find below the slides for this tutorial.

You can also read the 24-page research paper that accompanies these slides, which was also published at RV 2016:

  • S. Hallé. (2016). When RV Meets CEP. Proc. RV 2016, Springer Lecture Notes in Computer Science 10012, 68-91.

User Guide

BeepBeep also has a guide for users and developers.

Research Papers

BeepBeep has been the subject of extensive academic research. You can find below a number of papers that have been published about BeepBeep in the recent past.