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 21 recent publications, both to generate and to include results inside papers.

Runtime Enforcement Using a Multi-Trace Model, International Conference on Foundations of Privacy & Security (FPS 2021)
Foundations of Fine-Grained Explainability, 33rd International Conference on Computer Aided Verification (CAV 2021)
Computer Simulations of Scientific Peer Reviewing, IEEE Access, 9, 111595-111607 (2021)
Detecting trend deviations with generic stream processing patterns, Information Systems, 101, 101446 (2021)
An Empirical Study of Web Page Structural Properties, Journal of Web Engineering, 20(4), 971-1002 (2021)
Model Checking of Stream Processing Pipelines, 28th International Symposium on Temporal Representation and Reasoning (TIME 2021)
Runtime Verification Under Access Restrictions, 9th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE@ICSE 2021)
Test Sequence Generation with Cayley Graphs, 14th IEEE International Conference on Software Testing, Verification and Validation Workshops (A-MOST@ICST 2021)
Offline monitoring of LTL with bit vectors, 36th ACM/SIGAPP Symposium on Applied Computing (SAC 2021)
Smart Contracts-Enabled Simulation for Hyperconnected Logistics, in M. A. Khan et al. (eds.), Decentralised Internet of Things, Studies in Big Data 71, Springer
Detecting Responsive Web Design Bugs with Declarative Specifications, 20th International Conference on Web Engineering (ICWE 2020)
Structural Profiling of Web Sites in the Wild, 20th International Conference on Web Engineering (ICWE 2020)
Explainable Queries over Event Logs, 24th International IEEE EDOC Conference (EDOC 2020)
Predictive Analytics for Event Stream Processing, 23rd International IEEE EDOC Conference (EDOC 2019)
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)