Shay Berkovich | Real-time Embedded Software Group

Short Biography

In 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.

Publications with this group

Berkovich, S. ., Bonakdarpour, B. ., & Fischmeister, S. . (2013). GPU-based Runtime Verification. IEEE International Parallel & Distributed Processing Symposium (IPDPS). Presented at the. (Original work published 2024)

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.

Berkovich, S. ., Bonakdarpour, B. ., & Fischmeister, S. . (2015). Runtime Verification with Minimal Intrusion Through Parallelism. Formal Methods in System Design, 1-32. https://doi.org/10.1007/s10703-015-0226-3