jPET: An Automatic Test-Case Generator for Java. - Elvira Albert; Israel Cabanas; Antonio Flores-Montoya; Miguel Gómez-Zamalloa; Sergio Gutierrez (WCRE, 2011)

Automatic Inference of Bounds on Resource Consumption. - 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 (FMCO, 2012)

Analysis of May-Happen-in-Parallel in Concurrent Objects. - Elvira Albert; Antonio Flores-Montoya; Samir Genaim (FMOODS/FORTE, 2012)

MayPar: a may-happen-in-parallel analyzer for concurrent objects. - Elvira Albert; Antonio Flores-Montoya; Samir Genaim (SIGSOFT FSE, 2012)

Termination and Cost Analysis of Loops with Concurrent Interleavings. - Elvira Albert; Antonio Flores-Montoya; Samir Genaim; Enrique Martin-Martin (ATVA, 2013)

May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects. - Antonio Flores-Montoya; Elvira Albert; Samir Genaim (FMOODS/FORTE, 2013)

Resource Analysis of Complex Programs with Cost Equations. - Antonio Flores-Montoya; Reiner Hähnle (APLAS, 2014)

Analysis of Executable Software Models. - Richard Bubel; Antonio Flores-Montoya; Reiner Hähnle (SFM, 2014)

SACO: Static Analyzer for Concurrent Objects. - Elvira Albert; Puri Arenas; Antonio Flores-Montoya; Samir Genaim; Miguel Gómez-Zamalloa; Enrique Martin-Martin; German Puebla; Guillermo Román-Díez (TACAS, 2014)

May-Happen-in-Parallel Analysis with Condition Synchronization. - Elvira Albert; Antonio Flores-Montoya; Samir Genaim (FOPARA, 2015)

Upper and Lower Amortized Cost Bounds of Programs Expressed as Cost Relations. - Antonio Flores-Montoya (FM, 2016)

May-Happen-in-Parallel Analysis for Actor-Based Concurrency. - Elvira Albert; Antonio Flores-Montoya; Samir Genaim; Enrique Martin-Martin (ACM Trans. Comput. Log., 2016)

Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings. - Elvira Albert; Antonio Flores-Montoya; Samir Genaim; Enrique Martin-Martin (J. Autom. Reason., 2017)

Cost Analysis of Programs Based on the Refinement of Cost Relations. - Antonio Flores-Montoya (2017)

GTIRB: Intermediate Representation for Binaries. - Eric M. Schulte; Jonathan Dorn; Antonio Flores-Montoya; Aaron Ballman; Tom Johnson (CoRR, 2019)

Datalog Disassembly. - Antonio Flores-Montoya; Eric M. Schulte (USENIX Security Symposium, 2020)

Disassembly as Weighted Interval Scheduling with Learned Weights. - Antonio Flores-Montoya; Junghee Lim; Adam Seitz; Akshay Sood; Edward Raff; James Holt (SP, 2025)