Antonio Flores-Montoya

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 6

Top Venues

CoRR

FMOODS/FORTE

FMCO

USENIX Security Symposium

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Antonio Flores-Montoya, Eric M. Schulte
Datalog Disassembly. USENIX Security Symposium (2020)
Antonio Flores-Montoya, Eric M. Schulte
Datalog Disassembly. CoRR (2019)
Eric M. Schulte, Jonathan Dorn, Antonio Flores-Montoya, Aaron Ballman, Tom Johnson
GTIRB: Intermediate Representation for Binaries. CoRR (2019)
Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin
Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings. J. Autom. Reason. 59 (1) (2017)
Antonio Flores-Montoya
Upper and Lower Amortized Cost Bounds of Programs Expressed as Cost Relations. FM (2016)
Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin
May-Happen-in-Parallel Analysis for Actor-Based Concurrency. ACM Trans. Comput. Log. 17 (2) (2016)
Elvira Albert, Antonio Flores-Montoya, Samir Genaim
May-Happen-in-Parallel Analysis with Condition Synchronization. FOPARA (2015)
Richard Bubel, Antonio Flores-Montoya, Reiner Hähnle
Analysis of Executable Software Models. SFM (2014)
Antonio Flores-Montoya, Reiner Hähnle
Resource Analysis of Complex Programs with Cost Equations. APLAS (2014)
Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Román-Díez
SACO: Static Analyzer for Concurrent Objects. TACAS (2014)
Antonio Flores-Montoya, Elvira Albert, Samir Genaim
May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects. FMOODS/FORTE (2013)
Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin
Termination and Cost Analysis of Loops with Concurrent Interleavings. ATVA (2013)
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
Automatic Inference of Bounds on Resource Consumption. FMCO (2012)
Elvira Albert, Antonio Flores-Montoya, Samir Genaim
MayPar: a may-happen-in-parallel analyzer for concurrent objects. SIGSOFT FSE (2012)
Elvira Albert, Antonio Flores-Montoya, Samir Genaim
Analysis of May-Happen-in-Parallel in Concurrent Objects. FMOODS/FORTE (2012)
Elvira Albert, Israel Cabanas, Antonio Flores-Montoya, Miguel Gómez-Zamalloa, Sergio Gutierrez
jPET: An Automatic Test-Case Generator for Java. WCRE (2011)

Antonio Flores-Montoya

Publication Activity (10 Years)

Top Topics

Top Venues