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
Reference author: Yogi Joshi
First name
Yogi
Last name
Joshi
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