Ruslán Ledesma-Garza

According to our database, Ruslán Ledesma-Garza authored at least 3 papers between 2012 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

An SMT-Based Approach to Coverability Analysis.

Javier Esparza, Ruslán Ledesma-Garza, Rupak Majumdar, Philipp J. Meyer, Filip Niksic

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Rabinizer 2: Small Deterministic Automata for LTL ∖ GU.

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

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Binary Reachability Analysis of Higher Order Functional Programs.

Ruslán Ledesma-Garza, Andrey Rybalchenko

Proceedings of the Static Analysis - 19th International Symposium, 2012