Follow
Diego E. Alonso Blas
Diego E. Alonso Blas
Standard Chartered
Verified email at sc.com
Title
Cited by
Cited by
Year
On the limits of the classical approach to cost analysis
DE Alonso-Blas, S Genaim
International Static Analysis Symposium, 405-421, 2012
582012
Asymptotic resource usage bounds
E Albert, D Alonso, P Arenas, S Genaim, G Puebla
Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul …, 2009
142009
Precise cost analysis via local reasoning
DE Alonso-Blas, P Arenas, S Genaim
Automated Technology for Verification and Analysis: 11th International …, 2013
102013
Handling Non-linear Operations in the Value Analysis of COSTA
D Alonso, P Arenas, S Genaim
Electronic Notes in Theoretical Computer Science 279 (1), 3-17, 2011
62011
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
De programas abstractos a cotas asintóticas precisas en forma cerrada
DE Alonso Blas
Universidad Complutense de Madrid, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–6