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

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)