Publicaciones en colaboración con investigadores/as de Japan Advanced Institute of Science and Technology (3)

2024

  1. Preface

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

2023

  1. Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way

    ACM Transactions on Software Engineering and Methodology, Vol. 32, Núm. 6

2019

  1. An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms

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