Shay Berkovich

According to our database, Shay Berkovich authored at least 4 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

UBCIS: Ultimate Benchmark for Container Image Scanning.

Shay Berkovich, Jeffrey Kam, Glenn Wurster

Proceedings of the 13th USENIX Workshop on Cyber Security Experimentation and Test, 2020

2015

Runtime verification with minimal intrusion through parallelism.

Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister

Formal Methods Syst. Des., 2015

2013

RiTHM: a tool for enabling time-triggered runtime verification for C programs.

Samaneh Navabpour, Yogi Joshi, Chun Wah Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

GPU-based Runtime Verification.

Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister

Proceedings of the 27th IEEE International Symposium on Parallel and Distributed Processing, 2013