Reference author: Yogi Joshi

Cutulenco, G. ., Joshi, Y. ., Narayan, A. ., & Fischmeister, S. . (2016). Mining Timed Regular Expressions from System Traces. Proceedings of the 5th International Workshop on Software Mining, 3-10. Singapore. https://doi.org/10.1145/2975961.2975962

Navabpour, S. ., Joshi, Y. ., Wallace, C. W., Berkovich, S. ., Medhat, R. ., Bonakdarpour, B. ., & Fischmeister, S. . (2013). RiTHM: A Tool for Enabling Time-triggered Runtime Verification for C Programs. Proc. Of the ACM Symposium on the Foundations of Software Engineering (FSE). Presented at the. St. Petersburg, Russia.

Narayan, A. ., Cutulenco, G. ., Joshi, Y. ., & Fischmeister, S. . (2018). Mining Timed Regular Specifications from System Traces. ACM Transactions on Embedded Computing Systems, 17. https://doi.org/10.1145/3147660

Joshi, Y. ., Tchamgoue, G. M., & Fischmeister, S. . (2017). Runtime Verification of LTL on Lossy Traces. 32nd ACM Symposium on Applied Computing (SAC), 1379-1386. Marrakech, Morocco. https://doi.org/10.1145/3019612.3019827

Narayan, A. ., Kauffman, S. ., Morgan, J. ., Tchamgoue, G. M., Joshi, Y. ., Fischmeister, S. ., & Hobbs, C. . (2017). System Call Logs with Natural Random Faults: Experimental Design and Application. Silicon Errors in Logic &Mdash; System Effects (SELSE). Presented at the. Boston, USA.

Medhat, R. ., Bonakdarpour, B. ., Fischmeister, S. ., & Joshi, Y. . (2016). Accelerated Runtime Verification of LTL Specifications with Counting Semantics. International Conference on Runtime Verification, 251-267. Madrid, Spain. https://doi.org/10.1007/978-3-319-46982-9_16