Publicaciones en colaboración con investigadores/as de Grenoble Alpes University (5)

2024

  1. Mining of extended signal temporal logic specifications with ParetoLib 2.0

    Formal Methods in System Design, Vol. 62, Núm. 1-3, pp. 260-284

2020

  1. Learning Specifications for Labelled Patterns

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

2018

  1. MoDeVVa 2018 15 th workshop on model-driven engineering, verification and validation

    CEUR Workshop Proceedings

  2. On-the-fly model checking for extended action-based probabilistic operators

    International Journal on Software Tools for Technology Transfer, Vol. 20, Núm. 5, pp. 563-587

2017

  1. Preface: Special issue on software verification and testing

    Journal of Systems and Software