Graduate (MASc), 2012

Short Biography

Shay BerkovichIn 2007 I graduated from Technion - Israel Institute of Technology with B.Sc in Computer Science. My major areas were Communications and Parallel and Distributed Programming. After graduating I worked for four years in Elbit Systems - company that provides advanced high-perfromance electronics for aerospace industry. Being responsible for software part of avionics testing systems, I worked in the area of simulation architecture in soft-RT environment. I join RESG group after two terms in M.Eng program.

Contact Shay

University of Waterloo

Publications with this group


Berkovich, S., B. Bonakdarpour, and S. Fischmeister, "Runtime Verification with Minimal Intrusion Through Parallelism", Formal Methods in System Design, pp. 1-32, 2015.


Berkovich, S., B. Bonakdarpour, and S. Fischmeister, "GPU-based Runtime Verification", IEEE International Parallel & Distributed Processing Symposium (IPDPS), May, 2013. PDF icon [paper] (388.53 KB)
Navabpour, S., Y. Joshi, C. Wah Wallace, S. Berkovich, R. Medhat, B. Bonakdarpour, and S. Fischmeister, "RiTHM: A Tool for Enabling Time-triggered Runtime Verification for C Programs", Proc. of the ACM Symposium on the Foundations of Software Engineering (FSE), St. Petersburg, Russia, 2013.