Antonio Flores-Montoya

According to our database, Antonio Flores-Montoya authored at least 16 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Datalog Disassembly.

Antonio Flores-Montoya, Eric M. Schulte

Proceedings of the 29th USENIX Security Symposium, 2020

2019

GTIRB: Intermediate Representation for Binaries.

Eric M. Schulte, Jonathan Dorn, Antonio Flores-Montoya, Aaron Ballman, Tom Johnson

CoRR, 2019

2017

Cost Analysis of Programs Based on the Refinement of Cost Relations.

Antonio Flores-Montoya

PhD thesis, 2017

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

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

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

Antonio Flores-Montoya

Proceedings of the FM 2016: Formal Methods, 2016

2015

May-Happen-in-Parallel Analysis with Condition Synchronization.

Elvira Albert, Antonio Flores-Montoya, Samir Genaim

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2015

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Analysis of Executable Software Models.

Richard Bubel, Antonio Flores-Montoya, Reiner Hähnle

Proceedings of the Formal Methods for Executable Software Models, 2014

Resource Analysis of Complex Programs with Cost Equations.

Antonio Flores-Montoya, Reiner Hähnle

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013

May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects.

Antonio Flores-Montoya, Elvira Albert, Samir Genaim

Proceedings of the Formal Techniques for Distributed Systems, 2013

Termination and Cost Analysis of Loops with Concurrent Interleavings.

Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

MayPar: a may-happen-in-parallel analyzer for concurrent objects.

Elvira Albert, Antonio Flores-Montoya, Samir Genaim

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

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

Elvira Albert, Antonio Flores-Montoya, Samir Genaim

Proceedings of the Formal Techniques for Distributed Systems, 2012

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

Proceedings of the Formal Methods for Components and Objects, 2012

2011

jPET: An Automatic Test-Case Generator for Java.

Elvira Albert, Israel Cabanas, Antonio Flores-Montoya, Miguel Gómez-Zamalloa, Sergio Gutierrez

Proceedings of the 18th Working Conference on Reverse Engineering, 2011