Publications by the researcher in collaboration with SAMIR GENAIM (16)

2015

  1. Object-sensitive cost analysis for concurrent objects

    Software Testing Verification and Reliability, Vol. 25, Núm. 3, pp. 218-271

  2. Resource analysis: From sequential to concurrent and distributed programs

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

2014

  1. SACO: Static analyzer for concurrent objects

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

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. Heap space analysis for garbage collected languages

    Science of Computer Programming, Vol. 78, Núm. 9, pp. 1427-1448

2012

  1. Automatic inference of resource consumption bounds

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

  2. COSTABS: A cost and termination analyzer for ABS

    Conference Record of the Annual ACM Symposium on Principles of Programming Languages

2011

  1. Cost analysis of concurrent OO programs

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

  2. Simulating concurrent behaviors with worst-case cost bounds

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

2010

  1. Parametric inference of memory requirements for garbage collected languages

    International Symposium on Memory Management, ISMM

  2. Parametric inference of memory requirements for garbage collected languages

    ACM SIGPLAN Notices

2009

  1. Live heap space analysis for languages with garbage collection

    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

  2. Live heap space analysis for languages with garbage collection

    International Symposium on Memory Management, ISMM

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

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

  4. 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

2007

  1. Heap space analysis for java bytecode

    International Symposium on Memory Management, ISMM