Items where author is "Albert Albiol, Elvira"

Article

Puebla Sánchez, Alvaro Germán, Albert Albiol, Elvira and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2011). Efficient local unfolding with ancestor stacks. "Theory and practice of logic programming", v. 11 (n. 1); pp. 1-32. ISSN 1471-0684. https://doi.org/10.1017/S1471068409990263.

Albert Albiol, Elvira, Arenas Sánchez, Purificación, Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2010). Certificate size reduction in abstraction-carrying code. "CoRR", v. abs/10 ;

Albert Albiol, Elvira, Arenas Sánchez, Purificación, Genaim, Samir and Puebla Sánchez, Alvaro Germán (2008). Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. "Lecture Notes in Computer Science", v. 5079 ; pp. 221-237. ISSN 0302-9743. https://doi.org/10.1007/978-3-540-69166-2_15.

Albert Albiol, Elvira, Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X and Puebla Sánchez, Alvaro Germán (2008). Abstraction-carrying code: a model for mobile code safety. "New generation computing", v. 26 (n. 2); pp. 171-204. ISSN 0288-3635. https://doi.org/10.1007/s00354-008-0039-7.

Monograph

Albert Albiol, Elvira, Arenas Sánchez, Purificación, Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2005). Reduced certificates for abstraction-carrying code. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Puebla Sánchez, Alvaro Germán, Albert Albiol, Elvira and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2005). Abstract interpretation with specialized definitions. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, España.

Puebla Sánchez, Alvaro Germán, Albert Albiol, Elvira and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2005). Efficient local unfolding with ancestor stacks. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, España.

Albert Albiol, Elvira, Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2005). Abstraction-carrying code: a model for mobile code safety. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, España.

Presentation at Congress or Conference

Albert Albiol, Elvira, Gomez Zamalloa, Miguel, Rojas Siles, Jose Miguel and Puebla Sánchez, Alvaro Germán (2010). Compositional CLP-based Test Data Generation for Imperative Languages. In: "20th international conference on Logic-based program synthesis and transformation LOPSTR'10", 23/07/2010 - 25/07/2010, Hagenberg, Austria. ISBN 978-3-642-20550-7.

Albert Albiol, Elvira, Arenas Sánchez, Purificación, Genaim, Samir, Puebla Sánchez, Alvaro Germán and Ramirez Deantes, Diana (2010). From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. In: "SAS'10 17th international conference on Static analysis", 14/09/2010 - 16/09/2010, Perpignan, Francia. ISBN 978-3-642-15768-4.

Albert Albiol, Elvira (2010). From Termination to Cost (in Object-Oriented Languages. In: "11th International Workshop on Termination", 14/06/2010 - 15/06/2010, Edimburgo, UK.

Albert Albiol, Elvira, Gomez Zamalloa, Miguel and Puebla Sánchez, Alvaro Germán (2010). PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode. In: "2010 ACM SIGPLAN workshop onPartial evaluation and program manipulation", 18/01/2010 - 19/01/2010, Madrid, España. ISBN 978-1-60558-727-1.

Albert Albiol, Elvira, Genaim, Samir and Gomez Zamalloa, Miguel (2010). Parametric Inference of Memory Requirements for Garbage Collected Languages. In: "2010 international symposiumon Memory management", 05/06/2010 - 06/06/2010, Toronto, Canadá. ISBN 978-1-4503-0054-4.

Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X, Bueno Carrillo, Francisco ORCID: https://orcid.org/0000-0002-5460-5537, Puebla Sánchez, Alvaro Germán, Carro Liñares, Manuel ORCID: https://orcid.org/0000-0001-5199-3135, López García, Pedro, Morales, J., Mera, E., Navas, J., Haemmerlé, R., Méndez-Lojo, Mario, Casas, Amadeo, Correas Fernandez, Jesús, Albert Albiol, Elvira and Arenas Sánchez, Purificación (2010). Static Analysis-based Debugging, Certification, Testing, and Optimization with CiaoPP. In: "Tools for Automatic Program AnalysiS (TAPAS 2010). A SAS 2010 satellite workshop", 17/09/2010 - 17/09/2010, Perpignan, France.

Albert Albiol, Elvira, Gomez Zamalloa, Miguel, Rojas Siles, Jose Miguel and Puebla Sánchez, Alvaro Germán (2010). Towards Compositional CLP-based Test Data Generation for Imperative Languages.. In: "20th international conference on Logic-based program synthesis and transformation LOPSTR'10", 23/07/2010 - 25/07/2010, Hagenberg, Austria. ISBN 978-3-642-20550-7.

Albert Albiol, Elvira, Arenas Sánchez, Purificación, Genaim, Samir, Gomez Zamalloa, Miguel, Puebla Sánchez, Alvaro Germán, Ramirez Deantes, Diana, Zanardini, Damiano ORCID: https://orcid.org/0000-0002-4202-3484 and Roman, Groman (2009). Termination and Cost Analysis with COSTA and its User Interfaces. In: "IX Jornadas sobre Programación y Lenguajes (PROLE '09). IX Spanish Conference on Programming and Languages (PROLE 2009)", 09/09/2009 - 11/09/2009, San Sebastian, España. ISBN ISSN 1571-0661.

Albert Albiol, Elvira, Arenas Sánchez, Purificación, Genaim, Samir and Puebla Sánchez, Alvaro Germán (2009). Comparing Cost Functions in Resource Analysis. In: "First international conference on Foundational and practical aspects of resource analysis, FOPARA'09", 06/11/2009 - 06/11/2009, Eindhoven, Holanda. ISBN 978-3-642-15330-3.

Albert Albiol, Elvira, Alonso, D., Arenas Sánchez, Purificación, Genaim, Samir and Puebla Sánchez, Alvaro Germán (2009). Asymptotic Resource Usage Bounds. In: "7th Asian Symposium on Programming Languages and Systems, APLAS '09", 14/12/2009 - 16/12/2009, Seoul, Korea. ISBN 978-3-642-10671-2.

Albert Albiol, Elvira, Arenas Sánchez, Purificación, Genaim, Samir and Puebla Sánchez, Alvaro Germán (2009). Field-Sensitive Value Analysis by Field-Insensitive Analysis. In: "2nd World Congress on Formal Methods, FM '09", 02/11/2009 - 06/11/2009, Eindhoven, Paises Bajos. ISBN 978-3-642-05088-6.

Albert Albiol, Elvira, Genaim, Samir and Gomez Zamalloa, Miguel (2009). Live Heap Space Analysis for Languages with Garbage Collection. In: "2009 International Symposium on Memory Management, ISMM '09", 19/06/2009 - 20/06/2009, Dublin, Irlanda. ISBN 978-1-60558-347-1.

Albert Albiol, Elvira, Genaim, Samir, Gomez Zamalloa, Miguel, Arenas Sánchez, Purificación, Puebla Sánchez, Alvaro Germán and Zanardini, Damiano ORCID: https://orcid.org/0000-0002-4202-3484 (2009). Upper Bounds on Memory Usage for Garbage-Collected Languages. In: "1st Workshop on Quantitative Analysis of Software, QA'09 (co-located with CAV 2009)", 26/06/2009 - 02/07/2009, Grenoble, France.

Albert Albiol, Elvira, Gomez Zamalloa, Miguel and Puebla Sánchez, Alvaro Germán (2008). Test Data Generation of Bytecode by CLP Partial Evaluation. In: "18th International Symposium, LOPSTR 2008", 17/07/2008 - 18/07/2008, Valencia, España. ISBN 978-3-642-00514-5.

Puebla Sánchez, Alvaro Germán, Albert Albiol, Elvira, Arenas Sánchez, Purificación and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2006). On abstraction-carrying code and certificate-size reduction. In: "EAAI 2006 1st International Workshop on Emerging Applications of Abstract Interpretation", March 26th, 2006, Vienna, Austria.

Puebla Sánchez, Alvaro Germán, Albert Albiol, Elvira and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2006). Abstract interpretation with specialized definitions. In: "13th International Symposium, SAS 2006", August 29-31, 2006, Seoul, Korea. ISBN 978-3-540-37756-6.

Albert Albiol, Elvira, Arenas Sánchez, Purificación, Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2006). Generation of reduced certificates in abstraction-carrying code. In: "VI Jornadas Programación y Lenguajes (PROLE'06)", 4 al 6 de octubre, 2006, Sitges, Spain.

Albert Albiol, Elvira, Arenas Sánchez, Purificación, Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2006). Reduced certificates for abstraction-carrying code. In: "22nd International Conference, ICLP 2006", August 17-20, 2006, Seattle, WA, USA. ISBN 978-3-540-36635-5.

Puebla Sánchez, Alvaro Germán, Albert Albiol, Elvira and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2005). A generic framework for the analysis and specialization of logic programs. In: "15th Workshop on Logic-based methods in Programming Environments WLPE'05", October 5, 2005, Sitges, Spain.

Puebla Sánchez, Alvaro Germán, Albert Albiol, Elvira and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2005). Abstract Interpretation-based verification/certification in the ciaoPP system. In: "MoVeLog'05 Mobile Code Safety and Program Verification Using Computational Logic Tools", Oct. 5, 2005, Sitges, Spain.

Albert Albiol, Elvira, Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2005). An abstract interpretation-based approach to mobile code safety. In: "3rd International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2004)", 3 April 2004, Barcelona, Spain.

Puebla Sánchez, Alvaro Germán, Albert Albiol, Elvira and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2005). A generic framework for the analysis and specialization of kogic programs. In: "21st International Conference, ICLP 2005", October 2-5, 2005, Sitges, Spain. ISBN 9783540292081.

Puebla Sánchez, Alvaro Germán, Albert Albiol, Elvira and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2005). A generic framework for the analysis and specialization of logic programs. In: "21st International Conference on Logic Programming (ICLP 2005)", 2-5 Oct 2005, Sitges, España. pp. 407-409. https://doi.org/10.1007/11562931_32.

Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X, Albert Albiol, Elvira, López García, Pedro and Puebla Sánchez, Alvaro Germán (2005). Abstraction carrying code and resource-awareness. In: "7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming", July 11-13 2005, Lisbon, Portugal. ISBN 1595930906.

Albert Albiol, Elvira, Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2005). Abstraction-carrying code. In: "11th International Conference, LPAR 2004", March 14-18, 2005, Montevideo, Uruguay. ISBN 9783540252368.

Puebla Sánchez, Alvaro Germán, Albert Albiol, Elvira and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2005). Efficient local unfolding with ancestor stacks for full prolog. In: "14th International Symposium, LOPSTR 2004", August 26-28, 2004, Verona, Italy. ISBN 978-3-540-26655-6.

Albert Albiol, Elvira, Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2004). Abstract interpretation-based code certification for pervasive systems: Preliminary experiments. In: "Workshop on Software Analysis and Development for Pervasive Systems", August 24, 2004, Verona, Italy.

Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X, Albert Albiol, Elvira, López García, Pedro and Puebla Sánchez, Alvaro Germán (2004). Some techniques for automated, resource-aware distributed and mobile computing in a multi-paradigm programming system. In: "10th International Euro-Par Conference", August 31-September 3, 2004, Pisa, Italy. ISBN 9783540229247.

Albert Albiol, Elvira, Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2004). Abstract interpretation-based mobile code certification. In: "20th International Conference, ICLP 2004", September 6-10, 2004, Saint-Malo, France. ISBN 9783540226710.

Albert Albiol, Elvira, Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2004). Experiments in abstract interpretation-based code certification for pervasive systems. In: "Systems, Man and Cybernetics, 2004 IEEE International Conference on", 10-13 Oct. 2004. ISBN 0780385667.