Rusln Ledesma-Garza
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2012–2014
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | CAV | An SMT-Based Approach to Coverability Analysis. | Javier Esparza, Rusln Ledesma-Garza, Rupak Majumdar, Philipp J. Meyer, Filip Niksic |
| 2013 | ATVA | Rabinizer 2: Small Deterministic Automata for LTL ∖ GU. | Jan Kretnsk, Rusln Ledesma-Garza |
| 2012 | SAS | Binary Reachability Analysis of Higher Order Functional Programs. | Rusln Ledesma-Garza, Andrey Rybalchenko |