Diego Esteban Alonso-Blas

According to our database, Diego Esteban Alonso-Blas authored at least 5 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

Precise Cost Analysis via Local Reasoning.

Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

On the Limits of the Classical Approach to Cost Analysis.

Diego Esteban Alonso-Blas, Samir Genaim

Proceedings of the Static Analysis - 19th International Symposium, 2012

Automatic Inference of Bounds on Resource Consumption.

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

Proceedings of the Formal Methods for Components and Objects, 2012

2011

Handling Non-linear Operations in the Value Analysis of COSTA.

Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim

Proceedings of the Sixth Workshop on Bytecode Semantics, 2011

2009

Asymptotic Resource Usage Bounds.

Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim, German Puebla

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009