Antonio Flores-Montoya - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 16 from 16

2025

Disassembly as Weighted Interval Scheduling with Learned WeightsAntonio Flores-Montoya, Junghee Lim, Adam Seitz, Akshay Sood, Edward Raff, James Holt. sp 2025: 3033-3050 [doi]

2020

Datalog DisassemblyAntonio Flores-Montoya, Eric M. Schulte. uss 2020: 1075-1092 [doi]

2017

Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent InterleavingsElvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin. JAR, 59(1):47-85, 2017. [doi]

Cost Analysis of Programs Based on the Refinement of Cost RelationsAntonio Flores-Montoya. PhD thesis, Darmstadt University of Technology, Germany, 2017. [doi]

2016

May-Happen-in-Parallel Analysis for Actor-Based ConcurrencyElvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin. tocl, 17(2):11, 2016. [doi]

Upper and Lower Amortized Cost Bounds of Programs Expressed as Cost RelationsAntonio Flores-Montoya. FM 2016: 254-273 [doi]

2015

May-Happen-in-Parallel Analysis with Condition SynchronizationElvira Albert, Antonio Flores-Montoya, Samir Genaim. FOPARA 2016: 1-19 [doi]

2014

2013

Termination and Cost Analysis of Loops with Concurrent InterleavingsElvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin. ATVA 2013: 349-364 [doi]

May-Happen-in-Parallel Based Deadlock Analysis for Concurrent ObjectsAntonio Flores-Montoya, Elvira Albert, Samir Genaim. forte 2013: 273-288 [doi]

2012

2011

jPET: An Automatic Test-Case Generator for JavaElvira Albert, Israel Cabanas, Antonio Flores-Montoya, Miguel Gómez-Zamalloa, Sergio Gutierrez. WCRE 2011: 441-442 [doi]

Sign in or sign up to see more results.

runs on WebDSL