Workflow Nets Verification: SMT or CLP? - Hadrien Bride; Olga Kouchnarenko; Fabien Peureux; Guillaume Voiron (FMICS-AVoCS, 2016)

Approximating Event System Abstractions by Covering Their States and Transitions. - Jacques Julliand; Olga Kouchnarenko; Pierre-Alain Masson; Guillaume Voiron (Ershov Informatics Conference, 2017)

Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort? - Jacques Julliand; Olga Kouchnarenko; Pierre-Alain Masson; Guillaume Voiron (TASE, 2017)

Under-Approximation Generation Driven by Relevance Predicates and Variants. - Jacques Julliand; Olga Kouchnarenko; Pierre-Alain Masson; Guillaume Voiron (TAP@STAF, 2018)

Test Generation from Event System Abstractions to Cover Their States and Transitions. - Jacques Julliand; Olga Kouchnarenko; Pierre-Alain Masson; Guillaume Voiron (Program. Comput. Softw., 2018)

Assessing SMT and CLP approaches for workflow nets verification. - Hadrien Bride; Olga Kouchnarenko; Fabien Peureux; Guillaume Voiron (Int. J. Softw. Tools Technol. Transf., 2018)

Exploration concrétisée et pertinente de systèmes d'événements abstraits en vue de la génération automatique de tests. (concrete and relevant exploration of abstract event systems for automatic tests generation). - Guillaume Voiron (2019)