Publicaciones en colaboración con investigadores/as de Western Norway University of Applied Sciences (3)

2021

  1. Hardware-Assisted Online Data Race Detection

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 108-126

  2. MC/DC Test Cases Generation Based on BDDs

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

2018

  1. Parallel cost analysis

    ACM Transactions on Computational Logic, Vol. 19, Núm. 4