Concepedia

Shay Berkovich

SB

Statistics

Publications

4

Citations

96

H-Index

4

Active since

2013

Affiliations

University of Waterloo(Current)

Shay Berkovich is an author at University of Waterloo specializing in formal verification, engineering, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystem SoftwareParallel ComputingSystems Engineering

Publications per year

2013–2020

4

Publications

4

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

Samaneh Navabpour, Yogi Joshi, Wallace Wu et al. · 2013 · 37 citations

Time-triggered Runtime Verification, Program Checking, Engineering +23

Runtime verification with minimal intrusion through parallelism

Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister · Formal Methods in System Design · 2015 · 24 citations

Engineering, Runtime Verification, Program Analysis +8

GPU-based Runtime Verification

Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister · 2013 · 24 citations

Engineering, Gpu Benchmarking, Sequential Monitors +19

{UBCIS}: Ultimate Benchmark for Container Image Scanning

Shay Berkovich, Jeffrey Kam, Glenn Wurster · USENIX Security Symposium · 2020 · 11 citations

1–4 of 4