Use Cases


BeepBeeep has been used in a variety of real-world use cases. This page maintains a list of the various projects where BeepBeep has been used, and for which documentation is available.

Stock ticker

Compute statistics over data produced by a fake stock ticker.

Medical Records Management

Detect abnormal patterns in data simulated from an electronic medical record system.

Online Auction System

Enforce lifecycle policies over possible events generated by an online auction system.

Voyager Telemetry

Identify planetary encounters of NASA's Voyager probes by processing their telemetry.

Monitoring of Security Policies

Prevent malicious software by enforcing security policies on Java method calls.


Contact Us

Laboratoire d'informatique formelle
Université du Québec à Chicoutimi
Chicoutimi, Québec, Canada

Web: liflab.ca

Laboratoire d'informatique formelle