Informatique - Recherche

CAV 2017 award
    L'outil de vérification de la couverture des réseaux de Petri: QCOVER
    WSTS'2001 record de citations dans TCS