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 2024)
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 2024)