Antonio Flores-Montoya
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2012–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SP | Disassembly as Weighted Interval Scheduling with Learned Weights. | Antonio Flores-Montoya, Junghee Lim, Adam Seitz, Akshay Sood, Edward Raff, James Holt |
| 2016 | FM | Upper and Lower Amortized Cost Bounds of Programs Expressed as Cost Relations. | Antonio Flores-Montoya |
| 2014 | APLAS | Resource Analysis of Complex Programs with Cost Equations. | Antonio Flores-Montoya, Reiner Hhnle |
| 2014 | TACAS | SACO: Static Analyzer for Concurrent Objects. | Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gmez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Romn-Dez |
| 2013 | ATVA | Termination and Cost Analysis of Loops with Concurrent Interleavings. | Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin |
| 2013 | FORTE | May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects. | Antonio Flores-Montoya, Elvira Albert, Samir Genaim |
| 2012 | FORTE | Analysis of May-Happen-in-Parallel in Concurrent Objects. | Elvira Albert, Antonio Flores-Montoya, Samir Genaim |