Improving Trace Generation and Analysis for Medical Devices. - Yoann Blein; Arnaud Clere; Fabrice Bertrand; Yves Ledru; Roland Groz; Lydie du Bousquet (QRS Companion, 2017)

Extending specification patterns for verification of parametric traces. - Yoann Blein; Yves Ledru; Lydie du Bousquet; Roland Groz (FormaliSE@ICSE, 2018)

Requirements for a Trace Property Language for Medical Devices. - Yves Ledru; Yoann Blein; Lydie du Bousquet; Roland Groz; Arnaud Clere; Fabrice Bertrand (SEHS@ICSE, 2018)

An Environment for the ParTraP Trace Property Language (Tool Demonstration). - Ansem Ben Cheikh; Yoann Blein; Salim Chehida; Germán Vega; Yves Ledru; Lydie du Bousquet (RV, 2018)

ParTraP: A Language for the Specificationand Runtime Verification of ParametricProperties. (ParTraP : Un langage pour la spécification etvérification à l'exécution de propriétésparamétriques). - Yoann Blein (2019)

An SMT-based approach for generating trace examples and counter-examples of parametric properties. - Salim Chehida; Yves Ledru; Yoann Blein; Germán Vega (Int. J. Crit. Comput. Based Syst., 2021)