Generation of process using multi-objective genetic algorithm. - Yoann Laurent; Reda Bendraou; Marie-Pierre Gervais (ICSSP, 2013)

Executing and debugging UML models: an fUML extension. - Yoann Laurent; Reda Bendraou; Marie-Pierre Gervais (SAC, 2013)

Formalization of fUML: An Application to Process Verification. - Yoann Laurent; Reda Bendraou; Souheib Baarir; Marie-Pierre Gervais (CAiSE, 2014)

Alloy4SPV : A Formal Framework for Software Process Verification. - Yoann Laurent; Reda Bendraou; Souheib Baarir; Marie-Pierre Gervais (ECMFA, 2014)

Planning for declarative processes. - Yoann Laurent; Reda Bendraou; Souheib Baarir; Marie-Pierre Gervais (SAC, 2014)

A framework to formally verify conformance of a software process to a software method. - Djamel Eddine Khelladi; Reda Bendraou; Souheib Baarir; Yoann Laurent; Marie-Pierre Gervais (SAC, 2015)

Alloy4PV : un Framework pour la Vérification de Procédés Métiers. (Alloy4PV : a Framework for Business Process Verification). - Yoann Laurent (2015)

ProVer: an SMT-based approach for process verification. - Souheib Baarir; Reda Bendraou; Hakan Metin; Yoann Laurent (MoDELS (Workshops), 2018)