Publicaciones en las que colabora con Damiano Zanardini (16)

2018

  1. SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2016

  1. Resource-usage-aware configuration in software product lines

    Journal of Logical and Algebraic Methods in Programming, Vol. 85, Núm. 1, pp. 173-199

2014

  1. Inference of field-sensitive reachability and cyclicity

    ACM Transactions on Computational Logic, Vol. 15, Núm. 4

2013

  1. Automatic inference of bounds on resource consumption

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Erratum: Reachability-based acyclicity analysis by abstract interpretation (Theoretical Computer Science (2013) 474 (60-79))

    Theoretical Computer Science

  3. Reachability-based acyclicity analysis by Abstract Interpretation

    Theoretical Computer Science, Vol. 474, pp. 60-79

2012

  1. Cost analysis of object-oriented bytecode programs

    Theoretical Computer Science

2011

  1. Task-level analysis for a language with async/finish parallelism

    Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)

2009

  1. Resource usage analysis and its application to resource certification

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Termination and Cost Analysis with COSTA and its User Interfaces

    Electronic Notes in Theoretical Computer Science, Vol. 258, Núm. 1, pp. 109-121

  3. Termination and cost analysis with COSTA and its user interfaces

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009

2008

  1. COSTA: Design and implementation of a cost and termination analyzer for Java bytecode

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Removing useless variables in cost analysis of Java bytecode

    Proceedings of the ACM Symposium on Applied Computing

  3. Termination analysis of Java Bytecode

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2007

  1. Cost analysis of Java bytecode

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Experiments in Cost Analysis of Java Bytecode

    Electronic Notes in Theoretical Computer Science, Vol. 190, Núm. 1 SPEC. ISS., pp. 67-83