Publicaciones en colaboración con investigadores/as de Radboud University Nijmegen (4)

2014

  1. ResAna: A resource analysis toolset for (real-time) JAVA

    Concurrency Computation , Vol. 26, Núm. 14, pp. 2432-2455

2012

  1. Interpolation-based height analysis for improving a recurrence solver

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

  2. Making Resource Analysis Practical for Real-Time Java

    PROCEEDINGS OF THE 10TH INTERNATIONAL WORKSHOP ON JAVA TECHNOLOGIES FOR REAL-TIME AND EMBEDDED SYSTEMS

  3. Making resource analysis practical for real-time java

    ACM International Conference Proceeding Series