Property Directed Self Composition. - Ron Shemer; Arie Gurfinkel; Sharon Shoham; Yakir Vizel (CAV (1), 2019)

NoCFG: A Lightweight Approach for Sound Call Graph Approximation. - Aharon Abadi; Bar Makovitzki; Ron Shemer; Shmuel S. Tyszberowicz (CoRR, 2021)

A lightweight approach for sound call graph approximation. - Aharon Abadi; Bar Makovitzki; Ron Shemer; Shmuel S. Tyszberowicz (SAC, 2022)

Automated Property Directed Self Composition. - Akshatha Shenoy 001; Sumanth Prabhu S; Kumar Madhukar; Ron Shemer; Mandayam K. Srivas (ATVA, 2023)