Publicacións en colaboración con investigadores/as de Instituto IMDEA Software (5)

2010

  1. A framework for verification and debugging of resource usage properties resource usage verification

    Leibniz International Proceedings in Informatics, LIPIcs

  2. Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses

    New Generation Computing

  3. Towards fuzzy granularity control in parallel/distributed computing

    ICFC 2010 ICNC 2010 - Proceedings of the International Conference on Fuzzy Computation and International Conference on Neural Computation

2009

  1. Integrating software testing and run-time checking in an assertion verification framework

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

2008

  1. Towards execution time estimation in abstract machine-based languages

    PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming