Shay Berkovich

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

Affiliation: 
University of Waterloo

Publications with this group

2015

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

2013

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.