Binary Reachability Analysis of Higher Order Functional Programs. - Ruslán Ledesma-Garza; Andrey Rybalchenko (SAS, 2012)

Rabinizer 2: Small Deterministic Automata for LTL ∖ GU. - Jan Kretínský; Ruslán Ledesma-Garza (ATVA, 2013)

An SMT-Based Approach to Coverability Analysis. - Javier Esparza; Ruslán Ledesma-Garza; Rupak Majumdar; Philipp J. Meyer; Filip Niksic (CAV, 2014)