Ron Shemer

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 5

Top Topics

Communication Infrastructure

Top Venues

Publications

Akshatha Shenoy, Sumanth Prabhu S, Kumar Madhukar, Ron Shemer, Mandayam K. Srivas
Automated Property Directed Self Composition. ATVA (2023)
Aharon Abadi, Bar Makovitzki, Ron Shemer, Shmuel S. Tyszberowicz
A lightweight approach for sound call graph approximation. SAC (2022)
Aharon Abadi, Bar Makovitzki, Ron Shemer, Shmuel S. Tyszberowicz
NoCFG: A Lightweight Approach for Sound Call Graph Approximation. CoRR (2021)
Ron Shemer, Arie Gurfinkel, Sharon Shoham, Yakir Vizel
Property Directed Self Composition. CAV (1) (2019)
Ron Shemer, Arie Gurfinkel, Sharon Shoham, Yakir Vizel
Property Directed Self Composition. CoRR (2019)