German Puebla
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2009–2014
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | TACAS | SACO: Static Analyzer for Concurrent Objects. | Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gmez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Romn-Dez |
| 2011 | APLAS | Cost Analysis of Concurrent OO Programs. | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gmez-Zamalloa, German Puebla |
| 2010 | SAS | From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. | Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana V. Ramrez-Deantes |
| 2009 | APLAS | Asymptotic Resource Usage Bounds. | Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim, German Puebla |