Antonio Flores-Montoya

Resource Analysis of Complex Programs with Cost Equations

Reiner Hähnle, Antonio Flores-Montoya, Reiner Hähnle, 2014, APLAS.

SACO: Static Analyzer for Concurrent Objects

Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2014, TACAS.

May-Happen-in-Parallel Analysis for Actor-Based Concurrency

Elvira Albert, Samir Genaim, Enrique Martin-Martin, 2015, ACM Trans. Comput. Log..

Analysis of May-Happen-in-Parallel in Concurrent Objects

Elvira Albert, Samir Genaim, Antonio Flores-Montoya, 2012, FMOODS/FORTE.

Automatic Inference of Bounds on Resource Consumption

Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, 2012, FMCO.

Datalog Disassembly pdf

Eric M. Schulte, Antonio Flores-Montoya, Antonio Flores-Montoya, 2019, USENIX Security Symposium.

jPET: An Automatic Test-Case Generator for Java

Elvira Albert, Miguel Gómez-Zamalloa, Antonio Flores-Montoya, 2011, 2011 18th Working Conference on Reverse Engineering.

Analysis of Executable Software Models

Reiner Hähnle, Richard Bubel, Antonio Flores-Montoya, 2014, SFM.

Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings

Elvira Albert, Samir Genaim, Enrique Martin-Martin, 2016, Journal of Automated Reasoning.

Upper and Lower Amortized Cost Bounds of Programs Expressed as Cost Relations

Antonio Flores-Montoya, Antonio Flores-Montoya, 2016, FM.