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
1222014
SACO: static analyzer for concurrent objects
E Albert, P Arenas, A Flores-Montoya, S Genaim, M Gómez-Zamalloa, ...
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
912014
Datalog disassembly
A Flores-Montoya, E Schulte
29th USENIX Security Symposium (USENIX Security 20), 1075-1092, 2020
882020
May-happen-in-parallel based deadlock analysis for concurrent objects
AE Flores-Montoya, E Albert, S Genaim
International Conference on Formal Methods for Open Object-Based Distributed …, 2013
672013
Analysis of may-happen-in-parallel in concurrent objects
E Albert, AE Flores-Montoya, S Genaim
International Conference on Formal Methods for Open Object-Based Distributed …, 2012
452012
Upper and lower amortized cost bounds of programs expressed as cost relations
A Flores-Montoya
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
392016
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
312011
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
232015
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: 11th International …, 2013
212013
Cost analysis of programs based on the refinement of cost relations
A Flores Montoya
Technische Universität, 2017
122017
GTIRB: intermediate representation for binaries
E Schulte, J Dorn, A Flores-Montoya, A Ballman, T Johnson
arXiv preprint arXiv:1907.02859, 2019
112019
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, 47-85, 2017
82017
Systems and/or methods for generating reassemblable disassemblies of binaries using declarative logic
EM Schulte, AEF MONTOYA
US Patent 10,705,814, 2020
32020
Automatic inference of bounds on resource consumption
E Albert, DE Alonso-Blas, P Arenas, J Correas, A Flores-Montoya, ...
Formal Methods for Components and Objects: 11th International Symposium …, 2013
32013
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
Foundational and Practical Aspects of Resource Analysis: 4th International …, 2016
12016
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