polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries.

Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace

Browse the full SEFM paper archive.