Follow
Antonio Flores Montoya
Antonio Flores Montoya
Phd in Computer Science
Verified email at grammatech.com - Homepage
Title
Cited by
Cited by
Year
Resource analysis of complex programs with cost equations
A Flores-Montoya, R Hähnle
Asian Symposium on Programming Languages and Systems, 275-295, 2014
1132014
SACO: static analyzer for concurrent objects
E Albert, P Arenas, A Flores-Montoya, S Genaim, M Gómez-Zamalloa, ...
International Conference on Tools and Algorithms for the Construction and …, 2014
872014
May-happen-in-parallel based deadlock analysis for concurrent objects
AE Flores-Montoya, E Albert, S Genaim
Formal Techniques for Distributed Systems, 273-288, 2013
622013
Analysis of may-happen-in-parallel in concurrent objects
E Albert, AE Flores-Montoya, S Genaim
Formal Techniques for Distributed Systems, 35-51, 2012
412012
Datalog disassembly
A Flores-Montoya, E Schulte
29th USENIX Security Symposium (USENIX Security 20), 1075-1092, 2020
322020
Upper and lower amortized cost bounds of programs expressed as cost relations
A Flores-Montoya
International Symposium on Formal Methods, 254-273, 2016
272016
jpet: An automatic test-case generator for java
E Albert, I Cabanas, A Flores-Montoya, M Gómez-Zamalloa, S Gutiérrez
2011 18th Working Conference on Reverse Engineering, 441-442, 2011
252011
May-happen-in-parallel analysis for actor-based concurrency
E Albert, A Flores-Montoya, S Genaim, E Martin-Martin
ACM Transactions on Computational Logic (TOCL) 17 (2), 1-39, 2015
212015
Termination and cost analysis of loops with concurrent interleavings
E Albert, A Flores-Montoya, S Genaim, E Martin-Martin
Automated Technology for Verification and Analysis, 349-364, 2013
202013
Cost analysis of programs based on the refinement of cost relations
A Flores Montoya
Technische Universität, 2017
112017
Rely-guarantee termination and cost analyses of loops with concurrent interleavings
E Albert, A Flores-Montoya, S Genaim, E Martin-Martin
Journal of Automated Reasoning 59 (1), 47-85, 2017
82017
GTIRB: intermediate representation for binaries
E Schulte, J Dorn, A Flores-Montoya, A Ballman, T Johnson
arXiv preprint arXiv:1907.02859, 2019
52019
Automatic inference of bounds on resource consumption
E Albert, DE Alonso-Blas, P Arenas, J Correas, A Flores-Montoya, ...
International Symposium on Formal Methods for Components and Objects, 119-144, 2012
32012
Systems and/or methods for generating reassemblable disassemblies of binaries using declarative logic
EM Schulte, AEF MONTOYA
US Patent 10,705,814, 2020
22020
CoFloCo: system description
A Flores-Montoya
15th International Workshop on Termination 20, 2016
22016
MayPar: a may-happen-in-parallel analyzer for concurrent objects
E Albert, A Flores-Montoya, S Genaim
Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012
22012
May-happen-in-parallel analysis with condition synchronization
E Albert, A Flores-Montoya, S Genaim
International Workshop on Foundational and Practical Aspects of Resource …, 2015
12015
Refined Resource Analysis Based on Cost Relations
R Hähnle, A Flores-Montoya
2016
Analysis of May-Happen-in-Parallel in Concurrent Objects
AE Flores Montoya
2012
Introduction
D Linhart
Pourquoi travaillons-nous?, 7-33, 2008
2008
The system can't perform the operation now. Try again later.
Articles 1–20