German Puebla

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Individual Objects

Resource Consumption

Top Venues

Theor. Comput. Sci.

Publications

Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Román-Díez
SACO: Static Analyzer for Concurrent Objects. TACAS (2014)
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)
Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini
Cost analysis of object-oriented bytecode programs. Theor. Comput. Sci. 413 (1) (2012)
Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla
Cost Analysis of Concurrent OO Programs. APLAS (2011)
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, German Puebla
An overview of Ciao and its design philosophy CoRR (2011)
Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana V. Ramírez-Deantes
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. SAS (2010)
Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, German Puebla
Verification of Java Bytecode using Analysis and Transformation of Logic Programs CoRR (2010)
Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, Diana V. Ramírez-Deantes, Guillermo Román-Díez, Damiano Zanardini
Termination and Cost Analysis with COSTA and its User Interfaces. Electron. Notes Theor. Comput. Sci. 258 (1) (2009)
Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim, German Puebla
Asymptotic Resource Usage Bounds. APLAS (2009)
Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla
Comparing Cost Functions in Resource Analysis. FOPARA (2009)
Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. FMCO (2007)