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

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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

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

  3. Making Resource Analysis Practical for Real-Time Java

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

  4. Making resource analysis practical for real-time java

    ACM International Conference Proceeding Series