Ruslán Ledesma-Garza

An SMT-Based Approach to Coverability Analysis

Rupak Majumdar, Javier Esparza, Philipp J. Meyer, 2014, CAV.

Binary Reachability Analysis of Higher Order Functional Programs

Andrey Rybalchenko, Ruslán Ledesma-Garza, 2012, SAS.

Rabinizer 2: Small Deterministic Automata for LTL ∖ GU

Jan Kretínský, Ruslán Ledesma-Garza, 2013, ATVA.