Automatic Inference of Bounds on Resource Consumption - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. In Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue, editors, Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures. Volume 7866 of Lecture Notes in Computer Science, pages 119-144, Springer, 2012. [doi]

This author has not been identified. Look up 'Elvira Albert' in GoogleThis author has not been identified. Look up 'Diego Esteban Alonso-Blas' in GoogleThis author has not been identified. Look up 'Puri Arenas' in GoogleThis author has not been identified. Look up 'Jesús Correas' in GoogleThis author has not been identified. Look up 'Antonio Flores-Montoya' in GoogleThis author has not been identified. It may be one of the following persons:

Samir Genaim

Look up 'Samir Genaim' in GoogleThis author has not been identified. Look up 'Miguel Gómez-Zamalloa' in GoogleThis author has not been identified. Look up 'Abu Naser Masud' in GoogleThis author has not been identified. Look up 'German Puebla' in GoogleThis author has not been identified. Look up 'José Miguel Rojas' in GoogleThis author has not been identified. Look up 'Guillermo Román-Díez' in GoogleThis author has not been identified. Look up 'Damiano Zanardini' in Google

runs on WebDSL