Documentos en los que el autor es "Albert Albiol, Elvira"

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Agrupar por: Tipo de Documento | Sin Agrupar
Número de documentos: 34.

Artículo

Puebla Sánchez, Alvaro Germán; Albert Albiol, Elvira y Hermenegildo, Manuel V. (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 y Hermenegildo, Manuel V. (2010). Certificate size reduction in abstraction-carrying code. "CoRR", v. abs/10 ;

Albert Albiol, Elvira; Arenas Sánchez, Purificación; Genaim, Samir y 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. y 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.

Monográfico (Informes, Documentos de trabajo, etc.)

Albert Albiol, Elvira; Arenas Sánchez, Purificación; Puebla Sánchez, Alvaro Germán y Hermenegildo, Manuel V. (2005). Reduced certificates for abstraction-carrying code. Monografía (Informe Técnico). Facultad de Informática (UPM) [antigua denominación], Madrid, Spain.

Ponencia en Congreso o Jornada

Albert Albiol, Elvira; Gomez Zamalloa, Miguel; Rojas Siles, Jose Miguel y Puebla Sánchez, Alvaro Germán (2010). Compositional CLP-based Test Data Generation for Imperative Languages. En: "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 y Ramirez Deantes, Diana (2010). From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. En: "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. En: "11th International Workshop on Termination", 14/06/2010 - 15/06/2010, Edimburgo, UK.

Albert Albiol, Elvira; Gomez Zamalloa, Miguel y Puebla Sánchez, Alvaro Germán (2010). PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode. En: "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 y Gomez Zamalloa, Miguel (2010). Parametric Inference of Memory Requirements for Garbage Collected Languages. En: "2010 international symposiumon Memory management", 05/06/2010 - 06/06/2010, Toronto, Canadá. ISBN 978-1-4503-0054-4.

Hermenegildo, Manuel V.; Bueno Carrillo, Francisco; Puebla Sánchez, Alvaro Germán; Carro Liñares, Manuel; 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 y Arenas Sánchez, Purificación (2010). Static Analysis-based Debugging, Certification, Testing, and Optimization with CiaoPP. En: "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 y Puebla Sánchez, Alvaro Germán (2010). Towards Compositional CLP-based Test Data Generation for Imperative Languages.. En: "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 y Roman, Groman (2009). Termination and Cost Analysis with COSTA and its User Interfaces. En: "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 y Puebla Sánchez, Alvaro Germán (2009). Comparing Cost Functions in Resource Analysis. En: "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 y Puebla Sánchez, Alvaro Germán (2009). Asymptotic Resource Usage Bounds. En: "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 y Puebla Sánchez, Alvaro Germán (2009). Field-Sensitive Value Analysis by Field-Insensitive Analysis. En: "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 y Gomez Zamalloa, Miguel (2009). Live Heap Space Analysis for Languages with Garbage Collection. En: "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 y Zanardini, Damiano (2009). Upper Bounds on Memory Usage for Garbage-Collected Languages. En: "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 y Puebla Sánchez, Alvaro Germán (2008). Test Data Generation of Bytecode by CLP Partial Evaluation. En: "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 y Hermenegildo, Manuel V. (2006). On abstraction-carrying code and certificate-size reduction. En: "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 y Hermenegildo, Manuel V. (2006). Abstract interpretation with specialized definitions. En: "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 y Hermenegildo, Manuel V. (2006). Generation of reduced certificates in abstraction-carrying code. En: "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 y Hermenegildo, Manuel V. (2006). Reduced certificates for abstraction-carrying code. En: "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 y Hermenegildo, Manuel V. (2005). A generic framework for the analysis and specialization of logic programs. En: "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 y Hermenegildo, Manuel V. (2005). Abstract Interpretation-based verification/certification in the ciaoPP system. En: "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 y Hermenegildo, Manuel V. (2005). An abstract interpretation-based approach to mobile code safety. En: "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 y Hermenegildo, Manuel V. (2005). A generic framework for the analysis and specialization of kogic programs. En: "21st International Conference, ICLP 2005", October 2-5, 2005, Sitges, Spain. ISBN 9783540292081.

Hermenegildo, Manuel V.; Albert Albiol, Elvira; López García, Pedro y Puebla Sánchez, Alvaro Germán (2005). Abstraction carrying code and resource-awareness. En: "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 y Hermenegildo, Manuel V. (2005). Abstraction-carrying code. En: "11th International Conference, LPAR 2004", March 14-18, 2005, Montevideo, Uruguay. ISBN 9783540252368.

Puebla Sánchez, Alvaro Germán; Albert Albiol, Elvira y Hermenegildo, Manuel V. (2005). Efficient local unfolding with ancestor stacks for full prolog. En: "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 y Hermenegildo, Manuel V. (2004). Abstract interpretation-based code certification for pervasive systems: Preliminary experiments. En: "Workshop on Software Analysis and Development for Pervasive Systems", August 24, 2004, Verona, Italy.

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

Albert Albiol, Elvira; Puebla Sánchez, Alvaro Germán y Hermenegildo, Manuel V. (2004). Abstract interpretation-based mobile code certification. En: "20th International Conference, ICLP 2004", September 6-10, 2004, Saint-Malo, France. ISBN 9783540226710.

Albert Albiol, Elvira; Puebla Sánchez, Alvaro Germán y Hermenegildo, Manuel V. (2004). Experiments in abstract interpretation-based code certification for pervasive systems. En: "Systems, Man and Cybernetics, 2004 IEEE International Conference on", 10-13 Oct. 2004. ISBN 0780385667.

  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM