Design and Testing of Reliable Systems
![Foto de Design and Testing of Reliable Systems](/img/grupo.png)
![Foto de Grenoble Alpes University](/img/noimage_org.png)
Grenoble Alpes University
Saint-Martin-d’Hères, FranciaPublicaciones en colaboración con investigadores/as de Grenoble Alpes University (5)
2024
-
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
-
Learning Specifications for Labelled Patterns
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018
-
MoDeVVa 2018 15
th
workshop on model-driven engineering, verification and validation
CEUR Workshop Proceedings
-
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
-
Preface: Special issue on software verification and testing
Journal of Systems and Software