TY  - RPRT
TI  - Worst-Case Execution Time Calculation for Query-Based Monitors by Witness Generation
AU  - Márton Búr
AU  - Kristóf Marussy
AU  - Brett H. Meyer
AU  - Dániel Varró
PY  - 2021
DO  - 10.1145/3471904
UR  - https://arxiv.org/abs/2102.03116
ID  - 2102.03116
ER  -