Examples

Demos

The Examples folder of LabPal's GitHub repository shows a number of simple lab instances meant to illustrate the library's various features.

Research papers using LabPal

LabPal has also been used in a number of recent publications, both to generate and to include results inside papers.

Real-Time Data Mining for Event Streams, 22nd International IEEE EDOC Conference (EDOC 2018)
Monitoring of Security Properties Using BeepBeep, International Symposium on Foundations and Practice of Security (FPS 2018)
Decentralized enforcement of document lifecycle constraints, Information Systems Journal, Volume 74, Part 2, May 2018, Pages 117-135
Event Stream Processing with Multiple Threads, International Symposium on Runtime Verification (RV 2017)
SealTest: A Simple Library for Test Sequence Generation, ACM International Symposium on Software Testing and Analysis (ISSTA 2017)
From Complex Event Processing to Simple Event Processing, arXiv technical report, 2017
Execution Trace Analysis using LTL-FO+, International Symposium on Leveraging Applications of Formal Methods (ISoLA 2016)