Yogi Joshi | Real-time Embedded Software Group

Short Biography

I am currently a master's student in David Chertion School of Computer Science at University of Waterloo, Canada. I am a part of the Real-time Embedded Systems group and WatForm group. I am being co-supervised by Dr. Bonakdarpour and Dr. Fischmeister. I hold a Bachelor of Computer Engineering degree from University of Pune, India. Further, I have over four years of product development experience mainly in the domain of finance. I have been trained on different technologies by HP(Hewlett Packard), and I have hands-on experience on different programing languages and tools. My research interests are Embedded Systems, Formal Methods and Software Engineering.

Publications with this group

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.

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

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

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.

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

Kauffman, S. ., Havelund, K. ., Joshi, R. ., & Fischmeister, S. . (2018). Inferring Event Stream Abstractions. Formal Methods in System Design, 29. https://doi.org/10.1007/s10703-018-0317-z