Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation
Article in ACM Transactions on Embedded Computing Systems (October 2021)
The most recent citing publications are shown below. View all 14 publications that cite this research output on Dimensions.
Article in ACM Transactions on Embedded Computing Systems (October 2021)
Conference proceeding (October 2020)
Article in International Journal on Software Tools for Technology Transfer (September 2019)