Ruslán Ledesma-Garza

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Functional Programs

Reachability Analysis

Term Rewriting Systems

Deterministic Automata

Top Venues

Publications

Javier Esparza, Ruslán Ledesma-Garza, Rupak Majumdar, Philipp J. Meyer, Filip Niksic
An SMT-Based Approach to Coverability Analysis. CAV (2014)
Jan Kretínský, Ruslán Ledesma-Garza
Rabinizer 2: Small Deterministic Automata for LTL ∖ GU. ATVA (2013)
Ruslán Ledesma-Garza, Andrey Rybalchenko
Binary Reachability Analysis of Higher Order Functional Programs. SAS (2012)