References

Filter by:

Enter a value to search for title and contributor(s).
Enter a comma separated list of keywords.
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
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)