Bonakdarpour, B., Thomas, J., & Fischmeister, S. (2012). Time-triggered Program Self-monitoring Proc. Of 18th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 260-269. Seoul, Korea. https://doi.org/10.1109/RTCSA.2012.16
Reference keyword: Runtime verification
Navabpour, S., Wu, C. W. W., Bonakdarpour, B., & Fischmeister, S. (2011). Efficient Techniques for Near-optimal Instrumentation in Time-triggered Runtime Verification Proc. Of the 2nd International Conference on Runtime Verification (RV), 208-222. San Francisco, USA. https://doi.org/10.1007/978-3-642-29860-8_16 (Original work published 2025)
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)
Berkovich, S., Bonakdarpour, B., & Fischmeister, S. (2013). GPU-based Runtime Verification Presented at the IEEE International Parallel & Distributed Processing Symposium (IPDPS) conference. (Original work published 2025)