JOSÉ IGNACIO
REQUENO JARABO
Profesor ayudante doctor
Grenoble Alpes University
Saint-Martin-d’Hères, FranciaPublicaciones en colaboración con investigadores/as de Grenoble Alpes University (2)
2020
-
Learning Specifications for Labelled Patterns
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018
-
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