Thomas, J., Fischmeister, S., & Kumar, D. (2011). Lowering Overhead in Sampling-based Execution Monitoring and Tracing Proc. Of the ACM SIGPLAN SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES), 101-110. Chicago, USA. https://doi.org/10.1145/1967677.1967692
Reference keyword: monitoring
Bonakdarpour, B., Navabpour, S., & Fischmeister, S. (2011). Sampling-based Runtime Verification Proceedings of the 17th International Conference on Formal Methods (FM), 88-102. Limerick, Ireland. https://doi.org/10.1007/978-3-642-21437-0_9 (Original work published 2025)
Fischmeister, S., & Ba, Y. (2010). Sampling-based Program Execution Monitoring Proc. Of the ACM SIGPLAN SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), 133-142. Stockholm, Sweden. https://doi.org/10.1145/1755888.1755908 (Original work published 2025)