Resource analysis of complex programs with cost equations A Flores-Montoya, R Hähnle Asian Symposium on Programming Languages and Systems, 275-295, 2014 | 124 | 2014 |
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 | 95 | 2014 |
Datalog disassembly A Flores-Montoya, E Schulte 29th USENIX Security Symposium (USENIX Security 20), 1075-1092, 2020 | 90 | 2020 |
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 | 72 | 2013 |
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 | 47 | 2012 |
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 | 40 | 2016 |
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 | 32 | 2011 |
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 | 23 | 2015 |
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 | 23 | 2013 |
Cost analysis of programs based on the refinement of cost relations A Flores Montoya Technische Universität, 2017 | 13 | 2017 |
GTIRB: intermediate representation for binaries E Schulte, J Dorn, A Flores-Montoya, A Ballman, T Johnson arXiv preprint arXiv:1907.02859, 2019 | 11 | 2019 |
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 | 8 | 2017 |
Systems and/or methods for generating reassemblable disassemblies of binaries using declarative logic EM Schulte, AEF MONTOYA US Patent 10,705,814, 2020 | 3 | 2020 |
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 | 3 | 2013 |
CoFloCo: system description A Flores-Montoya 15th International Workshop on Termination 20, 2016 | 2 | 2016 |
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 | 2 | 2012 |
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 | 1 | 2016 |
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 |