Publicaciones en las que colabora con ENRIQUE MARTÍN MARTÍN (16)

2023

  1. Formally Verified EVM Block-Optimizations

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

2021

  1. Lower-Bound Synthesis Using Loop Specialization and Max-SMT

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

2020

  1. A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell

    Fundamenta Informaticae, Vol. 177, Núm. 3-4, pp. 203-234

2019

  1. A Transformational Approach to Resource Analysis with Typed-norms Inference

    Theory and Practice of Logic Programming

  2. Resource Analysis driven by (Conditional) Termination Proofs

    Theory and Practice of Logic Programming, Vol. 19, Núm. 5-6, pp. 722-739

2017

  1. A formal, resource consumption-preserving translation of actors to Haskell

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

  2. Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings

    Journal of Automated Reasoning, Vol. 59, Núm. 1, pp. 47-85

2015

  1. May-happen-in-parallel analysis for actor-based concurrency

    ACM Transactions on Computational Logic, Vol. 17, Núm. 2

  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. FLOP: A user-friendly system for automated program assessment

    Journal of Universal Computer Science, Vol. 20, Núm. 9, pp. 1304-1326

  2. SACO: Static analyzer for concurrent objects

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

  3. Static inference of transmission data sizes in distributed systems

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

2013

  1. May-happen-in-parallel analysis for priority-based scheduling

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

  2. Termination and cost analysis of loops with concurrent interleavings

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

2012

  1. FLOP, a free laboratory of programming

    Proceedings - 12th Koli Calling International Conference on Computing Education Research, Koli Calling 2012

2009

  1. Correctores automáticos de programas: implantación realista en la docencia universitaria

    Actas del II Seminario de Investigación en Tecnologías de la Información: SITIAE 2008