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

2024

  1. Runtime Verification of Timed Petri Nets

    CEUR Workshop Proceedings

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)

2020

  1. COEMS EU2020 Open Data

    Zenodo

  2. COEMS EU2020 Open Data

    Zenodo

  3. COEMS EU2020 Open Data

    Zenodo

  4. COEMS EU2020 Open Data

    Zenodo

  5. COEMS EU2020 Open Data

    Zenodo

  6. COEMS EU2020 Open Data

    Zenodo

  7. COEMS EU2020 Open Data

    Zenodo

  8. COEMS EU2020 Open Data

    Zenodo

  9. COEMS EU2020 Open Data

    Zenodo

  10. COEMS EU2020 Open Data

    Zenodo

  11. COEMS EU2020 Open Data

    Zenodo

2018

  1. Parallel cost analysis

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