Search results for "Puebla"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Hector Puebla, Eliseo Hernandez-Martinez, Basilio Del-Muro-Cuéllar	Controlling spatial interacting populations.	Int. J. Comput. Appl. Technol.	2011	DBLP DOI BibTeX RDF
27	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	DBLP DOI BibTeX RDF
27	Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla	Cost Analysis of Concurrent OO Programs.	APLAS	2011	DBLP DOI BibTeX RDF
27	Guillermo Puebla-Ramírez, Sergio E. Chaigneau	Is the Centrality of Design History Function an Effect of Causal Knowledge?	CogSci	2011	DBLP BibTeX RDF
27	Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, Rémy Haemmerlé, Edison Mera, José F. Morales 0001, Germán Puebla	An Overview of the Ciao System.	RuleML Europe	2011	DBLP DOI BibTeX RDF
27	Yanet Espinal Martín, Manuel Enrique Puebla Martínez	Sistema para la integración del proceso de normalización de bases de datos relacionales con gestores de bases de datos (SINORGES).	Rev. Avances en Sistemas Informática	2010	DBLP BibTeX RDF
27	Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo	Certificate size reduction in Abstraction-Carrying Code	CoRR	2010	DBLP BibTeX RDF
27	Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, German Puebla	Verification of Java Bytecode using Analysis and Transformation of Logic Programs	CoRR	2010	DBLP BibTeX RDF
27	Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla	Test Case Generation for Object-Oriented Imperative Languages in CLP	CoRR	2010	DBLP BibTeX RDF
27	Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla	Test case generation for object-oriented imperative languages in CLP.	Theory Pract. Log. Program.	2010	DBLP DOI BibTeX RDF
27	Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla	PET: a partial evaluation-based test case generation tool for Java bytecode.	PEPM	2010	DBLP DOI BibTeX RDF	testing, partial evaluation, symbolic execution, constraint logic programming, test-case generation
27	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	DBLP DOI BibTeX RDF
27	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	DBLP DOI BibTeX RDF
27	Dave Clarke 0001, 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	DBLP BibTeX RDF
27	Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla	Compositional CLP-Based Test Data Generation for Imperative Languages.	LOPSTR	2010	DBLP DOI BibTeX RDF
27	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.	PROLE	2009	DBLP DOI BibTeX RDF
27	Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla	Type-based homeomorphic embedding for online termination.	Inf. Process. Lett.	2009	DBLP DOI BibTeX RDF
27	Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla	On the Generation of Test Data for Prolog by Partial Evaluation	CoRR	2009	DBLP BibTeX RDF
27	Germán Puebla, Elvira Albert, Manuel V. Hermenegildo	Efficient Local Unfolding with Ancestor Stacks	CoRR	2009	DBLP BibTeX RDF
27	Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla	Decompilation of Java bytecode to Prolog by partial evaluation.	Inf. Softw. Technol.	2009	DBLP DOI BibTeX RDF
27	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	PEPM	2009	DBLP BibTeX RDF
27	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla	Field-Sensitive Value Analysis by Field-Insensitive Analysis.	FM	2009	DBLP DOI BibTeX RDF
27	Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim, German Puebla	Asymptotic Resource Usage Bounds.	APLAS	2009	DBLP DOI BibTeX RDF
27	Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla	Comparing Cost Functions in Resource Analysis.	FOPARA	2009	DBLP DOI BibTeX RDF
27	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini	Resource Usage Analysis and Its Application to Resource Certification.	FOSAD	2009	DBLP DOI BibTeX RDF
27	Claudio Ochoa, Germán Puebla	Oracle-Based Partial Evaluation.	QAPL	2008	DBLP DOI BibTeX RDF
27	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla	Cost Relation Systems: A Language-Independent Target Language for Cost Analysis.	PROLE	2008	DBLP DOI BibTeX RDF
27	Elvira Albert, Germán Puebla, Manuel V. Hermenegildo	Abstraction-Carrying Code: a Model for Mobile Code Safety.	New Gener. Comput.	2008	DBLP DOI BibTeX RDF	Mobile Code Safety, Logic Programming, Static Analysis, Abstract Interpretation, Program Verification
27	Ricardo Colomo Palacios, Juan Miguel Gómez-Berbís, Ángel García-Crespo, Inmaculada Puebla-Sánchez	Social Global Repository: using semantics and social web in software projects.	Int. J. Knowl. Learn.	2008	DBLP DOI BibTeX RDF
27	Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo	A practical type analysis for verification of modular prolog programs.	PEPM	2008	DBLP DOI BibTeX RDF	modular logic programs, verification, scalability, logic programming, program analysis, abstract interpretation, types
27	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini	Removing useless variables in cost analysis of Java bytecode.	SAC	2008	DBLP DOI BibTeX RDF	cost equations systems, complexity, information flow, program slicing, cost analysis, java bytecode
27	Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, José F. Morales 0001, Germán Puebla	An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
27	Ricardo Colomo Palacios, Juan Miguel Gómez-Berbís, Ángel García-Crespo, Inmaculada Puebla-Sánchez	Software Engineering 2.0: A Social Global Repository Based on Semantic Annotation and Social Web for Knowledge Management.	WSKS (2)	2008	DBLP DOI BibTeX RDF	Knowledge extrapolation, Software Engineering, Semantic Web, Web 2.0, Reuse
27	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla	Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis.	SAS	2008	DBLP DOI BibTeX RDF
27	Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini	Termination Analysis of Java Bytecode.	FMOODS	2008	DBLP DOI BibTeX RDF
27	Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla	Modular Decompilation of Low-Level Code by Partial Evaluation.	SCAM	2008	DBLP DOI BibTeX RDF
27	Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla	Test Data Generation of Bytecode by CLP Partial Evaluation.	LOPSTR	2008	DBLP DOI BibTeX RDF
27	Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla	Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation.	Bytecode@ETAPS	2007	DBLP DOI BibTeX RDF
27	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini	Experiments in Cost Analysis of Java Bytecode.	Bytecode@ETAPS	2007	DBLP DOI BibTeX RDF
27	Edison Mera, Pedro López-García 0001, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo	Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling	CoRR	2007	DBLP BibTeX RDF
27	Elvira Albert, Puri Arenas, Germán Puebla	Some Issues on Incremental Abstraction-Carrying Code	CoRR	2007	DBLP BibTeX RDF
27	Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla	Verification of Java Bytecode Using Analysis and Transformation of Logic Programs.	PADL	2007	DBLP DOI BibTeX RDF
27	Edison Mera, Pedro López-García 0001, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo	Combining Static Analysis and Profiling for Estimating Execution Times.	PADL	2007	DBLP DOI BibTeX RDF	Mobile Computing, Profiling, Cost Models, Cost Analysis, Resource Awareness, Execution Time Estimation
27	Claudio Ochoa, Germán Puebla	Poly-controlled partial evaluation in practice.	PEPM	2007	DBLP DOI BibTeX RDF	resource-aware specialization, logic programming, partial evaluation
27	Miguel A. Sánchez-Puebla, Ignacio Aedo, Paloma Díaz 0001	Validation of Critical Parameters for Predictive Evaluation of Notification System in Avionics Interfaces.	HCI (9)	2007	DBLP DOI BibTeX RDF	Predictive Evaluation, Human Factors, Notification Systems, Evaluation/methodology, Critical Parameters
27	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini	Cost Analysis of Java Bytecode.	ESOP	2007	DBLP DOI BibTeX RDF
27	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	DBLP DOI BibTeX RDF
27	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	DBLP DOI BibTeX RDF
27	Germán Puebla (eds.)	Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers	LOPSTR	2007	DBLP DOI BibTeX RDF
27	Claudio Ochoa, Germán Puebla	A Study on the Practicality of Poly-Controlled Partial Evaluation.	WFLP	2006	DBLP DOI BibTeX RDF
27	Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann 0001, Peter Müller 0001, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard	MOBIUS: Mobility, Ubiquity, Security.	TGC	2006	DBLP DOI BibTeX RDF
27	Elvira Albert, Puri Arenas, Germán Puebla	An Incremental Approach to Abstraction-Carrying Code.	LPAR	2006	DBLP DOI BibTeX RDF
27	Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo	Context-Sensitive Multivariant Assertion Checking in Modular Programs.	LPAR	2006	DBLP DOI BibTeX RDF
27	Moises Ortiz-Vargas, Hector Puebla	A Cascade Control Approach for a Class of Biomedical Systems.	EMBC	2006	DBLP DOI BibTeX RDF
27	Edison Mera, Pedro López-García 0001, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo	Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation.	ICLP	2006	DBLP DOI BibTeX RDF
27	Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo	Reduced Certificates for Abstraction-Carrying Code.	ICLP	2006	DBLP DOI BibTeX RDF
27	Germán Puebla, Elvira Albert, Manuel V. Hermenegildo	Abstract Interpretation with Specialized Definitions.	SAS	2006	DBLP DOI BibTeX RDF
27	Manuel Carro, José F. Morales 0001, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo	High-level languages for small devices: a case study.	CASES	2006	DBLP DOI BibTeX RDF	program analysis and transformation, wearable computers, optimizing compilation, (constraint) logic programming
27	Germán Puebla, Claudio Ochoa	Poly-controlled partial evaluation.	PPDP	2006	DBLP DOI BibTeX RDF	control rules, optimization, partial evaluation
27	Germán Puebla, Elvira Albert, Manuel V. Hermenegildo	A Generic Framework for the Analysis and Specialization of Logic Programs	CoRR	2005	DBLP BibTeX RDF
27	Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García 0001	Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor).	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
27	Germán Puebla, Manuel V. Hermenegildo, Elvira Albert	A Generic Framework for the Analysis and Specialization of Logic Programs.	WLPE	2005	DBLP BibTeX RDF
27	José F. Morales 0001, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo	A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization.	ICLP	2005	DBLP DOI BibTeX RDF
27	Germán Puebla, Elvira Albert, Manuel V. Hermenegildo	A Generic Framework for the Analysis and Specialization of Logic Programs.	ICLP	2005	DBLP DOI BibTeX RDF
27	Manuel V. Hermenegildo, Elvira Albert, Pedro López-García 0001, Germán Puebla	Abstraction carrying code and resource-awareness.	PPDP	2005	DBLP DOI BibTeX RDF	granularity control, mobile code certification, programming languages, abstract interpretation, program verification, distributed programming, program debugging, cost analysis, resource awareness
27	John P. Gallagher, Germán Puebla, Elvira Albert	Converting One Type-Based Abstract Domain to Another.	LOPSTR	2005	DBLP DOI BibTeX RDF
27	Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno	Experiments in Context-Sensitive Analysis of Modular Programs.	LOPSTR	2005	DBLP DOI BibTeX RDF
27	Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo	Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs.	LOPSTR	2005	DBLP DOI BibTeX RDF
27	Elvira Albert, Germán Puebla, John P. Gallagher	Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates.	LOPSTR	2005	DBLP DOI BibTeX RDF
27	Elvira Albert, Germán Puebla, Manuel V. Hermenegildo	An Abstract Interpretation-based Approach to Mobile Code Safety.	COCV@ETAPS	2004	DBLP DOI BibTeX RDF
27	Elvira Albert, Germán Puebla, Manuel V. Hermenegildo	Abstraction-Carrying Code.	LPAR	2004	DBLP DOI BibTeX RDF
27	Manuel V. Hermenegildo, Elvira Albert, Pedro López-García 0001, Germán Puebla	Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System.	Euro-Par	2004	DBLP DOI BibTeX RDF	granularity control, mobile code certification, GRIDs, resource awareness, distributed execution
27	Elvira Albert, Germán Puebla, Manuel V. Hermenegildo	Abstract Interpretation-Based Mobile Code Certification.	ICLP	2004	DBLP DOI BibTeX RDF
27	Elvira Albert, Germán Puebla, Manuel V. Hermenegildo	Experiments in abstract interpretation-based code certification for pervasive systems.	SMC (2)	2004	DBLP DOI BibTeX RDF
27	Germán Puebla, Elvira Albert, Manuel V. Hermenegildo	Efficient Local Unfolding with Ancestor Stacks for Full Prolog.	LOPSTR	2004	DBLP DOI BibTeX RDF
27	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	DBLP DOI BibTeX RDF
27	Germán Puebla, Manuel V. Hermenegildo	Abstract specialization and its applications.	PEPM	2003	DBLP DOI BibTeX RDF	logic programming, static analysis, abstract interpretation, partial evaluation, program optimization, program specialization, program parallelization
27	Miguel A. Sánchez-Puebla, Jesús Carretero 0001	A new approach for distributed computing in avionics systems.	ISICT	2003	DBLP DOI BibTeX RDF
27	Hector Puebla, Jesus Valencia, Jose Alvarez-Ramirez	Multivariable control configurations for fluid catalytic cracking units.	ECC	2003	DBLP DOI BibTeX RDF
27	Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García 0001	Program Development Using Abstract Interpretation (And The Ciao System Preprocessor).	SAS	2003	DBLP DOI BibTeX RDF
27	Angel Luis Puebla Martínez	Identificación de individuos mediante comparación borrosa de elementos lingüísticos obtenidos a partir de impresiones dactilares.		2003	RDF
27	Jose Alvarez-Ramirez, Hector Puebla, Ilse Cervantes	Stability of Observer-Based Chaotic Communications for a Class of Lur'e Systems.	Int. J. Bifurc. Chaos	2002	DBLP DOI BibTeX RDF
27	John P. Gallagher, Germán Puebla	Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs.	PADL	2002	DBLP DOI BibTeX RDF
27	Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García 0001	Program Debugging and Validation Using Semantic Approximations and Partial Specifications.	ICALP	2002	DBLP DOI BibTeX RDF
27	Manuel V. Hermenegildo, Germán Puebla (eds.)	Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings	SAS	2002	DBLP DOI BibTeX RDF
27	Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García 0001	Abstract Verification and Debugging of Constraint Logic Programs.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
27	José Álvarez-Ramírez, Hector Puebla, Julio Solís-Daun	An Inverse System Approach for Chaotic Communications.	Int. J. Bifurc. Chaos	2001	DBLP DOI BibTeX RDF
27	Jose Alvarez-Ramirez, Hector Puebla, Gilberto Espinosa-Paredes	Linear Control in a Lattice of Coupled Second-Order oscillators.	Int. J. Bifurc. Chaos	2001	DBLP DOI BibTeX RDF
27	Jose Alvarez-Ramirez, Hector Puebla, J. Alberto Ochoa-Tapia	Linear boundary control for a class of nonlinear PDE processes.	Syst. Control. Lett.	2001	DBLP DOI BibTeX RDF
27	Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey	Incremental analysis of constraint logic programs.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, constraint logic programming, incremental computation
27	Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo	An Assertion Language for Constraint Logic Programs.	Analysis and Visualization Tools for Constraint Programming	2000	DBLP DOI BibTeX RDF
27	Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo	A Generic Processor for Program Validation and Debugging.	Analysis and Visualization Tools for Constraint Programming	2000	DBLP DOI BibTeX RDF
27	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	DBLP DOI BibTeX RDF
27	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	DBLP BibTeX RDF
27	Javier Otamendi Fernández de la Puebla	G.E.S.A.S. Methodology: A Methodology for the Generation, Evaluation and Selection of Alternatives via Simulation.	Simul.	1999	DBLP DOI BibTeX RDF
27	Germán Puebla, Manuel V. Hermenegildo	Abstract Multiple Specialization and Its Application to Program Parallelization.	J. Log. Program.	1999	DBLP DOI BibTeX RDF
27	Germán Puebla, Manuel V. Hermenegildo	Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs.	WOID@ICLP	1999	DBLP DOI BibTeX RDF
27	Mireille Ducassé, Anthony J. Kusalik, Germán Puebla	Preface.	WLPE@ICLP	1999	DBLP DOI BibTeX RDF
27	Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno	Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging.	The Logic Programming Paradigm	1999	DBLP DOI BibTeX RDF
27	Germán Puebla, Manuel V. Hermenegildo, John P. Gallagher	An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework.	PEPM	1999	DBLP BibTeX RDF