Antonio Flores-Montoya

19 papers A* 2A 1B 3Journal 5Unranked 7
YearRankTypeTitle / Venue / Authors
2025 A* conf
Disassembly as Weighted Interval Scheduling with Learned Weights.
SP
Antonio Flores-Montoya, Junghee Lim, Adam Seitz, Akshay Sood, Edward Raff, James Holt
2025 J jnl
Disassembly as Weighted Interval Scheduling with Learned Weights.
CoRR
Antonio Flores-Montoya, Junghee Lim, Adam Seitz, Akshay Sood, Edward Raff, James Holt
2020 A* conf
Datalog Disassembly.
USENIX Security Symposium
Antonio Flores-Montoya, Eric M. Schulte
2019 J jnl
Datalog Disassembly.
CoRR
Antonio Flores-Montoya, Eric M. Schulte
2019 J jnl
GTIRB: Intermediate Representation for Binaries.
CoRR
Eric M. Schulte, Jonathan Dorn, Antonio Flores-Montoya, Aaron Ballman, Tom Johnson
2017 — —
Cost Analysis of Programs Based on the Refinement of Cost Relations.
Antonio Flores-Montoya
2017 J jnl
Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings.
J. Autom. Reason.
Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin
2016 J jnl
May-Happen-in-Parallel Analysis for Actor-Based Concurrency.
ACM Trans. Comput. Log.
Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin
2016 B conf
Upper and Lower Amortized Cost Bounds of Programs Expressed as Cost Relations.
FM
Antonio Flores-Montoya
2015 — conf
May-Happen-in-Parallel Analysis with Condition Synchronization.
FOPARA
Elvira Albert, Antonio Flores-Montoya, Samir Genaim
2014 — conf
Analysis of Executable Software Models.
SFM
Richard Bubel, Antonio Flores-Montoya, Reiner Hähnle
2014 B conf
Resource Analysis of Complex Programs with Cost Equations.
APLAS
Antonio Flores-Montoya, Reiner Hähnle
2014 A conf
SACO: Static Analyzer for Concurrent Objects.
TACAS
Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Román-Díez
2013 — conf
May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects.
FMOODS/FORTE
Antonio Flores-Montoya, Elvira Albert, Samir Genaim
2013 B conf
Termination and Cost Analysis of Loops with Concurrent Interleavings.
ATVA
Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin
2012 — conf
Analysis of May-Happen-in-Parallel in Concurrent Objects.
FMOODS/FORTE
Elvira Albert, Antonio Flores-Montoya, Samir Genaim
2012 — conf
Automatic Inference of Bounds on Resource Consumption.
FMCO
Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Jesús Correas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Abu Naser Masud, German Puebla, José Miguel Rojas, Guillermo Román-Díez, Damiano Zanardini
2012 — conf
MayPar: a may-happen-in-parallel analyzer for concurrent objects.
SIGSOFT FSE
Elvira Albert, Antonio Flores-Montoya, Samir Genaim
2011 — conf
jPET: An Automatic Test-Case Generator for Java.
WCRE
Elvira Albert, Israel Cabanas, Antonio Flores-Montoya, Miguel Gómez-Zamalloa, Sergio Gutierrez