Diego Esteban Alonso-Blas

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Quantitative Analysis

Resource Consumption

Top Venues

Publications

Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim
Precise Cost Analysis via Local Reasoning. ATVA (2013)
Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Jesús Correas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Abu Naser Masud, German Puebla, José Miguel Rojas, Guillermo Román-Díez, Damiano Zanardini
Automatic Inference of Bounds on Resource Consumption. FMCO (2012)
Diego Esteban Alonso-Blas, Samir Genaim
On the Limits of the Classical Approach to Cost Analysis. SAS (2012)
Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim
Handling Non-linear Operations in the Value Analysis of COSTA. Electron. Notes Theor. Comput. Sci. 279 (1) (2011)
Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim, German Puebla
Asymptotic Resource Usage Bounds. APLAS (2009)