Shay Berkovich

UBCIS: Ultimate Benchmark for Container Image Scanning

Glenn Wurster, Shay Berkovich, Jeffrey Kam, 2020, CSET @ USENIX Security Symposium.

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

Sebastian Fischmeister, Borzoo Bonakdarpour, Ramy Medhat, 2013, ESEC/FSE 2013.

Runtime verification with minimal intrusion through parallelism

Sebastian Fischmeister, Borzoo Bonakdarpour, Shay Berkovich, 2015, Formal Methods Syst. Des..

GPU-based Runtime Verification

Sebastian Fischmeister, Borzoo Bonakdarpour, Shay Berkovich, 2013, 2013 IEEE 27th International Symposium on Parallel and Distributed Processing.

Parallel Run-Time Verification

Shay Berkovich, 2013 .