Germán Puebla

109 papers A* 1A 3B 20C 28Misc 2Journal 26Unranked 26

Year	Rank	Type	Title / Venue / Authors
2016	J	`jnl`	A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY. Softw. Syst. Model. Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez
2015	J	`jnl`	A multi-domain incremental analysis engine and its application to incremental resource analysis. Theor. Comput. Sci. Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez
2015	J	`jnl`	A practical comparator of cost functions and its applications. Sci. Comput. Program. Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
2015	J	`jnl`	Object-sensitive cost analysis for concurrent objects. Softw. Test. Verification Reliab. Elvira Albert, Puri Arenas, Jesús Correas Fernández, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla, Guillermo Román-Díez
2015	J	`jnl`	Quantified abstract configurations of distributed systems. Formal Aspects Comput. Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez
2015	B	`conf`	Resource Analysis: From Sequential to Concurrent and Distributed Programs. FM Elvira Albert, Puri Arenas, Jesús Correas, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, Germán Puebla, Guillermo Román-Díez
2014	J	`jnl`	Conditional termination of loops over heap-allocated data. Sci. Comput. Program. Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Guillermo Román-Díez
2014	J	`jnl`	Selected and extended papers from Bytecode 2013. Sci. Comput. Program. Miguel Gómez-Zamalloa, Germán Puebla
2013	B	`conf`	Quantified Abstractions of Distributed Systems. IFM Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez
2012	J	`jnl`	An overview of Ciao and its design philosophy. Theory Pract. Log. Program. Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, Germán Puebla
2012	B	`conf`	Automatic Inference of Resource Consumption Bounds. LPAR Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla
2012	C	`conf`	COSTABS: a cost and termination analyzer for ABS. PEPM Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla
2012	J	`jnl`	Certificate size reduction in abstraction-carrying code. Theory Pract. Log. Program. Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo
2012	C	`conf`	Incremental resource usage analysis. PEPM Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez
2011	—	`conf`	An Overview of the Ciao System. RuleML Europe Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla
2011	J	`jnl`	Closed-Form Upper Bounds in Static Cost Analysis. J. Autom. Reason. Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
2011	J	`jnl`	Editorial. High. Order Symb. Comput. Julia Lawall, Germán Puebla, Germán Vidal
2011	J	`jnl`	Efficient local unfolding with ancestor stacks. Theory Pract. Log. Program. Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
2011	C	`conf`	Verified resource guarantees using COSTA and KeY. PEPM Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez
2010	J	`jnl`	Certificate size reduction in Abstraction-Carrying Code CoRR Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo
2010	C	`conf`	Compositional CLP-Based Test Data Generation for Imperative Languages. LOPSTR Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla
2010	—	`conf`	HATS - A Formal Software Product Line Engineering Methodology. SPLC Workshops Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong
2010	—	`conf`	Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries. FACS Diana V. Ramírez-Deantes, Jesús Correas, Germán Puebla
2010	C	`conf`	PET: a partial evaluation-based test case generation tool for Java bytecode. PEPM Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla
2010	J	`jnl`	Test Case Generation for Object-Oriented Imperative Languages in CLP CoRR Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
2010	J	`jnl`	Test case generation for object-oriented imperative languages in CLP. Theory Pract. Log. Program. Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
2009	J	`jnl`	Decompilation of Java bytecode to Prolog by partial evaluation. Inf. Softw. Technol. Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
2009	J	`jnl`	Efficient Local Unfolding with Ancestor Stacks CoRR Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
2009	B	`conf`	Field-Sensitive Value Analysis by Field-Insensitive Analysis. FM Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
2009	J	`jnl`	On the Generation of Test Data for Prolog by Partial Evaluation CoRR Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
2009	C	`ed.`	Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009 PEPM Germán Puebla, Germán Vidal
2009	—	`conf`	Resource Usage Analysis and Its Application to Resource Certification. FOSAD Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
2009	J	`jnl`	Type-based homeomorphic embedding for online termination. Inf. Process. Lett. Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla
2008	C	`conf`	A practical type analysis for verification of modular prolog programs. PEPM Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo
2008	J	`jnl`	Abstraction-Carrying Code: a Model for Mobile Code Safety. New Gener. Comput. Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
2008	—	`conf`	An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. Concurrency, Graphs and Models Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, José F. Morales, Germán Puebla
2008	B	`conf`	Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. SAS Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
2008	—	`conf`	Cost Relation Systems: A Language-Independent Target Language for Cost Analysis. PROLE Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
2008	C	`conf`	Modular Decompilation of Low-Level Code by Partial Evaluation. SCAM Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
2008	—	`conf`	Oracle-Based Partial Evaluation. QAPL Claudio Ochoa, Germán Puebla
2008	Misc	`conf`	Removing useless variables in cost analysis of Java bytecode. SAC Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
2008	—	`conf`	Termination Analysis of Java Bytecode. FMOODS Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini
2008	C	`conf`	Test Data Generation of Bytecode by CLP Partial Evaluation. LOPSTR Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla
2007	C	`conf`	Combining Static Analysis and Profiling for Estimating Execution Times. PADL Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
2007	A	`conf`	Cost Analysis of Java Bytecode. ESOP Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
2007	—	`conf`	Experiments in Cost Analysis of Java Bytecode. Bytecode@ETAPS Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
2007	—	`conf`	Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. Bytecode@ETAPS Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
2007	C	`ed.`	Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers LOPSTR Germán Puebla
2007	C	`conf`	Poly-controlled partial evaluation in practice. PEPM Claudio Ochoa, Germán Puebla
2007	J	`jnl`	Some Issues on Incremental Abstraction-Carrying Code CoRR Elvira Albert, Puri Arenas, Germán Puebla
2007	J	`jnl`	Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling CoRR Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
2007	C	`conf`	Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. LOPSTR Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla
2007	C	`conf`	Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. PADL Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla
2006	—	`conf`	A Study on the Practicality of Poly-Controlled Partial Evaluation. WFLP Claudio Ochoa, Germán Puebla
2006	B	`conf`	Abstract Interpretation with Specialized Definitions. SAS Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
2006	B	`conf`	An Incremental Approach to Abstraction-Carrying Code. LPAR Elvira Albert, Puri Arenas, Germán Puebla
2006	B	`conf`	Context-Sensitive Multivariant Assertion Checking in Modular Programs. LPAR Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo
2006	Misc	`conf`	High-level languages for small devices: a case study. CASES Manuel Carro, José F. Morales, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo
2006	—	`conf`	MOBIUS: Mobility, Ubiquity, Security. TGC 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
2006	C	`conf`	Poly-controlled partial evaluation. PPDP Germán Puebla, Claudio Ochoa
2006	B	`conf`	Reduced Certificates for Abstraction-Carrying Code. ICLP Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo
2006	B	`conf`	Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. ICLP Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
2005	B	`conf`	A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. ICLP José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo
2005	J	`jnl`	A Generic Framework for the Analysis and Specialization of Logic Programs CoRR Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
2005	B	`conf`	A Generic Framework for the Analysis and Specialization of Logic Programs. ICLP Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
2005	—	`conf`	A Generic Framework for the Analysis and Specialization of Logic Programs. WLPE Germán Puebla, Manuel V. Hermenegildo, Elvira Albert
2005	C	`conf`	Abstraction carrying code and resource-awareness. PPDP Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla
2005	C	`conf`	Converting One Type-Based Abstract Domain to Another. LOPSTR John P. Gallagher, Germán Puebla, Elvira Albert
2005	C	`conf`	Experiments in Context-Sensitive Analysis of Modular Programs. LOPSTR Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno
2005	J	`jnl`	Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). Sci. Comput. Program. Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
2005	C	`conf`	Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. LOPSTR Elvira Albert, Germán Puebla, John P. Gallagher
2005	C	`conf`	Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. LOPSTR Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo
2004	—	`ch.`	A Generic Framework for Context-Sensitive Analysis of Modular Programs. Program Development in Computational Logic Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey
2004	B	`conf`	Abstract Interpretation-Based Mobile Code Certification. ICLP Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
2004	B	`conf`	Abstraction-Carrying Code. LPAR Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
2004	—	`conf`	An Abstract Interpretation-based Approach to Mobile Code Safety. COCV Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
2004	C	`conf`	Efficient Local Unfolding with Ancestor Stacks for Full Prolog. LOPSTR Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
2004	—	`conf`	Experiments in abstract interpretation-based code certification for pervasive systems. SMC (2) Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
2004	—	`conf`	Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System. Euro-Par Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla
2003	C	`conf`	Abstract specialization and its applications. PEPM Germán Puebla, Manuel V. Hermenegildo
2003	B	`conf`	Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). SAS Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
2002	C	`conf`	Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. PADL John P. Gallagher, Germán Puebla
2002	—	`conf`	Abstract Verification and Debugging of Constraint Logic Programs. International Workshop on Constraint Solving and Constraint Logic Programming Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
2002	A*	`conf`	Program Debugging and Validation Using Semantic Approximations and Partial Specifications. ICALP Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
2002	B	`ed.`	Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings SAS Manuel V. Hermenegildo, Germán Puebla
2000	—	`conf`	A Generic Processor for Program Validation and Debugging. Analysis and Visualization Tools for Constraint Programming Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
2000	—	`conf`	A Model for Inter-module Analysis and Optimizing Compilation. LOPSTR (LNCS 2042: Selected Papers) Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey
2000	C	`conf`	A model for inter-module analysis and optimizing compilation. LOPSTR Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey
2000	—	`conf`	An Assertion Language for Constraint Logic Programs. Analysis and Visualization Tools for Constraint Programming Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
2000	J	`jnl`	Incremental analysis of constraint logic programs. ACM Trans. Program. Lang. Syst. Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey
1999	J	`jnl`	Abstract Multiple Specialization and Its Application to Program Parallelization. J. Log. Program. Germán Puebla, Manuel V. Hermenegildo
1999	C	`conf`	An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. PEPM Germán Puebla, Manuel V. Hermenegildo, John P. Gallagher
1999	C	`conf`	Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. LOPSTR Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
1999	—	`conf`	Preface. WLPE@ICLP Mireille Ducassé, Anthony J. Kusalik, Germán Puebla
1999	B	`conf`	Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. ICLP Manuel V. Hermenegildo, Francisco Bueno, Germán Puebla, Pedro López-García
1999	—	`conf`	Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. WOID@ICLP Germán Puebla, Manuel V. Hermenegildo
1999	—	`ed.`	Tenth Workshop on Logic Programming Environments, WLPE 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, Nobember 29, 1999 WLPE@ICLP Mireille Ducassé, Anthony J. Kusalik, Germán Puebla
1999	—	`ch.`	Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging. The Logic Programming Paradigm Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno
1998	A	`conf`	A Framework for Assertion-Based Debugging in Constraint Logic Programming. CP Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
1997	—	`conf`	On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. AADEBUG Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla
1997	B	`conf`	Optimization of Logic Programs with Dynamic Scheduling. ICLP Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey
1997	—	`conf`	Tools and Environments for (Constraint) Logic Programming (Workshop Overview). ILPS Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte
1996	C	`conf`	Abstract Specialization and Its Application to Program Parallelization. LOPSTR Germán Puebla, Manuel V. Hermenegildo
1996	—	`conf`	Automatic Optimization of Dynamic Scheduling in Logic Programs. PLILP Germán Puebla, Manuel V. Hermenegildo
1996	A	`conf`	Global Analysis of Standard Prolog Programs. ESOP Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla
1996	B	`conf`	Optimized Algorithms for Incremental Analysis of Logic Programs. SAS Germán Puebla, Manuel V. Hermenegildo
1996	—	`conf`	The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. APPIA-GULP-PRODE Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla
1995	C	`conf`	Implementation of Multiple Specialization in Logic Programs. PEPM Germán Puebla, Manuel V. Hermenegildo
1995	B	`conf`	Incremental Analysis of Logic Programs. ICLP Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey