Lifetime Achievement Award
The DX community started in 2014 to bestow a special award to distinguished researchers, in order to honor their dedication to and support to our community as well as their constant contributions to the available research in the field.
Following this tradition, we proudly announce that the DX’19 chairs presented in 2019 the to Louise Travé-Massuyès, Directeur de Recherche at Laboratoire d’Analyse et d’Architecture des Systèmes, Centre National de la Recherche Scientifique (LAAS-CNRS, https://www.laas.fr), Toulouse, France, in recognition of her scientific record as well as of her outstanding efforts and contributions to the DX Workshop series. The laudatio for Louise was given by Philippe Dague. Congratulations!
Best Paper Award
Lina Ye, Philippe Dague, and Lulu He
Manifestability Verification of Discrete Event Systems
Best Student Paper
Valentin Bouziat, Xavier Pucel, Stéphanie Roussel and Louise Travé-Massuyès
Single State Trackability of Discrete Event Systems