German Puebla
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c74 |      | Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez: Quantified Abstractions of Distributed Systems. IFM 2013: 285-300 |
| 2012 | ||
| j22 | | Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini: Cost analysis of object-oriented bytecode programs. Theor. Comput. Sci. 413(1): 142-159 (2012) |
| j21 | | Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, Germán Puebla: An overview of Ciao and its design philosophy. TPLP 12(1-2): 219-252 (2012) |
| j20 | | Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo: Certificate size reduction in abstraction-carrying code. TPLP 12(3): 283-318 (2012) |
| c73 | | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla: Automatic Inference of Resource Consumption Bounds. LPAR 2012: 1-11 |
| c72 | | Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez: Incremental resource usage analysis. PEPM 2012: 25-34 |
| c71 | | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla: COSTABS: a cost and termination analyzer for ABS. PEPM 2012: 151-154 |
| 2011 | ||
| j19 | | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla: Closed-Form Upper Bounds in Static Cost Analysis. J. Autom. Reasoning 46(2): 161-203 (2011) |
| j18 | | Julia Lawall, Germán Puebla, Germán Vidal: Editorial. Higher-Order and Symbolic Computation 24(1-2): 1-2 (2011) |
| j17 | | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo: Efficient local unfolding with ancestor stacks. TPLP 11(1): 1-32 (2011) |
| c70 | | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla: Cost Analysis of Concurrent OO Programs. APLAS 2011: 238-254 |
| c69 | | Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez: Verified resource guarantees using COSTA and KeY. PEPM 2011: 73-76 |
| c68 | | Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla: An Overview of the Ciao System. RuleML Europe 2011: 2 |
| i9 | | 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 abs/1102.5497 (2011) |
| 2010 | ||
| j16 | | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla: Test case generation for object-oriented imperative languages in CLP. TPLP 10(4-6): 659-674 (2010) |
| c67 | | Diana V. Ramírez-Deantes, Jesús Correas, Germán Puebla: Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries. FACS 2010: 218-236 |
| c66 | | Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla: Compositional CLP-Based Test Data Generation for Imperative Languages. LOPSTR 2010: 99-116 |
| c65 | | Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla: PET: a partial evaluation-based test case generation tool for Java bytecode. PEPM 2010: 25-28 |
| c64 | | 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: 100-116 |
| c63 | | Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong: HATS - A Formal Software Product Line Engineering Methodology. SPLC Workshops 2010: 121-128 |
| i8 | | Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, German Puebla: Verification of Java Bytecode using Analysis and Transformation of Logic Programs. CoRR abs/1007.3250 (2010) |
| i7 | | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla: Test Case Generation for Object-Oriented Imperative Languages in CLP. CoRR abs/1007.5195 (2010) |
| i6 | | Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo: Certificate size reduction in Abstraction-Carrying Code. CoRR abs/1010.4533 (2010) |
| 2009 | ||
| j15 | | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla: Cost Relation Systems: A Language-Independent Target Language for Cost Analysis. Electr. Notes Theor. Comput. Sci. 248: 31-46 (2009) |
| j14 | | 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. Electr. Notes Theor. Comput. Sci. 258(1): 109-121 (2009) |
| j13 | | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla: Decompilation of Java bytecode to Prolog by partial evaluation. Information & Software Technology 51(10): 1409-1427 (2009) |
| j12 | | Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla: Type-based homeomorphic embedding for online termination. Inf. Process. Lett. 109(15): 879-886 (2009) |
| c62 | | Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim, German Puebla: Asymptotic Resource Usage Bounds. APLAS 2009: 294-310 |
| c61 | | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla: Field-Sensitive Value Analysis by Field-Insensitive Analysis. FM 2009: 370-386 |
| c60 | | Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla: Comparing Cost Functions in Resource Analysis. FOPARA 2009: 1-17 |
| c59 | | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Resource Usage Analysis and Its Application to Resource Certification. FOSAD 2009: 258-288 |
| e3 | | Germán Puebla, Germán Vidal (Eds.): Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009. ACM 2009, isbn 978-1-60558-327-3 |
| i5 | | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla: On the Generation of Test Data for Prolog by Partial Evaluation. CoRR abs/0903.2199 (2009) |
| i4 | | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo: Efficient Local Unfolding with Ancestor Stacks. CoRR abs/0911.4047 (2009) |
| 2008 | ||
| j11 | | Claudio Ochoa, Germán Puebla: Oracle-Based Partial Evaluation. Electr. Notes Theor. Comput. Sci. 220(3): 145-161 (2008) |
| j10 | | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo: Abstraction-Carrying Code: a Model for Mobile Code Safety. New Generation Comput. 26(2): 171-204 (2008) |
| c58 | | Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, José F. Morales, Germán Puebla: An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. Concurrency, Graphs and Models 2008: 209-237 |
| c57 | | Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini: Termination Analysis of Java Bytecode. FMOODS 2008: 2-18 |
| c56 | | Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla: Test Data Generation of Bytecode by CLP Partial Evaluation. LOPSTR 2008: 4-23 |
| c55 | | Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo: A practical type analysis for verification of modular prolog programs. PEPM 2008: 61-70 |
| c54 | | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Removing useless variables in cost analysis of Java bytecode. SAC 2008: 368-375 |
| c53 | | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla: Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. SAS 2008: 221-237 |
| c52 | | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla: Modular Decompilation of Low-Level Code by Partial Evaluation. SCAM 2008: 239-248 |
| 2007 | ||
| j9 | | Claudio Ochoa, Germán Puebla: A Study on the Practicality of Poly-Controlled Partial Evaluation. Electr. Notes Theor. Comput. Sci. 177: 137-151 (2007) |
| j8 | | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Experiments in Cost Analysis of Java Bytecode. Electr. Notes Theor. Comput. Sci. 190(1): 67-83 (2007) |
| j7 | | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla: Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. Electr. Notes Theor. Comput. Sci. 190(1): 85-101 (2007) |
| c51 | | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Cost Analysis of Java Bytecode. ESOP 2007: 157-172 |
| c50 | | 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: 113-132 |
| c49 | | Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla: Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. LOPSTR 2007: 23-42 |
| c48 | | Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla: Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. PADL 2007: 124-139 |
| c47 | | Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo: Combining Static Analysis and Profiling for Estimating Execution Times. PADL 2007: 140-154 |
| c46 | | |
| e2 |  | Germán Puebla (Ed.): Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4407, Springer 2007, isbn 978-3-540-71409-5 |
| i3 | | Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo: Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling. CoRR abs/cs/0701108 (2007) |
| i2 | | Elvira Albert, Puri Arenas, Germán Puebla: Some Issues on Incremental Abstraction-Carrying Code. CoRR abs/cs/0701111 (2007) |
| 2006 | ||
| c45 | | Manuel Carro, José F. Morales, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo: High-level languages for small devices: a case study. CASES 2006: 271-281 |
| c44 | | Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo: Reduced Certificates for Abstraction-Carrying Code. ICLP 2006: 163-178 |
| c43 | | Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo: Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. ICLP 2006: 431-432 |
| c42 | | Elvira Albert, Puri Arenas, Germán Puebla: An Incremental Approach to Abstraction-Carrying Code. LPAR 2006: 377-391 |
| c41 | | Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo: Context-Sensitive Multivariant Assertion Checking in Modular Programs. LPAR 2006: 392-406 |
| c40 | | |
| c39 | | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo: Abstract Interpretation with Specialized Definitions. SAS 2006: 107-126 |
| c38 | | Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard: MOBIUS: Mobility, Ubiquity, Security. TGC 2006: 10-29 |
| 2005 | ||
| j6 | | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo: An Abstract Interpretation-based Approach to Mobile Code Safety. Electr. Notes Theor. Comput. Sci. 132(1): 113-129 (2005) |
| j5 | | Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García: Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). Sci. Comput. Program. 58(1-2): 115-140 (2005) |
| c37 | | José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo: A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. ICLP 2005: 21-36 |
| c36 | | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo: A Generic Framework for the Analysis and Specialization of Logic Programs. ICLP 2005: 407-409 |
| c35 | | Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo: Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. LOPSTR 2005: 80-97 |
| c34 | | Elvira Albert, Germán Puebla, John P. Gallagher: Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. LOPSTR 2005: 115-132 |
| c33 | | John P. Gallagher, Germán Puebla, Elvira Albert: Converting One Type-Based Abstract Domain to Another. LOPSTR 2005: 147-162 |
| c32 | | Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno: Experiments in Context-Sensitive Analysis of Modular Programs. LOPSTR 2005: 163-178 |
| c31 | | Germán Puebla, Manuel V. Hermenegildo, Elvira Albert: A Generic Framework for the Analysis and Specialization of Logic Programs. WLPE 2005: 61-76 |
| c30 | | Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla: Abstraction carrying code and resource-awareness. PPDP 2005: 1-11 |
| i1 | | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo: A Generic Framework for the Analysis and Specialization of Logic Programs. CoRR abs/cs/0508111 (2005) |
| 2004 | ||
| c29 | | Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla: Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System. Euro-Par 2004: 21-36 |
| c28 | | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo: Abstract Interpretation-Based Mobile Code Certification. ICLP 2004: 446-447 |
| c27 | | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo: Efficient Local Unfolding with Ancestor Stacks for Full Prolog. LOPSTR 2004: 149-165 |
| c26 | | Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey: A Generic Framework for Context-Sensitive Analysis of Modular Programs. Program Development in Computational Logic 2004: 233-260 |
| c25 | | |
| c24 | | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo: Experiments in abstract interpretation-based code certification for pervasive systems. SMC (2) 2004: 1125-1130 |
| 2003 | ||
| c23 | | Germán Puebla, Manuel V. Hermenegildo: Abstract specialization and its applications. PEPM 2003: 29-43 |
| c22 | | Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García: Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). SAS 2003: 127-152 |
| 2002 | ||
| c21 | | Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García: Abstract Verification and Debugging of Constraint Logic Programs. International Workshop on Constraint Solving and Constraint Logic Programming 2002: 1-14 |
| c20 | | Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García: Program Debugging and Validation Using Semantic Approximations and Partial Specifications. ICALP 2002: 69-72 |
| c19 | | John P. Gallagher, Germán Puebla: Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. PADL 2002: 243-261 |
| e1 | | Manuel V. Hermenegildo, Germán Puebla (Eds.): Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings. Lecture Notes in Computer Science 2477, Springer 2002, isbn 3-540-44235-9 |
| 2000 | ||
| j4 | | Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey: Incremental analysis of constraint logic programs. ACM Trans. Program. Lang. Syst. 22(2): 187-223 (2000) |
| c18 | | Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo: An Assertion Language for Constraint Logic Programs. Analysis and Visualization Tools for Constraint Programming 2000: 23-62 |
| c17 | | Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo: A Generic Processor for Program Validation and Debugging. Analysis and Visualization Tools for Constraint Programming 2000: 63-107 |
| c16 | | Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey: A model for inter-module analysis and optimizing compilation. LOPSTR 2000 |
| c15 | | Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey: A Model for Inter-module Analysis and Optimizing Compilation. LOPSTR (LNCS 2042: Selected Papers) 2000: 86-102 |
| 1999 | ||
| j3 | | Germán Puebla, Manuel V. Hermenegildo: Abstract Multiple Specialization and Its Application to Program Parallelization. J. Log. Program. 41(2-3): 279-316 (1999) |
| j2 | | Germán Puebla, Manuel V. Hermenegildo: Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. Electr. Notes Theor. Comput. Sci. 30(2): 163-187 (1999) |
| j1 | | Mireille Ducassé, Anthony J. Kusalik, Germán Puebla: Preface. Electr. Notes Theor. Comput. Sci. 30(4): 197 (1999) |
| c14 | | Manuel V. Hermenegildo, Francisco Bueno, Germán Puebla, Pedro López-García: Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. ICLP 1999: 52-66 |
| c13 | | Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo: Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. LOPSTR 1999: 273-292 |
| c12 | | Germán Puebla, Manuel V. Hermenegildo, John P. Gallagher: An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. PEPM 1999: 75-84 |
| 1998 | ||
| c11 | | Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo: A Framework for Assertion-Based Debugging in Constraint Logic Programming. CP 1998: 472 |
| 1997 | ||
| c10 | | Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla: On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. AADEBUG 1997: 155-169 |
| c9 | | Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey: Optimization of Logic Programs with Dynamic Scheduling. ICLP 1997: 93-107 |
| c8 | | Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte: Tools and Environments for (Constraint) Logic Programming (Workshop Overview). ILPS 1997: 417-418 |
| 1996 | ||
| c7 | | Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla: The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. APPIA-GULP-PRODE 1996: 105-110 |
| c6 | | Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla: Global Analysis of Standard Prolog Programs. ESOP 1996: 108-124 |
| c5 | | Germán Puebla, Manuel V. Hermenegildo: Abstract Specialization and Its Application to Program Parallelization. LOPSTR 1996: 169-186 |
| c4 | | Germán Puebla, Manuel V. Hermenegildo: Automatic Optimization of Dynamic Scheduling in Logic Programs. PLILP 1996: 475-476 |
| c3 | | Germán Puebla, Manuel V. Hermenegildo: Optimized Algorithms for Incremental Analysis of Logic Programs. SAS 1996: 270-284 |
| 1995 | ||
| c2 | | Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey: Incremental Analysis of Logic Programs. ICLP 1995: 797-811 |
| c1 | | Germán Puebla, Manuel V. Hermenegildo: Implementation of Multiple Specialization in Logic Programs. PEPM 1995: 77-87 |
Data released under the ODC-BY 1.0 license — See also our legal information page