Márton Búr, Kristóf Marussy, Brett H. Meyer, Dániel Varró. Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation. ACM Trans. Embedded Comput. Syst., 20(6), 2021. [doi]
@article{BurMMV21,
title = {Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation},
author = {Márton Búr and Kristóf Marussy and Brett H. Meyer and Dániel Varró},
year = {2021},
doi = {10.1145/3471904},
url = {https://doi.org/10.1145/3471904},
researchr = {https://researchr.org/publication/BurMMV21},
cites = {0},
citedby = {0},
journal = {ACM Trans. Embedded Comput. Syst.},
volume = {20},
number = {6},
}